[PATCH] D12800: [ValueTracking] Teach isKnownNonZero about monotonically increasing PHIs

James Molloy via llvm-commits llvm-commits at lists.llvm.org
Thu Sep 24 10:21:17 PDT 2015

jmolloy added a comment.

> Adding the analogous case isKnownNonNegative (aka, using it to set the sign bit in computeKnownBits) would be a really good idea. An increasing induction variable starting at zero is pretty much the ideal canonical induction variable and we should exploit that.

It looks like this should already be handled in computeKnownBits (ValueTracking.cpp:1277).



More information about the llvm-commits mailing list