This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/15559] [3.3/3.4/3.5 Regression] SSAPRE misses obvious redundant expression
- From: "giovannibajo at libero dot it" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 10 Jun 2004 16:12:42 -0000
- Subject: [Bug tree-optimization/15559] [3.3/3.4/3.5 Regression] SSAPRE misses obvious redundant expression
- References: <20040521043035.15559.pinskia@gcc.gnu.org>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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