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

[Kit Barton via llvm-dev]

That sounds like it wasn't being rotated then?

I don't know that what I'm proposing would help you in that case -
although I would be very happy if it did :)

If you can dig up some details and send it to me, I'd like to see we can
find a way to make it work. One of the things I don't have a good
feeling for right now is how many loops (in general) we are able to
successfully rotate and/or simplify. This will have an impact on the
overall effectiveness of loop optimizations in general, as we move
forward.


Krzysztof Parzyszek <kparzysz at quicinc.com> writes:

> 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.