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

[Nikita Popov via llvm-commits]

Author: nikic
Date: Mon Mar 18 14:19:56 2019
New Revision: 356408

URL: http://llvm.org/viewvc/llvm-project?rev=356408&view=rev
Log:
[InstSimplify] Add additional icmp of min/max tests; NFC

These are baseline tests for D59506.

Added:
    llvm/trunk/test/Transforms/InstSimplify/cmp_of_min_max.ll

Added: llvm/trunk/test/Transforms/InstSimplify/cmp_of_min_max.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/cmp_of_min_max.ll?rev=356408&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/cmp_of_min_max.ll (added)
+++ llvm/trunk/test/Transforms/InstSimplify/cmp_of_min_max.ll Mon Mar 18 14:19:56 2019
@@ -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
+}