test/CodeGen/AArch64/GlobalISel/select-store.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=aarch64-- -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 --- |
   5   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   6
   7   define void @store_s64_gpr(i64* %addr) { ret void }
   8   define void @store_s32_gpr(i32* %addr) { ret void }
   9   define void @store_s16_gpr(i16* %addr) { ret void }
  10   define void @store_s8_gpr(i8* %addr) { ret void }
  11
  12   define void @store_zero_s64_gpr(i64* %addr) { ret void }
  13   define void @store_zero_s32_gpr(i32* %addr) { ret void }
  14
  15   define void @store_fi_s64_gpr() {
  16     %ptr0 = alloca i64
  17     ret void
  18   }
  19
  20   define void @store_gep_128_s64_gpr(i64* %addr) { ret void }
  21   define void @store_gep_512_s32_gpr(i32* %addr) { ret void }
  22   define void @store_gep_64_s16_gpr(i16* %addr) { ret void }
  23   define void @store_gep_1_s8_gpr(i8* %addr) { ret void }
  24
  25   define void @store_s64_fpr(i64* %addr) { ret void }
  26   define void @store_s32_fpr(i32* %addr) { ret void }
  27
  28   define void @store_gep_8_s64_fpr(i64* %addr) { ret void }
  29   define void @store_gep_8_s32_fpr(i32* %addr) { ret void }
  30
  31   define void @store_v2s32(i64 *%addr) { ret void }
  32   define void @store_v2s64(i64 *%addr) { ret void }
  33
  34   define void @store_4xi16(<4 x i16> %v, <4 x i16>* %ptr) { ret void }
  35   define void @store_4xi32(<4 x i32> %v, <4 x i32>* %ptr) { ret void }
  36   define void @store_8xi16(<8 x i16> %v, <8 x i16>* %ptr) { ret void }
  37   define void @store_16xi8(<16 x i8> %v, <16 x i8>* %ptr) { ret void }
  38
  39 ...
  40
  41 ---
  42 name:            store_s64_gpr
  43 legalized:       true
  44 regBankSelected: true
  45
  46 registers:
  47   - { id: 0, class: gpr }
  48   - { id: 1, class: gpr }
  49
  50 body:             |
  51   bb.0:
  52     liveins: $x0, $x1
  53
  54     ; CHECK-LABEL: name: store_s64_gpr
  55     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
  56     ; CHECK: [[COPY1:%[0-9]+]]:gpr64 = COPY $x1
  57     ; CHECK: STRXui [[COPY1]], [[COPY]], 0 :: (store 8 into %ir.addr)
  58     %0(p0) = COPY $x0
  59     %1(s64) = COPY $x1
  60     G_STORE  %1, %0 :: (store 8 into %ir.addr)
  61
  62 ...
  63
  64 ---
  65 name:            store_s32_gpr
  66 legalized:       true
  67 regBankSelected: true
  68
  69 registers:
  70   - { id: 0, class: gpr }
  71   - { id: 1, class: gpr }
  72
  73 body:             |
  74   bb.0:
  75     liveins: $x0, $w1
  76
  77     ; CHECK-LABEL: name: store_s32_gpr
  78     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
  79     ; CHECK: [[COPY1:%[0-9]+]]:gpr32 = COPY $w1
  80     ; CHECK: STRWui [[COPY1]], [[COPY]], 0 :: (store 4 into %ir.addr)
  81     %0(p0) = COPY $x0
  82     %1(s32) = COPY $w1
  83     G_STORE  %1, %0 :: (store 4 into %ir.addr)
  84
  85 ...
  86
  87 ---
  88 name:            store_s16_gpr
  89 legalized:       true
  90 regBankSelected: true
  91
  92 registers:
  93   - { id: 0, class: gpr }
  94   - { id: 1, class: gpr }
  95
  96 body:             |
  97   bb.0:
  98     liveins: $x0, $w1
  99
 100     ; CHECK-LABEL: name: store_s16_gpr
 101     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 102     ; CHECK: [[COPY1:%[0-9]+]]:gpr32 = COPY $w1
 103     ; CHECK: STRHHui [[COPY1]], [[COPY]], 0 :: (store 2 into %ir.addr)
 104     %0(p0) = COPY $x0
 105     %2:gpr(s32) = COPY $w1
 106     %1(s16) = G_TRUNC %2
 107     G_STORE  %1, %0 :: (store 2 into %ir.addr)
 108
 109 ...
 110
 111 ---
 112 name:            store_s8_gpr
 113 legalized:       true
 114 regBankSelected: true
 115
 116 registers:
 117   - { id: 0, class: gpr }
 118   - { id: 1, class: gpr }
 119
 120 body:             |
 121   bb.0:
 122     liveins: $x0, $w1
 123
 124     ; CHECK-LABEL: name: store_s8_gpr
 125     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 126     ; CHECK: [[COPY1:%[0-9]+]]:gpr32 = COPY $w1
 127     ; CHECK: STRBBui [[COPY1]], [[COPY]], 0 :: (store 1 into %ir.addr)
 128     %0(p0) = COPY $x0
 129     %2:gpr(s32) = COPY $w1
 130     %1(s8) = G_TRUNC %2
 131     G_STORE  %1, %0 :: (store 1 into %ir.addr)
 132
 133 ...
 134
 135 ---
 136 name:            store_zero_s64_gpr
 137 legalized:       true
 138 regBankSelected: true
 139
 140 registers:
 141   - { id: 0, class: gpr }
 142   - { id: 1, class: gpr }
 143
 144 body:             |
 145   bb.0:
 146     liveins: $x0, $x1
 147
 148     ; CHECK-LABEL: name: store_zero_s64_gpr
 149     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 150     ; CHECK: STRXui $xzr, [[COPY]], 0 :: (store 8 into %ir.addr)
 151     %0(p0) = COPY $x0
 152     %1(s64) = G_CONSTANT i64 0
 153     G_STORE  %1, %0 :: (store 8 into %ir.addr)
 154
 155 ...
 156
 157 ---
 158 name:            store_zero_s32_gpr
 159 legalized:       true
 160 regBankSelected: true
 161
 162 registers:
 163   - { id: 0, class: gpr }
 164   - { id: 1, class: gpr }
 165
 166 body:             |
 167   bb.0:
 168     liveins: $x0
 169
 170     ; CHECK-LABEL: name: store_zero_s32_gpr
 171     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 172     ; CHECK: STRWui $wzr, [[COPY]], 0 :: (store 4 into %ir.addr)
 173     %0(p0) = COPY $x0
 174     %1(s32) = G_CONSTANT i32 0
 175     G_STORE  %1, %0 :: (store 4 into %ir.addr)
 176
 177 ...
 178
 179 ---
 180 name:            store_fi_s64_gpr
 181 legalized:       true
 182 regBankSelected: true
 183
 184 registers:
 185   - { id: 0, class: gpr }
 186   - { id: 1, class: gpr }
 187
 188 stack:
 189   - { id: 0, name: ptr0, offset: 0, size: 8, alignment: 8 }
 190
 191 body:             |
 192   bb.0:
 193     liveins: $x0
 194
 195     ; CHECK-LABEL: name: store_fi_s64_gpr
 196     ; CHECK: [[COPY:%[0-9]+]]:gpr64 = COPY $x0
 197     ; CHECK: STRXui [[COPY]], %stack.0.ptr0, 0 :: (store 8)
 198     %0(p0) = COPY $x0
 199     %1(p0) = G_FRAME_INDEX %stack.0.ptr0
 200     G_STORE  %0, %1 :: (store 8)
 201 ...
 202
 203 ---
 204 name:            store_gep_128_s64_gpr
 205 legalized:       true
 206 regBankSelected: true
 207
 208 registers:
 209   - { id: 0, class: gpr }
 210   - { id: 1, class: gpr }
 211   - { id: 2, class: gpr }
 212   - { id: 3, class: gpr }
 213
 214 body:             |
 215   bb.0:
 216     liveins: $x0, $x1
 217
 218     ; CHECK-LABEL: name: store_gep_128_s64_gpr
 219     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 220     ; CHECK: [[COPY1:%[0-9]+]]:gpr64 = COPY $x1
 221     ; CHECK: STRXui [[COPY1]], [[COPY]], 16 :: (store 8 into %ir.addr)
 222     %0(p0) = COPY $x0
 223     %1(s64) = COPY $x1
 224     %2(s64) = G_CONSTANT i64 128
 225     %3(p0) = G_GEP %0, %2
 226     G_STORE %1, %3 :: (store 8 into %ir.addr)
 227 ...
 228
 229 ---
 230 name:            store_gep_512_s32_gpr
 231 legalized:       true
 232 regBankSelected: true
 233
 234 registers:
 235   - { id: 0, class: gpr }
 236   - { id: 1, class: gpr }
 237   - { id: 2, class: gpr }
 238   - { id: 3, class: gpr }
 239
 240 body:             |
 241   bb.0:
 242     liveins: $x0, $w1
 243
 244     ; CHECK-LABEL: name: store_gep_512_s32_gpr
 245     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 246     ; CHECK: [[COPY1:%[0-9]+]]:gpr32 = COPY $w1
 247     ; CHECK: STRWui [[COPY1]], [[COPY]], 128 :: (store 4 into %ir.addr)
 248     %0(p0) = COPY $x0
 249     %1(s32) = COPY $w1
 250     %2(s64) = G_CONSTANT i64 512
 251     %3(p0) = G_GEP %0, %2
 252     G_STORE %1, %3 :: (store 4 into %ir.addr)
 253 ...
 254
 255 ---
 256 name:            store_gep_64_s16_gpr
 257 legalized:       true
 258 regBankSelected: true
 259
 260 registers:
 261   - { id: 0, class: gpr }
 262   - { id: 1, class: gpr }
 263   - { id: 2, class: gpr }
 264   - { id: 3, class: gpr }
 265
 266 body:             |
 267   bb.0:
 268     liveins: $x0, $w1
 269
 270     ; CHECK-LABEL: name: store_gep_64_s16_gpr
 271     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 272     ; CHECK: [[COPY1:%[0-9]+]]:gpr32 = COPY $w1
 273     ; CHECK: STRHHui [[COPY1]], [[COPY]], 32 :: (store 2 into %ir.addr)
 274     %0(p0) = COPY $x0
 275     %4:gpr(s32) = COPY $w1
 276     %1(s16) = G_TRUNC %4
 277     %2(s64) = G_CONSTANT i64 64
 278     %3(p0) = G_GEP %0, %2
 279     G_STORE %1, %3 :: (store 2 into %ir.addr)
 280 ...
 281
 282 ---
 283 name:            store_gep_1_s8_gpr
 284 legalized:       true
 285 regBankSelected: true
 286
 287 registers:
 288   - { id: 0, class: gpr }
 289   - { id: 1, class: gpr }
 290   - { id: 2, class: gpr }
 291   - { id: 3, class: gpr }
 292
 293 body:             |
 294   bb.0:
 295     liveins: $x0, $w1
 296
 297     ; CHECK-LABEL: name: store_gep_1_s8_gpr
 298     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 299     ; CHECK: [[COPY1:%[0-9]+]]:gpr32 = COPY $w1
 300     ; CHECK: STRBBui [[COPY1]], [[COPY]], 1 :: (store 1 into %ir.addr)
 301     %0(p0) = COPY $x0
 302     %4:gpr(s32) = COPY $w1
 303     %1(s8) = G_TRUNC %4
 304     %2(s64) = G_CONSTANT i64 1
 305     %3(p0) = G_GEP %0, %2
 306     G_STORE %1, %3 :: (store 1 into %ir.addr)
 307 ...
 308
 309 ---
 310 name:            store_s64_fpr
 311 legalized:       true
 312 regBankSelected: true
 313
 314 registers:
 315   - { id: 0, class: gpr }
 316   - { id: 1, class: fpr }
 317
 318 body:             |
 319   bb.0:
 320     liveins: $x0, $d1
 321
 322     ; CHECK-LABEL: name: store_s64_fpr
 323     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 324     ; CHECK: [[COPY1:%[0-9]+]]:fpr64 = COPY $d1
 325     ; CHECK: STRDui [[COPY1]], [[COPY]], 0 :: (store 8 into %ir.addr)
 326     %0(p0) = COPY $x0
 327     %1(s64) = COPY $d1
 328     G_STORE  %1, %0 :: (store 8 into %ir.addr)
 329
 330 ...
 331
 332 ---
 333 name:            store_s32_fpr
 334 legalized:       true
 335 regBankSelected: true
 336
 337 registers:
 338   - { id: 0, class: gpr }
 339   - { id: 1, class: fpr }
 340
 341 body:             |
 342   bb.0:
 343     liveins: $x0, $s1
 344
 345     ; CHECK-LABEL: name: store_s32_fpr
 346     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 347     ; CHECK: [[COPY1:%[0-9]+]]:fpr32 = COPY $s1
 348     ; CHECK: STRSui [[COPY1]], [[COPY]], 0 :: (store 4 into %ir.addr)
 349     %0(p0) = COPY $x0
 350     %1(s32) = COPY $s1
 351     G_STORE  %1, %0 :: (store 4 into %ir.addr)
 352
 353 ...
 354
 355 ---
 356 name:            store_gep_8_s64_fpr
 357 legalized:       true
 358 regBankSelected: true
 359
 360 registers:
 361   - { id: 0, class: gpr }
 362   - { id: 1, class: fpr }
 363   - { id: 2, class: gpr }
 364   - { id: 3, class: gpr }
 365
 366 body:             |
 367   bb.0:
 368     liveins: $x0, $d1
 369
 370     ; CHECK-LABEL: name: store_gep_8_s64_fpr
 371     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 372     ; CHECK: [[COPY1:%[0-9]+]]:fpr64 = COPY $d1
 373     ; CHECK: STRDui [[COPY1]], [[COPY]], 1 :: (store 8 into %ir.addr)
 374     %0(p0) = COPY $x0
 375     %1(s64) = COPY $d1
 376     %2(s64) = G_CONSTANT i64 8
 377     %3(p0) = G_GEP %0, %2
 378     G_STORE %1, %3 :: (store 8 into %ir.addr)
 379 ...
 380
 381 ---
 382 name:            store_gep_8_s32_fpr
 383 legalized:       true
 384 regBankSelected: true
 385
 386 registers:
 387   - { id: 0, class: gpr }
 388   - { id: 1, class: fpr }
 389   - { id: 2, class: gpr }
 390   - { id: 3, class: gpr }
 391
 392 body:             |
 393   bb.0:
 394     liveins: $x0, $s1
 395
 396     ; CHECK-LABEL: name: store_gep_8_s32_fpr
 397     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 398     ; CHECK: [[COPY1:%[0-9]+]]:fpr32 = COPY $s1
 399     ; CHECK: STRSui [[COPY1]], [[COPY]], 2 :: (store 4 into %ir.addr)
 400     %0(p0) = COPY $x0
 401     %1(s32) = COPY $s1
 402     %2(s64) = G_CONSTANT i64 8
 403     %3(p0) = G_GEP %0, %2
 404     G_STORE %1, %3 :: (store 4 into %ir.addr)
 405 ...
 406 ---
 407 name:            store_v2s32
 408 legalized:       true
 409 regBankSelected: true
 410
 411 registers:
 412   - { id: 0, class: gpr }
 413   - { id: 1, class: fpr }
 414
 415 body:             |
 416   bb.0:
 417     liveins: $x0, $d1
 418
 419     ; CHECK-LABEL: name: store_v2s32
 420     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 421     ; CHECK: [[COPY1:%[0-9]+]]:fpr64 = COPY $d1
 422     ; CHECK: STRDui [[COPY1]], [[COPY]], 0 :: (store 8 into %ir.addr)
 423     %0(p0) = COPY $x0
 424     %1(<2 x s32>) = COPY $d1
 425     G_STORE  %1, %0 :: (store 8 into %ir.addr)
 426
 427 ...
 428 ---
 429 name:            store_v2s64
 430 legalized:       true
 431 regBankSelected: true
 432
 433 registers:
 434   - { id: 0, class: gpr }
 435   - { id: 1, class: fpr }
 436
 437 body:             |
 438   bb.0:
 439     liveins: $x0, $d1
 440     ; CHECK-LABEL: name: store_v2s64
 441     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 442     ; CHECK: [[COPY1:%[0-9]+]]:fpr128 = COPY $q1
 443     ; CHECK: STRQui [[COPY1]], [[COPY]], 0 :: (store 16 into %ir.addr, align 8)
 444     %0(p0) = COPY $x0
 445     %1(<2 x s64>) = COPY $q1
 446     G_STORE %1, %0 :: (store 16 into %ir.addr, align 8)
 447
 448 ...
 449 ---
 450 name:            store_4xi16
 451 alignment:       4
 452 legalized:       true
 453 regBankSelected: true
 454 tracksRegLiveness: true
 455 registers:
 456   - { id: 0, class: fpr }
 457   - { id: 1, class: gpr }
 458 machineFunctionInfo: {}
 459 body:             |
 460   bb.1 (%ir-block.0):
 461     liveins: $d0, $x0
 462
 463     ; CHECK-LABEL: name: store_4xi16
 464     ; CHECK: liveins: $d0, $x0
 465     ; CHECK: [[COPY:%[0-9]+]]:fpr64 = COPY $d0
 466     ; CHECK: [[COPY1:%[0-9]+]]:gpr64sp = COPY $x0
 467     ; CHECK: STRDui [[COPY]], [[COPY1]], 0 :: (store 8 into %ir.ptr)
 468     ; CHECK: RET_ReallyLR
 469     %0:fpr(<4 x s16>) = COPY $d0
 470     %1:gpr(p0) = COPY $x0
 471     G_STORE %0(<4 x s16>), %1(p0) :: (store 8 into %ir.ptr)
 472     RET_ReallyLR
 473
 474 ...
 475 ---
 476 name:            store_4xi32
 477 alignment:       4
 478 legalized:       true
 479 regBankSelected: true
 480 tracksRegLiveness: true
 481 registers:
 482   - { id: 0, class: fpr }
 483   - { id: 1, class: gpr }
 484 machineFunctionInfo: {}
 485 body:             |
 486   bb.1 (%ir-block.0):
 487     liveins: $q0, $x0
 488
 489     ; CHECK-LABEL: name: store_4xi32
 490     ; CHECK: liveins: $q0, $x0
 491     ; CHECK: [[COPY:%[0-9]+]]:fpr128 = COPY $q0
 492     ; CHECK: [[COPY1:%[0-9]+]]:gpr64sp = COPY $x0
 493     ; CHECK: STRQui [[COPY]], [[COPY1]], 0 :: (store 16 into %ir.ptr)
 494     ; CHECK: RET_ReallyLR
 495     %0:fpr(<4 x s32>) = COPY $q0
 496     %1:gpr(p0) = COPY $x0
 497     G_STORE %0(<4 x s32>), %1(p0) :: (store 16 into %ir.ptr)
 498     RET_ReallyLR
 499
 500 ...
 501 ---
 502 name:            store_8xi16
 503 alignment:       4
 504 legalized:       true
 505 regBankSelected: true
 506 tracksRegLiveness: true
 507 registers:
 508   - { id: 0, class: fpr }
 509   - { id: 1, class: gpr }
 510 machineFunctionInfo: {}
 511 body:             |
 512   bb.1 (%ir-block.0):
 513     liveins: $q0, $x0
 514
 515     ; CHECK-LABEL: name: store_8xi16
 516     ; CHECK: liveins: $q0, $x0
 517     ; CHECK: [[COPY:%[0-9]+]]:fpr128 = COPY $q0
 518     ; CHECK: [[COPY1:%[0-9]+]]:gpr64sp = COPY $x0
 519     ; CHECK: STRQui [[COPY]], [[COPY1]], 0 :: (store 16 into %ir.ptr)
 520     ; CHECK: RET_ReallyLR
 521     %0:fpr(<8 x s16>) = COPY $q0
 522     %1:gpr(p0) = COPY $x0
 523     G_STORE %0(<8 x s16>), %1(p0) :: (store 16 into %ir.ptr)
 524     RET_ReallyLR
 525
 526 ...
 527 ---
 528 name:            store_16xi8
 529 alignment:       4
 530 legalized:       true
 531 regBankSelected: true
 532 tracksRegLiveness: true
 533 registers:
 534   - { id: 0, class: fpr }
 535   - { id: 1, class: gpr }
 536 machineFunctionInfo: {}
 537 body:             |
 538   bb.1 (%ir-block.0):
 539     liveins: $q0, $x0
 540
 541     ; CHECK-LABEL: name: store_16xi8
 542     ; CHECK: liveins: $q0, $x0
 543     ; CHECK: [[COPY:%[0-9]+]]:fpr128 = COPY $q0
 544     ; CHECK: [[COPY1:%[0-9]+]]:gpr64sp = COPY $x0
 545     ; CHECK: STRQui [[COPY]], [[COPY1]], 0 :: (store 16 into %ir.ptr)
 546     ; CHECK: RET_ReallyLR
 547     %0:fpr(<16 x s8>) = COPY $q0
 548     %1:gpr(p0) = COPY $x0
 549     G_STORE %0(<16 x s8>), %1(p0) :: (store 16 into %ir.ptr)
 550     RET_ReallyLR
 551
 552 ...