llvm/test/Transforms/InstCombine/binop-phi-operands.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3
   4 declare void @use(i32)
   5 declare void @sideeffect()
   6
   7 define i32 @add_const_incoming0_speculative(i1 %b, i32 %x, i32 %y) {
   8 ; CHECK-LABEL: @add_const_incoming0_speculative(
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
  11 ; CHECK:       if:
  12 ; CHECK-NEXT:    br label [[THEN]]
  13 ; CHECK:       then:
  14 ; CHECK-NEXT:    [[P0:%.*]] = phi i32 [ 42, [[IF]] ], [ [[X:%.*]], [[ENTRY:%.*]] ]
  15 ; CHECK-NEXT:    [[P1:%.*]] = phi i32 [ 17, [[IF]] ], [ [[Y:%.*]], [[ENTRY]] ]
  16 ; CHECK-NEXT:    [[R:%.*]] = add i32 [[P0]], [[P1]]
  17 ; CHECK-NEXT:    ret i32 [[R]]
  18 ;
  19 entry:
  20   br i1 %b, label %if, label %then
  21
  22 if:
  23   br label %then
  24
  25 then:
  26   %p0 = phi i32 [ 42, %if ], [ %x, %entry ]
  27   %p1 = phi i32 [ 17, %if ], [ %y, %entry ]
  28   %r = add i32 %p0, %p1
  29   ret i32 %r
  30 }
  31
  32 define i32 @add_const_incoming0_nonspeculative(i1 %b, i32 %x, i32 %y) {
  33 ; CHECK-LABEL: @add_const_incoming0_nonspeculative(
  34 ; CHECK-NEXT:  entry:
  35 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
  36 ; CHECK:       if:
  37 ; CHECK-NEXT:    br label [[THEN]]
  38 ; CHECK:       then:
  39 ; CHECK-NEXT:    [[P0:%.*]] = phi i32 [ 42, [[ENTRY:%.*]] ], [ [[X:%.*]], [[IF]] ]
  40 ; CHECK-NEXT:    [[P1:%.*]] = phi i32 [ 17, [[ENTRY]] ], [ [[Y:%.*]], [[IF]] ]
  41 ; CHECK-NEXT:    [[R:%.*]] = add i32 [[P0]], [[P1]]
  42 ; CHECK-NEXT:    ret i32 [[R]]
  43 ;
  44 entry:
  45   br i1 %b, label %if, label %then
  46
  47 if:
  48   br label %then
  49
  50 then:
  51   %p0 = phi i32 [ 42, %entry ], [ %x, %if ]
  52   %p1 = phi i32 [ 17, %entry ], [ %y, %if ]
  53   %r = add i32 %p0, %p1
  54   ret i32 %r
  55 }
  56
  57 define i32 @sub_const_incoming0(i1 %b, i32 %x, i32 %y) {
  58 ; CHECK-LABEL: @sub_const_incoming0(
  59 ; CHECK-NEXT:  entry:
  60 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
  61 ; CHECK:       if:
  62 ; CHECK-NEXT:    br label [[THEN]]
  63 ; CHECK:       then:
  64 ; CHECK-NEXT:    [[P0:%.*]] = phi i32 [ 42, [[IF]] ], [ [[X:%.*]], [[ENTRY:%.*]] ]
  65 ; CHECK-NEXT:    [[P1:%.*]] = phi i32 [ 17, [[IF]] ], [ [[Y:%.*]], [[ENTRY]] ]
  66 ; CHECK-NEXT:    [[R:%.*]] = sub i32 [[P1]], [[P0]]
  67 ; CHECK-NEXT:    ret i32 [[R]]
  68 ;
  69 entry:
  70   br i1 %b, label %if, label %then
  71
  72 if:
  73   br label %then
  74
  75 then:
  76   %p0 = phi i32 [ 42, %if ], [ %x, %entry ]
  77   %p1 = phi i32 [ 17, %if ], [ %y, %entry ]
  78   %r = sub i32 %p1, %p0
  79   ret i32 %r
  80 }
  81
  82 define i32 @sub_const_incoming1(i1 %b, i32 %x, i32 %y) {
  83 ; CHECK-LABEL: @sub_const_incoming1(
  84 ; CHECK-NEXT:  entry:
  85 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
  86 ; CHECK:       if:
  87 ; CHECK-NEXT:    br label [[THEN]]
  88 ; CHECK:       then:
  89 ; CHECK-NEXT:    [[P0:%.*]] = phi i32 [ [[X:%.*]], [[IF]] ], [ 42, [[ENTRY:%.*]] ]
  90 ; CHECK-NEXT:    [[P1:%.*]] = phi i32 [ [[Y:%.*]], [[IF]] ], [ 17, [[ENTRY]] ]
  91 ; CHECK-NEXT:    [[R:%.*]] = sub i32 [[P0]], [[P1]]
  92 ; CHECK-NEXT:    ret i32 [[R]]
  93 ;
  94 entry:
  95   br i1 %b, label %if, label %then
  96
  97 if:
  98   br label %then
  99
 100 then:
 101   %p0 = phi i32 [ %x, %if ], [ 42, %entry ]
 102   %p1 = phi i32 [ %y, %if ], [ 17, %entry ]
 103   %r = sub i32 %p0, %p1
 104   ret i32 %r
 105 }
 106
 107 define i8 @mul_const_incoming1(i1 %b, i8 %x, i8 %y) {
 108 ; CHECK-LABEL: @mul_const_incoming1(
 109 ; CHECK-NEXT:  entry:
 110 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 111 ; CHECK:       if:
 112 ; CHECK-NEXT:    br label [[THEN]]
 113 ; CHECK:       then:
 114 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ [[X:%.*]], [[IF]] ], [ 42, [[ENTRY:%.*]] ]
 115 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ [[Y:%.*]], [[IF]] ], [ 17, [[ENTRY]] ]
 116 ; CHECK-NEXT:    [[R:%.*]] = mul i8 [[P0]], [[P1]]
 117 ; CHECK-NEXT:    ret i8 [[R]]
 118 ;
 119 entry:
 120   br i1 %b, label %if, label %then
 121
 122 if:
 123   br label %then
 124
 125 then:
 126   %p0 = phi i8 [ %x, %if ], [ 42, %entry ]
 127   %p1 = phi i8 [ %y, %if ], [ 17, %entry ]
 128   %r = mul i8 %p0, %p1
 129   ret i8 %r
 130 }
 131
 132 define i8 @and_const_incoming1(i1 %b, i8 %x, i8 %y) {
 133 ; CHECK-LABEL: @and_const_incoming1(
 134 ; CHECK-NEXT:  entry:
 135 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 136 ; CHECK:       if:
 137 ; CHECK-NEXT:    br label [[THEN]]
 138 ; CHECK:       then:
 139 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ [[X:%.*]], [[IF]] ], [ 42, [[ENTRY:%.*]] ]
 140 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ [[Y:%.*]], [[IF]] ], [ 17, [[ENTRY]] ]
 141 ; CHECK-NEXT:    [[R:%.*]] = and i8 [[P0]], [[P1]]
 142 ; CHECK-NEXT:    ret i8 [[R]]
 143 ;
 144 entry:
 145   br i1 %b, label %if, label %then
 146
 147 if:
 148   br label %then
 149
 150 then:
 151   %p0 = phi i8 [ %x, %if ], [ 42, %entry ]
 152   %p1 = phi i8 [ %y, %if ], [ 17, %entry ]
 153   %r = and i8 %p0, %p1
 154   ret i8 %r
 155 }
 156
 157 define i8 @xor_const_incoming1(i1 %b, i8 %x, i8 %y) {
 158 ; CHECK-LABEL: @xor_const_incoming1(
 159 ; CHECK-NEXT:  entry:
 160 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 161 ; CHECK:       if:
 162 ; CHECK-NEXT:    br label [[THEN]]
 163 ; CHECK:       then:
 164 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ [[X:%.*]], [[IF]] ], [ 42, [[ENTRY:%.*]] ]
 165 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ [[Y:%.*]], [[IF]] ], [ 17, [[ENTRY]] ]
 166 ; CHECK-NEXT:    [[R:%.*]] = xor i8 [[P0]], [[P1]]
 167 ; CHECK-NEXT:    ret i8 [[R]]
 168 ;
 169 entry:
 170   br i1 %b, label %if, label %then
 171
 172 if:
 173   br label %then
 174
 175 then:
 176   %p0 = phi i8 [ %x, %if ], [ 42, %entry ]
 177   %p1 = phi i8 [ %y, %if ], [ 17, %entry ]
 178   %r = xor i8 %p0, %p1
 179   ret i8 %r
 180 }
 181
 182 define i64 @or_const_incoming1(i1 %b, i64 %x, i64 %y) {
 183 ; CHECK-LABEL: @or_const_incoming1(
 184 ; CHECK-NEXT:  entry:
 185 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 186 ; CHECK:       if:
 187 ; CHECK-NEXT:    br label [[THEN]]
 188 ; CHECK:       then:
 189 ; CHECK-NEXT:    [[P0:%.*]] = phi i64 [ [[X:%.*]], [[IF]] ], [ 3, [[ENTRY:%.*]] ]
 190 ; CHECK-NEXT:    [[P1:%.*]] = phi i64 [ [[Y:%.*]], [[IF]] ], [ 16, [[ENTRY]] ]
 191 ; CHECK-NEXT:    [[R:%.*]] = or i64 [[P0]], [[P1]]
 192 ; CHECK-NEXT:    ret i64 [[R]]
 193 ;
 194 entry:
 195   br i1 %b, label %if, label %then
 196
 197 if:
 198   br label %then
 199
 200 then:
 201   %p0 = phi i64 [ %x, %if ], [ 3, %entry ]
 202   %p1 = phi i64 [ %y, %if ], [ 16, %entry ]
 203   %r = or i64 %p0, %p1
 204   ret i64 %r
 205 }
 206
 207 define i64 @or_const_incoming01(i1 %b, i64 %x, i64 %y) {
 208 ; CHECK-LABEL: @or_const_incoming01(
 209 ; CHECK-NEXT:  entry:
 210 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 211 ; CHECK:       if:
 212 ; CHECK-NEXT:    br label [[THEN]]
 213 ; CHECK:       then:
 214 ; CHECK-NEXT:    [[P0:%.*]] = phi i64 [ 3, [[ENTRY:%.*]] ], [ [[X:%.*]], [[IF]] ]
 215 ; CHECK-NEXT:    [[P1:%.*]] = phi i64 [ 16, [[ENTRY]] ], [ [[Y:%.*]], [[IF]] ]
 216 ; CHECK-NEXT:    [[R:%.*]] = or i64 [[P0]], [[P1]]
 217 ; CHECK-NEXT:    ret i64 [[R]]
 218 ;
 219 entry:
 220   br i1 %b, label %if, label %then
 221
 222 if:
 223   br label %then
 224
 225 then:
 226   %p0 = phi i64 [ 3, %entry ], [ %x, %if]
 227   %p1 = phi i64 [ %y, %if ], [ 16, %entry ]
 228   %r = or i64 %p0, %p1
 229   ret i64 %r
 230 }
 231
 232 define i64 @or_const_incoming10(i1 %b, i64 %x, i64 %y) {
 233 ; CHECK-LABEL: @or_const_incoming10(
 234 ; CHECK-NEXT:  entry:
 235 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 236 ; CHECK:       if:
 237 ; CHECK-NEXT:    br label [[THEN]]
 238 ; CHECK:       then:
 239 ; CHECK-NEXT:    [[P0:%.*]] = phi i64 [ [[Y:%.*]], [[IF]] ], [ 16, [[ENTRY:%.*]] ]
 240 ; CHECK-NEXT:    [[P1:%.*]] = phi i64 [ [[X:%.*]], [[IF]] ], [ 3, [[ENTRY]] ]
 241 ; CHECK-NEXT:    [[R:%.*]] = or i64 [[P0]], [[P1]]
 242 ; CHECK-NEXT:    ret i64 [[R]]
 243 ;
 244 entry:
 245   br i1 %b, label %if, label %then
 246
 247 if:
 248   br label %then
 249
 250 then:
 251   %p0 = phi i64 [ %y, %if ], [ 16, %entry ]
 252   %p1 = phi i64 [ 3, %entry ], [ %x, %if]
 253   %r = or i64 %p0, %p1
 254   ret i64 %r
 255 }
 256
 257 define i8 @ashr_const_incoming0_speculative(i1 %b, i8 %x, i8 %y) {
 258 ; CHECK-LABEL: @ashr_const_incoming0_speculative(
 259 ; CHECK-NEXT:  entry:
 260 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 261 ; CHECK:       if:
 262 ; CHECK-NEXT:    br label [[THEN]]
 263 ; CHECK:       then:
 264 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ 42, [[IF]] ], [ [[X:%.*]], [[ENTRY:%.*]] ]
 265 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ 3, [[IF]] ], [ [[Y:%.*]], [[ENTRY]] ]
 266 ; CHECK-NEXT:    [[R:%.*]] = ashr i8 [[P0]], [[P1]]
 267 ; CHECK-NEXT:    ret i8 [[R]]
 268 ;
 269 entry:
 270   br i1 %b, label %if, label %then
 271
 272 if:
 273   br label %then
 274
 275 then:
 276   %p0 = phi i8 [ 42, %if ], [ %x, %entry ]
 277   %p1 = phi i8 [ 3, %if ], [ %y, %entry ]
 278   %r = ashr i8 %p0, %p1
 279   ret i8 %r
 280 }
 281
 282 define i8 @ashr_const_incoming0(i1 %b, i8 %x, i8 %y) {
 283 ; CHECK-LABEL: @ashr_const_incoming0(
 284 ; CHECK-NEXT:  entry:
 285 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 286 ; CHECK:       if:
 287 ; CHECK-NEXT:    br label [[THEN]]
 288 ; CHECK:       then:
 289 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ 42, [[ENTRY:%.*]] ], [ [[X:%.*]], [[IF]] ]
 290 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ 3, [[ENTRY]] ], [ [[Y:%.*]], [[IF]] ]
 291 ; CHECK-NEXT:    [[R:%.*]] = ashr i8 [[P0]], [[P1]]
 292 ; CHECK-NEXT:    ret i8 [[R]]
 293 ;
 294 entry:
 295   br i1 %b, label %if, label %then
 296
 297 if:
 298   br label %then
 299
 300 then:
 301   %p0 = phi i8 [ 42, %entry ], [ %x, %if ]
 302   %p1 = phi i8 [ 3, %entry ], [ %y, %if ]
 303   %r = ashr i8 %p0, %p1
 304   ret i8 %r
 305 }
 306
 307 define i8 @lshr_const_incoming1(i1 %b, i8 %x, i8 %y) {
 308 ; CHECK-LABEL: @lshr_const_incoming1(
 309 ; CHECK-NEXT:  entry:
 310 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 311 ; CHECK:       if:
 312 ; CHECK-NEXT:    br label [[THEN]]
 313 ; CHECK:       then:
 314 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ [[X:%.*]], [[IF]] ], [ 42, [[ENTRY:%.*]] ]
 315 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ [[Y:%.*]], [[IF]] ], [ 3, [[ENTRY]] ]
 316 ; CHECK-NEXT:    [[R:%.*]] = lshr i8 [[P0]], [[P1]]
 317 ; CHECK-NEXT:    ret i8 [[R]]
 318 ;
 319 entry:
 320   br i1 %b, label %if, label %then
 321
 322 if:
 323   br label %then
 324
 325 then:
 326   %p0 = phi i8 [ %x, %if ], [ 42, %entry ]
 327   %p1 = phi i8 [ %y, %if ], [ 3, %entry ]
 328   %r = lshr i8 %p0, %p1
 329   ret i8 %r
 330 }
 331
 332 define i8 @shl_const_incoming1(i1 %b, i8 %x, i8 %y) {
 333 ; CHECK-LABEL: @shl_const_incoming1(
 334 ; CHECK-NEXT:  entry:
 335 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 336 ; CHECK:       if:
 337 ; CHECK-NEXT:    br label [[THEN]]
 338 ; CHECK:       then:
 339 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ [[X:%.*]], [[IF]] ], [ 42, [[ENTRY:%.*]] ]
 340 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ [[Y:%.*]], [[IF]] ], [ 3, [[ENTRY]] ]
 341 ; CHECK-NEXT:    [[R:%.*]] = shl nuw nsw i8 [[P0]], [[P1]]
 342 ; CHECK-NEXT:    ret i8 [[R]]
 343 ;
 344 entry:
 345   br i1 %b, label %if, label %then
 346
 347 if:
 348   br label %then
 349
 350 then:
 351   %p0 = phi i8 [ %x, %if ], [ 42, %entry ]
 352   %p1 = phi i8 [ %y, %if ], [ 3, %entry ]
 353   %r = shl nsw nuw i8 %p0, %p1
 354   ret i8 %r
 355 }
 356
 357 define i8 @sdiv_not_safe_to_speculate(i1 %b, i8 %x, i8 %y) {
 358 ; CHECK-LABEL: @sdiv_not_safe_to_speculate(
 359 ; CHECK-NEXT:  entry:
 360 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 361 ; CHECK:       if:
 362 ; CHECK-NEXT:    br label [[THEN]]
 363 ; CHECK:       then:
 364 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ 42, [[IF]] ], [ [[X:%.*]], [[ENTRY:%.*]] ]
 365 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ 3, [[IF]] ], [ [[Y:%.*]], [[ENTRY]] ]
 366 ; CHECK-NEXT:    [[R:%.*]] = sdiv exact i8 [[P0]], [[P1]]
 367 ; CHECK-NEXT:    ret i8 [[R]]
 368 ;
 369 entry:
 370   br i1 %b, label %if, label %then
 371
 372 if:
 373   br label %then
 374
 375 then:
 376   %p0 = phi i8 [ 42, %if ], [ %x, %entry ]
 377   %p1 = phi i8 [ 3, %if ], [ %y, %entry ]
 378   %r = sdiv exact i8 %p0, %p1
 379   ret i8 %r
 380 }
 381
 382 define i8 @sdiv_const_incoming1(i1 %b, i8 %x, i8 %y) {
 383 ; CHECK-LABEL: @sdiv_const_incoming1(
 384 ; CHECK-NEXT:  entry:
 385 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 386 ; CHECK:       if:
 387 ; CHECK-NEXT:    br label [[THEN]]
 388 ; CHECK:       then:
 389 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ [[X:%.*]], [[IF]] ], [ -42, [[ENTRY:%.*]] ]
 390 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ [[Y:%.*]], [[IF]] ], [ 17, [[ENTRY]] ]
 391 ; CHECK-NEXT:    [[R:%.*]] = sdiv i8 [[P0]], [[P1]]
 392 ; CHECK-NEXT:    ret i8 [[R]]
 393 ;
 394 entry:
 395   br i1 %b, label %if, label %then
 396
 397 if:
 398   br label %then
 399
 400 then:
 401   %p0 = phi i8 [ %x, %if ], [ -42, %entry ]
 402   %p1 = phi i8 [ %y, %if ], [ 17, %entry ]
 403   %r = sdiv i8 %p0, %p1
 404   ret i8 %r
 405 }
 406
 407 define i8 @udiv_const_incoming1(i1 %b, i8 %x, i8 %y) {
 408 ; CHECK-LABEL: @udiv_const_incoming1(
 409 ; CHECK-NEXT:  entry:
 410 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 411 ; CHECK:       if:
 412 ; CHECK-NEXT:    br label [[THEN]]
 413 ; CHECK:       then:
 414 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ [[X:%.*]], [[IF]] ], [ -42, [[ENTRY:%.*]] ]
 415 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ [[Y:%.*]], [[IF]] ], [ 17, [[ENTRY]] ]
 416 ; CHECK-NEXT:    [[R:%.*]] = udiv i8 [[P0]], [[P1]]
 417 ; CHECK-NEXT:    ret i8 [[R]]
 418 ;
 419 entry:
 420   br i1 %b, label %if, label %then
 421
 422 if:
 423   br label %then
 424
 425 then:
 426   %p0 = phi i8 [ %x, %if ], [ -42, %entry ]
 427   %p1 = phi i8 [ %y, %if ], [ 17, %entry ]
 428   %r = udiv i8 %p0, %p1
 429   ret i8 %r
 430 }
 431
 432 define i8 @srem_const_incoming1(i1 %b, i8 %x, i8 %y) {
 433 ; CHECK-LABEL: @srem_const_incoming1(
 434 ; CHECK-NEXT:  entry:
 435 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 436 ; CHECK:       if:
 437 ; CHECK-NEXT:    br label [[THEN]]
 438 ; CHECK:       then:
 439 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ [[X:%.*]], [[IF]] ], [ 42, [[ENTRY:%.*]] ]
 440 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ [[Y:%.*]], [[IF]] ], [ -17, [[ENTRY]] ]
 441 ; CHECK-NEXT:    [[R:%.*]] = srem i8 [[P0]], [[P1]]
 442 ; CHECK-NEXT:    ret i8 [[R]]
 443 ;
 444 entry:
 445   br i1 %b, label %if, label %then
 446
 447 if:
 448   br label %then
 449
 450 then:
 451   %p0 = phi i8 [ %x, %if ], [ 42, %entry ]
 452   %p1 = phi i8 [ %y, %if ], [ -17, %entry ]
 453   %r = srem i8 %p0, %p1
 454   ret i8 %r
 455 }
 456
 457 define i8 @urem_const_incoming1(i1 %b, i8 %x, i8 %y) {
 458 ; CHECK-LABEL: @urem_const_incoming1(
 459 ; CHECK-NEXT:  entry:
 460 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 461 ; CHECK:       if:
 462 ; CHECK-NEXT:    br label [[THEN]]
 463 ; CHECK:       then:
 464 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ [[X:%.*]], [[IF]] ], [ 42, [[ENTRY:%.*]] ]
 465 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ [[Y:%.*]], [[IF]] ], [ -17, [[ENTRY]] ]
 466 ; CHECK-NEXT:    [[R:%.*]] = urem i8 [[P0]], [[P1]]
 467 ; CHECK-NEXT:    ret i8 [[R]]
 468 ;
 469 entry:
 470   br i1 %b, label %if, label %then
 471
 472 if:
 473   br label %then
 474
 475 then:
 476   %p0 = phi i8 [ %x, %if ], [ 42, %entry ]
 477   %p1 = phi i8 [ %y, %if ], [ -17, %entry ]
 478   %r = urem i8 %p0, %p1
 479   ret i8 %r
 480 }
 481
 482 define float @fmul_const_incoming1(i1 %b, float %x, float %y) {
 483 ; CHECK-LABEL: @fmul_const_incoming1(
 484 ; CHECK-NEXT:  entry:
 485 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 486 ; CHECK:       if:
 487 ; CHECK-NEXT:    br label [[THEN]]
 488 ; CHECK:       then:
 489 ; CHECK-NEXT:    [[P0:%.*]] = phi float [ [[X:%.*]], [[IF]] ], [ 4.200000e+01, [[ENTRY:%.*]] ]
 490 ; CHECK-NEXT:    [[P1:%.*]] = phi float [ [[Y:%.*]], [[IF]] ], [ 1.700000e+01, [[ENTRY]] ]
 491 ; CHECK-NEXT:    [[R:%.*]] = fmul float [[P0]], [[P1]]
 492 ; CHECK-NEXT:    ret float [[R]]
 493 ;
 494 entry:
 495   br i1 %b, label %if, label %then
 496
 497 if:
 498   br label %then
 499
 500 then:
 501   %p0 = phi float [ %x, %if ], [ 42.0, %entry ]
 502   %p1 = phi float [ %y, %if ], [ 17.0, %entry ]
 503   %r = fmul float %p0, %p1
 504   ret float %r
 505 }
 506
 507 define float @fadd_const_incoming1(i1 %b, float %x, float %y) {
 508 ; CHECK-LABEL: @fadd_const_incoming1(
 509 ; CHECK-NEXT:  entry:
 510 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 511 ; CHECK:       if:
 512 ; CHECK-NEXT:    br label [[THEN]]
 513 ; CHECK:       then:
 514 ; CHECK-NEXT:    [[P0:%.*]] = phi float [ [[X:%.*]], [[IF]] ], [ 4.200000e+01, [[ENTRY:%.*]] ]
 515 ; CHECK-NEXT:    [[P1:%.*]] = phi float [ [[Y:%.*]], [[IF]] ], [ 1.700000e+01, [[ENTRY]] ]
 516 ; CHECK-NEXT:    [[R:%.*]] = fadd fast float [[P0]], [[P1]]
 517 ; CHECK-NEXT:    ret float [[R]]
 518 ;
 519 entry:
 520   br i1 %b, label %if, label %then
 521
 522 if:
 523   br label %then
 524
 525 then:
 526   %p0 = phi float [ %x, %if ], [ 42.0, %entry ]
 527   %p1 = phi float [ %y, %if ], [ 17.0, %entry ]
 528   %r = fadd fast float %p0, %p1
 529   ret float %r
 530 }
 531
 532 define float @fsub_const_incoming1(i1 %b, float %x, float %y) {
 533 ; CHECK-LABEL: @fsub_const_incoming1(
 534 ; CHECK-NEXT:  entry:
 535 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 536 ; CHECK:       if:
 537 ; CHECK-NEXT:    br label [[THEN]]
 538 ; CHECK:       then:
 539 ; CHECK-NEXT:    [[P0:%.*]] = phi float [ [[X:%.*]], [[IF]] ], [ 4.200000e+01, [[ENTRY:%.*]] ]
 540 ; CHECK-NEXT:    [[P1:%.*]] = phi float [ [[Y:%.*]], [[IF]] ], [ 1.700000e+01, [[ENTRY]] ]
 541 ; CHECK-NEXT:    [[R:%.*]] = fsub nnan ninf float [[P0]], [[P1]]
 542 ; CHECK-NEXT:    ret float [[R]]
 543 ;
 544 entry:
 545   br i1 %b, label %if, label %then
 546
 547 if:
 548   br label %then
 549
 550 then:
 551   %p0 = phi float [ %x, %if ], [ 42.0, %entry ]
 552   %p1 = phi float [ %y, %if ], [ 17.0, %entry ]
 553   %r = fsub ninf nnan float %p0, %p1
 554   ret float %r
 555 }
 556
 557 define float @frem_const_incoming1(i1 %b, float %x, float %y) {
 558 ; CHECK-LABEL: @frem_const_incoming1(
 559 ; CHECK-NEXT:  entry:
 560 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 561 ; CHECK:       if:
 562 ; CHECK-NEXT:    br label [[THEN]]
 563 ; CHECK:       then:
 564 ; CHECK-NEXT:    [[P0:%.*]] = phi float [ [[X:%.*]], [[IF]] ], [ 4.200000e+01, [[ENTRY:%.*]] ]
 565 ; CHECK-NEXT:    [[P1:%.*]] = phi float [ [[Y:%.*]], [[IF]] ], [ 1.700000e+01, [[ENTRY]] ]
 566 ; CHECK-NEXT:    [[R:%.*]] = frem nsz float [[P0]], [[P1]]
 567 ; CHECK-NEXT:    ret float [[R]]
 568 ;
 569 entry:
 570   br i1 %b, label %if, label %then
 571
 572 if:
 573   br label %then
 574
 575 then:
 576   %p0 = phi float [ %x, %if ], [ 42.0, %entry ]
 577   %p1 = phi float [ %y, %if ], [ 17.0, %entry ]
 578   %r = frem nsz float %p0, %p1
 579   ret float %r
 580 }
 581
 582 define i32 @add_const_incoming0_use1(i1 %b, i32 %x, i32 %y) {
 583 ; CHECK-LABEL: @add_const_incoming0_use1(
 584 ; CHECK-NEXT:  entry:
 585 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 586 ; CHECK:       if:
 587 ; CHECK-NEXT:    br label [[THEN]]
 588 ; CHECK:       then:
 589 ; CHECK-NEXT:    [[P0:%.*]] = phi i32 [ 42, [[IF]] ], [ [[X:%.*]], [[ENTRY:%.*]] ]
 590 ; CHECK-NEXT:    [[P1:%.*]] = phi i32 [ 17, [[IF]] ], [ [[Y:%.*]], [[ENTRY]] ]
 591 ; CHECK-NEXT:    call void @use(i32 [[P0]])
 592 ; CHECK-NEXT:    [[R:%.*]] = add i32 [[P0]], [[P1]]
 593 ; CHECK-NEXT:    ret i32 [[R]]
 594 ;
 595 entry:
 596   br i1 %b, label %if, label %then
 597
 598 if:
 599   br label %then
 600
 601 then:
 602   %p0 = phi i32 [ 42, %if ], [ %x, %entry ]
 603   %p1 = phi i32 [ 17, %if ], [ %y, %entry ]
 604   call void @use(i32 %p0)
 605   %r = add i32 %p0, %p1
 606   ret i32 %r
 607 }
 608
 609 define i32 @add_const_incoming0_use2(i1 %b, i32 %x, i32 %y) {
 610 ; CHECK-LABEL: @add_const_incoming0_use2(
 611 ; CHECK-NEXT:  entry:
 612 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 613 ; CHECK:       if:
 614 ; CHECK-NEXT:    br label [[THEN]]
 615 ; CHECK:       then:
 616 ; CHECK-NEXT:    [[P0:%.*]] = phi i32 [ 42, [[IF]] ], [ [[X:%.*]], [[ENTRY:%.*]] ]
 617 ; CHECK-NEXT:    [[P1:%.*]] = phi i32 [ 17, [[IF]] ], [ [[Y:%.*]], [[ENTRY]] ]
 618 ; CHECK-NEXT:    call void @use(i32 [[P1]])
 619 ; CHECK-NEXT:    [[R:%.*]] = add i32 [[P0]], [[P1]]
 620 ; CHECK-NEXT:    ret i32 [[R]]
 621 ;
 622 entry:
 623   br i1 %b, label %if, label %then
 624
 625 if:
 626   br label %then
 627
 628 then:
 629   %p0 = phi i32 [ 42, %if ], [ %x, %entry ]
 630   %p1 = phi i32 [ 17, %if ], [ %y, %entry ]
 631   call void @use(i32 %p1)
 632   %r = add i32 %p0, %p1
 633   ret i32 %r
 634 }
 635
 636 define i64 @or_notconst_incoming(i1 %b, i64 %x, i64 %y) {
 637 ; CHECK-LABEL: @or_notconst_incoming(
 638 ; CHECK-NEXT:  entry:
 639 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 640 ; CHECK:       if:
 641 ; CHECK-NEXT:    br label [[THEN]]
 642 ; CHECK:       then:
 643 ; CHECK-NEXT:    [[P0:%.*]] = phi i64 [ 42, [[IF]] ], [ [[X:%.*]], [[ENTRY:%.*]] ]
 644 ; CHECK-NEXT:    [[P1:%.*]] = phi i64 [ [[Y:%.*]], [[IF]] ], [ 43, [[ENTRY]] ]
 645 ; CHECK-NEXT:    [[R:%.*]] = or i64 [[P0]], [[P1]]
 646 ; CHECK-NEXT:    ret i64 [[R]]
 647 ;
 648 entry:
 649   br i1 %b, label %if, label %then
 650
 651 if:
 652   br label %then
 653
 654 then:
 655   %p0 = phi i64 [ 42, %if ], [ %x, %entry ]
 656   %p1 = phi i64 [ %y, %if ], [ 43, %entry ]
 657   %r = or i64 %p0, %p1
 658   ret i64 %r
 659 }
 660
 661 define i8 @mul_const_incoming0_speculatable(i1 %b, i8 %x, i8 %y) {
 662 ; CHECK-LABEL: @mul_const_incoming0_speculatable(
 663 ; CHECK-NEXT:  entry:
 664 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 665 ; CHECK:       if:
 666 ; CHECK-NEXT:    br label [[THEN]]
 667 ; CHECK:       then:
 668 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ 42, [[ENTRY:%.*]] ], [ [[X:%.*]], [[IF]] ]
 669 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ 17, [[ENTRY]] ], [ [[Y:%.*]], [[IF]] ]
 670 ; CHECK-NEXT:    call void @sideeffect()
 671 ; CHECK-NEXT:    [[R:%.*]] = mul i8 [[P0]], [[P1]]
 672 ; CHECK-NEXT:    ret i8 [[R]]
 673 ;
 674 entry:
 675   br i1 %b, label %if, label %then
 676
 677 if:
 678   br label %then
 679
 680 then:
 681   %p0 = phi i8 [ 42, %entry ], [ %x, %if ]
 682   %p1 = phi i8 [ 17, %entry ], [ %y, %if ]
 683   call void @sideeffect()
 684   %r = mul i8 %p0, %p1
 685   ret i8 %r
 686 }
 687
 688 define i8 @udiv_const_incoming0_not_speculatable(i1 %b, i8 %x, i8 %y) {
 689 ; CHECK-LABEL: @udiv_const_incoming0_not_speculatable(
 690 ; CHECK-NEXT:  entry:
 691 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 692 ; CHECK:       if:
 693 ; CHECK-NEXT:    br label [[THEN]]
 694 ; CHECK:       then:
 695 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ 42, [[ENTRY:%.*]] ], [ [[X:%.*]], [[IF]] ]
 696 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ 17, [[ENTRY]] ], [ [[Y:%.*]], [[IF]] ]
 697 ; CHECK-NEXT:    call void @sideeffect()
 698 ; CHECK-NEXT:    [[R:%.*]] = udiv i8 [[P0]], [[P1]]
 699 ; CHECK-NEXT:    ret i8 [[R]]
 700 ;
 701 entry:
 702   br i1 %b, label %if, label %then
 703
 704 if:
 705   br label %then
 706
 707 then:
 708   %p0 = phi i8 [ 42, %entry ], [ %x, %if ]
 709   %p1 = phi i8 [ 17, %entry ], [ %y, %if ]
 710   call void @sideeffect()
 711   %r = udiv i8 %p0, %p1
 712   ret i8 %r
 713 }
 714
 715 define i8 @udiv_const_incoming0_different_block(i1 %b, i8 %x, i8 %y) {
 716 ; CHECK-LABEL: @udiv_const_incoming0_different_block(
 717 ; CHECK-NEXT:  entry:
 718 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[IF:%.*]], label [[THEN:%.*]]
 719 ; CHECK:       if:
 720 ; CHECK-NEXT:    br label [[THEN]]
 721 ; CHECK:       then:
 722 ; CHECK-NEXT:    [[P0:%.*]] = phi i8 [ 42, [[ENTRY:%.*]] ], [ [[X:%.*]], [[IF]] ]
 723 ; CHECK-NEXT:    [[P1:%.*]] = phi i8 [ 17, [[ENTRY]] ], [ [[Y:%.*]], [[IF]] ]
 724 ; CHECK-NEXT:    br label [[END:%.*]]
 725 ; CHECK:       end:
 726 ; CHECK-NEXT:    [[R:%.*]] = udiv i8 [[P0]], [[P1]]
 727 ; CHECK-NEXT:    ret i8 [[R]]
 728 ;
 729 entry:
 730   br i1 %b, label %if, label %then
 731
 732 if:
 733   br label %then
 734
 735 then:
 736   %p0 = phi i8 [ 42, %entry ], [ %x, %if ]
 737   %p1 = phi i8 [ 17, %entry ], [ %y, %if ]
 738   br label %end
 739
 740 end:
 741   %r = udiv i8 %p0, %p1
 742   ret i8 %r
 743 }
 744
 745 define { i64, i32 } @ParseRetVal(i1 %b, { i64, i32 } ()* %x) {
 746 ; CHECK-LABEL: @ParseRetVal(
 747 ; CHECK-NEXT:  entry:
 748 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[T:%.*]], label [[F:%.*]]
 749 ; CHECK:       t:
 750 ; CHECK-NEXT:    [[T4:%.*]] = tail call { i64, i32 } [[X:%.*]]()
 751 ; CHECK-NEXT:    [[T5:%.*]] = extractvalue { i64, i32 } [[T4]], 0
 752 ; CHECK-NEXT:    [[T6:%.*]] = extractvalue { i64, i32 } [[T4]], 1
 753 ; CHECK-NEXT:    [[T7:%.*]] = and i64 [[T5]], -4294967296
 754 ; CHECK-NEXT:    [[T8:%.*]] = and i64 [[T5]], 4294901760
 755 ; CHECK-NEXT:    [[T9:%.*]] = and i64 [[T5]], 65280
 756 ; CHECK-NEXT:    [[T10:%.*]] = and i64 [[T5]], 255
 757 ; CHECK-NEXT:    br label [[F]]
 758 ; CHECK:       f:
 759 ; CHECK-NEXT:    [[T12:%.*]] = phi i64 [ [[T10]], [[T]] ], [ 0, [[ENTRY:%.*]] ]
 760 ; CHECK-NEXT:    [[T13:%.*]] = phi i64 [ [[T9]], [[T]] ], [ 0, [[ENTRY]] ]
 761 ; CHECK-NEXT:    [[T14:%.*]] = phi i64 [ [[T8]], [[T]] ], [ 0, [[ENTRY]] ]
 762 ; CHECK-NEXT:    [[T15:%.*]] = phi i64 [ [[T7]], [[T]] ], [ 0, [[ENTRY]] ]
 763 ; CHECK-NEXT:    [[T16:%.*]] = phi i32 [ [[T6]], [[T]] ], [ 0, [[ENTRY]] ]
 764 ; CHECK-NEXT:    [[T17:%.*]] = or i64 [[T13]], [[T12]]
 765 ; CHECK-NEXT:    [[T18:%.*]] = or i64 [[T17]], [[T14]]
 766 ; CHECK-NEXT:    [[T19:%.*]] = or i64 [[T18]], [[T15]]
 767 ; CHECK-NEXT:    [[T20:%.*]] = insertvalue { i64, i32 } poison, i64 [[T19]], 0
 768 ; CHECK-NEXT:    [[T21:%.*]] = insertvalue { i64, i32 } [[T20]], i32 [[T16]], 1
 769 ; CHECK-NEXT:    ret { i64, i32 } [[T21]]
 770 ;
 771 entry:
 772   br i1 %b, label %t, label %f
 773
 774 t:
 775   %t4 = tail call { i64, i32 } %x()
 776   %t5 = extractvalue { i64, i32 } %t4, 0
 777   %t6 = extractvalue { i64, i32 } %t4, 1
 778   %t7 = and i64 %t5, -4294967296
 779   %t8 = and i64 %t5, 4294901760
 780   %t9 = and i64 %t5, 65280
 781   %t10 = and i64 %t5, 255
 782   br label %f
 783
 784 f:
 785   %t12 = phi i64 [ %t10, %t ], [ 0, %entry ]
 786   %t13 = phi i64 [ %t9, %t ], [ 0, %entry ]
 787   %t14 = phi i64 [ %t8, %t ], [ 0, %entry ]
 788   %t15 = phi i64 [ %t7, %t ], [ 0, %entry ]
 789   %t16 = phi i32 [ %t6, %t ], [ 0, %entry ]
 790   %t17 = or i64 %t13, %t12
 791   %t18 = or i64 %t17, %t14
 792   %t19 = or i64 %t18, %t15
 793   %t20 = insertvalue { i64, i32 } poison, i64 %t19, 0
 794   %t21 = insertvalue { i64, i32 } %t20, i32 %t16, 1
 795   ret { i64, i32 } %t21
 796 }