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

[Haicheng Wu via llvm-commits]

haicheng added a comment.

In http://reviews.llvm.org/D17921#369802, @bkramer wrote:

> ValueTracking can't properly support non-local things


I think that is what I learnt from @reames's experiment.


Repository:
  rL LLVM

http://reviews.llvm.org/D17921