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

[Chad Rosier via llvm-commits]

mcrosier added a comment.

In http://reviews.llvm.org/D17921#470975, @sanjoy wrote:

> This is a deficiency in SCEV, should be fixed in
>  http://reviews.llvm.org/rL274199


Thanks, Sanjoy!


Repository:
  rL LLVM

http://reviews.llvm.org/D17921