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 --check-prefix=ALL
   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   ; ALL-LABEL: name: test_i1
 145   ; ALL: bb.0.entry:
 146   ; ALL:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
 147   ; ALL:   liveins: $edi, $edx, $esi
 148   ; ALL:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 149   ; ALL:   [[COPY1:%[0-9]+]]:_(s32) = COPY $esi
 150   ; ALL:   [[COPY2:%[0-9]+]]:_(s32) = COPY $edx
 151   ; ALL:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 152   ; ALL:   [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 153   ; ALL:   [[TRUNC:%[0-9]+]]:_(s8) = G_TRUNC [[COPY1]](s32)
 154   ; ALL:   G_BRCOND [[ICMP]](s1), %bb.2
 155   ; ALL: bb.1.cond.false:
 156   ; ALL:   successors: %bb.2(0x80000000)
 157   ; ALL:   [[TRUNC1:%[0-9]+]]:_(s8) = G_TRUNC [[COPY2]](s32)
 158   ; ALL: bb.2.cond.end:
 159   ; ALL:   [[PHI:%[0-9]+]]:_(s8) = G_PHI [[TRUNC1]](s8), %bb.1, [[TRUNC]](s8), %bb.0
 160   ; ALL:   [[COPY3:%[0-9]+]]:_(s8) = COPY [[PHI]](s8)
 161   ; ALL:   $al = COPY [[COPY3]](s8)
 162   ; ALL:   RET 0, implicit $al
 163   bb.1.entry:
 164     successors: %bb.3(0x40000000), %bb.2(0x40000000)
 165     liveins: $edi, $edx, $esi
 166
 167     %0:_(s32) = COPY $edi
 168     %3:_(s32) = COPY $esi
 169     %1:_(s1) = G_TRUNC %3(s32)
 170     %4:_(s32) = COPY $edx
 171     %2:_(s1) = G_TRUNC %4(s32)
 172     %5:_(s32) = G_CONSTANT i32 0
 173     %6:_(s1) = G_ICMP intpred(sgt), %0(s32), %5
 174     G_BRCOND %6(s1), %bb.3
 175
 176   bb.2.cond.false:
 177     successors: %bb.3(0x80000000)
 178
 179
 180   bb.3.cond.end:
 181     %7:_(s1) = G_PHI %2(s1), %bb.2, %1(s1), %bb.1
 182     %8:_(s8) = G_ANYEXT %7(s1)
 183     $al = COPY %8(s8)
 184     RET 0, implicit $al
 185
 186 ...
 187 ---
 188 name:            test_i8
 189 alignment:       16
 190 legalized:       false
 191 regBankSelected: false
 192 tracksRegLiveness: true
 193 registers:
 194   - { id: 0, class: _, preferred-register: '' }
 195   - { id: 1, class: _, preferred-register: '' }
 196   - { id: 2, class: _, preferred-register: '' }
 197   - { id: 3, class: _, preferred-register: '' }
 198   - { id: 4, class: _, preferred-register: '' }
 199   - { id: 5, class: _, preferred-register: '' }
 200   - { id: 6, class: _, preferred-register: '' }
 201   - { id: 7, class: _, preferred-register: '' }
 202 liveins:
 203 fixedStack:
 204 stack:
 205 constants:
 206
 207
 208
 209 body:             |
 210   ; ALL-LABEL: name: test_i8
 211   ; ALL: bb.0.entry:
 212   ; ALL:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
 213   ; ALL:   liveins: $edi, $edx, $esi
 214   ; ALL:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 215   ; ALL:   [[COPY1:%[0-9]+]]:_(s32) = COPY $esi
 216   ; ALL:   [[TRUNC:%[0-9]+]]:_(s8) = G_TRUNC [[COPY1]](s32)
 217   ; ALL:   [[COPY2:%[0-9]+]]:_(s32) = COPY $edx
 218   ; ALL:   [[TRUNC1:%[0-9]+]]:_(s8) = G_TRUNC [[COPY2]](s32)
 219   ; ALL:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 220   ; ALL:   [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 221   ; ALL:   G_BRCOND [[ICMP]](s1), %bb.2
 222   ; ALL: bb.1.cond.false:
 223   ; ALL:   successors: %bb.2(0x80000000)
 224   ; ALL: bb.2.cond.end:
 225   ; ALL:   [[PHI:%[0-9]+]]:_(s8) = G_PHI [[TRUNC1]](s8), %bb.1, [[TRUNC]](s8), %bb.0
 226   ; ALL:   $al = COPY [[PHI]](s8)
 227   ; ALL:   RET 0, implicit $al
 228   bb.1.entry:
 229     successors: %bb.3(0x40000000), %bb.2(0x40000000)
 230     liveins: $edi, $edx, $esi
 231
 232     %0:_(s32) = COPY $edi
 233     %3:_(s32) = COPY $esi
 234     %1:_(s8) = G_TRUNC %3(s32)
 235     %4:_(s32) = COPY $edx
 236     %2:_(s8) = G_TRUNC %4(s32)
 237     %5:_(s32) = G_CONSTANT i32 0
 238     %6:_(s1) = G_ICMP intpred(sgt), %0(s32), %5
 239     G_BRCOND %6(s1), %bb.3
 240
 241   bb.2.cond.false:
 242     successors: %bb.3(0x80000000)
 243
 244
 245   bb.3.cond.end:
 246     %7:_(s8) = G_PHI %2(s8), %bb.2, %1(s8), %bb.1
 247     $al = COPY %7(s8)
 248     RET 0, implicit $al
 249
 250 ...
 251 ---
 252 name:            test_i16
 253 alignment:       16
 254 legalized:       false
 255 regBankSelected: false
 256 tracksRegLiveness: true
 257 registers:
 258   - { id: 0, class: _, preferred-register: '' }
 259   - { id: 1, class: _, preferred-register: '' }
 260   - { id: 2, class: _, preferred-register: '' }
 261   - { id: 3, class: _, preferred-register: '' }
 262   - { id: 4, class: _, preferred-register: '' }
 263   - { id: 5, class: _, preferred-register: '' }
 264   - { id: 6, class: _, preferred-register: '' }
 265   - { id: 7, class: _, preferred-register: '' }
 266 liveins:
 267 fixedStack:
 268 stack:
 269 constants:
 270
 271
 272
 273 body:             |
 274   ; ALL-LABEL: name: test_i16
 275   ; ALL: bb.0.entry:
 276   ; ALL:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
 277   ; ALL:   liveins: $edi, $edx, $esi
 278   ; ALL:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 279   ; ALL:   [[COPY1:%[0-9]+]]:_(s32) = COPY $esi
 280   ; ALL:   [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY1]](s32)
 281   ; ALL:   [[COPY2:%[0-9]+]]:_(s32) = COPY $edx
 282   ; ALL:   [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[COPY2]](s32)
 283   ; ALL:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 284   ; ALL:   [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 285   ; ALL:   G_BRCOND [[ICMP]](s1), %bb.2
 286   ; ALL: bb.1.cond.false:
 287   ; ALL:   successors: %bb.2(0x80000000)
 288   ; ALL: bb.2.cond.end:
 289   ; ALL:   [[PHI:%[0-9]+]]:_(s16) = G_PHI [[TRUNC1]](s16), %bb.1, [[TRUNC]](s16), %bb.0
 290   ; ALL:   $ax = COPY [[PHI]](s16)
 291   ; ALL:   RET 0, implicit $ax
 292   bb.1.entry:
 293     successors: %bb.3(0x40000000), %bb.2(0x40000000)
 294     liveins: $edi, $edx, $esi
 295
 296     %0:_(s32) = COPY $edi
 297     %3:_(s32) = COPY $esi
 298     %1:_(s16) = G_TRUNC %3(s32)
 299     %4:_(s32) = COPY $edx
 300     %2:_(s16) = G_TRUNC %4(s32)
 301     %5:_(s32) = G_CONSTANT i32 0
 302     %6:_(s1) = G_ICMP intpred(sgt), %0(s32), %5
 303     G_BRCOND %6(s1), %bb.3
 304
 305   bb.2.cond.false:
 306     successors: %bb.3(0x80000000)
 307
 308
 309   bb.3.cond.end:
 310     %7:_(s16) = G_PHI %2(s16), %bb.2, %1(s16), %bb.1
 311     $ax = COPY %7(s16)
 312     RET 0, implicit $ax
 313
 314 ...
 315 ---
 316 name:            test_i32
 317 alignment:       16
 318 legalized:       false
 319 regBankSelected: false
 320 tracksRegLiveness: true
 321 registers:
 322   - { id: 0, class: _, preferred-register: '' }
 323   - { id: 1, class: _, preferred-register: '' }
 324   - { id: 2, class: _, preferred-register: '' }
 325   - { id: 3, class: _, preferred-register: '' }
 326   - { id: 4, class: _, preferred-register: '' }
 327   - { id: 5, class: _, preferred-register: '' }
 328 liveins:
 329 fixedStack:
 330 stack:
 331 constants:
 332
 333
 334
 335 body:             |
 336   ; ALL-LABEL: name: test_i32
 337   ; ALL: bb.0.entry:
 338   ; ALL:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
 339   ; ALL:   liveins: $edi, $edx, $esi
 340   ; ALL:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 341   ; ALL:   [[COPY1:%[0-9]+]]:_(s32) = COPY $esi
 342   ; ALL:   [[COPY2:%[0-9]+]]:_(s32) = COPY $edx
 343   ; ALL:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 344   ; ALL:   [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 345   ; ALL:   G_BRCOND [[ICMP]](s1), %bb.1
 346   ; ALL:   G_BR %bb.2
 347   ; ALL: bb.1.cond.true:
 348   ; ALL:   successors: %bb.3(0x80000000)
 349   ; ALL:   G_BR %bb.3
 350   ; ALL: bb.2.cond.false:
 351   ; ALL:   successors: %bb.3(0x80000000)
 352   ; ALL: bb.3.cond.end:
 353   ; ALL:   [[PHI:%[0-9]+]]:_(s32) = G_PHI [[COPY1]](s32), %bb.1, [[COPY2]](s32), %bb.2
 354   ; ALL:   $eax = COPY [[PHI]](s32)
 355   ; ALL:   RET 0, implicit $eax
 356   bb.1.entry:
 357     successors: %bb.2(0x40000000), %bb.3(0x40000000)
 358     liveins: $edi, $edx, $esi
 359
 360     %0(s32) = COPY $edi
 361     %1(s32) = COPY $esi
 362     %2(s32) = COPY $edx
 363     %3(s32) = G_CONSTANT i32 0
 364     %4(s1) = G_ICMP intpred(sgt), %0(s32), %3
 365     G_BRCOND %4(s1), %bb.2
 366     G_BR %bb.3
 367
 368   bb.2.cond.true:
 369     successors: %bb.4(0x80000000)
 370
 371     G_BR %bb.4
 372
 373   bb.3.cond.false:
 374     successors: %bb.4(0x80000000)
 375
 376
 377   bb.4.cond.end:
 378     %5(s32) = G_PHI %1(s32), %bb.2, %2(s32), %bb.3
 379     $eax = COPY %5(s32)
 380     RET 0, implicit $eax
 381
 382 ...
 383 ---
 384 name:            test_i64
 385 alignment:       16
 386 legalized:       false
 387 regBankSelected: false
 388 tracksRegLiveness: true
 389 registers:
 390   - { id: 0, class: _, preferred-register: '' }
 391   - { id: 1, class: _, preferred-register: '' }
 392   - { id: 2, class: _, preferred-register: '' }
 393   - { id: 3, class: _, preferred-register: '' }
 394   - { id: 4, class: _, preferred-register: '' }
 395   - { id: 5, class: _, preferred-register: '' }
 396 liveins:
 397 fixedStack:
 398 stack:
 399 constants:
 400
 401
 402
 403 body:             |
 404   ; ALL-LABEL: name: test_i64
 405   ; ALL: bb.0.entry:
 406   ; ALL:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
 407   ; ALL:   liveins: $edi, $rdx, $rsi
 408   ; ALL:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 409   ; ALL:   [[COPY1:%[0-9]+]]:_(s64) = COPY $rsi
 410   ; ALL:   [[COPY2:%[0-9]+]]:_(s64) = COPY $rdx
 411   ; ALL:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 412   ; ALL:   [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 413   ; ALL:   G_BRCOND [[ICMP]](s1), %bb.1
 414   ; ALL:   G_BR %bb.2
 415   ; ALL: bb.1.cond.true:
 416   ; ALL:   successors: %bb.3(0x80000000)
 417   ; ALL:   G_BR %bb.3
 418   ; ALL: bb.2.cond.false:
 419   ; ALL:   successors: %bb.3(0x80000000)
 420   ; ALL: bb.3.cond.end:
 421   ; ALL:   [[PHI:%[0-9]+]]:_(s64) = G_PHI [[COPY1]](s64), %bb.1, [[COPY2]](s64), %bb.2
 422   ; ALL:   $rax = COPY [[PHI]](s64)
 423   ; ALL:   RET 0, implicit $rax
 424   bb.1.entry:
 425     successors: %bb.2(0x40000000), %bb.3(0x40000000)
 426     liveins: $edi, $rdx, $rsi
 427
 428     %0(s32) = COPY $edi
 429     %1(s64) = COPY $rsi
 430     %2(s64) = COPY $rdx
 431     %3(s32) = G_CONSTANT i32 0
 432     %4(s1) = G_ICMP intpred(sgt), %0(s32), %3
 433     G_BRCOND %4(s1), %bb.2
 434     G_BR %bb.3
 435
 436   bb.2.cond.true:
 437     successors: %bb.4(0x80000000)
 438
 439     G_BR %bb.4
 440
 441   bb.3.cond.false:
 442     successors: %bb.4(0x80000000)
 443
 444
 445   bb.4.cond.end:
 446     %5(s64) = G_PHI %1(s64), %bb.2, %2(s64), %bb.3
 447     $rax = COPY %5(s64)
 448     RET 0, implicit $rax
 449
 450 ...
 451 ---
 452 name:            test_float
 453 alignment:       16
 454 legalized:       false
 455 regBankSelected: false
 456 tracksRegLiveness: true
 457 registers:
 458   - { id: 0, class: _, preferred-register: '' }
 459   - { id: 1, class: _, preferred-register: '' }
 460   - { id: 2, class: _, preferred-register: '' }
 461   - { id: 3, class: _, preferred-register: '' }
 462   - { id: 4, class: _, preferred-register: '' }
 463   - { id: 5, class: _, preferred-register: '' }
 464   - { id: 6, class: _, preferred-register: '' }
 465   - { id: 7, class: _, preferred-register: '' }
 466   - { id: 8, class: _, preferred-register: '' }
 467 liveins:
 468 fixedStack:
 469 stack:
 470 constants:
 471
 472
 473
 474 body:             |
 475   ; ALL-LABEL: name: test_float
 476   ; ALL: bb.0.entry:
 477   ; ALL:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
 478   ; ALL:   liveins: $edi, $xmm0, $xmm1
 479   ; ALL:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 480   ; ALL:   [[COPY1:%[0-9]+]]:_(s128) = COPY $xmm0
 481   ; ALL:   [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY1]](s128)
 482   ; ALL:   [[COPY2:%[0-9]+]]:_(s128) = COPY $xmm1
 483   ; ALL:   [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[COPY2]](s128)
 484   ; ALL:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 485   ; ALL:   [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 486   ; ALL:   G_BRCOND [[ICMP]](s1), %bb.2
 487   ; ALL: bb.1.cond.false:
 488   ; ALL:   successors: %bb.2(0x80000000)
 489   ; ALL: bb.2.cond.end:
 490   ; ALL:   [[PHI:%[0-9]+]]:_(s32) = G_PHI [[TRUNC1]](s32), %bb.1, [[TRUNC]](s32), %bb.0
 491   ; ALL:   [[ANYEXT:%[0-9]+]]:_(s128) = G_ANYEXT [[PHI]](s32)
 492   ; ALL:   $xmm0 = COPY [[ANYEXT]](s128)
 493   ; ALL:   RET 0, implicit $xmm0
 494   bb.1.entry:
 495     successors: %bb.3(0x40000000), %bb.2(0x40000000)
 496     liveins: $edi, $xmm0, $xmm1
 497
 498     %0:_(s32) = COPY $edi
 499     %3:_(s128) = COPY $xmm0
 500     %1:_(s32) = G_TRUNC %3(s128)
 501     %4:_(s128) = COPY $xmm1
 502     %2:_(s32) = G_TRUNC %4(s128)
 503     %5:_(s32) = G_CONSTANT i32 0
 504     %6:_(s1) = G_ICMP intpred(sgt), %0(s32), %5
 505     G_BRCOND %6(s1), %bb.3
 506
 507   bb.2.cond.false:
 508     successors: %bb.3(0x80000000)
 509
 510
 511   bb.3.cond.end:
 512     %7:_(s32) = G_PHI %2(s32), %bb.2, %1(s32), %bb.1
 513     %8:_(s128) = G_ANYEXT %7(s32)
 514     $xmm0 = COPY %8(s128)
 515     RET 0, implicit $xmm0
 516
 517 ...
 518 ---
 519 name:            test_double
 520 alignment:       16
 521 legalized:       false
 522 regBankSelected: false
 523 tracksRegLiveness: true
 524 registers:
 525   - { id: 0, class: _, preferred-register: '' }
 526   - { id: 1, class: _, preferred-register: '' }
 527   - { id: 2, class: _, preferred-register: '' }
 528   - { id: 3, class: _, preferred-register: '' }
 529   - { id: 4, class: _, preferred-register: '' }
 530   - { id: 5, class: _, preferred-register: '' }
 531   - { id: 6, class: _, preferred-register: '' }
 532   - { id: 7, class: _, preferred-register: '' }
 533   - { id: 8, class: _, preferred-register: '' }
 534 liveins:
 535 fixedStack:
 536 stack:
 537 constants:
 538
 539
 540
 541 body:             |
 542   ; ALL-LABEL: name: test_double
 543   ; ALL: bb.0.entry:
 544   ; ALL:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
 545   ; ALL:   liveins: $edi, $xmm0, $xmm1
 546   ; ALL:   [[COPY:%[0-9]+]]:_(s32) = COPY $edi
 547   ; ALL:   [[COPY1:%[0-9]+]]:_(s128) = COPY $xmm0
 548   ; ALL:   [[TRUNC:%[0-9]+]]:_(s64) = G_TRUNC [[COPY1]](s128)
 549   ; ALL:   [[COPY2:%[0-9]+]]:_(s128) = COPY $xmm1
 550   ; ALL:   [[TRUNC1:%[0-9]+]]:_(s64) = G_TRUNC [[COPY2]](s128)
 551   ; ALL:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 552   ; ALL:   [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(sgt), [[COPY]](s32), [[C]]
 553   ; ALL:   G_BRCOND [[ICMP]](s1), %bb.2
 554   ; ALL: bb.1.cond.false:
 555   ; ALL:   successors: %bb.2(0x80000000)
 556   ; ALL: bb.2.cond.end:
 557   ; ALL:   [[PHI:%[0-9]+]]:_(s64) = G_PHI [[TRUNC1]](s64), %bb.1, [[TRUNC]](s64), %bb.0
 558   ; ALL:   [[ANYEXT:%[0-9]+]]:_(s128) = G_ANYEXT [[PHI]](s64)
 559   ; ALL:   $xmm0 = COPY [[ANYEXT]](s128)
 560   ; ALL:   RET 0, implicit $xmm0
 561   bb.1.entry:
 562     successors: %bb.3(0x40000000), %bb.2(0x40000000)
 563     liveins: $edi, $xmm0, $xmm1
 564
 565     %0:_(s32) = COPY $edi
 566     %3:_(s128) = COPY $xmm0
 567     %1:_(s64) = G_TRUNC %3(s128)
 568     %4:_(s128) = COPY $xmm1
 569     %2:_(s64) = G_TRUNC %4(s128)
 570     %5:_(s32) = G_CONSTANT i32 0
 571     %6:_(s1) = G_ICMP intpred(sgt), %0(s32), %5
 572     G_BRCOND %6(s1), %bb.3
 573
 574   bb.2.cond.false:
 575     successors: %bb.3(0x80000000)
 576
 577
 578   bb.3.cond.end:
 579     %7:_(s64) = G_PHI %2(s64), %bb.2, %1(s64), %bb.1
 580     %8:_(s128) = G_ANYEXT %7(s64)
 581     $xmm0 = COPY %8(s128)
 582     RET 0, implicit $xmm0
 583
 584 ...