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
|
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve -start-before=localstackalloc -stop-after=prologepilog -o - %s | FileCheck %s
--- |
@__stack_chk_guard = external global i8*
define i32 @main(i32, i8**) {
%StackGuardSlot = alloca i8*
unreachable
}
...
---
name: main
tracksRegLiveness: true
frameInfo:
# CHECK: stackSize: 544
# CHECK: localFrameSize: 516
stackProtector: '%stack.3.StackGuardSlot'
stack:
# Stack objects 0 and 1 should end up in the local stack area, objects 2 and 3
# should end up in the SVE stack area with 3 (the stack guard) on top.
- { id: 0, size: 512, alignment: 1, stack-id: default }
# CHECK: - { id: 0, name: '', type: default, offset: -528, size: 512, alignment: 1,
# CHECK-NEXT: stack-id: default, callee-saved-register: '', callee-saved-restored: true,
# CHECK-NEXT: local-offset: -512, debug-info-variable: '', debug-info-expression: '',
# CHECK-NEXT: debug-info-location: '' }
- { id: 1, size: 4, alignment: 4, stack-id: default }
# CHECK: - { id: 1, name: '', type: default, offset: -532, size: 4, alignment: 4,
# CHECK-NEXT: stack-id: default, callee-saved-register: '', callee-saved-restored: true,
# CHECK-NEXT: local-offset: -516, debug-info-variable: '', debug-info-expression: '',
# CHECK-NEXT: debug-info-location: '' }
- { id: 2, size: 16, alignment: 16, stack-id: scalable-vector }
# CHECK: - { id: 2, name: '', type: default, offset: -32, size: 16, alignment: 16,
# CHECK-NEXT: stack-id: scalable-vector, callee-saved-register: '', callee-saved-restored: true,
# CHECK-NEXT: debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 3, name: StackGuardSlot, size: 8, alignment: 16, stack-id: scalable-vector }
# CHECK: - { id: 3, name: StackGuardSlot, type: default, offset: -16, size: 8,
# CHECK-NEXT: alignment: 16, stack-id: scalable-vector, callee-saved-register: '',
# CHECK-NEXT: callee-saved-restored: true, debug-info-variable: '', debug-info-expression: '',
# CHECK-NEXT: debug-info-location: '' }
body: |
bb.0:
%25:gpr64common = LOAD_STACK_GUARD :: (dereferenceable invariant load (s64) from @__stack_chk_guard)
STRXui killed %25, %stack.3.StackGuardSlot, 0 :: (volatile store (s64) into %stack.3.StackGuardSlot)
%28:gpr64 = LDRXui %stack.3.StackGuardSlot, 0 :: (volatile load (s64) from %stack.3.StackGuardSlot)
%29:gpr64common = LOAD_STACK_GUARD :: (dereferenceable invariant load (s64) from @__stack_chk_guard)
RET_ReallyLR implicit undef $w0, implicit killed %28, implicit killed %29
...
|
