[LLVMdev] SimplifyCFG vs loops

[Michael Ilseman]

On Oct 17, 2012, at 12:25 PM, Krzysztof Parzyszek <kparzysz at codeaurora.org> wrote:

> On 10/17/2012 2:11 PM, James Courtier-Dutton wrote:
>> 
>> I thing to keep in mind is this is CFG, and can be unstructured, or
>> after various transformations, not representable in higher level
>> language structures such as while loops.
> 
> Having a specific loop structure with specific requirements, such as single back edge can make loop optimizations (and loop nest optimizations in particular) a lot simpler (or even possible).
> 

I believe that is the purpose behind loop-simplify, which most loop optimizations require.