llvm/test/CodeGen/X86/GlobalISel/legalize-phi.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=x86_64-linux-gnu -run-pass=legalizer %s -o - | FileCheck %s
   3
   4 --- |
   5
   6   define zeroext i1 @test_i1(i32 %a, i1 zeroext %f, i1 zeroext %t) {
   7   entry:
   8     %cmp = icmp sgt i32 %a, 0
   9     br i1 %cmp, label %cond.true, label %cond.false
  10
  11   cond.true:                                        ; preds = %entry
  12     br label %cond.end
  13
  14   cond.false:                                       ; preds = %entry
  15     br label %cond.end
  16
  17   cond.end:                                         ; preds = %cond.false, %cond.true
  18     %cond = phi i1 [ %f, %cond.true ], [ %t, %cond.false ]
  19     ret i1 %cond
  20   }
  21
  22   define i8 @test_i8(i32 %a, i8 %f, i8 %t) {
  23   entry:
  24     %cmp = icmp sgt i32 %a, 0
  25     br i1 %cmp, label %cond.true, label %cond.false
  26
  27   cond.true:                                        ; preds = %entry
  28     br label %cond.end
  29
  30   cond.false:                                       ; preds = %entry
  31     br label %cond.end
  32
  33   cond.end:                                         ; preds = %cond.false, %cond.true
  34     %cond = phi i8 [ %f, %cond.true ], [ %t, %cond.false ]
  35     ret i8 %cond
  36   }
  37
  38   define i16 @test_i16(i32 %a, i16 %f, i16 %t) {
  39   entry:
  40     %cmp = icmp sgt i32 %a, 0
  41     br i1 %cmp, label %cond.true, label %cond.false
  42
  43   cond.true:                                        ; preds = %entry
  44     br label %cond.end
  45
  46   cond.false:                                       ; preds = %entry
  47     br label %cond.end
  48
  49   cond.end:                                         ; preds = %cond.false, %cond.true
  50     %cond = phi i16 [ %f, %cond.true ], [ %t, %cond.false ]
  51     ret i16 %cond
  52   }
  53
  54   define i32 @test_i32(i32 %a, i32 %f, i32 %t) {
  55   entry:
  56     %cmp = icmp sgt i32 %a, 0
  57     br i1 %cmp, label %cond.true, label %cond.false
  58
  59   cond.true:                                        ; preds = %entry
  60     br label %cond.end
  61
  62   cond.false:                                       ; preds = %entry
  63     br label %cond.end
  64
  65   cond.end:                                         ; preds = %cond.false, %cond.true
  66     %cond = phi i32 [ %f, %cond.true ], [ %t, %cond.false ]
  67     ret i32 %cond
  68   }
  69
  70   define i64 @test_i64(i32 %a, i64 %f, i64 %t) {
  71   entry:
  72     %cmp = icmp sgt i32 %a, 0
  73     br i1 %cmp, label %cond.true, label %cond.false
  74
  75   cond.true:                                        ; preds = %entry
  76     br label %cond.end
  77
  78   cond.false:                                       ; preds = %entry
  79     br label %cond.end
  80
  81   cond.end:                                         ; preds = %cond.false, %cond.true
  82     %cond = phi i64 [ %f, %cond.true ], [ %t, %cond.false ]
  83     ret i64 %cond
  84   }
  85
  86   define float @test_float(i32 %a, float %f, float %t) {
  87   entry:
  88     %cmp = icmp sgt i32 %a, 0
  89     br i1 %cmp, label %cond.true, label %cond.false
  90
  91   cond.true:                                        ; preds = %entry
  92     br label %cond.end
  93
  94   cond.false:                                       ; preds = %entry
  95     br label %cond.end
  96
  97   cond.end:                                         ; preds = %cond.false, %cond.true
  98     %cond = phi float [ %f, %cond.true ], [ %t, %cond.false ]
  99     ret float %cond
 100   }
 101
 102   define double @test_double(i32 %a, double %f, double %t) {
 103   entry:
 104     %cmp = icmp sgt i32 %a, 0
 105     br i1 %cmp, label %cond.true, label %cond.false
 106
 107   cond.true:                                        ; preds = %entry
 108     br label %cond.end
 109
 110   cond.false:                                       ; preds = %entry
 111     br label %cond.end
 112
 113   cond.end:                                         ; preds = %cond.false, %cond.true
 114     %cond = phi double [ %f, %cond.true ], [ %t, %cond.false ]
 115     ret double %cond
 116   }
 117
 118 ...
 119 ---
 120 name:            test_i1
 121 alignment:       16
 122 legalized:       false
 123 regBankSelected: false
 124 tracksRegLiveness: true
 125 registers:
 126   - { id: 0, class: _, preferred-register: '' }
 127   - { id: 1, class: _, preferred-register: '' }
 128   - { id: 2, class: _, preferred-register: '' }
 129   - { id: 3, class: _, preferred-register: '' }
 130   - { id: 4, class: _, preferred-register: '' }
 131   - { id: 5, class: _, preferred-register: '' }
 132   - { id: 6, class: _, preferred-register: '' }
 133   - { id: 7, class: _, preferred-register: '' }
 134   - { id: 8, class: _, preferred-register: '' }
 135 liveins:
 136 fixedStack:
 137 stack:
 138 constants:
 139
 140
 141
 142
 143 body:             |
 144   ; CHECK-LABEL: name: test_i1
 145   ; CHECK: bb.0.entry:
 146   ; CHECK-NEXT:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
 147   ; CHECK-NEXT:   liveins: $edi, $edx, $esi
 148   ; CHECK-NEXT: {{  $}}
 149   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 150   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:_(s32) = COPY $esi
 151   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:_(s32) = COPY $edx
 152   ; CHECK-NEXT:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 153   ; CHECK-NEXT:   [[ICMP:%[0-9]+]]:_(s8) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 154   ; CHECK-NEXT:   [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[ICMP]](s8)
 155   ; CHECK-NEXT:   [[TRUNC1:%[0-9]+]]:_(s8) = G_TRUNC [[COPY1]](s32)
 156   ; CHECK-NEXT:   G_BRCOND [[TRUNC]](s1), %bb.2
 157   ; CHECK-NEXT: {{  $}}
 158   ; CHECK-NEXT: bb.1.cond.false:
 159   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
 160   ; CHECK-NEXT: {{  $}}
 161   ; CHECK-NEXT:   [[TRUNC2:%[0-9]+]]:_(s8) = G_TRUNC [[COPY2]](s32)
 162   ; CHECK-NEXT: {{  $}}
 163   ; CHECK-NEXT: bb.2.cond.end:
 164   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:_(s8) = G_PHI [[TRUNC2]](s8), %bb.1, [[TRUNC1]](s8), %bb.0
 165   ; CHECK-NEXT:   $al = COPY [[PHI]](s8)
 166   ; CHECK-NEXT:   RET 0, implicit $al
 167   bb.1.entry:
 168     successors: %bb.3(0x40000000), %bb.2(0x40000000)
 169     liveins: $edi, $edx, $esi
 170
 171     %0:_(s32) = COPY $edi
 172     %3:_(s32) = COPY $esi
 173     %1:_(s1) = G_TRUNC %3(s32)
 174     %4:_(s32) = COPY $edx
 175     %2:_(s1) = G_TRUNC %4(s32)
 176     %5:_(s32) = G_CONSTANT i32 0
 177     %6:_(s1) = G_ICMP intpred(sgt), %0(s32), %5
 178     G_BRCOND %6(s1), %bb.3
 179
 180   bb.2.cond.false:
 181     successors: %bb.3(0x80000000)
 182
 183
 184   bb.3.cond.end:
 185     %7:_(s1) = G_PHI %2(s1), %bb.2, %1(s1), %bb.1
 186     %8:_(s8) = G_ANYEXT %7(s1)
 187     $al = COPY %8(s8)
 188     RET 0, implicit $al
 189
 190 ...
 191 ---
 192 name:            test_i8
 193 alignment:       16
 194 legalized:       false
 195 regBankSelected: false
 196 tracksRegLiveness: true
 197 registers:
 198   - { id: 0, class: _, preferred-register: '' }
 199   - { id: 1, class: _, preferred-register: '' }
 200   - { id: 2, class: _, preferred-register: '' }
 201   - { id: 3, class: _, preferred-register: '' }
 202   - { id: 4, class: _, preferred-register: '' }
 203   - { id: 5, class: _, preferred-register: '' }
 204   - { id: 6, class: _, preferred-register: '' }
 205   - { id: 7, class: _, preferred-register: '' }
 206 liveins:
 207 fixedStack:
 208 stack:
 209 constants:
 210
 211
 212
 213 body:             |
 214   ; CHECK-LABEL: name: test_i8
 215   ; CHECK: bb.0.entry:
 216   ; CHECK-NEXT:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
 217   ; CHECK-NEXT:   liveins: $edi, $edx, $esi
 218   ; CHECK-NEXT: {{  $}}
 219   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 220   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:_(s32) = COPY $esi
 221   ; CHECK-NEXT:   [[TRUNC:%[0-9]+]]:_(s8) = G_TRUNC [[COPY1]](s32)
 222   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:_(s32) = COPY $edx
 223   ; CHECK-NEXT:   [[TRUNC1:%[0-9]+]]:_(s8) = G_TRUNC [[COPY2]](s32)
 224   ; CHECK-NEXT:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 225   ; CHECK-NEXT:   [[ICMP:%[0-9]+]]:_(s8) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 226   ; CHECK-NEXT:   [[TRUNC2:%[0-9]+]]:_(s1) = G_TRUNC [[ICMP]](s8)
 227   ; CHECK-NEXT:   G_BRCOND [[TRUNC2]](s1), %bb.2
 228   ; CHECK-NEXT: {{  $}}
 229   ; CHECK-NEXT: bb.1.cond.false:
 230   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
 231   ; CHECK-NEXT: {{  $}}
 232   ; CHECK-NEXT: bb.2.cond.end:
 233   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:_(s8) = G_PHI [[TRUNC1]](s8), %bb.1, [[TRUNC]](s8), %bb.0
 234   ; CHECK-NEXT:   $al = COPY [[PHI]](s8)
 235   ; CHECK-NEXT:   RET 0, implicit $al
 236   bb.1.entry:
 237     successors: %bb.3(0x40000000), %bb.2(0x40000000)
 238     liveins: $edi, $edx, $esi
 239
 240     %0:_(s32) = COPY $edi
 241     %3:_(s32) = COPY $esi
 242     %1:_(s8) = G_TRUNC %3(s32)
 243     %4:_(s32) = COPY $edx
 244     %2:_(s8) = G_TRUNC %4(s32)
 245     %5:_(s32) = G_CONSTANT i32 0
 246     %6:_(s1) = G_ICMP intpred(sgt), %0(s32), %5
 247     G_BRCOND %6(s1), %bb.3
 248
 249   bb.2.cond.false:
 250     successors: %bb.3(0x80000000)
 251
 252
 253   bb.3.cond.end:
 254     %7:_(s8) = G_PHI %2(s8), %bb.2, %1(s8), %bb.1
 255     $al = COPY %7(s8)
 256     RET 0, implicit $al
 257
 258 ...
 259 ---
 260 name:            test_i16
 261 alignment:       16
 262 legalized:       false
 263 regBankSelected: false
 264 tracksRegLiveness: true
 265 registers:
 266   - { id: 0, class: _, preferred-register: '' }
 267   - { id: 1, class: _, preferred-register: '' }
 268   - { id: 2, class: _, preferred-register: '' }
 269   - { id: 3, class: _, preferred-register: '' }
 270   - { id: 4, class: _, preferred-register: '' }
 271   - { id: 5, class: _, preferred-register: '' }
 272   - { id: 6, class: _, preferred-register: '' }
 273   - { id: 7, class: _, preferred-register: '' }
 274 liveins:
 275 fixedStack:
 276 stack:
 277 constants:
 278
 279
 280
 281 body:             |
 282   ; CHECK-LABEL: name: test_i16
 283   ; CHECK: bb.0.entry:
 284   ; CHECK-NEXT:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
 285   ; CHECK-NEXT:   liveins: $edi, $edx, $esi
 286   ; CHECK-NEXT: {{  $}}
 287   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 288   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:_(s32) = COPY $esi
 289   ; CHECK-NEXT:   [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY1]](s32)
 290   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:_(s32) = COPY $edx
 291   ; CHECK-NEXT:   [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[COPY2]](s32)
 292   ; CHECK-NEXT:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 293   ; CHECK-NEXT:   [[ICMP:%[0-9]+]]:_(s8) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 294   ; CHECK-NEXT:   [[TRUNC2:%[0-9]+]]:_(s1) = G_TRUNC [[ICMP]](s8)
 295   ; CHECK-NEXT:   G_BRCOND [[TRUNC2]](s1), %bb.2
 296   ; CHECK-NEXT: {{  $}}
 297   ; CHECK-NEXT: bb.1.cond.false:
 298   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
 299   ; CHECK-NEXT: {{  $}}
 300   ; CHECK-NEXT: bb.2.cond.end:
 301   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:_(s16) = G_PHI [[TRUNC1]](s16), %bb.1, [[TRUNC]](s16), %bb.0
 302   ; CHECK-NEXT:   $ax = COPY [[PHI]](s16)
 303   ; CHECK-NEXT:   RET 0, implicit $ax
 304   bb.1.entry:
 305     successors: %bb.3(0x40000000), %bb.2(0x40000000)
 306     liveins: $edi, $edx, $esi
 307
 308     %0:_(s32) = COPY $edi
 309     %3:_(s32) = COPY $esi
 310     %1:_(s16) = G_TRUNC %3(s32)
 311     %4:_(s32) = COPY $edx
 312     %2:_(s16) = G_TRUNC %4(s32)
 313     %5:_(s32) = G_CONSTANT i32 0
 314     %6:_(s1) = G_ICMP intpred(sgt), %0(s32), %5
 315     G_BRCOND %6(s1), %bb.3
 316
 317   bb.2.cond.false:
 318     successors: %bb.3(0x80000000)
 319
 320
 321   bb.3.cond.end:
 322     %7:_(s16) = G_PHI %2(s16), %bb.2, %1(s16), %bb.1
 323     $ax = COPY %7(s16)
 324     RET 0, implicit $ax
 325
 326 ...
 327 ---
 328 name:            test_i32
 329 alignment:       16
 330 legalized:       false
 331 regBankSelected: false
 332 tracksRegLiveness: true
 333 registers:
 334   - { id: 0, class: _, preferred-register: '' }
 335   - { id: 1, class: _, preferred-register: '' }
 336   - { id: 2, class: _, preferred-register: '' }
 337   - { id: 3, class: _, preferred-register: '' }
 338   - { id: 4, class: _, preferred-register: '' }
 339   - { id: 5, class: _, preferred-register: '' }
 340 liveins:
 341 fixedStack:
 342 stack:
 343 constants:
 344
 345
 346
 347 body:             |
 348   ; CHECK-LABEL: name: test_i32
 349   ; CHECK: bb.0.entry:
 350   ; CHECK-NEXT:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
 351   ; CHECK-NEXT:   liveins: $edi, $edx, $esi
 352   ; CHECK-NEXT: {{  $}}
 353   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 354   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:_(s32) = COPY $esi
 355   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:_(s32) = COPY $edx
 356   ; CHECK-NEXT:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 357   ; CHECK-NEXT:   [[ICMP:%[0-9]+]]:_(s8) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 358   ; CHECK-NEXT:   [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[ICMP]](s8)
 359   ; CHECK-NEXT:   G_BRCOND [[TRUNC]](s1), %bb.1
 360   ; CHECK-NEXT:   G_BR %bb.2
 361   ; CHECK-NEXT: {{  $}}
 362   ; CHECK-NEXT: bb.1.cond.true:
 363   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 364   ; CHECK-NEXT: {{  $}}
 365   ; CHECK-NEXT:   G_BR %bb.3
 366   ; CHECK-NEXT: {{  $}}
 367   ; CHECK-NEXT: bb.2.cond.false:
 368   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 369   ; CHECK-NEXT: {{  $}}
 370   ; CHECK-NEXT: bb.3.cond.end:
 371   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:_(s32) = G_PHI [[COPY1]](s32), %bb.1, [[COPY2]](s32), %bb.2
 372   ; CHECK-NEXT:   $eax = COPY [[PHI]](s32)
 373   ; CHECK-NEXT:   RET 0, implicit $eax
 374   bb.1.entry:
 375     successors: %bb.2(0x40000000), %bb.3(0x40000000)
 376     liveins: $edi, $edx, $esi
 377
 378     %0(s32) = COPY $edi
 379     %1(s32) = COPY $esi
 380     %2(s32) = COPY $edx
 381     %3(s32) = G_CONSTANT i32 0
 382     %4(s1) = G_ICMP intpred(sgt), %0(s32), %3
 383     G_BRCOND %4(s1), %bb.2
 384     G_BR %bb.3
 385
 386   bb.2.cond.true:
 387     successors: %bb.4(0x80000000)
 388
 389     G_BR %bb.4
 390
 391   bb.3.cond.false:
 392     successors: %bb.4(0x80000000)
 393
 394
 395   bb.4.cond.end:
 396     %5(s32) = G_PHI %1(s32), %bb.2, %2(s32), %bb.3
 397     $eax = COPY %5(s32)
 398     RET 0, implicit $eax
 399
 400 ...
 401 ---
 402 name:            test_i64
 403 alignment:       16
 404 legalized:       false
 405 regBankSelected: false
 406 tracksRegLiveness: true
 407 registers:
 408   - { id: 0, class: _, preferred-register: '' }
 409   - { id: 1, class: _, preferred-register: '' }
 410   - { id: 2, class: _, preferred-register: '' }
 411   - { id: 3, class: _, preferred-register: '' }
 412   - { id: 4, class: _, preferred-register: '' }
 413   - { id: 5, class: _, preferred-register: '' }
 414 liveins:
 415 fixedStack:
 416 stack:
 417 constants:
 418
 419
 420
 421 body:             |
 422   ; CHECK-LABEL: name: test_i64
 423   ; CHECK: bb.0.entry:
 424   ; CHECK-NEXT:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
 425   ; CHECK-NEXT:   liveins: $edi, $rdx, $rsi
 426   ; CHECK-NEXT: {{  $}}
 427   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 428   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:_(s64) = COPY $rsi
 429   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:_(s64) = COPY $rdx
 430   ; CHECK-NEXT:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 431   ; CHECK-NEXT:   [[ICMP:%[0-9]+]]:_(s8) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 432   ; CHECK-NEXT:   [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[ICMP]](s8)
 433   ; CHECK-NEXT:   G_BRCOND [[TRUNC]](s1), %bb.1
 434   ; CHECK-NEXT:   G_BR %bb.2
 435   ; CHECK-NEXT: {{  $}}
 436   ; CHECK-NEXT: bb.1.cond.true:
 437   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 438   ; CHECK-NEXT: {{  $}}
 439   ; CHECK-NEXT:   G_BR %bb.3
 440   ; CHECK-NEXT: {{  $}}
 441   ; CHECK-NEXT: bb.2.cond.false:
 442   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 443   ; CHECK-NEXT: {{  $}}
 444   ; CHECK-NEXT: bb.3.cond.end:
 445   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:_(s64) = G_PHI [[COPY1]](s64), %bb.1, [[COPY2]](s64), %bb.2
 446   ; CHECK-NEXT:   $rax = COPY [[PHI]](s64)
 447   ; CHECK-NEXT:   RET 0, implicit $rax
 448   bb.1.entry:
 449     successors: %bb.2(0x40000000), %bb.3(0x40000000)
 450     liveins: $edi, $rdx, $rsi
 451
 452     %0(s32) = COPY $edi
 453     %1(s64) = COPY $rsi
 454     %2(s64) = COPY $rdx
 455     %3(s32) = G_CONSTANT i32 0
 456     %4(s1) = G_ICMP intpred(sgt), %0(s32), %3
 457     G_BRCOND %4(s1), %bb.2
 458     G_BR %bb.3
 459
 460   bb.2.cond.true:
 461     successors: %bb.4(0x80000000)
 462
 463     G_BR %bb.4
 464
 465   bb.3.cond.false:
 466     successors: %bb.4(0x80000000)
 467
 468
 469   bb.4.cond.end:
 470     %5(s64) = G_PHI %1(s64), %bb.2, %2(s64), %bb.3
 471     $rax = COPY %5(s64)
 472     RET 0, implicit $rax
 473
 474 ...
 475 ---
 476 name:            test_float
 477 alignment:       16
 478 legalized:       false
 479 regBankSelected: false
 480 tracksRegLiveness: true
 481 registers:
 482   - { id: 0, class: _, preferred-register: '' }
 483   - { id: 1, class: _, preferred-register: '' }
 484   - { id: 2, class: _, preferred-register: '' }
 485   - { id: 3, class: _, preferred-register: '' }
 486   - { id: 4, class: _, preferred-register: '' }
 487   - { id: 5, class: _, preferred-register: '' }
 488   - { id: 6, class: _, preferred-register: '' }
 489   - { id: 7, class: _, preferred-register: '' }
 490   - { id: 8, class: _, preferred-register: '' }
 491 liveins:
 492 fixedStack:
 493 stack:
 494 constants:
 495
 496
 497
 498 body:             |
 499   ; CHECK-LABEL: name: test_float
 500   ; CHECK: bb.0.entry:
 501   ; CHECK-NEXT:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
 502   ; CHECK-NEXT:   liveins: $edi, $xmm0, $xmm1
 503   ; CHECK-NEXT: {{  $}}
 504   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 505   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:_(s128) = COPY $xmm0
 506   ; CHECK-NEXT:   [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY1]](s128)
 507   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:_(s128) = COPY $xmm1
 508   ; CHECK-NEXT:   [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[COPY2]](s128)
 509   ; CHECK-NEXT:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 510   ; CHECK-NEXT:   [[ICMP:%[0-9]+]]:_(s8) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 511   ; CHECK-NEXT:   [[TRUNC2:%[0-9]+]]:_(s1) = G_TRUNC [[ICMP]](s8)
 512   ; CHECK-NEXT:   G_BRCOND [[TRUNC2]](s1), %bb.2
 513   ; CHECK-NEXT: {{  $}}
 514   ; CHECK-NEXT: bb.1.cond.false:
 515   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
 516   ; CHECK-NEXT: {{  $}}
 517   ; CHECK-NEXT: bb.2.cond.end:
 518   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:_(s32) = G_PHI [[TRUNC1]](s32), %bb.1, [[TRUNC]](s32), %bb.0
 519   ; CHECK-NEXT:   [[ANYEXT:%[0-9]+]]:_(s128) = G_ANYEXT [[PHI]](s32)
 520   ; CHECK-NEXT:   $xmm0 = COPY [[ANYEXT]](s128)
 521   ; CHECK-NEXT:   RET 0, implicit $xmm0
 522   bb.1.entry:
 523     successors: %bb.3(0x40000000), %bb.2(0x40000000)
 524     liveins: $edi, $xmm0, $xmm1
 525
 526     %0:_(s32) = COPY $edi
 527     %3:_(s128) = COPY $xmm0
 528     %1:_(s32) = G_TRUNC %3(s128)
 529     %4:_(s128) = COPY $xmm1
 530     %2:_(s32) = G_TRUNC %4(s128)
 531     %5:_(s32) = G_CONSTANT i32 0
 532     %6:_(s1) = G_ICMP intpred(sgt), %0(s32), %5
 533     G_BRCOND %6(s1), %bb.3
 534
 535   bb.2.cond.false:
 536     successors: %bb.3(0x80000000)
 537
 538
 539   bb.3.cond.end:
 540     %7:_(s32) = G_PHI %2(s32), %bb.2, %1(s32), %bb.1
 541     %8:_(s128) = G_ANYEXT %7(s32)
 542     $xmm0 = COPY %8(s128)
 543     RET 0, implicit $xmm0
 544
 545 ...
 546 ---
 547 name:            test_double
 548 alignment:       16
 549 legalized:       false
 550 regBankSelected: false
 551 tracksRegLiveness: true
 552 registers:
 553   - { id: 0, class: _, preferred-register: '' }
 554   - { id: 1, class: _, preferred-register: '' }
 555   - { id: 2, class: _, preferred-register: '' }
 556   - { id: 3, class: _, preferred-register: '' }
 557   - { id: 4, class: _, preferred-register: '' }
 558   - { id: 5, class: _, preferred-register: '' }
 559   - { id: 6, class: _, preferred-register: '' }
 560   - { id: 7, class: _, preferred-register: '' }
 561   - { id: 8, class: _, preferred-register: '' }
 562 liveins:
 563 fixedStack:
 564 stack:
 565 constants:
 566
 567
 568
 569 body:             |
 570   ; CHECK-LABEL: name: test_double
 571   ; CHECK: bb.0.entry:
 572   ; CHECK-NEXT:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
 573   ; CHECK-NEXT:   liveins: $edi, $xmm0, $xmm1
 574   ; CHECK-NEXT: {{  $}}
 575   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 576   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:_(s128) = COPY $xmm0
 577   ; CHECK-NEXT:   [[TRUNC:%[0-9]+]]:_(s64) = G_TRUNC [[COPY1]](s128)
 578   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:_(s128) = COPY $xmm1
 579   ; CHECK-NEXT:   [[TRUNC1:%[0-9]+]]:_(s64) = G_TRUNC [[COPY2]](s128)
 580   ; CHECK-NEXT:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 581   ; CHECK-NEXT:   [[ICMP:%[0-9]+]]:_(s8) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 582   ; CHECK-NEXT:   [[TRUNC2:%[0-9]+]]:_(s1) = G_TRUNC [[ICMP]](s8)
 583   ; CHECK-NEXT:   G_BRCOND [[TRUNC2]](s1), %bb.2
 584   ; CHECK-NEXT: {{  $}}
 585   ; CHECK-NEXT: bb.1.cond.false:
 586   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
 587   ; CHECK-NEXT: {{  $}}
 588   ; CHECK-NEXT: bb.2.cond.end:
 589   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:_(s64) = G_PHI [[TRUNC1]](s64), %bb.1, [[TRUNC]](s64), %bb.0
 590   ; CHECK-NEXT:   [[ANYEXT:%[0-9]+]]:_(s128) = G_ANYEXT [[PHI]](s64)
 591   ; CHECK-NEXT:   $xmm0 = COPY [[ANYEXT]](s128)
 592   ; CHECK-NEXT:   RET 0, implicit $xmm0
 593   bb.1.entry:
 594     successors: %bb.3(0x40000000), %bb.2(0x40000000)
 595     liveins: $edi, $xmm0, $xmm1
 596
 597     %0:_(s32) = COPY $edi
 598     %3:_(s128) = COPY $xmm0
 599     %1:_(s64) = G_TRUNC %3(s128)
 600     %4:_(s128) = COPY $xmm1
 601     %2:_(s64) = G_TRUNC %4(s128)
 602     %5:_(s32) = G_CONSTANT i32 0
 603     %6:_(s1) = G_ICMP intpred(sgt), %0(s32), %5
 604     G_BRCOND %6(s1), %bb.3
 605
 606   bb.2.cond.false:
 607     successors: %bb.3(0x80000000)
 608
 609
 610   bb.3.cond.end:
 611     %7:_(s64) = G_PHI %2(s64), %bb.2, %1(s64), %bb.1
 612     %8:_(s128) = G_ANYEXT %7(s64)
 613     $xmm0 = COPY %8(s128)
 614     RET 0, implicit $xmm0
 615
 616 ...