1 ; NOTE: Assertions have been autogenerated by update_test_checks.py 2 ; RUN: opt < %s -instsimplify -S | FileCheck %s 3 4 define i1 @max1(i32 %x, i32 %y) { 5 ; CHECK-LABEL: @max1( 6 ; CHECK: ret i1 false 7 ; 8 %c = icmp sgt i32 %x, %y 9 %m = select i1 %c, i32 %x, i32 %y 10 %r = icmp slt i32 %m, %x 11 ret i1 %r 12 } 13 14 define i1 @max2(i32 %x, i32 %y) { 15 ; CHECK-LABEL: @max2( 16 ; CHECK: ret i1 true 17 ; 18 %c = icmp sge i32 %x, %y 19 %m = select i1 %c, i32 %x, i32 %y 20 %r = icmp sge i32 %m, %x 21 ret i1 %r 22 } 23 24 define i1 @max3(i32 %x, i32 %y) { 25 ; CHECK-LABEL: @max3( 26 ; CHECK: ret i1 false 27 ; 28 %c = icmp ugt i32 %x, %y 29 %m = select i1 %c, i32 %x, i32 %y 30 %r = icmp ult i32 %m, %x 31 ret i1 %r 32 } 33 34 define i1 @max4(i32 %x, i32 %y) { 35 ; CHECK-LABEL: @max4( 36 ; CHECK: ret i1 true 37 ; 38 %c = icmp uge i32 %x, %y 39 %m = select i1 %c, i32 %x, i32 %y 40 %r = icmp uge i32 %m, %x 41 ret i1 %r 42 } 43 44 define i1 @max5(i32 %x, i32 %y) { 45 ; CHECK-LABEL: @max5( 46 ; CHECK: ret i1 false 47 ; 48 %c = icmp sgt i32 %x, %y 49 %m = select i1 %c, i32 %x, i32 %y 50 %r = icmp sgt i32 %x, %m 51 ret i1 %r 52 } 53 54 define i1 @max6(i32 %x, i32 %y) { 55 ; CHECK-LABEL: @max6( 56 ; CHECK: ret i1 true 57 ; 58 %c = icmp sge i32 %x, %y 59 %m = select i1 %c, i32 %x, i32 %y 60 %r = icmp sle i32 %x, %m 61 ret i1 %r 62 } 63 64 define i1 @max7(i32 %x, i32 %y) { 65 ; CHECK-LABEL: @max7( 66 ; CHECK: ret i1 false 67 ; 68 %c = icmp ugt i32 %x, %y 69 %m = select i1 %c, i32 %x, i32 %y 70 %r = icmp ugt i32 %x, %m 71 ret i1 %r 72 } 73 74 define i1 @max8(i32 %x, i32 %y) { 75 ; CHECK-LABEL: @max8( 76 ; CHECK: ret i1 true 77 ; 78 %c = icmp uge i32 %x, %y 79 %m = select i1 %c, i32 %x, i32 %y 80 %r = icmp ule i32 %x, %m 81 ret i1 %r 82 } 83 84 define i1 @min1(i32 %x, i32 %y) { 85 ; CHECK-LABEL: @min1( 86 ; CHECK: ret i1 false 87 ; 88 %c = icmp sgt i32 %x, %y 89 %m = select i1 %c, i32 %y, i32 %x 90 %r = icmp sgt i32 %m, %x 91 ret i1 %r 92 } 93 94 define i1 @min2(i32 %x, i32 %y) { 95 ; CHECK-LABEL: @min2( 96 ; CHECK: ret i1 true 97 ; 98 %c = icmp sge i32 %x, %y 99 %m = select i1 %c, i32 %y, i32 %x 100 %r = icmp sle i32 %m, %x 101 ret i1 %r 102 } 103 104 define i1 @min3(i32 %x, i32 %y) { 105 ; CHECK-LABEL: @min3( 106 ; CHECK: ret i1 false 107 ; 108 %c = icmp ugt i32 %x, %y 109 %m = select i1 %c, i32 %y, i32 %x 110 %r = icmp ugt i32 %m, %x 111 ret i1 %r 112 } 113 114 define i1 @min4(i32 %x, i32 %y) { 115 ; CHECK-LABEL: @min4( 116 ; CHECK: ret i1 true 117 ; 118 %c = icmp uge i32 %x, %y 119 %m = select i1 %c, i32 %y, i32 %x 120 %r = icmp ule i32 %m, %x 121 ret i1 %r 122 } 123 124 define i1 @min5(i32 %x, i32 %y) { 125 ; CHECK-LABEL: @min5( 126 ; CHECK: ret i1 false 127 ; 128 %c = icmp sgt i32 %x, %y 129 %m = select i1 %c, i32 %y, i32 %x 130 %r = icmp slt i32 %x, %m 131 ret i1 %r 132 } 133 134 define i1 @min6(i32 %x, i32 %y) { 135 ; CHECK-LABEL: @min6( 136 ; CHECK: ret i1 true 137 ; 138 %c = icmp sge i32 %x, %y 139 %m = select i1 %c, i32 %y, i32 %x 140 %r = icmp sge i32 %x, %m 141 ret i1 %r 142 } 143 144 define i1 @min7(i32 %x, i32 %y) { 145 ; CHECK-LABEL: @min7( 146 ; CHECK: ret i1 false 147 ; 148 %c = icmp ugt i32 %x, %y 149 %m = select i1 %c, i32 %y, i32 %x 150 %r = icmp ult i32 %x, %m 151 ret i1 %r 152 } 153 154 define i1 @min8(i32 %x, i32 %y) { 155 ; CHECK-LABEL: @min8( 156 ; CHECK: ret i1 true 157 ; 158 %c = icmp uge i32 %x, %y 159 %m = select i1 %c, i32 %y, i32 %x 160 %r = icmp uge i32 %x, %m 161 ret i1 %r 162 } 163 164 define i1 @maxmin1(i32 %x, i32 %y, i32 %z) { 165 ; CHECK-LABEL: @maxmin1( 166 ; CHECK: ret i1 true 167 ; 168 %c1 = icmp sge i32 %x, %y 169 %max = select i1 %c1, i32 %x, i32 %y 170 %c2 = icmp sge i32 %x, %z 171 %min = select i1 %c2, i32 %z, i32 %x 172 %c = icmp sge i32 %max, %min 173 ret i1 %c 174 } 175 176 define i1 @maxmin2(i32 %x, i32 %y, i32 %z) { 177 ; CHECK-LABEL: @maxmin2( 178 ; CHECK: ret i1 false 179 ; 180 %c1 = icmp sge i32 %x, %y 181 %max = select i1 %c1, i32 %x, i32 %y 182 %c2 = icmp sge i32 %x, %z 183 %min = select i1 %c2, i32 %z, i32 %x 184 %c = icmp sgt i32 %min, %max 185 ret i1 %c 186 } 187 188 define i1 @maxmin3(i32 %x, i32 %y, i32 %z) { 189 ; CHECK-LABEL: @maxmin3( 190 ; CHECK: ret i1 true 191 ; 192 %c1 = icmp sge i32 %x, %y 193 %max = select i1 %c1, i32 %x, i32 %y 194 %c2 = icmp sge i32 %x, %z 195 %min = select i1 %c2, i32 %z, i32 %x 196 %c = icmp sle i32 %min, %max 197 ret i1 %c 198 } 199 200 define i1 @maxmin4(i32 %x, i32 %y, i32 %z) { 201 ; CHECK-LABEL: @maxmin4( 202 ; CHECK: ret i1 false 203 ; 204 %c1 = icmp sge i32 %x, %y 205 %max = select i1 %c1, i32 %x, i32 %y 206 %c2 = icmp sge i32 %x, %z 207 %min = select i1 %c2, i32 %z, i32 %x 208 %c = icmp slt i32 %max, %min 209 ret i1 %c 210 } 211 212 define i1 @maxmin5(i32 %x, i32 %y, i32 %z) { 213 ; CHECK-LABEL: @maxmin5( 214 ; CHECK: ret i1 true 215 ; 216 %c1 = icmp uge i32 %x, %y 217 %max = select i1 %c1, i32 %x, i32 %y 218 %c2 = icmp uge i32 %x, %z 219 %min = select i1 %c2, i32 %z, i32 %x 220 %c = icmp uge i32 %max, %min 221 ret i1 %c 222 } 223 224 define i1 @maxmin6(i32 %x, i32 %y, i32 %z) { 225 ; CHECK-LABEL: @maxmin6( 226 ; CHECK: ret i1 false 227 ; 228 %c1 = icmp uge i32 %x, %y 229 %max = select i1 %c1, i32 %x, i32 %y 230 %c2 = icmp uge i32 %x, %z 231 %min = select i1 %c2, i32 %z, i32 %x 232 %c = icmp ugt i32 %min, %max 233 ret i1 %c 234 } 235 236 define i1 @maxmin7(i32 %x, i32 %y, i32 %z) { 237 ; CHECK-LABEL: @maxmin7( 238 ; CHECK: ret i1 true 239 ; 240 %c1 = icmp uge i32 %x, %y 241 %max = select i1 %c1, i32 %x, i32 %y 242 %c2 = icmp uge i32 %x, %z 243 %min = select i1 %c2, i32 %z, i32 %x 244 %c = icmp ule i32 %min, %max 245 ret i1 %c 246 } 247 248 define i1 @maxmin8(i32 %x, i32 %y, i32 %z) { 249 ; CHECK-LABEL: @maxmin8( 250 ; CHECK: ret i1 false 251 ; 252 %c1 = icmp uge i32 %x, %y 253 %max = select i1 %c1, i32 %x, i32 %y 254 %c2 = icmp uge i32 %x, %z 255 %min = select i1 %c2, i32 %z, i32 %x 256 %c = icmp ult i32 %max, %min 257 ret i1 %c 258 } 259 260 define i1 @eqcmp1(i32 %x, i32 %y) { 261 ; CHECK-LABEL: @eqcmp1( 262 ; CHECK: [[C:%.*]] = icmp sge i32 %x, %y 263 ; CHECK-NEXT: ret i1 [[C]] 264 ; 265 %c = icmp sge i32 %x, %y 266 %max = select i1 %c, i32 %x, i32 %y 267 %r = icmp eq i32 %max, %x 268 ret i1 %r 269 } 270 271 define i1 @eqcmp2(i32 %x, i32 %y) { 272 ; CHECK-LABEL: @eqcmp2( 273 ; CHECK: [[C:%.*]] = icmp sge i32 %x, %y 274 ; CHECK-NEXT: ret i1 [[C]] 275 ; 276 %c = icmp sge i32 %x, %y 277 %max = select i1 %c, i32 %x, i32 %y 278 %r = icmp eq i32 %x, %max 279 ret i1 %r 280 } 281 282 define i1 @eqcmp3(i32 %x, i32 %y) { 283 ; CHECK-LABEL: @eqcmp3( 284 ; CHECK: [[C:%.*]] = icmp uge i32 %x, %y 285 ; CHECK-NEXT: ret i1 [[C]] 286 ; 287 %c = icmp uge i32 %x, %y 288 %max = select i1 %c, i32 %x, i32 %y 289 %r = icmp eq i32 %max, %x 290 ret i1 %r 291 } 292 293 define i1 @eqcmp4(i32 %x, i32 %y) { 294 ; CHECK-LABEL: @eqcmp4( 295 ; CHECK: [[C:%.*]] = icmp uge i32 %x, %y 296 ; CHECK-NEXT: ret i1 [[C]] 297 ; 298 %c = icmp uge i32 %x, %y 299 %max = select i1 %c, i32 %x, i32 %y 300 %r = icmp eq i32 %x, %max 301 ret i1 %r 302 } 303
