[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 subscriber: bkramer.
bkramer added a comment.

Why can't this be handled by SimplifyDemandedBits instead of CVP?


Repository:
  rL LLVM

http://reviews.llvm.org/D17921