test/CodeGen/ARM/GlobalISel/arm-legalizer.mir

   1 # RUN: llc -mtriple arm-- -run-pass=legalizer %s -o - | FileCheck %s
   2 --- |
   3   define void @test_load_from_stack() { ret void }
   4   define void @test_load_store_64() #0 { ret void }
   5
   6   define void @test_constants_s64() { ret void }
   7
   8
   9   define void @test_phi_s32() { ret void }
  10   define void @test_phi_p0() { ret void }
  11   define void @test_phi_s64() #0 { ret void }
  12   define void @test_phi_s8() { ret void }
  13
  14   @a_global = global i32 42
  15   define void @test_global_variable() { ret void }
  16
  17   attributes #0 = { "target-features"="+vfp2" }
  18 ...
  19 ---
  20 name:            test_load_from_stack
  21 # CHECK-LABEL: name: test_load_from_stack
  22 legalized:       false
  23 # CHECK: legalized: true
  24 regBankSelected: false
  25 selected:        false
  26 tracksRegLiveness: true
  27 registers:
  28   - { id: 0, class: _ }
  29   - { id: 1, class: _ }
  30   - { id: 2, class: _ }
  31   - { id: 3, class: _ }
  32 fixedStack:
  33   - { id: 0, offset: 0, size: 4, alignment: 4, isImmutable: true, isAliased: false }
  34   - { id: 1, offset: 4, size: 4, alignment: 4, isImmutable: true, isAliased: false }
  35   - { id: 2, offset: 8, size: 4, alignment: 4, isImmutable: true, isAliased: false }
  36   # CHECK: id: [[FRAME_INDEX:[0-9]+]], type: default, offset: 8
  37 body:             |
  38   bb.0:
  39     liveins: $r0, $r1, $r2, $r3
  40
  41     ; This is legal, so we should find it unchanged in the output
  42     ; CHECK: [[FIVREG:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.[[FRAME_INDEX]]
  43     ; CHECK: {{%[0-9]+}}:_(s32) = G_LOAD [[FIVREG]](p0) :: (load 4)
  44     %0(p0) = G_FRAME_INDEX %fixed-stack.2
  45     %1(s32) = G_LOAD %0(p0) :: (load 4)
  46     $r0 = COPY %1(s32)
  47     BX_RET 14, $noreg, implicit $r0
  48 ...
  49 ---
  50 name:            test_load_store_64
  51 # CHECK-LABEL: name: test_load_store_64
  52 legalized:       false
  53 # CHECK: legalized: true
  54 regBankSelected: false
  55 selected:        false
  56 tracksRegLiveness: true
  57 registers:
  58   - { id: 0, class: _ }
  59   - { id: 1, class: _ }
  60   - { id: 2, class: _ }
  61   - { id: 3, class: _ }
  62   - { id: 4, class: _ }
  63   - { id: 5, class: _ }
  64   - { id: 6, class: _ }
  65 body:             |
  66   bb.0:
  67     liveins: $r0
  68
  69     ; These are legal, so we should find them unchanged in the output
  70     ; CHECK-DAG: G_STORE {{%[0-9]+}}(s64), %0(p0)
  71     ; CHECK-DAG: {{%[0-9]+}}:_(s64) = G_LOAD %0(p0)
  72     %0(p0) = COPY $r0
  73     %1(s64) = G_LOAD %0(p0) :: (load 8)
  74     G_STORE %1(s64), %0(p0) :: (store 8)
  75     BX_RET 14, $noreg
  76 ...
  77 ---
  78 name:            test_constants_s64
  79 # CHECK-LABEL: name: test_constants_s64
  80 legalized:       false
  81 # CHECK: legalized: true
  82 regBankSelected: false
  83 selected:        false
  84 tracksRegLiveness: true
  85 registers:
  86   - { id: 0, class: _ }
  87   - { id: 1, class: _ }
  88   - { id: 2, class: _ }
  89   - { id: 3, class: _ }
  90 body:             |
  91   bb.0:
  92     liveins: $r0
  93
  94     %0(p0) = COPY $r0
  95
  96     %1(s64) = G_CONSTANT i64 17179869200 ; = 4 * 2 ^ 32 + 16
  97     %2(s32), %3(s32) = G_UNMERGE_VALUES %1(s64)
  98     G_STORE %2(s32), %0(p0) :: (store 4)
  99     G_STORE %3(s32), %0(p0) :: (store 4)
 100     ; CHECK-DAG: {{%[0-9]+}}:_(s32) = G_CONSTANT i32 4
 101     ; CHECK-DAG: {{%[0-9]+}}:_(s32) = G_CONSTANT i32 16
 102     ; CHECK-NOT: G_CONSTANT i64
 103
 104     BX_RET 14, $noreg
 105 ...
 106 ---
 107 name:            test_phi_s32
 108 # CHECK-LABEL: name: test_phi_s32
 109 legalized:       false
 110 # CHECK: legalized: true
 111 regBankSelected: false
 112 selected:        false
 113 tracksRegLiveness: true
 114 registers:
 115   - { id: 0, class: _ }
 116   - { id: 1, class: _ }
 117   - { id: 2, class: _ }
 118   - { id: 3, class: _ }
 119   - { id: 4, class: _ }
 120 body:             |
 121   bb.0:
 122     liveins: $r0, $r1, $r2
 123
 124     %0(s32) = COPY $r0
 125     %1(s1) = G_TRUNC %0(s32)
 126
 127     %2(s32) = COPY $r1
 128     %3(s32) = COPY $r2
 129
 130     G_BRCOND %1(s1), %bb.1
 131     G_BR %bb.2
 132
 133   bb.1:
 134     G_BR %bb.2
 135
 136   bb.2:
 137     %4(s32) = G_PHI %2(s32), %bb.0, %3(s32), %bb.1
 138     ; G_PHI with s32 is legal, so we should find it unchanged in the output
 139     ; CHECK: G_PHI {{%[0-9]+}}(s32), %bb.0, {{%[0-9]+}}(s32), %bb.1
 140     $r0 = COPY %4(s32)
 141     BX_RET 14, $noreg, implicit $r0
 142 ...
 143 ---
 144 name:            test_phi_p0
 145 # CHECK-LABEL: name: test_phi_p0
 146 legalized:       false
 147 # CHECK: legalized: true
 148 regBankSelected: false
 149 selected:        false
 150 tracksRegLiveness: true
 151 registers:
 152   - { id: 0, class: _ }
 153   - { id: 1, class: _ }
 154   - { id: 2, class: _ }
 155   - { id: 3, class: _ }
 156   - { id: 4, class: _ }
 157 body:             |
 158   bb.0:
 159     liveins: $r0, $r1, $r2
 160
 161     %0(s32) = COPY $r0
 162     %1(s1) = G_TRUNC %0(s32)
 163
 164     %2(p0) = COPY $r1
 165     %3(p0) = COPY $r2
 166
 167     G_BRCOND %1(s1), %bb.1
 168     G_BR %bb.2
 169
 170   bb.1:
 171     G_BR %bb.2
 172
 173   bb.2:
 174     %4(p0) = G_PHI %2(p0), %bb.0, %3(p0), %bb.1
 175     ; G_PHI with p0 is legal, so we should find it unchanged in the output
 176     ; CHECK: G_PHI {{%[0-9]+}}(p0), %bb.0, {{%[0-9]+}}(p0), %bb.1
 177     $r0 = COPY %4(p0)
 178     BX_RET 14, $noreg, implicit $r0
 179 ...
 180 ---
 181 name:            test_phi_s64
 182 # CHECK-LABEL: name: test_phi_s64
 183 legalized:       false
 184 # CHECK: legalized: true
 185 regBankSelected: false
 186 selected:        false
 187 tracksRegLiveness: true
 188 registers:
 189   - { id: 0, class: _ }
 190   - { id: 1, class: _ }
 191   - { id: 2, class: _ }
 192   - { id: 3, class: _ }
 193   - { id: 4, class: _ }
 194 body:             |
 195   bb.0:
 196     liveins: $r0, $d0, $d1
 197
 198     %0(s32) = COPY $r0
 199     %1(s1) = G_TRUNC %0(s32)
 200
 201     %2(s64) = COPY $d0
 202     %3(s64) = COPY $d1
 203
 204     G_BRCOND %1(s1), %bb.1
 205     G_BR %bb.2
 206
 207   bb.1:
 208     G_BR %bb.2
 209
 210   bb.2:
 211     %4(s64) = G_PHI %2(s64), %bb.0, %3(s64), %bb.1
 212     ; G_PHI with s64 is legal when we have floating point support, so we should
 213     ; find it unchanged in the output
 214     ; CHECK: G_PHI {{%[0-9]+}}(s64), %bb.0, {{%[0-9]+}}(s64), %bb.1
 215     $d0 = COPY %4(s64)
 216     BX_RET 14, $noreg, implicit $d0
 217 ...
 218 ---
 219 name:            test_phi_s8
 220 # CHECK-LABEL: name: test_phi_s8
 221 legalized:       false
 222 # CHECK: legalized: true
 223 regBankSelected: false
 224 selected:        false
 225 tracksRegLiveness: true
 226 registers:
 227   - { id: 0, class: _ }
 228   - { id: 1, class: _ }
 229   - { id: 2, class: _ }
 230   - { id: 3, class: _ }
 231   - { id: 4, class: _ }
 232   - { id: 5, class: _ }
 233   - { id: 6, class: _ }
 234   - { id: 7, class: _ }
 235 body:             |
 236   bb.0:
 237     liveins: $r0, $r1, $r2
 238
 239     %0(s32) = COPY $r0
 240     %1(s1) = G_TRUNC %0(s32)
 241
 242     %2(s32) = COPY $r1
 243     %3(s8) = G_TRUNC %2(s32)
 244     ; CHECK: [[R1:%[0-9]+]]:_(s32) = COPY $r1
 245
 246     %4(s32) = COPY $r2
 247     %5(s8) = G_TRUNC %4(s32)
 248     ; CHECK: [[R2:%[0-9]+]]:_(s32) = COPY $r2
 249
 250     ; CHECK: [[V1:%[0-9]+]]:_(s32) = COPY [[R1]]
 251
 252     G_BRCOND %1(s1), %bb.1
 253     G_BR %bb.2
 254
 255   bb.1:
 256     ; CHECK: [[V2:%[0-9]+]]:_(s32) = COPY [[R2]]
 257     G_BR %bb.2
 258
 259   bb.2:
 260     %6(s8) = G_PHI %3(s8), %bb.0, %5(s8), %bb.1
 261     ; G_PHI with s8 should widen, and all the truncs and exts should be combined
 262     ; away into a bunch of redundant copies
 263     ; CHECK: [[V:%[0-9]+]]:_(s32) = G_PHI [[V1]](s32), %bb.0, [[V2]](s32), %bb.1
 264
 265     %7(s32) = G_ANYEXT %6(s8)
 266     $r0 = COPY %7(s32)
 267     ; CHECK: [[R:%[0-9]+]]:_(s32) = COPY [[V]]
 268     ; CHECK: $r0 = COPY [[R]](s32)
 269     BX_RET 14, $noreg, implicit $r0
 270 ...
 271 ---
 272 name:            test_global_variable
 273 # CHECK-LABEL: name: test_global_variable
 274 legalized:       false
 275 # CHECK: legalized: true
 276 regBankSelected: false
 277 selected:        false
 278 tracksRegLiveness: true
 279 registers:
 280   - { id: 0, class: _ }
 281   - { id: 1, class: _ }
 282 body:             |
 283   bb.0:
 284     liveins: $r0
 285
 286     %0(s32) = COPY $r0
 287     %1(p0) = G_GLOBAL_VALUE @a_global
 288     ; G_GLOBAL_VALUE is legal, so we should find it unchanged in the output
 289     ; CHECK: {{%[0-9]+}}:_(p0) = G_GLOBAL_VALUE @a_global
 290     $r0 = COPY %1(p0)
 291     BX_RET 14, $noreg, implicit $r0
 292
 293 ...