https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109154
--- Comment #65 from Tamar Christina <tnfchris at gcc dot gnu.org> --- > > > > In which case ifcvt could move the cond to just before the first shared > > statement? > > I don't think PRE "knows" where the operation was created from since it's > transforms from a global dataflow problem solution. > > Btw, what's the testcase your last examples are from? It's from https://gcc.gnu.org/bugzilla/attachment.cgi?id=54777 See https://godbolt.org/z/KfzW4ob4Y