1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 3 ; Check simplification of 4 ; (icmp sgt x, -1) & (icmp sgt/sge n, x) --> icmp ugt/uge n, x 5 6 ; CHECK-LABEL: define i1 @test_and1 7 ; CHECK: [[R:%[0-9]+]] = icmp ugt i32 %nn, %x 8 ; CHECK: ret i1 [[R]] 9 define i1 @test_and1(i32 %x, i32 %n) { 10 %nn = and i32 %n, 2147483647 11 %a = icmp sge i32 %x, 0 12 %b = icmp slt i32 %x, %nn 13 %c = and i1 %a, %b 14 ret i1 %c 15 } 16 17 ; CHECK-LABEL: define i1 @test_and2 18 ; CHECK: [[R:%[0-9]+]] = icmp uge i32 %nn, %x 19 ; CHECK: ret i1 [[R]] 20 define i1 @test_and2(i32 %x, i32 %n) { 21 %nn = and i32 %n, 2147483647 22 %a = icmp sgt i32 %x, -1 23 %b = icmp sle i32 %x, %nn 24 %c = and i1 %a, %b 25 ret i1 %c 26 } 27 28 ; CHECK-LABEL: define i1 @test_and3 29 ; CHECK: [[R:%[0-9]+]] = icmp ugt i32 %nn, %x 30 ; CHECK: ret i1 [[R]] 31 define i1 @test_and3(i32 %x, i32 %n) { 32 %nn = and i32 %n, 2147483647 33 %a = icmp sgt i32 %nn, %x 34 %b = icmp sge i32 %x, 0 35 %c = and i1 %a, %b 36 ret i1 %c 37 } 38 39 ; CHECK-LABEL: define i1 @test_and4 40 ; CHECK: [[R:%[0-9]+]] = icmp uge i32 %nn, %x 41 ; CHECK: ret i1 [[R]] 42 define i1 @test_and4(i32 %x, i32 %n) { 43 %nn = and i32 %n, 2147483647 44 %a = icmp sge i32 %nn, %x 45 %b = icmp sge i32 %x, 0 46 %c = and i1 %a, %b 47 ret i1 %c 48 } 49 50 ; CHECK-LABEL: define i1 @test_or1 51 ; CHECK: [[R:%[0-9]+]] = icmp ule i32 %nn, %x 52 ; CHECK: ret i1 [[R]] 53 define i1 @test_or1(i32 %x, i32 %n) { 54 %nn = and i32 %n, 2147483647 55 %a = icmp slt i32 %x, 0 56 %b = icmp sge i32 %x, %nn 57 %c = or i1 %a, %b 58 ret i1 %c 59 } 60 61 ; CHECK-LABEL: define i1 @test_or2 62 ; CHECK: [[R:%[0-9]+]] = icmp ult i32 %nn, %x 63 ; CHECK: ret i1 [[R]] 64 define i1 @test_or2(i32 %x, i32 %n) { 65 %nn = and i32 %n, 2147483647 66 %a = icmp sle i32 %x, -1 67 %b = icmp sgt i32 %x, %nn 68 %c = or i1 %a, %b 69 ret i1 %c 70 } 71 72 ; CHECK-LABEL: define i1 @test_or3 73 ; CHECK: [[R:%[0-9]+]] = icmp ule i32 %nn, %x 74 ; CHECK: ret i1 [[R]] 75 define i1 @test_or3(i32 %x, i32 %n) { 76 %nn = and i32 %n, 2147483647 77 %a = icmp sle i32 %nn, %x 78 %b = icmp slt i32 %x, 0 79 %c = or i1 %a, %b 80 ret i1 %c 81 } 82 83 ; CHECK-LABEL: define i1 @test_or4 84 ; CHECK: [[R:%[0-9]+]] = icmp ult i32 %nn, %x 85 ; CHECK: ret i1 [[R]] 86 define i1 @test_or4(i32 %x, i32 %n) { 87 %nn = and i32 %n, 2147483647 88 %a = icmp slt i32 %nn, %x 89 %b = icmp slt i32 %x, 0 90 %c = or i1 %a, %b 91 ret i1 %c 92 } 93 94 ; Negative tests 95 96 ; CHECK-LABEL: define i1 @negative1 97 ; CHECK: %a = icmp 98 ; CHECK: %b = icmp 99 ; CHECK: %c = and i1 %a, %b 100 ; CHECK: ret i1 %c 101 define i1 @negative1(i32 %x, i32 %n) { 102 %nn = and i32 %n, 2147483647 103 %a = icmp slt i32 %x, %nn 104 %b = icmp sgt i32 %x, 0 ; should be: icmp sge 105 %c = and i1 %a, %b 106 ret i1 %c 107 } 108 109 ; CHECK-LABEL: define i1 @negative2 110 ; CHECK: %a = icmp 111 ; CHECK: %b = icmp 112 ; CHECK: %c = and i1 %a, %b 113 ; CHECK: ret i1 %c 114 define i1 @negative2(i32 %x, i32 %n) { 115 %a = icmp slt i32 %x, %n ; n can be negative 116 %b = icmp sge i32 %x, 0 117 %c = and i1 %a, %b 118 ret i1 %c 119 } 120 121 ; CHECK-LABEL: define i1 @negative3 122 ; CHECK: %a = icmp 123 ; CHECK: %b = icmp 124 ; CHECK: %c = and i1 %a, %b 125 ; CHECK: ret i1 %c 126 define i1 @negative3(i32 %x, i32 %y, i32 %n) { 127 %nn = and i32 %n, 2147483647 128 %a = icmp slt i32 %x, %nn 129 %b = icmp sge i32 %y, 0 ; should compare %x and not %y 130 %c = and i1 %a, %b 131 ret i1 %c 132 } 133 134 ; CHECK-LABEL: define i1 @negative4 135 ; CHECK: %a = icmp 136 ; CHECK: %b = icmp 137 ; CHECK: %c = and i1 %a, %b 138 ; CHECK: ret i1 %c 139 define i1 @negative4(i32 %x, i32 %n) { 140 %nn = and i32 %n, 2147483647 141 %a = icmp ne i32 %x, %nn ; should be: icmp slt/sle 142 %b = icmp sge i32 %x, 0 143 %c = and i1 %a, %b 144 ret i1 %c 145 } 146 147 ; CHECK-LABEL: define i1 @negative5 148 ; CHECK: %a = icmp 149 ; CHECK: %b = icmp 150 ; CHECK: %c = or i1 %a, %b 151 ; CHECK: ret i1 %c 152 define i1 @negative5(i32 %x, i32 %n) { 153 %nn = and i32 %n, 2147483647 154 %a = icmp slt i32 %x, %nn 155 %b = icmp sge i32 %x, 0 156 %c = or i1 %a, %b ; should be: and 157 ret i1 %c 158 } 159 160
