xref: /llvm-project/llvm/test/CodeGen/RISCV/rvv/addi-scalable-offset.mir (revision a0b049055df592759e4ac1d8032139f385581c63)
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2# RUN: llc -mtriple=riscv64 -mattr=+v -stop-after=prologepilog %s -o - 2>&1 | FileCheck %s
3
4--- |
5  define void @add_scalable_offset(
6            ptr %pa,
7            i64 %vl)
8  {
9    ret void
10  }
11...
12---
13name: add_scalable_offset
14tracksRegLiveness: true
15frameInfo:
16  isFrameAddressTaken: true
17  stackSize:       2240
18stack:
19  - { id: 0, type: default, offset: 0, size: 1120, alignment: 4,
20      stack-id: default }
21  - { id: 1, type: default, offset: 1120, size: 1120, alignment: 4,
22      stack-id: default }
23  - { id: 2, offset: 0, size: 8, alignment: 8, stack-id: scalable-vector }
24body: |
25  bb.0:
26    liveins: $x10, $x11
27
28    ; CHECK-LABEL: name: add_scalable_offset
29    ; CHECK: liveins: $x10, $x11, $x1
30    ; CHECK-NEXT: {{  $}}
31    ; CHECK-NEXT: $x2 = frame-setup ADDI $x2, -2032
32    ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa_offset 2032
33    ; CHECK-NEXT: frame-setup SD killed $x1, $x2, 2024 :: (store (s64) into %stack.3)
34    ; CHECK-NEXT: frame-setup SD killed $x8, $x2, 2016 :: (store (s64) into %stack.4)
35    ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $x1, -8
36    ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $x8, -16
37    ; CHECK-NEXT: $x8 = frame-setup ADDI $x2, 2032
38    ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa $x8, 0
39    ; CHECK-NEXT: $x2 = frame-setup ADDI $x2, -240
40    ; CHECK-NEXT: $x12 = frame-setup PseudoReadVLENB
41    ; CHECK-NEXT: $x2 = frame-setup SUB $x2, killed $x12
42    ; CHECK-NEXT: dead $x0 = PseudoVSETVLI killed renamable $x11, 216 /* e64, m1, ta, ma */, implicit-def $vl, implicit-def $vtype
43    ; CHECK-NEXT: renamable $v8 = PseudoVLE64_V_M1 undef renamable $v8, killed renamable $x10, $noreg, 6 /* e64 */, 0 /* tu, mu */, implicit $vl, implicit $vtype :: (load unknown-size from %ir.pa, align 8)
44    ; CHECK-NEXT: $x10 = PseudoReadVLENB
45    ; CHECK-NEXT: $x10 = SUB $x8, killed $x10
46    ; CHECK-NEXT: $x10 = ADDI killed $x10, -2048
47    ; CHECK-NEXT: $x10 = ADDI killed $x10, -224
48    ; CHECK-NEXT: VS1R_V killed renamable $v8, killed renamable $x10
49    ; CHECK-NEXT: $x2 = frame-destroy ADDI $x8, -2032
50    ; CHECK-NEXT: frame-destroy CFI_INSTRUCTION def_cfa $x2, 2032
51    ; CHECK-NEXT: $x1 = frame-destroy LD $x2, 2024 :: (load (s64) from %stack.3)
52    ; CHECK-NEXT: $x8 = frame-destroy LD $x2, 2016 :: (load (s64) from %stack.4)
53    ; CHECK-NEXT: frame-destroy CFI_INSTRUCTION restore $x1
54    ; CHECK-NEXT: frame-destroy CFI_INSTRUCTION restore $x8
55    ; CHECK-NEXT: $x2 = frame-destroy ADDI $x2, 2032
56    ; CHECK-NEXT: frame-destroy CFI_INSTRUCTION def_cfa_offset 0
57    ; CHECK-NEXT: PseudoRET
58    %1:gprnox0 = COPY $x11
59    %0:gpr = COPY $x10
60    %2:vr = PseudoVLE64_V_M1 undef $noreg, %0, %1, 6, 0 :: (load unknown-size from %ir.pa, align 8)
61    %3:gpr = ADDI %stack.2, 0
62    VS1R_V killed %2:vr, %3:gpr
63    PseudoRET
64
65...
66