1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
# RUN: llc -o - %s -mtriple=aarch64-windows -run-pass=aarch64-ldst-opt \
# RUN: | FileCheck %s
# CHECK: $x0 = LDRXui $sp, 1
# CHECK: $x19 = frame-destroy LDRXui $sp, 2
--- |
target triple = "aarch64-pc-windows-gnu"
define dso_local noundef i64 @_Z1fPFvPxEx(ptr nocapture noundef readonly %g, i64 noundef %x) uwtable {
entry:
%x.addr = alloca i64, align 8
store i64 %x, ptr %x.addr, align 8
call void %g(ptr noundef nonnull %x.addr)
call void asm sideeffect "", "~{x19}"()
%0 = load i64, ptr %x.addr, align 8
ret i64 %0
}
...
---
name: _Z1fPFvPxEx
alignment: 4
exposesReturnsTwice: false
legalized: false
regBankSelected: false
selected: false
failedISel: false
tracksRegLiveness: true
hasWinCFI: true
callsEHReturn: false
callsUnwindInit: false
hasEHCatchret: false
hasEHScopes: false
hasEHFunclets: false
failsVerification: false
tracksDebugUserValues: true
registers: []
liveins:
- { reg: '$x0', virtual-reg: '' }
- { reg: '$x1', virtual-reg: '' }
frameInfo:
isFrameAddressTaken: false
isReturnAddressTaken: false
hasStackMap: false
hasPatchPoint: false
stackSize: 32
offsetAdjustment: 0
maxAlignment: 8
adjustsStack: true
hasCalls: true
stackProtector: ''
functionContext: ''
maxCallFrameSize: 0
cvBytesOfCalleeSavedRegisters: 0
hasOpaqueSPAdjustment: false
hasVAStart: false
hasMustTailInVarArgFunc: false
hasTailCall: false
localFrameSize: 8
savePoint: ''
restorePoint: ''
fixedStack: []
stack:
- { id: 0, name: x.addr, type: default, offset: -24, size: 8, alignment: 8,
stack-id: default, callee-saved-register: '', callee-saved-restored: true,
local-offset: -8, debug-info-variable: '', debug-info-expression: '',
debug-info-location: '' }
- { id: 1, name: '', type: spill-slot, offset: -8, size: 8, alignment: 8,
stack-id: default, callee-saved-register: '$lr', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 2, name: '', type: spill-slot, offset: -16, size: 8, alignment: 8,
stack-id: default, callee-saved-register: '$x19', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
callSites: []
debugValueSubstitutions: []
constants: []
machineFunctionInfo:
hasRedZone: false
body: |
bb.0.entry:
liveins: $x0, $x1, $x19, $lr
$sp = frame-setup SUBXri $sp, 32, 0
frame-setup SEH_StackAlloc 32
frame-setup STRXui killed $x19, $sp, 2 :: (store (s64) into %stack.2)
frame-setup SEH_SaveReg 19, 16
frame-setup STRXui killed $lr, $sp, 3 :: (store (s64) into %stack.1)
frame-setup SEH_SaveReg 30, 24
frame-setup SEH_PrologEnd
renamable $x8 = COPY $x0
STRXui killed renamable $x1, $sp, 1 :: (store (s64) into %ir.x.addr)
$x0 = ADDXri $sp, 8, 0
BLR killed renamable $x8, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
INLINEASM &"", 1 /* sideeffect attdialect */, 12 /* clobber */, implicit-def dead early-clobber $x19
renamable $x0 = LDRXui $sp, 1 :: (dereferenceable load (s64) from %ir.x.addr)
frame-destroy SEH_EpilogStart
$lr = frame-destroy LDRXui $sp, 3 :: (load (s64) from %stack.1)
frame-destroy SEH_SaveReg 30, 24
$x19 = frame-destroy LDRXui $sp, 2 :: (load (s64) from %stack.2)
frame-destroy SEH_SaveReg 19, 16
$sp = frame-destroy ADDXri $sp, 32, 0
frame-destroy SEH_StackAlloc 32
frame-destroy SEH_EpilogEnd
RET_ReallyLR implicit $x0
...
|
