diff options
author | Eric Christopher <echristo@gmail.com> | 2019-04-17 02:12:23 +0000 |
---|---|---|
committer | Eric Christopher <echristo@gmail.com> | 2019-04-17 02:12:23 +0000 |
commit | a86343512845c9c1fdbac865fea88aa5fce7142a (patch) | |
tree | 666fc6353de19ad8b00e56b67edd33f24104e4a7 /llvm/test/Transforms/InstCombine/abs_abs.ll | |
parent | 7f8ca6e3679b3af951cb7a4b1377edfaa3244b93 (diff) | |
download | bcm5719-llvm-a86343512845c9c1fdbac865fea88aa5fce7142a.tar.gz bcm5719-llvm-a86343512845c9c1fdbac865fea88aa5fce7142a.zip |
Temporarily Revert "Add basic loop fusion pass."
As it's causing some bot failures (and per request from kbarton).
This reverts commit r358543/ab70da07286e618016e78247e4a24fcb84077fda.
llvm-svn: 358546
Diffstat (limited to 'llvm/test/Transforms/InstCombine/abs_abs.ll')
-rw-r--r-- | llvm/test/Transforms/InstCombine/abs_abs.ll | 1346 |
1 files changed, 0 insertions, 1346 deletions
diff --git a/llvm/test/Transforms/InstCombine/abs_abs.ll b/llvm/test/Transforms/InstCombine/abs_abs.ll deleted file mode 100644 index 207ceb5215a..00000000000 --- a/llvm/test/Transforms/InstCombine/abs_abs.ll +++ /dev/null @@ -1,1346 +0,0 @@ -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt < %s -instcombine -S | FileCheck %s - -define i32 @abs_abs_x01(i32 %x) { -; CHECK-LABEL: @abs_abs_x01( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define <2 x i32> @abs_abs_x01_vec(<2 x i32> %x) { -; CHECK-LABEL: @abs_abs_x01_vec( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[X:%.*]], zeroinitializer -; CHECK-NEXT: [[SUB:%.*]] = sub nsw <2 x i32> zeroinitializer, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[SUB]], <2 x i32> [[X]] -; CHECK-NEXT: ret <2 x i32> [[COND]] -; - %cmp = icmp sgt <2 x i32> %x, <i32 -1, i32 -1> - %sub = sub nsw <2 x i32> zeroinitializer, %x - %cond = select <2 x i1> %cmp, <2 x i32> %x, <2 x i32> %sub - %cmp1 = icmp sgt <2 x i32> %cond, <i32 -1, i32 -1> - %sub16 = sub nsw <2 x i32> zeroinitializer, %cond - %cond18 = select <2 x i1> %cmp1, <2 x i32> %cond, <2 x i32> %sub16 - ret <2 x i32> %cond18 -} - -define i32 @abs_abs_x02(i32 %x) { -; CHECK-LABEL: @abs_abs_x02( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_abs_x03(i32 %x) { -; CHECK-LABEL: @abs_abs_x03( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_abs_x04(i32 %x) { -; CHECK-LABEL: @abs_abs_x04( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define <2 x i32> @abs_abs_x04_vec(<2 x i32> %x) { -; CHECK-LABEL: @abs_abs_x04_vec( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[X:%.*]], zeroinitializer -; CHECK-NEXT: [[SUB:%.*]] = sub nsw <2 x i32> zeroinitializer, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[SUB]], <2 x i32> [[X]] -; CHECK-NEXT: ret <2 x i32> [[COND]] -; - %cmp = icmp slt <2 x i32> %x, <i32 1, i32 1> - %sub = sub nsw <2 x i32> zeroinitializer, %x - %cond = select <2 x i1> %cmp, <2 x i32> %sub, <2 x i32> %x - %cmp1 = icmp sgt <2 x i32> %cond, <i32 -1, i32 -1> - %sub16 = sub nsw <2 x i32> zeroinitializer, %cond - %cond18 = select <2 x i1> %cmp1, <2 x i32> %cond, <2 x i32> %sub16 - ret <2 x i32> %cond18 -} - -define i32 @abs_abs_x05(i32 %x) { -; CHECK-LABEL: @abs_abs_x05( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_abs_x06(i32 %x) { -; CHECK-LABEL: @abs_abs_x06( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_abs_x07(i32 %x) { -; CHECK-LABEL: @abs_abs_x07( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_abs_x08(i32 %x) { -; CHECK-LABEL: @abs_abs_x08( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_abs_x09(i32 %x) { -; CHECK-LABEL: @abs_abs_x09( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_abs_x10(i32 %x) { -; CHECK-LABEL: @abs_abs_x10( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_abs_x11(i32 %x) { -; CHECK-LABEL: @abs_abs_x11( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_abs_x12(i32 %x) { -; CHECK-LABEL: @abs_abs_x12( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_abs_x13(i32 %x) { -; CHECK-LABEL: @abs_abs_x13( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_abs_x14(i32 %x) { -; CHECK-LABEL: @abs_abs_x14( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_abs_x15(i32 %x) { -; CHECK-LABEL: @abs_abs_x15( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_abs_x16(i32 %x) { -; CHECK-LABEL: @abs_abs_x16( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -; abs(abs(-x)) -> abs(-x) -> abs(x) -define i32 @abs_abs_x17(i32 %x) { -; CHECK-LABEL: @abs_abs_x17( -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X]], 0 -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %sub = sub nsw i32 0, %x - %cmp = icmp sgt i32 %sub, -1 - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -; abs(abs(x - y)) -> abs(x - y) -define i32 @abs_abs_x18(i32 %x, i32 %y) { -; CHECK-LABEL: @abs_abs_x18( -; CHECK-NEXT: [[A:%.*]] = sub nsw i32 [[X:%.*]], [[Y:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[A]], 0 -; CHECK-NEXT: [[NEGA:%.*]] = sub i32 0, [[A]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[NEGA]], i32 [[A]] -; CHECK-NEXT: ret i32 [[COND]] -; - %a = sub nsw i32 %x, %y - %b = sub nsw i32 %y, %x - %cmp = icmp sgt i32 %a, -1 - %cond = select i1 %cmp, i32 %a, i32 %b - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -; abs(abs(-x)) -> abs(-x) -> abs(x) -define <2 x i32> @abs_abs_x02_vec(<2 x i32> %x) { -; CHECK-LABEL: @abs_abs_x02_vec( -; CHECK-NEXT: [[SUB:%.*]] = sub nsw <2 x i32> zeroinitializer, [[X:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[X]], zeroinitializer -; CHECK-NEXT: [[COND:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[SUB]], <2 x i32> [[X]] -; CHECK-NEXT: ret <2 x i32> [[COND]] -; - %sub = sub nsw <2 x i32> zeroinitializer, %x - %cmp = icmp sgt <2 x i32> %sub, <i32 -1, i32 -1> - %cond = select <2 x i1> %cmp, <2 x i32> %sub, <2 x i32> %x - %cmp1 = icmp sgt <2 x i32> %cond, <i32 -1, i32 -1> - %sub16 = sub nsw <2 x i32> zeroinitializer, %cond - %cond18 = select <2 x i1> %cmp1, <2 x i32> %cond, <2 x i32> %sub16 - ret <2 x i32> %cond18 -} - -; abs(abs(x - y)) -> abs(x - y) -define <2 x i32> @abs_abs_x03_vec(<2 x i32> %x, <2 x i32> %y) { -; CHECK-LABEL: @abs_abs_x03_vec( -; CHECK-NEXT: [[A:%.*]] = sub nsw <2 x i32> [[X:%.*]], [[Y:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[A]], zeroinitializer -; CHECK-NEXT: [[NEGA:%.*]] = sub <2 x i32> zeroinitializer, [[A]] -; CHECK-NEXT: [[COND:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[NEGA]], <2 x i32> [[A]] -; CHECK-NEXT: ret <2 x i32> [[COND]] -; - %a = sub nsw <2 x i32> %x, %y - %b = sub nsw <2 x i32> %y, %x - %cmp = icmp sgt <2 x i32> %a, <i32 -1, i32 -1> - %cond = select <2 x i1> %cmp, <2 x i32> %a, <2 x i32> %b - %cmp1 = icmp sgt <2 x i32> %cond, <i32 -1, i32 -1> - %sub16 = sub nsw <2 x i32> zeroinitializer, %cond - %cond18 = select <2 x i1> %cmp1, <2 x i32> %cond, <2 x i32> %sub16 - ret <2 x i32> %cond18 -} - -define i32 @nabs_nabs_x01(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x01( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, -1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_nabs_x02(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x02( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, -1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_nabs_x03(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x03( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, -1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_nabs_x04(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x04( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, -1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_nabs_x05(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x05( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_nabs_x06(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x06( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_nabs_x07(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x07( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_nabs_x08(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x08( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_nabs_x09(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x09( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_nabs_x10(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x10( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_nabs_x11(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x11( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_nabs_x12(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x12( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_nabs_x13(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x13( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_nabs_x14(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x14( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_nabs_x15(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x15( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_nabs_x16(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x16( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -; nabs(nabs(-x)) -> nabs(-x) -> nabs(x) -define i32 @nabs_nabs_x17(i32 %x) { -; CHECK-LABEL: @nabs_nabs_x17( -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X]], 0 -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %sub = sub nsw i32 0, %x - %cmp = icmp sgt i32 %sub, -1 - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub16, i32 %cond - ret i32 %cond18 -} - -; nabs(nabs(x - y)) -> nabs(x - y) -define i32 @nabs_nabs_x18(i32 %x, i32 %y) { -; CHECK-LABEL: @nabs_nabs_x18( -; CHECK-NEXT: [[A:%.*]] = sub nsw i32 [[X:%.*]], [[Y:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[A]], 0 -; CHECK-NEXT: [[NEGA:%.*]] = sub i32 0, [[A]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[A]], i32 [[NEGA]] -; CHECK-NEXT: ret i32 [[COND]] -; - %a = sub nsw i32 %x, %y - %b = sub nsw i32 %y, %x - %cmp = icmp sgt i32 %a, -1 - %cond = select i1 %cmp, i32 %b, i32 %a - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub16, i32 %cond - ret i32 %cond18 -} - -; nabs(nabs(-x)) -> nabs(-x) -> nabs(x) -define <2 x i32> @nabs_nabs_x01_vec(<2 x i32> %x) { -; CHECK-LABEL: @nabs_nabs_x01_vec( -; CHECK-NEXT: [[SUB:%.*]] = sub nsw <2 x i32> zeroinitializer, [[X:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[X]], zeroinitializer -; CHECK-NEXT: [[COND:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[X]], <2 x i32> [[SUB]] -; CHECK-NEXT: ret <2 x i32> [[COND]] -; - %sub = sub nsw <2 x i32> zeroinitializer, %x - %cmp = icmp sgt <2 x i32> %sub, <i32 -1, i32 -1> - %cond = select <2 x i1> %cmp, <2 x i32> %x, <2 x i32> %sub - %cmp1 = icmp sgt <2 x i32> %cond, <i32 -1, i32 -1> - %sub16 = sub nsw <2 x i32> zeroinitializer, %cond - %cond18 = select <2 x i1> %cmp1, <2 x i32> %sub16, <2 x i32> %cond - ret <2 x i32> %cond18 -} - -; nabs(nabs(x - y)) -> nabs(x - y) -define <2 x i32> @nabs_nabs_x02_vec(<2 x i32> %x, <2 x i32> %y) { -; CHECK-LABEL: @nabs_nabs_x02_vec( -; CHECK-NEXT: [[A:%.*]] = sub nsw <2 x i32> [[X:%.*]], [[Y:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[A]], zeroinitializer -; CHECK-NEXT: [[NEGA:%.*]] = sub <2 x i32> zeroinitializer, [[A]] -; CHECK-NEXT: [[COND:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[A]], <2 x i32> [[NEGA]] -; CHECK-NEXT: ret <2 x i32> [[COND]] -; - %a = sub nsw <2 x i32> %x, %y - %b = sub nsw <2 x i32> %y, %x - %cmp = icmp sgt <2 x i32> %a, <i32 -1, i32 -1> - %cond = select <2 x i1> %cmp, <2 x i32> %b, <2 x i32> %a - %cmp1 = icmp sgt <2 x i32> %cond, <i32 -1, i32 -1> - %sub16 = sub nsw <2 x i32> zeroinitializer, %cond - %cond18 = select <2 x i1> %cmp1, <2 x i32> %sub16, <2 x i32> %cond - ret <2 x i32> %cond18 -} - -define i32 @abs_nabs_x01(i32 %x) { -; CHECK-LABEL: @abs_nabs_x01( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_nabs_x02(i32 %x) { -; CHECK-LABEL: @abs_nabs_x02( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_nabs_x03(i32 %x) { -; CHECK-LABEL: @abs_nabs_x03( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_nabs_x04(i32 %x) { -; CHECK-LABEL: @abs_nabs_x04( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_nabs_x05(i32 %x) { -; CHECK-LABEL: @abs_nabs_x05( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_nabs_x06(i32 %x) { -; CHECK-LABEL: @abs_nabs_x06( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_nabs_x07(i32 %x) { -; CHECK-LABEL: @abs_nabs_x07( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_nabs_x08(i32 %x) { -; CHECK-LABEL: @abs_nabs_x08( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @abs_nabs_x09(i32 %x) { -; CHECK-LABEL: @abs_nabs_x09( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_nabs_x10(i32 %x) { -; CHECK-LABEL: @abs_nabs_x10( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_nabs_x11(i32 %x) { -; CHECK-LABEL: @abs_nabs_x11( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_nabs_x12(i32 %x) { -; CHECK-LABEL: @abs_nabs_x12( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_nabs_x13(i32 %x) { -; CHECK-LABEL: @abs_nabs_x13( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_nabs_x14(i32 %x) { -; CHECK-LABEL: @abs_nabs_x14( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_nabs_x15(i32 %x) { -; CHECK-LABEL: @abs_nabs_x15( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @abs_nabs_x16(i32 %x) { -; CHECK-LABEL: @abs_nabs_x16( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -; abs(nabs(-x)) -> abs(-x) -> abs(x) -define i32 @abs_nabs_x17(i32 %x) { -; CHECK-LABEL: @abs_nabs_x17( -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X]], 0 -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[X]] -; CHECK-NEXT: ret i32 [[COND]] -; - %sub = sub nsw i32 0, %x - %cmp = icmp sgt i32 %sub, -1 - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -; abs(nabs(x - y)) -> abs(x - y) -define i32 @abs_nabs_x18(i32 %x, i32 %y) { -; CHECK-LABEL: @abs_nabs_x18( -; CHECK-NEXT: [[A:%.*]] = sub nsw i32 [[X:%.*]], [[Y:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[A]], 0 -; CHECK-NEXT: [[NEGA:%.*]] = sub i32 0, [[A]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[NEGA]], i32 [[A]] -; CHECK-NEXT: ret i32 [[COND]] -; - %a = sub nsw i32 %x, %y - %b = sub nsw i32 %y, %x - %cmp = icmp sgt i32 %a, -1 - %cond = select i1 %cmp, i32 %b, i32 %a - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -; abs(nabs(-x)) -> abs(-x) -> abs(x) -define <2 x i32> @abs_nabs_x01_vec(<2 x i32> %x) { -; CHECK-LABEL: @abs_nabs_x01_vec( -; CHECK-NEXT: [[SUB:%.*]] = sub nsw <2 x i32> zeroinitializer, [[X:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[X]], zeroinitializer -; CHECK-NEXT: [[COND:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[SUB]], <2 x i32> [[X]] -; CHECK-NEXT: ret <2 x i32> [[COND]] -; - %sub = sub nsw <2 x i32> zeroinitializer, %x - %cmp = icmp sgt <2 x i32> %sub, <i32 -1, i32 -1> - %cond = select <2 x i1> %cmp, <2 x i32> %x, <2 x i32> %sub - %cmp1 = icmp sgt <2 x i32> %cond, <i32 -1, i32 -1> - %sub16 = sub nsw <2 x i32> zeroinitializer, %cond - %cond18 = select <2 x i1> %cmp1, <2 x i32> %cond, <2 x i32> %sub16 - ret <2 x i32> %cond18 -} - -; abs(nabs(x - y)) -> abs(x - y) -define <2 x i32> @abs_nabs_x02_vec(<2 x i32> %x, <2 x i32> %y) { -; CHECK-LABEL: @abs_nabs_x02_vec( -; CHECK-NEXT: [[A:%.*]] = sub nsw <2 x i32> [[X:%.*]], [[Y:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[A]], zeroinitializer -; CHECK-NEXT: [[NEGA:%.*]] = sub <2 x i32> zeroinitializer, [[A]] -; CHECK-NEXT: [[COND:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[NEGA]], <2 x i32> [[A]] -; CHECK-NEXT: ret <2 x i32> [[COND]] -; - %a = sub nsw <2 x i32> %x, %y - %b = sub nsw <2 x i32> %y, %x - %cmp = icmp sgt <2 x i32> %a, <i32 -1, i32 -1> - %cond = select <2 x i1> %cmp, <2 x i32> %b, <2 x i32> %a - %cmp1 = icmp sgt <2 x i32> %cond, <i32 -1, i32 -1> - %sub16 = sub nsw <2 x i32> zeroinitializer, %cond - %cond18 = select <2 x i1> %cmp1, <2 x i32> %cond, <2 x i32> %sub16 - ret <2 x i32> %cond18 -} - -define i32 @nabs_abs_x01(i32 %x) { -; CHECK-LABEL: @nabs_abs_x01( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, -1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_abs_x02(i32 %x) { -; CHECK-LABEL: @nabs_abs_x02( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, -1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_abs_x03(i32 %x) { -; CHECK-LABEL: @nabs_abs_x03( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, -1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_abs_x04(i32 %x) { -; CHECK-LABEL: @nabs_abs_x04( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, -1 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_abs_x05(i32 %x) { -; CHECK-LABEL: @nabs_abs_x05( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_abs_x06(i32 %x) { -; CHECK-LABEL: @nabs_abs_x06( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp sgt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_abs_x07(i32 %x) { -; CHECK-LABEL: @nabs_abs_x07( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_abs_x08(i32 %x) { -; CHECK-LABEL: @nabs_abs_x08( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, 0 - %sub9 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond - ret i32 %cond18 -} - -define i32 @nabs_abs_x09(i32 %x) { -; CHECK-LABEL: @nabs_abs_x09( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_abs_x10(i32 %x) { -; CHECK-LABEL: @nabs_abs_x10( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_abs_x11(i32 %x) { -; CHECK-LABEL: @nabs_abs_x11( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_abs_x12(i32 %x) { -; CHECK-LABEL: @nabs_abs_x12( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 0 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_abs_x13(i32 %x) { -; CHECK-LABEL: @nabs_abs_x13( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, -1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_abs_x14(i32 %x) { -; CHECK-LABEL: @nabs_abs_x14( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp sgt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %x, i32 %sub - %cmp1 = icmp slt i32 %cond, 1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_abs_x15(i32 %x) { -; CHECK-LABEL: @nabs_abs_x15( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 0 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -define i32 @nabs_abs_x16(i32 %x) { -; CHECK-LABEL: @nabs_abs_x16( -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 0 -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X]] -; CHECK-NEXT: [[COND1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND1]] -; - %cmp = icmp slt i32 %x, 1 - %sub = sub nsw i32 0, %x - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp slt i32 %cond, 1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 - ret i32 %cond18 -} - -; nabs(abs(-x)) -> nabs(-x) -> nabs(x) -define i32 @nabs_abs_x17(i32 %x) { -; CHECK-LABEL: @nabs_abs_x17( -; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[X:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X]], 0 -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[X]], i32 [[SUB]] -; CHECK-NEXT: ret i32 [[COND]] -; - %sub = sub nsw i32 0, %x - %cmp = icmp sgt i32 %sub, -1 - %cond = select i1 %cmp, i32 %sub, i32 %x - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub16, i32 %cond - ret i32 %cond18 -} - -; nabs(abs(x - y)) -> nabs(x - y) -define i32 @nabs_abs_x18(i32 %x, i32 %y) { -; CHECK-LABEL: @nabs_abs_x18( -; CHECK-NEXT: [[A:%.*]] = sub nsw i32 [[X:%.*]], [[Y:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[A]], 0 -; CHECK-NEXT: [[NEGA:%.*]] = sub i32 0, [[A]] -; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[A]], i32 [[NEGA]] -; CHECK-NEXT: ret i32 [[COND]] -; - %a = sub nsw i32 %x, %y - %b = sub nsw i32 %y, %x - %cmp = icmp sgt i32 %a, -1 - %cond = select i1 %cmp, i32 %a, i32 %b - %cmp1 = icmp sgt i32 %cond, -1 - %sub16 = sub nsw i32 0, %cond - %cond18 = select i1 %cmp1, i32 %sub16, i32 %cond - ret i32 %cond18 -} - -; nabs(abs(-x)) -> nabs(-x) -> nabs(x) -define <2 x i32> @nabs_abs_x01_vec(<2 x i32> %x) { -; CHECK-LABEL: @nabs_abs_x01_vec( -; CHECK-NEXT: [[SUB:%.*]] = sub nsw <2 x i32> zeroinitializer, [[X:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[X]], zeroinitializer -; CHECK-NEXT: [[COND:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[X]], <2 x i32> [[SUB]] -; CHECK-NEXT: ret <2 x i32> [[COND]] -; - %sub = sub nsw <2 x i32> zeroinitializer, %x - %cmp = icmp sgt <2 x i32> %sub, <i32 -1, i32 -1> - %cond = select <2 x i1> %cmp, <2 x i32> %sub, <2 x i32> %x - %cmp1 = icmp sgt <2 x i32> %cond, <i32 -1, i32 -1> - %sub16 = sub nsw <2 x i32> zeroinitializer, %cond - %cond18 = select <2 x i1> %cmp1, <2 x i32> %sub16, <2 x i32> %cond - ret <2 x i32> %cond18 -} - -; nabs(abs(x - y)) -> nabs(x - y) -define <2 x i32> @nabs_abs_x02_vec(<2 x i32> %x, <2 x i32> %y) { -; CHECK-LABEL: @nabs_abs_x02_vec( -; CHECK-NEXT: [[A:%.*]] = sub nsw <2 x i32> [[X:%.*]], [[Y:%.*]] -; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[A]], zeroinitializer -; CHECK-NEXT: [[NEGA:%.*]] = sub <2 x i32> zeroinitializer, [[A]] -; CHECK-NEXT: [[COND:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[A]], <2 x i32> [[NEGA]] -; CHECK-NEXT: ret <2 x i32> [[COND]] -; - %a = sub nsw <2 x i32> %x, %y - %b = sub nsw <2 x i32> %y, %x - %cmp = icmp sgt <2 x i32> %a, <i32 -1, i32 -1> - %cond = select <2 x i1> %cmp, <2 x i32> %a, <2 x i32> %b - %cmp1 = icmp sgt <2 x i32> %cond, <i32 -1, i32 -1> - %sub16 = sub nsw <2 x i32> zeroinitializer, %cond - %cond18 = select <2 x i1> %cmp1, <2 x i32> %sub16, <2 x i32> %cond - ret <2 x i32> %cond18 -} |