[PATCH] D25119: [CVP] Convert an AShr to a LShr if both operands are known to be nonnegative.

[Chad Rosier via llvm-commits]

mcrosier updated the summary for this revision.
mcrosier added a reviewer: efriedma.
mcrosier removed a subscriber: efriedma.
mcrosier updated this revision to Diff 73221.
mcrosier added a comment.

Address Eli's comment:
 -Only check the first operand to ensure it is positive.


https://reviews.llvm.org/D25119

Files:
  lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
  test/Transforms/CorrelatedValuePropagation/ashr.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D25119.73221.patch
Type: text/x-patch
Size: 3387 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161002/62414e0c/attachment.bin>