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

[Eli Friedman via llvm-commits]

efriedma added a comment.

Whether the RHS is positive doesn't matter.  (If it were negative, the result of the shift would be undef anyway.)


https://reviews.llvm.org/D25119