[PATCH] D17921: [CorrelatedValuePropagation] Convert an SDiv to a UDiv if both operands are known to be nonnegative

[Benjamin Kramer via llvm-commits]

bkramer added a comment.

In http://reviews.llvm.org/D17921#369252, @haicheng wrote:

> Besides, is there any downside of doing it in CVP?


Not many, it's just a new transformation in CVP that's already mostly handled by SimplifyDemandedBits. If ValueTracking can't properly support non-local things CVP is probably the better place.


Repository:
  rL LLVM

http://reviews.llvm.org/D17921