[PATCH] D19874: [InstSimplify] use computeKnownBits on shift amount operands

[David Majnemer via llvm-commits]

majnemer added inline comments.

================
Comment at: test/Transforms/InstSimplify/shift-knownbits.ll:142-144
@@ +141,5 @@
+define i1 @shl_i1(i1 %a, i1 %b) {
+; CHECK-LABEL: @shl_i1(
+; CHECK-NEXT:    [[SHL:%.*]] = shl i1 %a, %b
+; CHECK-NEXT:    ret i1 [[SHL]]
+;
----------------
Out of curiosity, isn't the result of the shl equivalent to %a?  %b cannot be as large as the bit width, 1.


http://reviews.llvm.org/D19874