From 89d0f2ff489dda7ad44fd9757dc1a9d8c7646593 Mon Sep 17 00:00:00 2001 From: Nikita Popov Date: Mon, 18 Mar 2019 21:19:56 +0000 Subject: [PATCH] [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 --- .../Transforms/InstSimplify/cmp_of_min_max.ll | 150 ++++++++++++++++++ 1 file changed, 150 insertions(+) create mode 100644 test/Transforms/InstSimplify/cmp_of_min_max.ll diff --git a/test/Transforms/InstSimplify/cmp_of_min_max.ll b/test/Transforms/InstSimplify/cmp_of_min_max.ll new file mode 100644 index 00000000000..4726609c3f5 --- /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 +} -- 2.50.1