[PATCH] D47348: [LoopIdiomRecognize] Only convert loops to ctlz if we can prove that the input is non-negative.

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added a comment.

Out of curiosity, did the original test case come from C/C++? Because if it did, given that we get to assume infinite loops like this don't happen in C/C++, we may end up "breaking" this again in the future.

In any case, I recommend actually using the phrase "infinite loop" in the comment to make it clear what's going on.


https://reviews.llvm.org/D47348