search for: looppeeling

...e than 2 > conditionals, > > LICM would fail to move loop invariant from the second conditional > because loop rotation didn't peel all the conditionals. > > My observation is from a while ago so happy to be corrected. > > > > Have you considered using the existing LoopPeeling infrastructure (part of > loop unrolling) to do the peeling? It already peels off iterations from the > start up to a threshold, if it makes a condition in the loop body > invariant. > > I am not entirely sure about the exact cases/conditions that the patch > targets (the test you...

Hi Stefanos, Thanks for your comments. I added both as reviewer. > One question though. Are you sure that this: > This helps with LICM when instructions inside a conditional is loop invariant  > is not achieved with the current LoopRotate pass? Because AFAIK, it does. Basically it inserts > a guard (that branches to the preheader) and then passes like LICM hoist invariant