llvm/test/CodeGen/Mips/GlobalISel/legalizer/phi.mir

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