[llvm-dev] Making loop guards part of canonical loop structure

[Philip Reames via llvm-dev]

Seems like a case which should be handled by loop rotation.  If you find
a reproducer for it, that's where I'd start looking rather than anything
specific to guarded loops. 

Philip

On 5/30/19 1:44 PM, Krzysztof Parzyszek wrote:
> I don't remember the details of the particular case where we encountered this, but I think the loop started with the condition check and ended with an unconditional branch back to the beginning.
>