llvm/test/CodeGen/AArch64/GlobalISel/preselect-process-phis.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -verify-machineinstrs -mtriple aarch64--- -run-pass=instruction-select -global-isel-abort=1 %s -o - | FileCheck %s
   3 ---
   4 name:            test_loop_phi_fpr_to_gpr
   5 alignment:       4
   6 legalized:       true
   7 regBankSelected: true
   8 selected:        false
   9 failedISel:      false
  10 tracksRegLiveness: true
  11 liveins:         []
  12 machineFunctionInfo: {}
  13 body:             |
  14   ; CHECK-LABEL: name: test_loop_phi_fpr_to_gpr
  15   ; CHECK: bb.0:
  16   ; CHECK-NEXT:   successors: %bb.1(0x80000000)
  17   ; CHECK-NEXT: {{  $}}
  18   ; CHECK-NEXT:   [[DEF:%[0-9]+]]:gpr32 = IMPLICIT_DEF
  19   ; CHECK-NEXT:   [[DEF1:%[0-9]+]]:gpr64common = IMPLICIT_DEF
  20   ; CHECK-NEXT:   [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 2143289344
  21   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:fpr32 = COPY [[MOVi32imm]]
  22   ; CHECK-NEXT: {{  $}}
  23   ; CHECK-NEXT: bb.1:
  24   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
  25   ; CHECK-NEXT: {{  $}}
  26   ; CHECK-NEXT:   [[DEF2:%[0-9]+]]:gpr32 = IMPLICIT_DEF
  27   ; CHECK-NEXT:   [[ANDSWri:%[0-9]+]]:gpr32 = ANDSWri [[DEF]], 0, implicit-def $nzcv
  28   ; CHECK-NEXT:   [[CSELWr:%[0-9]+]]:gpr32 = CSELWr [[DEF2]], [[DEF2]], 1, implicit $nzcv
  29   ; CHECK-NEXT: {{  $}}
  30   ; CHECK-NEXT: bb.2:
  31   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
  32   ; CHECK-NEXT: {{  $}}
  33   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32 = PHI [[CSELWr]], %bb.1, %8, %bb.2
  34   ; CHECK-NEXT:   [[FCVTHSr:%[0-9]+]]:fpr16 = nofpexcept FCVTHSr [[COPY]]
  35   ; CHECK-NEXT:   [[SUBREG_TO_REG:%[0-9]+]]:fpr32 = SUBREG_TO_REG 0, [[FCVTHSr]], %subreg.hsub
  36   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr32all = COPY [[SUBREG_TO_REG]]
  37   ; CHECK-NEXT:   STRHHui [[PHI]], [[DEF1]], 0 :: (store (s16) into `ptr undef`)
  38   ; CHECK-NEXT:   B %bb.2
  39   bb.0:
  40     successors: %bb.1(0x80000000)
  41
  42     %0:gpr(s32) = G_IMPLICIT_DEF
  43     %4:gpr(p0) = G_IMPLICIT_DEF
  44     %8:fpr(s32) = G_FCONSTANT float 0x7FF8000000000000
  45
  46   bb.1:
  47     successors: %bb.2(0x80000000)
  48
  49     %6:gpr(s32) = G_IMPLICIT_DEF
  50     %7:gpr(s32) = G_SELECT %0(s32), %6, %6
  51     %1:gpr(s16) = G_TRUNC %7(s32)
  52
  53   bb.2:
  54     successors: %bb.2(0x80000000)
  55
  56     %3:gpr(s16) = G_PHI %1(s16), %bb.1, %5(s16), %bb.2
  57     %5:fpr(s16) = G_FPTRUNC %8(s32)
  58     G_STORE %3(s16), %4(p0) :: (store (s16) into `ptr undef`)
  59     G_BR %bb.2
  60
  61 ...
  62 ---
  63 name:            test_loop_phi_gpr_to_fpr
  64 alignment:       4
  65 legalized:       true
  66 regBankSelected: true
  67 selected:        false
  68 failedISel:      false
  69 tracksRegLiveness: true
  70 liveins:         []
  71 machineFunctionInfo: {}
  72 body:             |
  73   ; CHECK-LABEL: name: test_loop_phi_gpr_to_fpr
  74   ; CHECK: bb.0:
  75   ; CHECK-NEXT:   successors: %bb.1(0x80000000)
  76   ; CHECK-NEXT: {{  $}}
  77   ; CHECK-NEXT:   [[DEF:%[0-9]+]]:gpr32 = IMPLICIT_DEF
  78   ; CHECK-NEXT:   [[DEF1:%[0-9]+]]:gpr64common = IMPLICIT_DEF
  79   ; CHECK-NEXT:   [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 2143289344
  80   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:fpr32 = COPY [[MOVi32imm]]
  81   ; CHECK-NEXT: {{  $}}
  82   ; CHECK-NEXT: bb.1:
  83   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
  84   ; CHECK-NEXT: {{  $}}
  85   ; CHECK-NEXT:   [[DEF2:%[0-9]+]]:gpr32 = IMPLICIT_DEF
  86   ; CHECK-NEXT:   [[ANDSWri:%[0-9]+]]:gpr32 = ANDSWri [[DEF]], 0, implicit-def $nzcv
  87   ; CHECK-NEXT:   [[CSELWr:%[0-9]+]]:gpr32 = CSELWr [[DEF2]], [[DEF2]], 1, implicit $nzcv
  88   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:fpr32 = COPY [[CSELWr]]
  89   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:fpr16 = COPY [[COPY1]].hsub
  90   ; CHECK-NEXT: {{  $}}
  91   ; CHECK-NEXT: bb.2:
  92   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
  93   ; CHECK-NEXT: {{  $}}
  94   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:fpr16 = PHI %7, %bb.2, [[COPY2]], %bb.1
  95   ; CHECK-NEXT:   [[FCVTHSr:%[0-9]+]]:fpr16 = nofpexcept FCVTHSr [[COPY]]
  96   ; CHECK-NEXT:   STRHui [[PHI]], [[DEF1]], 0 :: (store (s16) into `ptr undef`)
  97   ; CHECK-NEXT:   B %bb.2
  98   bb.0:
  99     successors: %bb.1(0x80000000)
 100
 101     %0:gpr(s32) = G_IMPLICIT_DEF
 102     %4:gpr(p0) = G_IMPLICIT_DEF
 103     %8:fpr(s32) = G_FCONSTANT float 0x7FF8000000000000
 104
 105   bb.1:
 106     successors: %bb.2(0x80000000)
 107
 108     %6:gpr(s32) = G_IMPLICIT_DEF
 109     %7:gpr(s32) = G_SELECT %0(s32), %6, %6
 110     %1:gpr(s16) = G_TRUNC %7(s32)
 111
 112   bb.2:
 113     successors: %bb.2(0x80000000)
 114
 115     %3:fpr(s16) = G_PHI %5(s16), %bb.2, %1(s16), %bb.1
 116     %5:fpr(s16) = G_FPTRUNC %8(s32)
 117     G_STORE %3(s16), %4(p0) :: (store (s16) into `ptr undef`)
 118     G_BR %bb.2
 119
 120 ...
 121 ---
 122 name:            multiple_phis
 123 alignment:       4
 124 legalized:       true
 125 regBankSelected: true
 126 tracksRegLiveness: true
 127 body:             |
 128   ; CHECK-LABEL: name: multiple_phis
 129   ; CHECK: bb.0:
 130   ; CHECK-NEXT:   successors: %bb.1(0x40000000), %bb.5(0x40000000)
 131   ; CHECK-NEXT:   liveins: $w0, $w1, $x2
 132   ; CHECK-NEXT: {{  $}}
 133   ; CHECK-NEXT:   %ptr:gpr64sp = COPY $x2
 134   ; CHECK-NEXT:   %cond_1:gpr32 = IMPLICIT_DEF
 135   ; CHECK-NEXT:   %gpr_1:gpr32 = IMPLICIT_DEF
 136   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:fpr32 = COPY %gpr_1
 137   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:fpr16 = COPY [[COPY]].hsub
 138   ; CHECK-NEXT:   TBNZW %cond_1, 0, %bb.5
 139   ; CHECK-NEXT:   B %bb.1
 140   ; CHECK-NEXT: {{  $}}
 141   ; CHECK-NEXT: bb.1:
 142   ; CHECK-NEXT:   successors: %bb.2(0x40000000), %bb.3(0x40000000)
 143   ; CHECK-NEXT: {{  $}}
 144   ; CHECK-NEXT:   %cond_2:gpr32 = IMPLICIT_DEF
 145   ; CHECK-NEXT:   TBNZW %cond_2, 0, %bb.3
 146   ; CHECK-NEXT:   B %bb.2
 147   ; CHECK-NEXT: {{  $}}
 148   ; CHECK-NEXT: bb.2:
 149   ; CHECK-NEXT:   successors: %bb.4(0x80000000)
 150   ; CHECK-NEXT: {{  $}}
 151   ; CHECK-NEXT:   %gpr_2:gpr32 = IMPLICIT_DEF
 152   ; CHECK-NEXT:   B %bb.4
 153   ; CHECK-NEXT: {{  $}}
 154   ; CHECK-NEXT: bb.3:
 155   ; CHECK-NEXT:   successors: %bb.4(0x80000000)
 156   ; CHECK-NEXT: {{  $}}
 157   ; CHECK-NEXT:   %fpr:fpr16 = IMPLICIT_DEF
 158   ; CHECK-NEXT: {{  $}}
 159   ; CHECK-NEXT: bb.4:
 160   ; CHECK-NEXT:   successors: %bb.5(0x80000000)
 161   ; CHECK-NEXT: {{  $}}
 162   ; CHECK-NEXT:   %fp_phi:fpr16 = PHI %fpr, %bb.3, [[COPY1]], %bb.2
 163   ; CHECK-NEXT:   %gp_phi1:gpr32 = PHI %gpr_1, %bb.3, %gpr_2, %bb.2
 164   ; CHECK-NEXT:   %gp_phi2:gpr32 = PHI %gpr_1, %bb.3, %gpr_2, %bb.2
 165   ; CHECK-NEXT:   %gp_phi3:gpr32 = PHI %gpr_1, %bb.3, %gpr_2, %bb.2
 166   ; CHECK-NEXT:   [[SUBREG_TO_REG:%[0-9]+]]:fpr32 = SUBREG_TO_REG 0, %fp_phi, %subreg.hsub
 167   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr32all = COPY [[SUBREG_TO_REG]]
 168   ; CHECK-NEXT: {{  $}}
 169   ; CHECK-NEXT: bb.5:
 170   ; CHECK-NEXT:   %use_fp_phi:gpr32 = PHI %gpr_1, %bb.0, [[COPY2]], %bb.4
 171   ; CHECK-NEXT:   %use_gp_phi1:gpr32 = PHI %gpr_1, %bb.0, %gp_phi1, %bb.4
 172   ; CHECK-NEXT:   %use_gp_phi2:gpr32 = PHI %gpr_1, %bb.0, %gp_phi2, %bb.4
 173   ; CHECK-NEXT:   %use_gp_phi3:gpr32 = PHI %gpr_1, %bb.0, %gp_phi3, %bb.4
 174   ; CHECK-NEXT:   STRHHui %use_fp_phi, %ptr, 0 :: (store (s16))
 175   ; CHECK-NEXT:   STRHHui %use_gp_phi1, %ptr, 0 :: (store (s16))
 176   ; CHECK-NEXT:   STRHHui %use_gp_phi2, %ptr, 0 :: (store (s16))
 177   ; CHECK-NEXT:   STRHHui %use_gp_phi3, %ptr, 0 :: (store (s16))
 178   ; CHECK-NEXT:   RET_ReallyLR
 179
 180   ; The copy we insert in bb.4 should appear after all the phi instructions.
 181
 182   bb.1:
 183     successors: %bb.2, %bb.6
 184     liveins: $w0, $w1, $x2
 185     %ptr:gpr(p0) = COPY $x2
 186     %cond_1:gpr(s32) = G_IMPLICIT_DEF
 187     %gpr_1:gpr(s16) = G_IMPLICIT_DEF
 188     G_BRCOND %cond_1(s32), %bb.6
 189     G_BR %bb.2
 190   bb.2:
 191     successors: %bb.3, %bb.4
 192     %cond_2:gpr(s32) = G_IMPLICIT_DEF
 193     G_BRCOND %cond_2(s32), %bb.4
 194     G_BR %bb.3
 195   bb.3:
 196     %gpr_2:gpr(s16) = G_IMPLICIT_DEF
 197     G_BR %bb.5
 198   bb.4:
 199     %fpr:fpr(s16) = G_IMPLICIT_DEF
 200   bb.5:
 201     %fp_phi:fpr(s16) = G_PHI %fpr(s16), %bb.4, %gpr_1(s16), %bb.3
 202     %gp_phi1:gpr(s16) = G_PHI %gpr_1(s16), %bb.4, %gpr_2(s16), %bb.3
 203     %gp_phi2:gpr(s16) = G_PHI %gpr_1(s16), %bb.4, %gpr_2(s16), %bb.3
 204     %gp_phi3:gpr(s16) = G_PHI %gpr_1(s16), %bb.4, %gpr_2(s16), %bb.3
 205   bb.6:
 206     %use_fp_phi:gpr(s16) = G_PHI %gpr_1(s16), %bb.1, %fp_phi(s16), %bb.5
 207     %use_gp_phi1:gpr(s16) = G_PHI %gpr_1(s16), %bb.1, %gp_phi1(s16), %bb.5
 208     %use_gp_phi2:gpr(s16) = G_PHI %gpr_1(s16), %bb.1, %gp_phi2(s16), %bb.5
 209     %use_gp_phi3:gpr(s16) = G_PHI %gpr_1(s16), %bb.1, %gp_phi3(s16), %bb.5
 210     G_STORE %use_fp_phi(s16), %ptr(p0) :: (store (s16))
 211     G_STORE %use_gp_phi1(s16), %ptr(p0) :: (store (s16))
 212     G_STORE %use_gp_phi2(s16), %ptr(p0) :: (store (s16))
 213     G_STORE %use_gp_phi3(s16), %ptr(p0) :: (store (s16))
 214     RET_ReallyLR
 215 ...