On Fri, 29 May 2015, Jakub Jelinek wrote:
> Hi!
>
> On the following testcase from the PR, dce2 turns
> # .MEM_21 = PHI <.MEM_20(5), .MEM_4(D)(2)>
> into
> # .MEM_21 = PHI <.MEM_21(5), .MEM_4(D)(2)>
> because all writes in the loop have been dead code eliminated.
> But only the phicprop2 pass
Hi!
On the following testcase from the PR, dce2 turns
# .MEM_21 = PHI <.MEM_20(5), .MEM_4(D)(2)>
into
# .MEM_21 = PHI <.MEM_21(5), .MEM_4(D)(2)>
because all writes in the loop have been dead code eliminated.
But only the phicprop2 pass much later is able to optimize this
out (by changing all .