diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-31 19:04:47 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-31 19:04:47 +0000 |
| commit | ccb63e0bfe169a9adadccc01ec0c9f2bdb0f6e86 (patch) | |
| tree | 8db6b7eab1abd459d64531b9f62f9b8c2ad1883e /llvm/test/Transforms | |
| parent | 51e0de6954a993f4647d16a243494139043dc105 (diff) | |
| download | bcm5719-llvm-ccb63e0bfe169a9adadccc01ec0c9f2bdb0f6e86.tar.gz bcm5719-llvm-ccb63e0bfe169a9adadccc01ec0c9f2bdb0f6e86.zip | |
Revert "[CVP] Simplify non-overflowing saturating add/sub"
This reverts commit 1e692d1777ae34dcb93524b5798651a29defae09.
Causes assertion failure in builtins-wasm.c clang test.
llvm-svn: 362254
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/CorrelatedValuePropagation/overflows.ll | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/llvm/test/Transforms/CorrelatedValuePropagation/overflows.ll b/llvm/test/Transforms/CorrelatedValuePropagation/overflows.ll index b692e0d1ac3..860ebafd074 100644 --- a/llvm/test/Transforms/CorrelatedValuePropagation/overflows.ll +++ b/llvm/test/Transforms/CorrelatedValuePropagation/overflows.ll @@ -739,8 +739,8 @@ define i8 @uadd_sat_no_overflow(i8 %x) { ; CHECK-NEXT: call void @llvm.trap() ; CHECK-NEXT: unreachable ; CHECK: cont: -; CHECK-NEXT: [[RES1:%.*]] = add nuw i8 [[X]], 100 -; CHECK-NEXT: ret i8 [[RES1]] +; CHECK-NEXT: [[RES:%.*]] = call i8 @llvm.uadd.sat.i8(i8 [[X]], i8 100) +; CHECK-NEXT: ret i8 [[RES]] ; %cmp = icmp ugt i8 %x, 100 br i1 %cmp, label %trap, label %cont @@ -762,8 +762,8 @@ define i8 @sadd_sat_no_overflow(i8 %x) { ; CHECK-NEXT: call void @llvm.trap() ; CHECK-NEXT: unreachable ; CHECK: cont: -; CHECK-NEXT: [[RES1:%.*]] = add nsw i8 [[X]], 20 -; CHECK-NEXT: ret i8 [[RES1]] +; CHECK-NEXT: [[RES:%.*]] = call i8 @llvm.sadd.sat.i8(i8 [[X]], i8 20) +; CHECK-NEXT: ret i8 [[RES]] ; %cmp = icmp sgt i8 %x, 100 br i1 %cmp, label %trap, label %cont @@ -785,8 +785,8 @@ define i8 @usub_sat_no_overflow(i8 %x) { ; CHECK-NEXT: call void @llvm.trap() ; CHECK-NEXT: unreachable ; CHECK: cont: -; CHECK-NEXT: [[RES1:%.*]] = sub nuw i8 [[X]], 100 -; CHECK-NEXT: ret i8 [[RES1]] +; CHECK-NEXT: [[RES:%.*]] = call i8 @llvm.usub.sat.i8(i8 [[X]], i8 100) +; CHECK-NEXT: ret i8 [[RES]] ; %cmp = icmp ult i8 %x, 100 br i1 %cmp, label %trap, label %cont @@ -808,8 +808,8 @@ define i8 @ssub_sat_no_overflow(i8 %x) { ; CHECK-NEXT: call void @llvm.trap() ; CHECK-NEXT: unreachable ; CHECK: cont: -; CHECK-NEXT: [[RES1:%.*]] = sub nsw i8 [[X]], 20 -; CHECK-NEXT: ret i8 [[RES1]] +; CHECK-NEXT: [[RES:%.*]] = call i8 @llvm.ssub.sat.i8(i8 [[X]], i8 20) +; CHECK-NEXT: ret i8 [[RES]] ; %cmp = icmp slt i8 %x, -100 br i1 %cmp, label %trap, label %cont |
