------- Comment #11 from ubizjak at gmail dot com 2007-07-01 13:40 -------
(In reply to comment #9)
> PR tree-optimization/23115
> * tree-if-conv.c (find_phi_replacement_condition): Check domninated_by
> relation.
This fix is not enough to solve problems described in Comment #8. Actually, the
condition, introduced by attached patch:
+ || dominated_by_p (CDI_DOMINATORS, second_bb, first_bb))
doesn't even trigger anymore for the testcase in this PR, and at least gcc
4.3.0 passes mentioned testcase _only_ due to slightly different CFG. However,
the same problem (wrong handling of non perfect diamond) is the root cause of
PR 31966.
It is up to bugmaster to reopen this PR, as the fix is not effective.
--
ubizjak at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
OtherBugsDependingO| |31966
nThis| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23115
