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
107
108
109
110
111
112
113
114
115
116
|
; RUN: llc -mtriple=aarch64-none-linux-gnu -global-isel=0 -fast-isel=0 -relocation-model=pic \
; RUN: -mattr=+pauth -mattr=+fpac -o - %s | FileCheck --check-prefixes=CHECK,NOTRAP %s
; RUN: llc -mtriple=aarch64-none-linux-gnu -global-isel=0 -fast-isel=0 -relocation-model=pic \
; RUN: -mattr=+pauth -o - %s | FileCheck --check-prefixes=CHECK,TRAP %s
; RUN: llc -mtriple=aarch64-none-linux-gnu -global-isel=0 -fast-isel=1 -relocation-model=pic \
; RUN: -mattr=+pauth -mattr=+fpac -o - %s | FileCheck --check-prefixes=CHECK,NOTRAP %s
; RUN: llc -mtriple=aarch64-none-linux-gnu -global-isel=0 -fast-isel=1 -relocation-model=pic \
; RUN: -mattr=+pauth -o - %s | FileCheck --check-prefixes=CHECK,TRAP %s
; RUN: llc -mtriple=aarch64-none-linux-gnu -global-isel=1 -global-isel-abort=1 -relocation-model=pic \
; RUN: -mattr=+pauth -mattr=+fpac -o - %s | FileCheck --check-prefixes=CHECK,NOTRAP %s
; RUN: llc -mtriple=aarch64-none-linux-gnu -global-isel=1 -global-isel-abort=1 -relocation-model=pic \
; RUN: -mattr=+pauth -o - %s | FileCheck --check-prefixes=CHECK,TRAP %s
; RUN: llc -mtriple=aarch64-none-linux-gnu -code-model=tiny -mattr=+pauth -mattr=+fpac -o - %s | \
; RUN: FileCheck --check-prefixes=CHECK-TINY,NOTRAP-TINY %s
; RUN: llc -mtriple=aarch64-none-linux-gnu -code-model=tiny -mattr=+pauth -o - %s | \
; RUN: FileCheck --check-prefixes=CHECK-TINY,TRAP-TINY %s
;; Note: for FastISel, we fall back to SelectionDAG
declare extern_weak dso_local i32 @var()
define ptr @foo() {
; The usual ADRP/ADD pair can't be used for a weak reference because it must
; evaluate to 0 if the symbol is undefined. We use a GOT entry for PIC
; otherwise a litpool entry.
ret ptr @var
; CHECK-LABEL: foo:
; CHECK: adrp x17, :got_auth:var
; CHECK-NEXT: add x17, x17, :got_auth_lo12:var
; NOTRAP-NEXT: ldr x0, [x17]
; NOTRAP-NEXT: cbz x0, .Lundef_weak0
; NOTRAP-NEXT: autia x0, x17
; TRAP-NEXT: ldr x16, [x17]
; TRAP-NEXT: cbz x16, .Lundef_weak0
; TRAP-NEXT: autia x16, x17
; CHECK-NEXT: .Lundef_weak0:
; TRAP-NEXT: mov x17, x16
; TRAP-NEXT: xpaci x17
; TRAP-NEXT: cmp x16, x17
; TRAP-NEXT: b.eq .Lauth_success_0
; TRAP-NEXT: brk #0xc470
; TRAP-NEXT: .Lauth_success_0:
; TRAP-NEXT: mov x0, x16
; CHECK-NEXT: ret
; CHECK-TINY-LABEL: foo:
; CHECK-TINY: adr x17, :got_auth:var
; NOTRAP-TINY-NEXT: ldr x0, [x17]
; NOTRAP-TINY-NEXT: cbz x0, .Lundef_weak0
; NOTRAP-TINY-NEXT: autia x0, x17
; TRAP-TINY-NEXT: ldr x16, [x17]
; TRAP-TINY-NEXT: cbz x16, .Lundef_weak0
; TRAP-TINY-NEXT: autia x16, x17
; CHECK-TINY-NEXT: .Lundef_weak0:
; TRAP-TINY-NEXT: mov x17, x16
; TRAP-TINY-NEXT: xpaci x17
; TRAP-TINY-NEXT: cmp x16, x17
; TRAP-TINY-NEXT: b.eq .Lauth_success_0
; TRAP-TINY-NEXT: brk #0xc470
; TRAP-TINY-NEXT: .Lauth_success_0:
; TRAP-TINY-NEXT: mov x0, x16
; CHECK-TINY-NEXT: ret
}
@arr_var = extern_weak global [10 x i32]
define ptr @bar() {
%addr = getelementptr [10 x i32], ptr @arr_var, i32 0, i32 5
ret ptr %addr
; CHECK-LABEL: bar:
; CHECK: adrp x17, :got_auth:arr_var
; CHECK-NEXT: add x17, x17, :got_auth_lo12:arr_var
; NOTRAP-NEXT: ldr x8, [x17]
; NOTRAP-NEXT: cbz x8, .Lundef_weak1
; NOTRAP-NEXT: autda x8, x17
; TRAP-NEXT: ldr x16, [x17]
; TRAP-NEXT: cbz x16, .Lundef_weak1
; TRAP-NEXT: autda x16, x17
; CHECK-NEXT: .Lundef_weak1:
; TRAP-NEXT: mov x17, x16
; TRAP-NEXT: xpacd x17
; TRAP-NEXT: cmp x16, x17
; TRAP-NEXT: b.eq .Lauth_success_1
; TRAP-NEXT: brk #0xc472
; TRAP-NEXT: .Lauth_success_1:
; TRAP-NEXT: mov x8, x16
; CHECK-NEXT: add x0, x8, #20
; CHECK-NEXT: ret
; CHECK-TINY-LABEL: bar:
; CHECK-TINY: adr x17, :got_auth:arr_var
; NOTRAP-TINY-NEXT: ldr x8, [x17]
; NOTRAP-TINY-NEXT: cbz x8, .Lundef_weak1
; NOTRAP-TINY-NEXT: autda x8, x17
; TRAP-TINY-NEXT: ldr x16, [x17]
; TRAP-TINY-NEXT: cbz x16, .Lundef_weak1
; TRAP-TINY-NEXT: autda x16, x17
; CHECK-TINY-NEXT: .Lundef_weak1:
; TRAP-TINY-NEXT: mov x17, x16
; TRAP-TINY-NEXT: xpacd x17
; TRAP-TINY-NEXT: cmp x16, x17
; TRAP-TINY-NEXT: b.eq .Lauth_success_1
; TRAP-TINY-NEXT: brk #0xc472
; TRAP-TINY-NEXT: .Lauth_success_1:
; TRAP-TINY-NEXT: mov x8, x16
; CHECK-TINY-NEXT: add x0, x8, #20
; CHECK-TINY-NEXT: ret
}
!llvm.module.flags = !{!0}
!0 = !{i32 8, !"ptrauth-elf-got", i32 1}
|
