[InstSimplify] Add additional icmp of min/max tests; NFC

These are baseline tests for D59506.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@356408 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/InstSimplify/cmp_of_min_max.ll b/test/Transforms/InstSimplify/cmp_of_min_max.ll
new file mode 100644 (file)
index 0000000..4726609
--- /dev/null
+++ b/test/Transforms/InstSimplify/cmp_of_min_max.ll
@@ -0,0 +1,150 @@
+; 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:    [[C1:%.*]] = icmp ugt i32 [[N:%.*]], 10
+; CHECK-NEXT:    [[S:%.*]] = select i1 [[C1]], i32 [[N]], i32 10
+; CHECK-NEXT:    [[C2:%.*]] = icmp ugt i32 [[S]], 9
+; CHECK-NEXT:    ret i1 [[C2]]
+;
+  %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:    [[C1:%.*]] = icmp ult i32 [[N:%.*]], 10
+; CHECK-NEXT:    [[S:%.*]] = select i1 [[C1]], i32 [[N]], i32 10
+; CHECK-NEXT:    [[C2:%.*]] = icmp ult i32 [[S]], 11
+; CHECK-NEXT:    ret i1 [[C2]]
+;
+  %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:    [[C1:%.*]] = icmp sgt i32 [[N:%.*]], -10
+; CHECK-NEXT:    [[S:%.*]] = select i1 [[C1]], i32 [[N]], i32 -10
+; CHECK-NEXT:    [[C2:%.*]] = icmp sgt i32 [[S]], -11
+; CHECK-NEXT:    ret i1 [[C2]]
+;
+  %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:    [[C1:%.*]] = icmp slt i32 [[N:%.*]], 10
+; CHECK-NEXT:    [[S:%.*]] = select i1 [[C1]], i32 [[N]], i32 10
+; CHECK-NEXT:    [[C2:%.*]] = icmp slt i32 [[S]], 11
+; CHECK-NEXT:    ret i1 [[C2]]
+;
+  %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
+}