[LLVMdev] LoopSimplify : why to separate a loop with multiple backedges into a nested loop ?

[Junjie Gu]

Hello,

LoopSimplify try to separate a loop with multiple backedges into a
nested loop (an outer loop and an inner loop).
Naturally,  this kind of a loop corresponds to a single loop in source
code.  I can see this could be useful for cases described in the
comments in lib/Transforms/Utils/LoopSimplify.cpp, which looks like a
corner case.  For most cases,
how does this help ?

Junjie