[PATCH] D18867: [IndVarSimplify] Eliminate zext of a signed IV when the IV is known to be non-negative

[Li Huang via llvm-commits]

lihuang added a comment.

Ping :)

Hi Sanjoy and Philip,

For the NeverNegative issue, are you okay with using isKnownNonNegative? Or you think we should modify SCEV code to make isKnownPredicate work for this case.

Thanks!


http://reviews.llvm.org/D18867