This is a repost with fixes to avoid the phase-ordering problem exposed
by 58387 and 58340. I've included the testcase for 58387.
--
I recently noticed that we were failing to propagate edge equivalences
into PHI arguments in non-dominated successors.
The case loos like this:
;; basic
Jeff Law writes:
> +2013-09-06 Jeff Law
> +
> + * tree-ssa-dom.c (cprop_into_successor_phis): Also propagate
> + edge implied equivalences into successor phis.
This is causing bootstrap miscompare (in gcc/compare-elim.o) on ia64.
Andreas.
--
Andreas Schwab, sch...@linux-m68k.org
GP
I recently noticed that we were failing to propagate edge equivalences
into PHI arguments in non-dominated successors.
The case loos like this:
;; basic block 11, loop depth 0, count 0, freq 160, maybe hot
;;prev block 10, next block 12, flags: (NEW, REACHABLE)
;;pred: 10 [50.
