http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57521
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- It's if-conversion (we do not vectorize anything here). The predicates are inserted correctly but the wrong ones are being used for the predication. That is because the predecessor edge we chose in find_phi_replacement_condition is not fallthru and thus the predicate we chose is bogus. It seems to assume that critical edges are split. I have a patch.
