diff options
| author | Rafael Espindola <rafael.espindola@gmail.com> | 2014-06-02 14:32:58 +0000 |
|---|---|---|
| committer | Rafael Espindola <rafael.espindola@gmail.com> | 2014-06-02 14:32:58 +0000 |
| commit | 82899febf07aa2cc42761102f92609a804034ba2 (patch) | |
| tree | 41b9b3784dd055041d9cbb630bf6d509255dc2db /llvm/test/Transforms/InstCombine/rem.ll | |
| parent | cbee13e04c9f7070681a66cc2d26faa86927d83c (diff) | |
| download | bcm5719-llvm-82899febf07aa2cc42761102f92609a804034ba2.tar.gz bcm5719-llvm-82899febf07aa2cc42761102f92609a804034ba2.zip | |
Add the nsw flag when we detect that an add will not signed overflow.
We already had a function for checking this, we were just using it only in
specialized cases.
llvm-svn: 210029
Diffstat (limited to 'llvm/test/Transforms/InstCombine/rem.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/rem.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/test/Transforms/InstCombine/rem.ll b/llvm/test/Transforms/InstCombine/rem.ll index 9f07702681e..0595a67393a 100644 --- a/llvm/test/Transforms/InstCombine/rem.ll +++ b/llvm/test/Transforms/InstCombine/rem.ll @@ -127,7 +127,7 @@ define i64 @test14(i64 %x, i32 %y) { ; CHECK-LABEL: @test14( ; CHECK-NEXT: [[SHL:%.*]] = shl i32 1, %y ; CHECK-NEXT: [[ZEXT:%.*]] = zext i32 [[SHL]] to i64 -; CHECK-NEXT: [[ADD:%.*]] = add i64 [[ZEXT]], -1 +; CHECK-NEXT: [[ADD:%.*]] = add nsw i64 [[ZEXT]], -1 ; CHECK-NEXT: [[AND:%.*]] = and i64 [[ADD]], %x ; CHECK-NEXT: ret i64 [[AND]] %shl = shl i32 1, %y |
