diff options
Diffstat (limited to 'llvm/test/Transforms/InstSimplify/cmp_of_min_max.ll')
-rw-r--r-- | llvm/test/Transforms/InstSimplify/cmp_of_min_max.ll | 138 |
1 files changed, 0 insertions, 138 deletions
diff --git a/llvm/test/Transforms/InstSimplify/cmp_of_min_max.ll b/llvm/test/Transforms/InstSimplify/cmp_of_min_max.ll deleted file mode 100644 index 34c4a15aed1..00000000000 --- a/llvm/test/Transforms/InstSimplify/cmp_of_min_max.ll +++ /dev/null @@ -1,138 +0,0 @@ -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt < %s -instsimplify -S | FileCheck %s - -define i1 @test_umax1(i32 %n) { -; CHECK-LABEL: @test_umax1( -; CHECK-NEXT: ret i1 true -; - %c1 = icmp ugt i32 %n, 10 - %s = select i1 %c1, i32 %n, i32 10 - %c2 = icmp ugt i32 %s, 9 - ret i1 %c2 -} - -define i1 @test_umax2(i32 %n) { -; CHECK-LABEL: @test_umax2( -; CHECK-NEXT: [[C1:%.*]] = icmp ugt i32 [[N:%.*]], 10 -; CHECK-NEXT: ret i1 [[C1]] -; - %c1 = icmp ugt i32 %n, 10 - %s = select i1 %c1, i32 %n, i32 10 - %c2 = icmp ugt i32 %s, 10 - ret i1 %c2 -} - -define i1 @test_umax3(i32 %n) { -; CHECK-LABEL: @test_umax3( -; CHECK-NEXT: [[C1:%.*]] = icmp ugt i32 [[N:%.*]], 10 -; CHECK-NEXT: [[S:%.*]] = select i1 [[C1]], i32 [[N]], i32 10 -; CHECK-NEXT: [[C2:%.*]] = icmp ugt i32 [[S]], 11 -; CHECK-NEXT: ret i1 [[C2]] -; - %c1 = icmp ugt i32 %n, 10 - %s = select i1 %c1, i32 %n, i32 10 - %c2 = icmp ugt i32 %s, 11 - ret i1 %c2 -} - -define i1 @test_umin1(i32 %n) { -; CHECK-LABEL: @test_umin1( -; CHECK-NEXT: ret i1 true -; - %c1 = icmp ult i32 %n, 10 - %s = select i1 %c1, i32 %n, i32 10 - %c2 = icmp ult i32 %s, 11 - ret i1 %c2 -} - -define i1 @test_umin2(i32 %n) { -; CHECK-LABEL: @test_umin2( -; CHECK-NEXT: [[C1:%.*]] = icmp ult i32 [[N:%.*]], 10 -; CHECK-NEXT: ret i1 [[C1]] -; - %c1 = icmp ult i32 %n, 10 - %s = select i1 %c1, i32 %n, i32 10 - %c2 = icmp ult i32 %s, 10 - ret i1 %c2 -} - -define i1 @test_umin3(i32 %n) { -; CHECK-LABEL: @test_umin3( -; CHECK-NEXT: [[C1:%.*]] = icmp ult i32 [[N:%.*]], 10 -; CHECK-NEXT: [[S:%.*]] = select i1 [[C1]], i32 [[N]], i32 10 -; CHECK-NEXT: [[C2:%.*]] = icmp ult i32 [[S]], 9 -; CHECK-NEXT: ret i1 [[C2]] -; - %c1 = icmp ult i32 %n, 10 - %s = select i1 %c1, i32 %n, i32 10 - %c2 = icmp ult i32 %s, 9 - ret i1 %c2 -} - -define i1 @test_smax1(i32 %n) { -; CHECK-LABEL: @test_smax1( -; CHECK-NEXT: ret i1 true -; - %c1 = icmp sgt i32 %n, -10 - %s = select i1 %c1, i32 %n, i32 -10 - %c2 = icmp sgt i32 %s, -11 - ret i1 %c2 -} - -define i1 @test_smax2(i32 %n) { -; CHECK-LABEL: @test_smax2( -; CHECK-NEXT: [[C1:%.*]] = icmp sgt i32 [[N:%.*]], -10 -; CHECK-NEXT: ret i1 [[C1]] -; - %c1 = icmp sgt i32 %n, -10 - %s = select i1 %c1, i32 %n, i32 -10 - %c2 = icmp sgt i32 %s, -10 - ret i1 %c2 -} - -define i1 @test_smax3(i32 %n) { -; CHECK-LABEL: @test_smax3( -; CHECK-NEXT: [[C1:%.*]] = icmp sgt i32 [[N:%.*]], -10 -; CHECK-NEXT: [[S:%.*]] = select i1 [[C1]], i32 [[N]], i32 -10 -; CHECK-NEXT: [[C2:%.*]] = icmp sgt i32 [[S]], -9 -; CHECK-NEXT: ret i1 [[C2]] -; - %c1 = icmp sgt i32 %n, -10 - %s = select i1 %c1, i32 %n, i32 -10 - %c2 = icmp sgt i32 %s, -9 - ret i1 %c2 -} - -define i1 @test_smin1(i32 %n) { -; CHECK-LABEL: @test_smin1( -; CHECK-NEXT: ret i1 true -; - %c1 = icmp slt i32 %n, 10 - %s = select i1 %c1, i32 %n, i32 10 - %c2 = icmp slt i32 %s, 11 - ret i1 %c2 -} - -define i1 @test_smin2(i32 %n) { -; CHECK-LABEL: @test_smin2( -; CHECK-NEXT: [[C1:%.*]] = icmp slt i32 [[N:%.*]], 10 -; CHECK-NEXT: ret i1 [[C1]] -; - %c1 = icmp slt i32 %n, 10 - %s = select i1 %c1, i32 %n, i32 10 - %c2 = icmp slt i32 %s, 10 - ret i1 %c2 -} - -define i1 @test_smin3(i32 %n) { -; CHECK-LABEL: @test_smin3( -; CHECK-NEXT: [[C1:%.*]] = icmp slt i32 [[N:%.*]], 10 -; CHECK-NEXT: [[S:%.*]] = select i1 [[C1]], i32 [[N]], i32 10 -; CHECK-NEXT: [[C2:%.*]] = icmp slt i32 [[S]], 9 -; CHECK-NEXT: ret i1 [[C2]] -; - %c1 = icmp slt i32 %n, 10 - %s = select i1 %c1, i32 %n, i32 10 - %c2 = icmp slt i32 %s, 9 - ret i1 %c2 -} |