[LLVMdev] SimplifyCFG vs loops

[Krzysztof Parzyszek]

On 11/20/2012 4:35 PM, Humphreys, Jonathan wrote:
> What was the resolution to this issue?  Was the patch accepted?
>
>
> Couple of thoughts:
>   - how firm is the constraint that all loops must have a single backedge?  I don't know how fundamental this assumption is made in LLVM code.  This really causes some common loops to have a funky shape.

Loops that don't have a single back-edge are not easily optimizable. 
There is no single point that decides on whether the loop continues to 
iterate or not.  Other than introducing an edge going from outside into 
the middle of the loop, this is likely one of the worst loop pessimizations.

-Krzysztof


-- 
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, 
hosted by The Linux Foundation