Related to the XFAIL of gcc.dg/tree-ssa/ssa-pre-15.c (PR37145). The general
issue is that PRE doesn't simplify expressions during phi-translation
which can be seen for example for
int foo (int i, int b)
{
int j = 1;
if (b)
j = i;
return j - i;
}
where j - i is partially redundant.
--
Summary: PRE doesn't simplify during phi-translation
Product: gcc
Version: 4.4.0
Status: UNCONFIRMED
Keywords: missed-optimization
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: rguenth at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37542