Displaying 2 results from an estimated 2 matches for "looppeel".
Did you mean:
looplevel
2020 Mar 23
2
questionabout loop rotation
...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...
2020 Mar 21
4
questionabout loop rotation
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