[PATCH] D44983: [LoopUnroll] Only peel if a predicate becomes known in the loop body.

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

In https://reviews.llvm.org/D44983#1051403, @mkazantsev wrote:

> I see the point, but predicate being true or false on `K+1`th iteration also does not guarantee that we can simplify the loop. I can agree that it is better than what we have now, I just wonder if this solution is general enough to deal with problem you are dealing with.


Ah yes, I see the case you are referring to now. Maybe it would be worth to add a check for monotonic predicates?


https://reviews.llvm.org/D44983