diff options
Diffstat (limited to 'llvm/test/Transforms/InstCombine/AddOverFlow.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/AddOverFlow.ll | 24 |
1 files changed, 23 insertions, 1 deletions
diff --git a/llvm/test/Transforms/InstCombine/AddOverFlow.ll b/llvm/test/Transforms/InstCombine/AddOverFlow.ll index 590c65af01f..70178ec83b6 100644 --- a/llvm/test/Transforms/InstCombine/AddOverFlow.ll +++ b/llvm/test/Transforms/InstCombine/AddOverFlow.ll @@ -12,6 +12,28 @@ define i16 @oppositesign(i16 %x, i16 %y) { ret i16 %c } +define i16 @zero_sign_bit(i16 %a) { +; CHECK-LABEL: @zero_sign_bit( +; CHECK-NEXT: and +; CHECK-NEXT: add nuw +; CHECK-NEXT: ret + %1 = and i16 %a, 32767 + %2 = add i16 %1, 512 + ret i16 %2 +} + +define i16 @zero_sign_bit2(i16 %a, i16 %b) { +; CHECK-LABEL: @zero_sign_bit2( +; CHECK-NEXT: and +; CHECK-NEXT: and +; CHECK-NEXT: add nuw +; CHECK-NEXT: ret + %1 = and i16 %a, 32767 + %2 = and i16 %b, 32767 + %3 = add i16 %1, %2 + ret i16 %3 +} + ; CHECK-LABEL: @ripple_nsw1 ; CHECK: add nsw i16 %a, %b define i16 @ripple_nsw1(i16 %x, i16 %y) { @@ -45,7 +67,7 @@ define i32 @ripple_no_nsw1(i32 %x, i32 %y) { } ; CHECK-LABEL: @ripple_no_nsw2 -; CHECK: add i16 %a, %b +; CHECK: add nuw i16 %a, %b define i16 @ripple_no_nsw2(i16 %x, i16 %y) { ; %a has at most one bit set %a = and i16 %y, 1 |
