------- Comment #10 from pinskia at gcc dot gnu dot org 2006-11-27 07:51 ------- (In reply to comment #9) > Though the good question is why we have those PHIs still there even though > they > don't do anything except produce a copy. All the copyprop passes as far as I > can tell skip them because they are virtual.
The reason why they still exist is because they have a loop variant on the arugment which causes us to reject it during copyprop (and during dom). I have a patch to remove the conditional on virtual operands but I don't know if this is enough to make sure we never produce this type of PHIs again. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29922