https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116520
--- Comment #4 from Tamar Christina <tnfchris at gcc dot gnu.org> --- (In reply to Tamar Christina from comment #3) > (In reply to Richard Biener from comment #2) > > The issue seems to be that if-conversion isn't done: > > I wonder if this transformation is really beneficial on modern cpus though. > Seems like the compares are independent so the entire thing executes quite > parallel? and with this I mean, the vector result from vectoring the unreassociated code, the scalar is obviously still a long dependency chain.