------- Comment #9 from steven at gcc dot gnu dot org 2010-01-30 17:30 ------- The loop is also properly eliminated if I split the (critical) edge from bb6 to bb5 the edge that brings in the constant "0" to the "j_1 = PHI <j_4(D)(2), 0(6)>".
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42906
