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

Eli Friedman via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu May 31 14:25:02 PDT 2018


efriedma accepted this revision.
efriedma added a comment.
This revision is now accepted and ready to land.

LGTM

I'm worried the motivating case will break once instcombine or CorrelatedValuePropagation gets a bit smarter... but I guess that's sort of orthogonal to this patch.


https://reviews.llvm.org/D47348





More information about the llvm-commits mailing list