diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-10 16:18:01 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-10 16:18:01 +0000 |
| commit | ef23e8848051d1b0abfa7c5fbc3ea7a6e4b41d16 (patch) | |
| tree | 144afb51571a046a96abd89bee60b0f17df2088d /llvm/test/Transforms/InstCombine/with_overflow.ll | |
| parent | 9ff3afbea7b1b3d6bc2a73e353b6cadedc4d29a0 (diff) | |
| download | bcm5719-llvm-ef23e8848051d1b0abfa7c5fbc3ea7a6e4b41d16.tar.gz bcm5719-llvm-ef23e8848051d1b0abfa7c5fbc3ea7a6e4b41d16.zip | |
[InstCombine] Handle saddo always overflow
Followup to D60483: Handle AlwaysOverflow conditions for saddo as
well.
Differential Revision: https://reviews.llvm.org/D60497
llvm-svn: 358095
Diffstat (limited to 'llvm/test/Transforms/InstCombine/with_overflow.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/with_overflow.ll | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/llvm/test/Transforms/InstCombine/with_overflow.ll b/llvm/test/Transforms/InstCombine/with_overflow.ll index d5a727ea194..af9b1333497 100644 --- a/llvm/test/Transforms/InstCombine/with_overflow.ll +++ b/llvm/test/Transforms/InstCombine/with_overflow.ll @@ -568,8 +568,9 @@ define { i8, i1 } @sadd_always_overflow(i8 %x) nounwind { ; CHECK-LABEL: @sadd_always_overflow( ; CHECK-NEXT: [[C:%.*]] = icmp sgt i8 [[X:%.*]], 100 ; CHECK-NEXT: [[Y:%.*]] = select i1 [[C]], i8 [[X]], i8 100 -; CHECK-NEXT: [[A:%.*]] = call { i8, i1 } @llvm.sadd.with.overflow.i8(i8 [[Y]], i8 28) -; CHECK-NEXT: ret { i8, i1 } [[A]] +; CHECK-NEXT: [[A:%.*]] = add nuw i8 [[Y]], 28 +; CHECK-NEXT: [[TMP1:%.*]] = insertvalue { i8, i1 } { i8 undef, i1 true }, i8 [[A]], 0 +; CHECK-NEXT: ret { i8, i1 } [[TMP1]] ; %c = icmp sgt i8 %x, 100 %y = select i1 %c, i8 %x, i8 100 |
