[Bug tree-optimization/15559] [3.3/3.4/3.5 Regression] SSAPRE misses obvious redundant expression

giovannibajo at libero dot it gcc-bugzilla@gcc.gnu.org
Thu Jun 10 16:12:00 GMT 2004


------- Additional Comments From giovannibajo at libero dot it  2004-06-10 16:12 -------
yes, but if GVNPRE hoists the operation, we end up with:

int f(int i, int b, int *c)
{
  int ii;
  ii = i+1;
  if (b)
    ;
  else
    *c = ii;
  return ii;
}

that can be later simplified to:

int f(int i, int b, int *c)
{
  int ii;
  ii = i+1;
  if (!b)
    *c = ii;
  return ii;
}


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15559



More information about the Gcc-bugs mailing list