1 ; This test makes sure that these instructions are properly eliminated. 2 ; PR1822 3 4 ; RUN: opt < %s -instcombine -S | FileCheck %s 5 6 define i32 @test1(i32 %A, i32 %B) { 7 %C = select i1 false, i32 %A, i32 %B 8 ret i32 %C 9 ; CHECK-LABEL: @test1( 10 ; CHECK: ret i32 %B 11 } 12 13 define i32 @test2(i32 %A, i32 %B) { 14 %C = select i1 true, i32 %A, i32 %B 15 ret i32 %C 16 ; CHECK-LABEL: @test2( 17 ; CHECK: ret i32 %A 18 } 19 20 21 define i32 @test3(i1 %C, i32 %I) { 22 ; V = I 23 %V = select i1 %C, i32 %I, i32 %I 24 ret i32 %V 25 ; CHECK-LABEL: @test3( 26 ; CHECK: ret i32 %I 27 } 28 29 define i1 @test4(i1 %C) { 30 ; V = C 31 %V = select i1 %C, i1 true, i1 false 32 ret i1 %V 33 ; CHECK-LABEL: @test4( 34 ; CHECK: ret i1 %C 35 } 36 37 define i1 @test5(i1 %C) { 38 ; V = !C 39 %V = select i1 %C, i1 false, i1 true 40 ret i1 %V 41 ; CHECK-LABEL: @test5( 42 ; CHECK: xor i1 %C, true 43 ; CHECK: ret i1 44 } 45 46 define i32 @test6(i1 %C) { 47 ; V = cast C to int 48 %V = select i1 %C, i32 1, i32 0 49 ret i32 %V 50 ; CHECK-LABEL: @test6( 51 ; CHECK: %V = zext i1 %C to i32 52 ; CHECK: ret i32 %V 53 } 54 55 define i1 @test7(i1 %C, i1 %X) { 56 ; R = or C, X 57 %R = select i1 %C, i1 true, i1 %X 58 ret i1 %R 59 ; CHECK-LABEL: @test7( 60 ; CHECK: %R = or i1 %C, %X 61 ; CHECK: ret i1 %R 62 } 63 64 define i1 @test8(i1 %C, i1 %X) { 65 ; R = and C, X 66 %R = select i1 %C, i1 %X, i1 false 67 ret i1 %R 68 ; CHECK-LABEL: @test8( 69 ; CHECK: %R = and i1 %C, %X 70 ; CHECK: ret i1 %R 71 } 72 73 define i1 @test9(i1 %C, i1 %X) { 74 ; R = and !C, X 75 %R = select i1 %C, i1 false, i1 %X 76 ret i1 %R 77 ; CHECK-LABEL: @test9( 78 ; CHECK: xor i1 %C, true 79 ; CHECK: %R = and i1 80 ; CHECK: ret i1 %R 81 } 82 83 define i1 @test10(i1 %C, i1 %X) { 84 ; R = or !C, X 85 %R = select i1 %C, i1 %X, i1 true 86 ret i1 %R 87 ; CHECK-LABEL: @test10( 88 ; CHECK: xor i1 %C, true 89 ; CHECK: %R = or i1 90 ; CHECK: ret i1 %R 91 } 92 93 define i32 @test11(i32 %a) { 94 %C = icmp eq i32 %a, 0 95 %R = select i1 %C, i32 0, i32 1 96 ret i32 %R 97 ; CHECK-LABEL: @test11( 98 ; CHECK: icmp ne i32 %a, 0 99 ; CHECK: %R = zext i1 100 ; CHECK: ret i32 %R 101 } 102 103 define i32 @test12(i1 %cond, i32 %a) { 104 %b = or i32 %a, 1 105 %c = select i1 %cond, i32 %b, i32 %a 106 ret i32 %c 107 ; CHECK-LABEL: @test12( 108 ; CHECK: %b = zext i1 %cond to i32 109 ; CHECK: %c = or i32 %b, %a 110 ; CHECK: ret i32 %c 111 } 112 113 define i32 @test12a(i1 %cond, i32 %a) { 114 %b = ashr i32 %a, 1 115 %c = select i1 %cond, i32 %b, i32 %a 116 ret i32 %c 117 ; CHECK-LABEL: @test12a( 118 ; CHECK: %b = zext i1 %cond to i32 119 ; CHECK: %c = ashr i32 %a, %b 120 ; CHECK: ret i32 %c 121 } 122 123 define i32 @test12b(i1 %cond, i32 %a) { 124 %b = ashr i32 %a, 1 125 %c = select i1 %cond, i32 %a, i32 %b 126 ret i32 %c 127 ; CHECK-LABEL: @test12b( 128 ; CHECK: zext i1 %cond to i32 129 ; CHECK: %b = xor i32 130 ; CHECK: %c = ashr i32 %a, %b 131 ; CHECK: ret i32 %c 132 } 133 134 define i32 @test13(i32 %a, i32 %b) { 135 %C = icmp eq i32 %a, %b 136 %V = select i1 %C, i32 %a, i32 %b 137 ret i32 %V 138 ; CHECK-LABEL: @test13( 139 ; CHECK: ret i32 %b 140 } 141 142 define i32 @test13a(i32 %a, i32 %b) { 143 %C = icmp ne i32 %a, %b 144 %V = select i1 %C, i32 %a, i32 %b 145 ret i32 %V 146 ; CHECK-LABEL: @test13a( 147 ; CHECK: ret i32 %a 148 } 149 150 define i32 @test13b(i32 %a, i32 %b) { 151 %C = icmp eq i32 %a, %b 152 %V = select i1 %C, i32 %b, i32 %a 153 ret i32 %V 154 ; CHECK-LABEL: @test13b( 155 ; CHECK: ret i32 %a 156 } 157 158 define i1 @test14a(i1 %C, i32 %X) { 159 %V = select i1 %C, i32 %X, i32 0 160 ; (X < 1) | !C 161 %R = icmp slt i32 %V, 1 162 ret i1 %R 163 ; CHECK-LABEL: @test14a( 164 ; CHECK: icmp slt i32 %X, 1 165 ; CHECK: xor i1 %C, true 166 ; CHECK: or i1 167 ; CHECK: ret i1 %R 168 } 169 170 define i1 @test14b(i1 %C, i32 %X) { 171 %V = select i1 %C, i32 0, i32 %X 172 ; (X < 1) | C 173 %R = icmp slt i32 %V, 1 174 ret i1 %R 175 ; CHECK-LABEL: @test14b( 176 ; CHECK: icmp slt i32 %X, 1 177 ; CHECK: or i1 178 ; CHECK: ret i1 %R 179 } 180 181 ;; Code sequence for (X & 16) ? 16 : 0 182 define i32 @test15a(i32 %X) { 183 %t1 = and i32 %X, 16 184 %t2 = icmp eq i32 %t1, 0 185 %t3 = select i1 %t2, i32 0, i32 16 186 ret i32 %t3 187 ; CHECK-LABEL: @test15a( 188 ; CHECK: %t1 = and i32 %X, 16 189 ; CHECK: ret i32 %t1 190 } 191 192 ;; Code sequence for (X & 32) ? 0 : 24 193 define i32 @test15b(i32 %X) { 194 %t1 = and i32 %X, 32 195 %t2 = icmp eq i32 %t1, 0 196 %t3 = select i1 %t2, i32 32, i32 0 197 ret i32 %t3 198 ; CHECK-LABEL: @test15b( 199 ; CHECK: %t1 = and i32 %X, 32 200 ; CHECK: xor i32 %t1, 32 201 ; CHECK: ret i32 202 } 203 204 ;; Alternate code sequence for (X & 16) ? 16 : 0 205 define i32 @test15c(i32 %X) { 206 %t1 = and i32 %X, 16 207 %t2 = icmp eq i32 %t1, 16 208 %t3 = select i1 %t2, i32 16, i32 0 209 ret i32 %t3 210 ; CHECK-LABEL: @test15c( 211 ; CHECK: %t1 = and i32 %X, 16 212 ; CHECK: ret i32 %t1 213 } 214 215 ;; Alternate code sequence for (X & 16) ? 16 : 0 216 define i32 @test15d(i32 %X) { 217 %t1 = and i32 %X, 16 218 %t2 = icmp ne i32 %t1, 0 219 %t3 = select i1 %t2, i32 16, i32 0 220 ret i32 %t3 221 ; CHECK-LABEL: @test15d( 222 ; CHECK: %t1 = and i32 %X, 16 223 ; CHECK: ret i32 %t1 224 } 225 226 ;; (a & 128) ? 256 : 0 227 define i32 @test15e(i32 %X) { 228 %t1 = and i32 %X, 128 229 %t2 = icmp ne i32 %t1, 0 230 %t3 = select i1 %t2, i32 256, i32 0 231 ret i32 %t3 232 ; CHECK-LABEL: @test15e( 233 ; CHECK: %t1 = shl i32 %X, 1 234 ; CHECK: and i32 %t1, 256 235 ; CHECK: ret i32 236 } 237 238 ;; (a & 128) ? 0 : 256 239 define i32 @test15f(i32 %X) { 240 %t1 = and i32 %X, 128 241 %t2 = icmp ne i32 %t1, 0 242 %t3 = select i1 %t2, i32 0, i32 256 243 ret i32 %t3 244 ; CHECK-LABEL: @test15f( 245 ; CHECK: %t1 = shl i32 %X, 1 246 ; CHECK: and i32 %t1, 256 247 ; CHECK: xor i32 %{{.*}}, 256 248 ; CHECK: ret i32 249 } 250 251 ;; (a & 8) ? -1 : -9 252 define i32 @test15g(i32 %X) { 253 %t1 = and i32 %X, 8 254 %t2 = icmp ne i32 %t1, 0 255 %t3 = select i1 %t2, i32 -1, i32 -9 256 ret i32 %t3 257 ; CHECK-LABEL: @test15g( 258 ; CHECK-NEXT: %1 = or i32 %X, -9 259 ; CHECK-NEXT: ret i32 %1 260 } 261 262 ;; (a & 8) ? -9 : -1 263 define i32 @test15h(i32 %X) { 264 %t1 = and i32 %X, 8 265 %t2 = icmp ne i32 %t1, 0 266 %t3 = select i1 %t2, i32 -9, i32 -1 267 ret i32 %t3 268 ; CHECK-LABEL: @test15h( 269 ; CHECK-NEXT: %1 = or i32 %X, -9 270 ; CHECK-NEXT: %2 = xor i32 %1, 8 271 ; CHECK-NEXT: ret i32 %2 272 } 273 274 ;; (a & 2) ? 577 : 1089 275 define i32 @test15i(i32 %X) { 276 %t1 = and i32 %X, 2 277 %t2 = icmp ne i32 %t1, 0 278 %t3 = select i1 %t2, i32 577, i32 1089 279 ret i32 %t3 280 ; CHECK-LABEL: @test15i( 281 ; CHECK-NEXT: %t1 = shl i32 %X, 8 282 ; CHECK-NEXT: %1 = and i32 %t1, 512 283 ; CHECK-NEXT: %2 = xor i32 %1, 512 284 ; CHECK-NEXT: %3 = add i32 %2, 577 285 ; CHECK-NEXT: ret i32 %3 286 } 287 288 ;; (a & 2) ? 1089 : 577 289 define i32 @test15j(i32 %X) { 290 %t1 = and i32 %X, 2 291 %t2 = icmp ne i32 %t1, 0 292 %t3 = select i1 %t2, i32 1089, i32 577 293 ret i32 %t3 294 ; CHECK-LABEL: @test15j( 295 ; CHECK-NEXT: %t1 = shl i32 %X, 8 296 ; CHECK-NEXT: %1 = and i32 %t1, 512 297 ; CHECK-NEXT: %2 = add i32 %1, 577 298 ; CHECK-NEXT: ret i32 %2 299 } 300 301 define i32 @test16(i1 %C, i32* %P) { 302 %P2 = select i1 %C, i32* %P, i32* null 303 %V = load i32* %P2 304 ret i32 %V 305 ; CHECK-LABEL: @test16( 306 ; CHECK-NEXT: %V = load i32* %P 307 ; CHECK: ret i32 %V 308 } 309 310 define i1 @test17(i32* %X, i1 %C) { 311 %R = select i1 %C, i32* %X, i32* null 312 %RV = icmp eq i32* %R, null 313 ret i1 %RV 314 ; CHECK-LABEL: @test17( 315 ; CHECK: icmp eq i32* %X, null 316 ; CHECK: xor i1 %C, true 317 ; CHECK: %RV = or i1 318 ; CHECK: ret i1 %RV 319 } 320 321 define i32 @test18(i32 %X, i32 %Y, i1 %C) { 322 %R = select i1 %C, i32 %X, i32 0 323 %V = sdiv i32 %Y, %R 324 ret i32 %V 325 ; CHECK-LABEL: @test18( 326 ; CHECK: %V = sdiv i32 %Y, %X 327 ; CHECK: ret i32 %V 328 } 329 330 define i32 @test19(i32 %x) { 331 %tmp = icmp ugt i32 %x, 2147483647 332 %retval = select i1 %tmp, i32 -1, i32 0 333 ret i32 %retval 334 ; CHECK-LABEL: @test19( 335 ; CHECK-NEXT: ashr i32 %x, 31 336 ; CHECK-NEXT: ret i32 337 } 338 339 define i32 @test20(i32 %x) { 340 %tmp = icmp slt i32 %x, 0 341 %retval = select i1 %tmp, i32 -1, i32 0 342 ret i32 %retval 343 ; CHECK-LABEL: @test20( 344 ; CHECK-NEXT: ashr i32 %x, 31 345 ; CHECK-NEXT: ret i32 346 } 347 348 define i64 @test21(i32 %x) { 349 %tmp = icmp slt i32 %x, 0 350 %retval = select i1 %tmp, i64 -1, i64 0 351 ret i64 %retval 352 ; CHECK-LABEL: @test21( 353 ; CHECK-NEXT: ashr i32 %x, 31 354 ; CHECK-NEXT: sext i32 355 ; CHECK-NEXT: ret i64 356 } 357 358 define i16 @test22(i32 %x) { 359 %tmp = icmp slt i32 %x, 0 360 %retval = select i1 %tmp, i16 -1, i16 0 361 ret i16 %retval 362 ; CHECK-LABEL: @test22( 363 ; CHECK-NEXT: ashr i32 %x, 31 364 ; CHECK-NEXT: trunc i32 365 ; CHECK-NEXT: ret i16 366 } 367 368 define i1 @test23(i1 %a, i1 %b) { 369 %c = select i1 %a, i1 %b, i1 %a 370 ret i1 %c 371 ; CHECK-LABEL: @test23( 372 ; CHECK-NEXT: %c = and i1 %a, %b 373 ; CHECK-NEXT: ret i1 %c 374 } 375 376 define i1 @test24(i1 %a, i1 %b) { 377 %c = select i1 %a, i1 %a, i1 %b 378 ret i1 %c 379 ; CHECK-LABEL: @test24( 380 ; CHECK-NEXT: %c = or i1 %a, %b 381 ; CHECK-NEXT: ret i1 %c 382 } 383 384 define i32 @test25(i1 %c) { 385 entry: 386 br i1 %c, label %jump, label %ret 387 jump: 388 br label %ret 389 ret: 390 %a = phi i1 [true, %jump], [false, %entry] 391 %b = select i1 %a, i32 10, i32 20 392 ret i32 %b 393 ; CHECK-LABEL: @test25( 394 ; CHECK: %a = phi i32 [ 10, %jump ], [ 20, %entry ] 395 ; CHECK-NEXT: ret i32 %a 396 } 397 398 define i32 @test26(i1 %cond) { 399 entry: 400 br i1 %cond, label %jump, label %ret 401 jump: 402 %c = or i1 false, false 403 br label %ret 404 ret: 405 %a = phi i1 [true, %jump], [%c, %entry] 406 %b = select i1 %a, i32 10, i32 20 407 ret i32 %b 408 ; CHECK-LABEL: @test26( 409 ; CHECK: %a = phi i32 [ 10, %jump ], [ 20, %entry ] 410 ; CHECK-NEXT: ret i32 %a 411 } 412 413 define i32 @test27(i1 %c, i32 %A, i32 %B) { 414 entry: 415 br i1 %c, label %jump, label %ret 416 jump: 417 br label %ret 418 ret: 419 %a = phi i1 [true, %jump], [false, %entry] 420 %b = select i1 %a, i32 %A, i32 %B 421 ret i32 %b 422 ; CHECK-LABEL: @test27( 423 ; CHECK: %a = phi i32 [ %A, %jump ], [ %B, %entry ] 424 ; CHECK-NEXT: ret i32 %a 425 } 426 427 define i32 @test28(i1 %cond, i32 %A, i32 %B) { 428 entry: 429 br i1 %cond, label %jump, label %ret 430 jump: 431 br label %ret 432 ret: 433 %c = phi i32 [%A, %jump], [%B, %entry] 434 %a = phi i1 [true, %jump], [false, %entry] 435 %b = select i1 %a, i32 %A, i32 %c 436 ret i32 %b 437 ; CHECK-LABEL: @test28( 438 ; CHECK: %a = phi i32 [ %A, %jump ], [ %B, %entry ] 439 ; CHECK-NEXT: ret i32 %a 440 } 441 442 define i32 @test29(i1 %cond, i32 %A, i32 %B) { 443 entry: 444 br i1 %cond, label %jump, label %ret 445 jump: 446 br label %ret 447 ret: 448 %c = phi i32 [%A, %jump], [%B, %entry] 449 %a = phi i1 [true, %jump], [false, %entry] 450 br label %next 451 452 next: 453 %b = select i1 %a, i32 %A, i32 %c 454 ret i32 %b 455 ; CHECK-LABEL: @test29( 456 ; CHECK: %a = phi i32 [ %A, %jump ], [ %B, %entry ] 457 ; CHECK: ret i32 %a 458 } 459 460 461 ; SMAX(SMAX(x, y), x) -> SMAX(x, y) 462 define i32 @test30(i32 %x, i32 %y) { 463 %cmp = icmp sgt i32 %x, %y 464 %cond = select i1 %cmp, i32 %x, i32 %y 465 466 %cmp5 = icmp sgt i32 %cond, %x 467 %retval = select i1 %cmp5, i32 %cond, i32 %x 468 ret i32 %retval 469 ; CHECK-LABEL: @test30( 470 ; CHECK: ret i32 %cond 471 } 472 473 ; UMAX(UMAX(x, y), x) -> UMAX(x, y) 474 define i32 @test31(i32 %x, i32 %y) { 475 %cmp = icmp ugt i32 %x, %y 476 %cond = select i1 %cmp, i32 %x, i32 %y 477 %cmp5 = icmp ugt i32 %cond, %x 478 %retval = select i1 %cmp5, i32 %cond, i32 %x 479 ret i32 %retval 480 ; CHECK-LABEL: @test31( 481 ; CHECK: ret i32 %cond 482 } 483 484 ; SMIN(SMIN(x, y), x) -> SMIN(x, y) 485 define i32 @test32(i32 %x, i32 %y) { 486 %cmp = icmp sgt i32 %x, %y 487 %cond = select i1 %cmp, i32 %y, i32 %x 488 %cmp5 = icmp sgt i32 %cond, %x 489 %retval = select i1 %cmp5, i32 %x, i32 %cond 490 ret i32 %retval 491 ; CHECK-LABEL: @test32( 492 ; CHECK: ret i32 %cond 493 } 494 495 ; MAX(MIN(x, y), x) -> x 496 define i32 @test33(i32 %x, i32 %y) { 497 %cmp = icmp sgt i32 %x, %y 498 %cond = select i1 %cmp, i32 %y, i32 %x 499 %cmp5 = icmp sgt i32 %cond, %x 500 %retval = select i1 %cmp5, i32 %cond, i32 %x 501 ret i32 %retval 502 ; CHECK-LABEL: @test33( 503 ; CHECK: ret i32 %x 504 } 505 506 ; MIN(MAX(x, y), x) -> x 507 define i32 @test34(i32 %x, i32 %y) { 508 %cmp = icmp sgt i32 %x, %y 509 %cond = select i1 %cmp, i32 %x, i32 %y 510 %cmp5 = icmp sgt i32 %cond, %x 511 %retval = select i1 %cmp5, i32 %x, i32 %cond 512 ret i32 %retval 513 ; CHECK-LABEL: @test34( 514 ; CHECK: ret i32 %x 515 } 516 517 define i32 @test35(i32 %x) { 518 %cmp = icmp sge i32 %x, 0 519 %cond = select i1 %cmp, i32 60, i32 100 520 ret i32 %cond 521 ; CHECK-LABEL: @test35( 522 ; CHECK: ashr i32 %x, 31 523 ; CHECK: and i32 {{.*}}, 40 524 ; CHECK: add i32 {{.*}}, 60 525 ; CHECK: ret 526 } 527 528 define i32 @test36(i32 %x) { 529 %cmp = icmp slt i32 %x, 0 530 %cond = select i1 %cmp, i32 60, i32 100 531 ret i32 %cond 532 ; CHECK-LABEL: @test36( 533 ; CHECK: ashr i32 %x, 31 534 ; CHECK: and i32 {{.*}}, -40 535 ; CHECK: add i32 {{.*}}, 100 536 ; CHECK: ret 537 } 538 539 define i32 @test37(i32 %x) { 540 %cmp = icmp sgt i32 %x, -1 541 %cond = select i1 %cmp, i32 1, i32 -1 542 ret i32 %cond 543 ; CHECK-LABEL: @test37( 544 ; CHECK: ashr i32 %x, 31 545 ; CHECK: or i32 {{.*}}, 1 546 ; CHECK: ret 547 } 548 549 define i1 @test38(i1 %cond) { 550 %zero = alloca i32 551 %one = alloca i32 552 %ptr = select i1 %cond, i32* %zero, i32* %one 553 %isnull = icmp eq i32* %ptr, null 554 ret i1 %isnull 555 ; CHECK-LABEL: @test38( 556 ; CHECK: ret i1 false 557 } 558 559 define i1 @test39(i1 %cond, double %x) { 560 %s = select i1 %cond, double %x, double 0x7FF0000000000000 ; RHS = +infty 561 %cmp = fcmp ule double %x, %s 562 ret i1 %cmp 563 ; CHECK-LABEL: @test39( 564 ; CHECK: ret i1 true 565 } 566 567 define i1 @test40(i1 %cond) { 568 %a = alloca i32 569 %b = alloca i32 570 %c = alloca i32 571 %s = select i1 %cond, i32* %a, i32* %b 572 %r = icmp eq i32* %s, %c 573 ret i1 %r 574 ; CHECK-LABEL: @test40( 575 ; CHECK: ret i1 false 576 } 577 578 define i32 @test41(i1 %cond, i32 %x, i32 %y) { 579 %z = and i32 %x, %y 580 %s = select i1 %cond, i32 %y, i32 %z 581 %r = and i32 %x, %s 582 ret i32 %r 583 ; CHECK-LABEL: @test41( 584 ; CHECK-NEXT: and i32 %x, %y 585 ; CHECK-NEXT: ret i32 586 } 587 588 define i32 @test42(i32 %x, i32 %y) { 589 %b = add i32 %y, -1 590 %cond = icmp eq i32 %x, 0 591 %c = select i1 %cond, i32 %b, i32 %y 592 ret i32 %c 593 ; CHECK-LABEL: @test42( 594 ; CHECK-NEXT: %cond = icmp eq i32 %x, 0 595 ; CHECK-NEXT: %b = sext i1 %cond to i32 596 ; CHECK-NEXT: %c = add i32 %b, %y 597 ; CHECK-NEXT: ret i32 %c 598 } 599 600 define i64 @test43(i32 %a) nounwind { 601 %a_ext = sext i32 %a to i64 602 %is_a_nonnegative = icmp sgt i32 %a, -1 603 %max = select i1 %is_a_nonnegative, i64 %a_ext, i64 0 604 ret i64 %max 605 ; CHECK-LABEL: @test43( 606 ; CHECK-NEXT: %a_ext = sext i32 %a to i64 607 ; CHECK-NEXT: %is_a_nonnegative = icmp slt i64 %a_ext, 0 608 ; CHECK-NEXT: %max = select i1 %is_a_nonnegative, i64 0, i64 %a_ext 609 ; CHECK-NEXT: ret i64 %max 610 } 611 612 define i64 @test44(i32 %a) nounwind { 613 %a_ext = sext i32 %a to i64 614 %is_a_nonpositive = icmp slt i32 %a, 1 615 %min = select i1 %is_a_nonpositive, i64 %a_ext, i64 0 616 ret i64 %min 617 ; CHECK-LABEL: @test44( 618 ; CHECK-NEXT: %a_ext = sext i32 %a to i64 619 ; CHECK-NEXT: %is_a_nonpositive = icmp sgt i64 %a_ext, 0 620 ; CHECK-NEXT: %min = select i1 %is_a_nonpositive, i64 0, i64 %a_ext 621 ; CHECK-NEXT: ret i64 %min 622 } 623 define i64 @test45(i32 %a) nounwind { 624 %a_ext = zext i32 %a to i64 625 %is_a_nonnegative = icmp ugt i32 %a, 2 626 %max = select i1 %is_a_nonnegative, i64 %a_ext, i64 3 627 ret i64 %max 628 ; CHECK-LABEL: @test45( 629 ; CHECK-NEXT: %a_ext = zext i32 %a to i64 630 ; CHECK-NEXT: %is_a_nonnegative = icmp ult i64 %a_ext, 3 631 ; CHECK-NEXT: %max = select i1 %is_a_nonnegative, i64 3, i64 %a_ext 632 ; CHECK-NEXT: ret i64 %max 633 } 634 635 define i64 @test46(i32 %a) nounwind { 636 %a_ext = zext i32 %a to i64 637 %is_a_nonpositive = icmp ult i32 %a, 3 638 %min = select i1 %is_a_nonpositive, i64 %a_ext, i64 2 639 ret i64 %min 640 ; CHECK-LABEL: @test46( 641 ; CHECK-NEXT: %a_ext = zext i32 %a to i64 642 ; CHECK-NEXT: %is_a_nonpositive = icmp ugt i64 %a_ext, 2 643 ; CHECK-NEXT: %min = select i1 %is_a_nonpositive, i64 2, i64 %a_ext 644 ; CHECK-NEXT: ret i64 %min 645 } 646 define i64 @test47(i32 %a) nounwind { 647 %a_ext = sext i32 %a to i64 648 %is_a_nonnegative = icmp ugt i32 %a, 2 649 %max = select i1 %is_a_nonnegative, i64 %a_ext, i64 3 650 ret i64 %max 651 ; CHECK-LABEL: @test47( 652 ; CHECK-NEXT: %a_ext = sext i32 %a to i64 653 ; CHECK-NEXT: %is_a_nonnegative = icmp ult i64 %a_ext, 3 654 ; CHECK-NEXT: %max = select i1 %is_a_nonnegative, i64 3, i64 %a_ext 655 ; CHECK-NEXT: ret i64 %max 656 } 657 658 define i64 @test48(i32 %a) nounwind { 659 %a_ext = sext i32 %a to i64 660 %is_a_nonpositive = icmp ult i32 %a, 3 661 %min = select i1 %is_a_nonpositive, i64 %a_ext, i64 2 662 ret i64 %min 663 ; CHECK-LABEL: @test48( 664 ; CHECK-NEXT: %a_ext = sext i32 %a to i64 665 ; CHECK-NEXT: %is_a_nonpositive = icmp ugt i64 %a_ext, 2 666 ; CHECK-NEXT: %min = select i1 %is_a_nonpositive, i64 2, i64 %a_ext 667 ; CHECK-NEXT: ret i64 %min 668 } 669 670 define i64 @test49(i32 %a) nounwind { 671 %a_ext = sext i32 %a to i64 672 %is_a_nonpositive = icmp ult i32 %a, 3 673 %min = select i1 %is_a_nonpositive, i64 2, i64 %a_ext 674 ret i64 %min 675 ; CHECK-LABEL: @test49( 676 ; CHECK-NEXT: %a_ext = sext i32 %a to i64 677 ; CHECK-NEXT: %is_a_nonpositive = icmp ugt i64 %a_ext, 2 678 ; CHECK-NEXT: %min = select i1 %is_a_nonpositive, i64 %a_ext, i64 2 679 ; CHECK-NEXT: ret i64 %min 680 } 681 define i64 @test50(i32 %a) nounwind { 682 %is_a_nonpositive = icmp ult i32 %a, 3 683 %a_ext = sext i32 %a to i64 684 %min = select i1 %is_a_nonpositive, i64 2, i64 %a_ext 685 ret i64 %min 686 ; CHECK-LABEL: @test50( 687 ; CHECK-NEXT: %a_ext = sext i32 %a to i64 688 ; CHECK-NEXT: %is_a_nonpositive = icmp ugt i64 %a_ext, 2 689 ; CHECK-NEXT: %min = select i1 %is_a_nonpositive, i64 %a_ext, i64 2 690 ; CHECK-NEXT: ret i64 %min 691 } 692 693 ; PR8994 694 695 ; This select instruction can't be eliminated because trying to do so would 696 ; change the number of vector elements. This used to assert. 697 define i48 @test51(<3 x i1> %icmp, <3 x i16> %tmp) { 698 ; CHECK-LABEL: @test51( 699 %select = select <3 x i1> %icmp, <3 x i16> zeroinitializer, <3 x i16> %tmp 700 ; CHECK: select <3 x i1> 701 %tmp2 = bitcast <3 x i16> %select to i48 702 ret i48 %tmp2 703 } 704 705 ; PR8575 706 707 define i32 @test52(i32 %n, i32 %m) nounwind { 708 ; CHECK-LABEL: @test52( 709 %cmp = icmp sgt i32 %n, %m 710 %. = select i1 %cmp, i32 1, i32 3 711 %add = add nsw i32 %., 3 712 %storemerge = select i1 %cmp, i32 %., i32 %add 713 ; CHECK: select i1 %cmp, i32 1, i32 6 714 ret i32 %storemerge 715 } 716 717 ; PR9454 718 define i32 @test53(i32 %x) nounwind { 719 %and = and i32 %x, 2 720 %cmp = icmp eq i32 %and, %x 721 %sel = select i1 %cmp, i32 2, i32 1 722 ret i32 %sel 723 ; CHECK-LABEL: @test53( 724 ; CHECK: select i1 %cmp 725 ; CHECK: ret 726 } 727 728 define i32 @test54(i32 %X, i32 %Y) { 729 %A = ashr exact i32 %X, %Y 730 %B = icmp eq i32 %A, 0 731 %C = select i1 %B, i32 %A, i32 1 732 ret i32 %C 733 ; CHECK-LABEL: @test54( 734 ; CHECK-NOT: ashr 735 ; CHECK-NOT: select 736 ; CHECK: icmp ne i32 %X, 0 737 ; CHECK: zext 738 ; CHECK: ret 739 } 740 741 define i1 @test55(i1 %X, i32 %Y, i32 %Z) { 742 %A = ashr exact i32 %Y, %Z 743 %B = select i1 %X, i32 %Y, i32 %A 744 %C = icmp eq i32 %B, 0 745 ret i1 %C 746 ; CHECK-LABEL: @test55( 747 ; CHECK-NOT: ashr 748 ; CHECK-NOT: select 749 ; CHECK: icmp eq 750 ; CHECK: ret i1 751 } 752 753 define i32 @test56(i16 %x) nounwind { 754 %tobool = icmp eq i16 %x, 0 755 %conv = zext i16 %x to i32 756 %cond = select i1 %tobool, i32 0, i32 %conv 757 ret i32 %cond 758 ; CHECK-LABEL: @test56( 759 ; CHECK-NEXT: zext 760 ; CHECK-NEXT: ret 761 } 762 763 define i32 @test57(i32 %x, i32 %y) nounwind { 764 %and = and i32 %x, %y 765 %tobool = icmp eq i32 %x, 0 766 %.and = select i1 %tobool, i32 0, i32 %and 767 ret i32 %.and 768 ; CHECK-LABEL: @test57( 769 ; CHECK-NEXT: and i32 %x, %y 770 ; CHECK-NEXT: ret 771 } 772 773 define i32 @test58(i16 %x) nounwind { 774 %tobool = icmp ne i16 %x, 1 775 %conv = zext i16 %x to i32 776 %cond = select i1 %tobool, i32 %conv, i32 1 777 ret i32 %cond 778 ; CHECK-LABEL: @test58( 779 ; CHECK-NEXT: zext 780 ; CHECK-NEXT: ret 781 } 782 783 define i32 @test59(i32 %x, i32 %y) nounwind { 784 %and = and i32 %x, %y 785 %tobool = icmp ne i32 %x, %y 786 %.and = select i1 %tobool, i32 %and, i32 %y 787 ret i32 %.and 788 ; CHECK-LABEL: @test59( 789 ; CHECK-NEXT: and i32 %x, %y 790 ; CHECK-NEXT: ret 791 } 792 793 define i1 @test60(i32 %x, i1* %y) nounwind { 794 %cmp = icmp eq i32 %x, 0 795 %load = load i1* %y, align 1 796 %cmp1 = icmp slt i32 %x, 1 797 %sel = select i1 %cmp, i1 %load, i1 %cmp1 798 ret i1 %sel 799 ; CHECK-LABEL: @test60( 800 ; CHECK: select 801 } 802 803 @glbl = constant i32 10 804 define i32 @test61(i32* %ptr) { 805 %A = load i32* %ptr 806 %B = icmp eq i32* %ptr, @glbl 807 %C = select i1 %B, i32 %A, i32 10 808 ret i32 %C 809 ; CHECK-LABEL: @test61( 810 ; CHECK: ret i32 10 811 } 812 813 define i1 @test62(i1 %A, i1 %B) { 814 %not = xor i1 %A, true 815 %C = select i1 %A, i1 %not, i1 %B 816 ret i1 %C 817 ; CHECK-LABEL: @test62( 818 ; CHECK: %not = xor i1 %A, true 819 ; CHECK: %C = and i1 %not, %B 820 ; CHECK: ret i1 %C 821 } 822 823 define i1 @test63(i1 %A, i1 %B) { 824 %not = xor i1 %A, true 825 %C = select i1 %A, i1 %B, i1 %not 826 ret i1 %C 827 ; CHECK-LABEL: @test63( 828 ; CHECK: %not = xor i1 %A, true 829 ; CHECK: %C = or i1 %B, %not 830 ; CHECK: ret i1 %C 831 } 832 833 ; PR14131 834 define void @test64(i32 %p, i16 %b) noreturn nounwind { 835 entry: 836 %p.addr.0.insert.mask = and i32 %p, -65536 837 %conv2 = and i32 %p, 65535 838 br i1 undef, label %lor.rhs, label %lor.end 839 840 lor.rhs: 841 %p.addr.0.extract.trunc = trunc i32 %p.addr.0.insert.mask to i16 842 %phitmp = zext i16 %p.addr.0.extract.trunc to i32 843 br label %lor.end 844 845 lor.end: 846 %t.1 = phi i32 [ 0, %entry ], [ %phitmp, %lor.rhs ] 847 %conv6 = zext i16 %b to i32 848 %div = udiv i32 %conv6, %t.1 849 %tobool8 = icmp eq i32 %div, 0 850 %cmp = icmp eq i32 %t.1, 0 851 %cmp12 = icmp ult i32 %conv2, 2 852 %cmp.sink = select i1 %tobool8, i1 %cmp12, i1 %cmp 853 br i1 %cmp.sink, label %cond.end17, label %cond.false16 854 855 cond.false16: 856 br label %cond.end17 857 858 cond.end17: 859 br label %while.body 860 861 while.body: 862 br label %while.body 863 ; CHECK-LABEL: @test64( 864 ; CHECK-NOT: select 865 } 866 867 ; CHECK-LABEL: @select_icmp_eq_and_1_0_or_2( 868 ; CHECK-NEXT: [[SHL:%[a-z0-9]+]] = shl i32 %x, 1 869 ; CHECK-NEXT: [[AND:%[a-z0-9]+]] = and i32 [[SHL]], 2 870 ; CHECK-NEXT: [[OR:%[a-z0-9]+]] = or i32 [[AND]], %y 871 ; CHECK-NEXT: ret i32 [[OR]] 872 define i32 @select_icmp_eq_and_1_0_or_2(i32 %x, i32 %y) { 873 %and = and i32 %x, 1 874 %cmp = icmp eq i32 %and, 0 875 %or = or i32 %y, 2 876 %select = select i1 %cmp, i32 %y, i32 %or 877 ret i32 %select 878 } 879 880 ; CHECK-LABEL: @select_icmp_eq_and_32_0_or_8( 881 ; CHECK-NEXT: [[LSHR:%[a-z0-9]+]] = lshr i32 %x, 2 882 ; CHECK-NEXT: [[AND:%[a-z0-9]+]] = and i32 [[LSHR]], 8 883 ; CHECK-NEXT: [[OR:%[a-z0-9]+]] = or i32 [[AND]], %y 884 ; CHECK-NEXT: ret i32 [[OR]] 885 define i32 @select_icmp_eq_and_32_0_or_8(i32 %x, i32 %y) { 886 %and = and i32 %x, 32 887 %cmp = icmp eq i32 %and, 0 888 %or = or i32 %y, 8 889 %select = select i1 %cmp, i32 %y, i32 %or 890 ret i32 %select 891 } 892 893 ; CHECK-LABEL: @select_icmp_ne_0_and_4096_or_4096( 894 ; CHECK-NEXT: [[AND:%[a-z0-9]+]] = and i32 %x, 4096 895 ; CHECK-NEXT: [[XOR:%[a-z0-9]+]] = xor i32 [[AND]], 4096 896 ; CHECK-NEXT: [[OR:%[a-z0-9]+]] = or i32 [[XOR]], %y 897 ; CHECK-NEXT: ret i32 [[OR]] 898 define i32 @select_icmp_ne_0_and_4096_or_4096(i32 %x, i32 %y) { 899 %and = and i32 %x, 4096 900 %cmp = icmp ne i32 0, %and 901 %or = or i32 %y, 4096 902 %select = select i1 %cmp, i32 %y, i32 %or 903 ret i32 %select 904 } 905 906 ; CHECK-LABEL: @select_icmp_eq_and_4096_0_or_4096( 907 ; CHECK-NEXT: [[AND:%[a-z0-9]+]] = and i32 %x, 4096 908 ; CHECK-NEXT: [[OR:%[a-z0-9]+]] = or i32 [[AND]], %y 909 ; CHECK-NEXT: ret i32 [[OR]] 910 define i32 @select_icmp_eq_and_4096_0_or_4096(i32 %x, i32 %y) { 911 %and = and i32 %x, 4096 912 %cmp = icmp eq i32 %and, 0 913 %or = or i32 %y, 4096 914 %select = select i1 %cmp, i32 %y, i32 %or 915 ret i32 %select 916 } 917 918 ; CHECK-LABEL: @select_icmp_eq_0_and_1_or_1( 919 ; CHECK-NEXT: [[AND:%[a-z0-9]+]] = and i64 %x, 1 920 ; CHECK-NEXT: [[ZEXT:%[a-z0-9]+]] = trunc i64 [[AND]] to i32 921 ; CHECK-NEXT: [[OR:%[a-z0-9]+]] = or i32 [[XOR]], %y 922 ; CHECK-NEXT: ret i32 [[OR]] 923 define i32 @select_icmp_eq_0_and_1_or_1(i64 %x, i32 %y) { 924 %and = and i64 %x, 1 925 %cmp = icmp eq i64 %and, 0 926 %or = or i32 %y, 1 927 %select = select i1 %cmp, i32 %y, i32 %or 928 ret i32 %select 929 } 930 931 ; CHECK-LABEL: @select_icmp_ne_0_and_4096_or_32( 932 ; CHECK-NEXT: [[LSHR:%[a-z0-9]+]] = lshr i32 %x, 7 933 ; CHECK-NEXT: [[AND:%[a-z0-9]+]] = and i32 [[LSHR]], 32 934 ; CHECK-NEXT: [[XOR:%[a-z0-9]+]] = xor i32 [[AND]], 32 935 ; CHECK-NEXT: [[OR:%[a-z0-9]+]] = or i32 [[XOR]], %y 936 ; CHECK-NEXT: ret i32 [[OR]] 937 define i32 @select_icmp_ne_0_and_4096_or_32(i32 %x, i32 %y) { 938 %and = and i32 %x, 4096 939 %cmp = icmp ne i32 0, %and 940 %or = or i32 %y, 32 941 %select = select i1 %cmp, i32 %y, i32 %or 942 ret i32 %select 943 } 944 945 ; CHECK-LABEL: @select_icmp_ne_0_and_32_or_4096( 946 ; CHECK-NEXT: [[SHL:%[a-z0-9]+]] = shl i32 %x, 7 947 ; CHECK-NEXT: [[AND:%[a-z0-9]+]] = and i32 [[SHL]], 4096 948 ; CHECK-NEXT: [[XOR:%[a-z0-9]+]] = xor i32 [[AND]], 4096 949 ; CHECK-NEXT: [[OR:%[a-z0-9]+]] = or i32 [[XOR]], %y 950 ; CHECK-NEXT: ret i32 [[OR]] 951 define i32 @select_icmp_ne_0_and_32_or_4096(i32 %x, i32 %y) { 952 %and = and i32 %x, 32 953 %cmp = icmp ne i32 0, %and 954 %or = or i32 %y, 4096 955 %select = select i1 %cmp, i32 %y, i32 %or 956 ret i32 %select 957 } 958 959 ; CHECK-LABEL: @select_icmp_ne_0_and_1073741824_or_8( 960 ; CHECK-NEXT: [[LSHR:%[a-z0-9]+]] = lshr i32 %x, 27 961 ; CHECK-NEXT: [[AND:%[a-z0-9]+]] = and i32 [[LSHR]], 8 962 ; CHECK-NEXT: [[TRUNC:%[a-z0-9]+]] = trunc i32 [[AND]] to i8 963 ; CHECK-NEXT: [[XOR:%[a-z0-9]+]] = xor i8 [[TRUNC]], 8 964 ; CHECK-NEXT: [[OR:%[a-z0-9]+]] = or i8 [[XOR]], %y 965 ; CHECK-NEXT: ret i8 [[OR]] 966 define i8 @select_icmp_ne_0_and_1073741824_or_8(i32 %x, i8 %y) { 967 %and = and i32 %x, 1073741824 968 %cmp = icmp ne i32 0, %and 969 %or = or i8 %y, 8 970 %select = select i1 %cmp, i8 %y, i8 %or 971 ret i8 %select 972 } 973 974 ; CHECK-LABEL: @select_icmp_ne_0_and_8_or_1073741824( 975 ; CHECK-NEXT: [[AND:%[a-z0-9]+]] = and i8 %x, 8 976 ; CHECK-NEXT: [[ZEXT:%[a-z0-9]+]] = zext i8 [[AND]] to i32 977 ; CHECK-NEXT: [[SHL:%[a-z0-9]+]] = shl nuw nsw i32 [[ZEXT]], 27 978 ; CHECK-NEXT: [[XOR:%[a-z0-9]+]] = xor i32 [[SHL]], 1073741824 979 ; CHECK-NEXT: [[OR:%[a-z0-9]+]] = or i32 [[XOR]], %y 980 ; CHECK-NEXT: ret i32 [[OR]] 981 define i32 @select_icmp_ne_0_and_8_or_1073741824(i8 %x, i32 %y) { 982 %and = and i8 %x, 8 983 %cmp = icmp ne i8 0, %and 984 %or = or i32 %y, 1073741824 985 %select = select i1 %cmp, i32 %y, i32 %or 986 ret i32 %select 987 } 988 989 define i32 @test65(i64 %x) { 990 %1 = and i64 %x, 16 991 %2 = icmp ne i64 %1, 0 992 %3 = select i1 %2, i32 40, i32 42 993 ret i32 %3 994 995 ; CHECK-LABEL: @test65( 996 ; CHECK: and i64 %x, 16 997 ; CHECK: trunc i64 %1 to i32 998 ; CHECK: lshr exact i32 %2, 3 999 ; CHECK: xor i32 %3, 42 1000 } 1001 1002 define i32 @test66(i64 %x) { 1003 %1 = and i64 %x, 4294967296 1004 %2 = icmp ne i64 %1, 0 1005 %3 = select i1 %2, i32 40, i32 42 1006 ret i32 %3 1007 1008 ; CHECK-LABEL: @test66( 1009 ; CHECK: select 1010 } 1011 1012 define i32 @test67(i16 %x) { 1013 %1 = and i16 %x, 4 1014 %2 = icmp ne i16 %1, 0 1015 %3 = select i1 %2, i32 40, i32 42 1016 ret i32 %3 1017 1018 ; CHECK-LABEL: @test67( 1019 ; CHECK: and i16 %x, 4 1020 ; CHECK: zext i16 %1 to i32 1021 ; CHECK: lshr exact i32 %2, 1 1022 ; CHECK: xor i32 %3, 42 1023 } 1024
