xref: /llvm-project/llvm/test/CodeGen/AArch64/wineh-frame-predecrement.mir (revision 7d07405761aec8434a0cdb1c5644823a394f7def)
1# RUN: llc -o - %s -mtriple=aarch64-windows -start-before=prologepilog \
2# RUN:   -stop-after=prologepilog | FileCheck %s
3
4# Check that the callee-saved registers are saved starting with a STP
5# with predecrement, followed by a separate stack adjustment later,
6# if the optsize attribute is set.
7
8# CHECK:      early-clobber $sp = frame-setup STPXpre killed $x19, killed $x20, $sp, -2
9# CHECK-NEXT: frame-setup SEH_SaveRegP_X 19, 20, -16
10# CHECK-NEXT: $sp = frame-setup SUBXri $sp, 16, 0
11# CHECK-NEXT: frame-setup SEH_StackAlloc 16
12# CHECK-NEXT: frame-setup SEH_PrologEnd
13
14--- |
15
16  define dso_local i32 @func(i32 %a) optsize { ret i32 %a }
17
18...
19---
20name:            func
21alignment:       4
22exposesReturnsTwice: false
23legalized:       false
24regBankSelected: false
25selected:        false
26failedISel:      false
27tracksRegLiveness: true
28hasWinCFI:       false
29registers:       []
30liveins:         []
31frameInfo:
32  isFrameAddressTaken: false
33  isReturnAddressTaken: false
34  hasStackMap:     false
35  hasPatchPoint:   false
36  stackSize:       0
37  offsetAdjustment: 0
38  maxAlignment:    4
39  adjustsStack:    false
40  hasCalls:        false
41  stackProtector:  ''
42  maxCallFrameSize: 0
43  cvBytesOfCalleeSavedRegisters: 0
44  hasOpaqueSPAdjustment: false
45  hasVAStart:      false
46  hasMustTailInVarArgFunc: false
47  localFrameSize:  4
48  savePoint:       ''
49  restorePoint:    ''
50fixedStack:      []
51stack:
52  - { id: 0, name: '', type: default, offset: 0, size: 4, alignment: 4,
53      stack-id: default, callee-saved-register: '', callee-saved-restored: true,
54      local-offset: -4, debug-info-variable: '', debug-info-expression: '',
55      debug-info-location: '' }
56callSites:       []
57constants:       []
58machineFunctionInfo: {}
59body:             |
60  bb.0:
61    liveins: $x0, $x19, $x20
62
63    renamable $x8 = ADDXri %stack.0, 0, 0
64    $x19 = ADDXrr $x0, $x8
65    $x20 = ADDXrr $x19, $x0
66    $x0 = ADDXrr $x0, killed $x20
67
68    RET_ReallyLR
69
70...
71