annotate lld/test/ELF/aarch64-feature-btipac.s @ 192:d7606dcf6fce

Added tag llvm10 for changeset 0572611fdcc8
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 14 Dec 2020 18:01:34 +0900
parents 0572611fdcc8
children 2e18cbf3894f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 # REQUIRES: aarch64
anatofuz
parents:
diff changeset
2 # RUN: llvm-mc -filetype=obj -triple=aarch64-linux-gnu %s -o %t.o
anatofuz
parents:
diff changeset
3 # RUN: llvm-mc -filetype=obj -triple=aarch64-linux-gnu %p/Inputs/aarch64-btipac1.s -o %t1.o
anatofuz
parents:
diff changeset
4 # RUN: llvm-mc -filetype=obj -triple=aarch64-linux-gnu %p/Inputs/aarch64-func3.s -o %t3.o
anatofuz
parents:
diff changeset
5 # RUN: llvm-mc -filetype=obj -triple=aarch64-linux-gnu %p/Inputs/aarch64-func3-btipac.s -o %t3btipac.o
anatofuz
parents:
diff changeset
6
anatofuz
parents:
diff changeset
7 ## Build shared library with all inputs having BTI and PAC, expect PLT
anatofuz
parents:
diff changeset
8 ## entries supporting both PAC and BTI. For a shared library this means:
anatofuz
parents:
diff changeset
9 ## PLT[0] has bti c at start
anatofuz
parents:
diff changeset
10 ## PLT[n] has autia1716 before br x17
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 # RUN: ld.lld %t1.o %t3btipac.o --shared --soname=t.so -o %t.so
anatofuz
parents:
diff changeset
13 # RUN: llvm-readelf -n %t.so | FileCheck --check-prefix BTIPACPROP %s
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
14 # RUN: llvm-objdump -d --mattr=+v8.5a --no-show-raw-insn %t.so | FileCheck --check-prefix BTIPACSO %s
150
anatofuz
parents:
diff changeset
15 # RUN: llvm-readelf --dynamic-table %t.so | FileCheck --check-prefix BTIPACDYN %s
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 # BTIPACSO: Disassembly of section .text:
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
18 # BTIPACSO: 0000000000010348 <func2>:
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
19 # BTIPACSO-NEXT: 10348: bl 0x10380 <func3@plt>
150
anatofuz
parents:
diff changeset
20 # BTIPACSO-NEXT: ret
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
21 # BTIPACSO: 0000000000010350 <func3>:
150
anatofuz
parents:
diff changeset
22 # BTIPACSO-NEXT: 10350: ret
anatofuz
parents:
diff changeset
23 # BTIPACSO: Disassembly of section .plt:
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
24 # BTIPACSO: 0000000000010360 <.plt>:
150
anatofuz
parents:
diff changeset
25 # BTIPACSO-NEXT: 10360: bti c
anatofuz
parents:
diff changeset
26 # BTIPACSO-NEXT: stp x16, x30, [sp, #-16]!
anatofuz
parents:
diff changeset
27 # BTIPACSO-NEXT: adrp x16, #131072
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
28 # BTIPACSO-NEXT: ldr x17, [x16, #1136]
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
29 # BTIPACSO-NEXT: add x16, x16, #1136
150
anatofuz
parents:
diff changeset
30 # BTIPACSO-NEXT: br x17
anatofuz
parents:
diff changeset
31 # BTIPACSO-NEXT: nop
anatofuz
parents:
diff changeset
32 # BTIPACSO-NEXT: nop
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
33 # BTIPACSO: 0000000000010380 <func3@plt>:
150
anatofuz
parents:
diff changeset
34 # BTIPACSO-NEXT: 10380: adrp x16, #131072
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
35 # BTIPACSO-NEXT: ldr x17, [x16, #1144]
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
36 # BTIPACSO-NEXT: add x16, x16, #1144
150
anatofuz
parents:
diff changeset
37 # BTIPACSO-NEXT: br x17
anatofuz
parents:
diff changeset
38
anatofuz
parents:
diff changeset
39 # BTIPACPROP: Properties: aarch64 feature: BTI, PAC
anatofuz
parents:
diff changeset
40
anatofuz
parents:
diff changeset
41 # BTIPACDYN: 0x0000000070000001 (AARCH64_BTI_PLT)
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
42 # BTIPACDYN-NOT: 0x0000000070000003 (AARCH64_PAC_PLT)
150
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 ## Make an executable with both BTI and PAC properties. Expect:
anatofuz
parents:
diff changeset
45 ## PLT[0] bti c as first instruction
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
46 ## PLT[n] bti n as first instruction
150
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 # RUN: ld.lld %t.o %t3btipac.o %t.so -o %t.exe
anatofuz
parents:
diff changeset
49 # RUN: llvm-readelf -n %t.exe | FileCheck --check-prefix=BTIPACPROP %s
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
50 # RUN: llvm-objdump -d --mattr=+v8.5a --no-show-raw-insn %t.exe | FileCheck --check-prefix BTIPACEX %s
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
51 # RUN: llvm-readelf --dynamic-table %t.exe | FileCheck --check-prefix BTIPACDYNEX %s
150
anatofuz
parents:
diff changeset
52
anatofuz
parents:
diff changeset
53 # BTIPACEX: Disassembly of section .text:
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
54 # BTIPACEX: 0000000000210370 <func1>:
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
55 # BTIPACEX-NEXT: 210370: bl 0x2103a0 <func2@plt>
150
anatofuz
parents:
diff changeset
56 # BTIPACEX-NEXT: ret
anatofuz
parents:
diff changeset
57 # BTIPACEX-NEXT: ret
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
58 # BTIPACEX: 000000000021037c <func3>:
150
anatofuz
parents:
diff changeset
59 # BTIPACEX-NEXT: 21037c: ret
anatofuz
parents:
diff changeset
60 # BTIPACEX: Disassembly of section .plt:
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
61 # BTIPACEX: 0000000000210380 <.plt>:
150
anatofuz
parents:
diff changeset
62 # BTIPACEX-NEXT: 210380: bti c
anatofuz
parents:
diff changeset
63 # BTIPACEX-NEXT: stp x16, x30, [sp, #-16]!
anatofuz
parents:
diff changeset
64 # BTIPACEX-NEXT: adrp x16, #131072
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
65 # BTIPACEX-NEXT: ldr x17, [x16, #1192]
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
66 # BTIPACEX-NEXT: add x16, x16, #1192
150
anatofuz
parents:
diff changeset
67 # BTIPACEX-NEXT: br x17
anatofuz
parents:
diff changeset
68 # BTIPACEX-NEXT: nop
anatofuz
parents:
diff changeset
69 # BTIPACEX-NEXT: nop
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
70 # BTIPACEX: 00000000002103a0 <func2@plt>:
150
anatofuz
parents:
diff changeset
71 # BTIPACEX-NEXT: 2103a0: bti c
anatofuz
parents:
diff changeset
72 # BTIPACEX-NEXT: adrp x16, #131072
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
73 # BTIPACEX-NEXT: ldr x17, [x16, #1200]
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
74 # BTIPACEX-NEXT: add x16, x16, #1200
150
anatofuz
parents:
diff changeset
75 # BTIPACEX-NEXT: br x17
anatofuz
parents:
diff changeset
76
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
77 # BTIPACDYNEX: 0x0000000070000001 (AARCH64_BTI_PLT)
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
78 # BTIPACDYNEX-NOT: 0x0000000070000003 (AARCH64_PAC_PLT)
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
79
150
anatofuz
parents:
diff changeset
80 ## Check that combinations of BTI+PAC with 0 properties results in standard PLT
anatofuz
parents:
diff changeset
81
anatofuz
parents:
diff changeset
82 # RUN: ld.lld %t.o %t3.o %t.so -o %t.exe
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
83 # RUN: llvm-objdump -d --mattr=+v8.5a --no-show-raw-insn %t.exe | FileCheck --check-prefix EX %s
150
anatofuz
parents:
diff changeset
84 # RUN: llvm-readelf --dynamic-table %t.exe | FileCheck --check-prefix=NODYN %s
anatofuz
parents:
diff changeset
85
anatofuz
parents:
diff changeset
86 # EX: Disassembly of section .text:
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
87 # EX: 00000000002102e0 <func1>:
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
88 # EX-NEXT: 2102e0: bl 0x210310 <func2@plt>
150
anatofuz
parents:
diff changeset
89 # EX-NEXT: ret
anatofuz
parents:
diff changeset
90 # EX-NEXT: ret
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
91 # EX: 00000000002102ec <func3>:
150
anatofuz
parents:
diff changeset
92 # EX-NEXT: 2102ec: ret
anatofuz
parents:
diff changeset
93 # EX: Disassembly of section .plt:
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
94 # EX: 00000000002102f0 <.plt>:
150
anatofuz
parents:
diff changeset
95 # EX-NEXT: 2102f0: stp x16, x30, [sp, #-16]!
anatofuz
parents:
diff changeset
96 # EX-NEXT: adrp x16, #131072
anatofuz
parents:
diff changeset
97 # EX-NEXT: ldr x17, [x16, #1024]
anatofuz
parents:
diff changeset
98 # EX-NEXT: add x16, x16, #1024
anatofuz
parents:
diff changeset
99 # EX-NEXT: br x17
anatofuz
parents:
diff changeset
100 # EX-NEXT: nop
anatofuz
parents:
diff changeset
101 # EX-NEXT: nop
anatofuz
parents:
diff changeset
102 # EX-NEXT: nop
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
103 # EX: 0000000000210310 <func2@plt>:
150
anatofuz
parents:
diff changeset
104 # EX: 210310: adrp x16, #131072
anatofuz
parents:
diff changeset
105 # EX-NEXT: ldr x17, [x16, #1032]
anatofuz
parents:
diff changeset
106 # EX-NEXT: add x16, x16, #1032
anatofuz
parents:
diff changeset
107 # EX-NEXT: br x17
anatofuz
parents:
diff changeset
108
anatofuz
parents:
diff changeset
109 # NODYN-NOT: 0x0000000070000001 (AARCH64_BTI_PLT)
anatofuz
parents:
diff changeset
110 # NODYN-NOT: 0x0000000070000003 (AARCH64_PAC_PLT)
anatofuz
parents:
diff changeset
111
anatofuz
parents:
diff changeset
112 ## Check that combination of -z pac-plt and -z force-bti warns for the file that
anatofuz
parents:
diff changeset
113 ## doesn't contain the BTI property, but generates PAC and BTI PLT sequences.
anatofuz
parents:
diff changeset
114 ## The -z pac-plt doesn't warn as it is not required for correctness.
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
115 ## Expect:
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
116 ## PLT[0] bti c as first instruction
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
117 ## PLT[n] bti n as first instruction, autia1716 before br x17
150
anatofuz
parents:
diff changeset
118
anatofuz
parents:
diff changeset
119 # RUN: ld.lld %t.o %t3.o %t.so -z pac-plt -z force-bti -o %t.exe 2>&1 | FileCheck --check-prefix=FORCE-WARN %s
anatofuz
parents:
diff changeset
120
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
121 # FORCE-WARN: aarch64-feature-btipac.s.tmp3.o: -z force-bti: file does not have GNU_PROPERTY_AARCH64_FEATURE_1_BTI property
150
anatofuz
parents:
diff changeset
122
anatofuz
parents:
diff changeset
123 # RUN: llvm-readelf -n %t.exe | FileCheck --check-prefix=BTIPACPROP %s
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
124 # RUN: llvm-objdump -d --mattr=+v8.5a --no-show-raw-insn %t.exe | FileCheck --check-prefix BTIPACEX2 %s
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
125 # RUN: llvm-readelf --dynamic-table %t.exe | FileCheck --check-prefix BTIPACDYN2 %s
150
anatofuz
parents:
diff changeset
126 .section ".note.gnu.property", "a"
anatofuz
parents:
diff changeset
127 .long 4
anatofuz
parents:
diff changeset
128 .long 0x10
anatofuz
parents:
diff changeset
129 .long 0x5
anatofuz
parents:
diff changeset
130 .asciz "GNU"
anatofuz
parents:
diff changeset
131
anatofuz
parents:
diff changeset
132 .long 0xc0000000 // GNU_PROPERTY_AARCH64_FEATURE_1_AND
anatofuz
parents:
diff changeset
133 .long 4
anatofuz
parents:
diff changeset
134 .long 3 // GNU_PROPERTY_AARCH64_FEATURE_1_BTI and PAC
anatofuz
parents:
diff changeset
135 .long 0
anatofuz
parents:
diff changeset
136
anatofuz
parents:
diff changeset
137 .text
anatofuz
parents:
diff changeset
138 .globl _start
anatofuz
parents:
diff changeset
139 .type func1,%function
anatofuz
parents:
diff changeset
140 func1:
anatofuz
parents:
diff changeset
141 bl func2
anatofuz
parents:
diff changeset
142 ret
anatofuz
parents:
diff changeset
143 .globl func3
anatofuz
parents:
diff changeset
144 .type func3,%function
anatofuz
parents:
diff changeset
145 ret
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
146
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
147 # BTIPACEX2: Disassembly of section .text:
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
148 # BTIPACEX2: 0000000000210370 <func1>:
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
149 # BTIPACEX2-NEXT: 210370: bl 0x2103a0 <func2@plt>
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
150 # BTIPACEX2-NEXT: ret
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
151 # BTIPACEX2-NEXT: ret
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
152 # BTIPACEX2: 000000000021037c <func3>:
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
153 # BTIPACEX2-NEXT: 21037c: ret
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
154 # BTIPACEX2: Disassembly of section .plt:
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
155 # BTIPACEX2: 0000000000210380 <.plt>:
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
156 # BTIPACEX2-NEXT: 210380: bti c
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
157 # BTIPACEX2-NEXT: stp x16, x30, [sp, #-16]!
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
158 # BTIPACEX2-NEXT: adrp x16, #131072
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
159 # BTIPACEX2-NEXT: ldr x17, [x16, #1208]
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
160 # BTIPACEX2-NEXT: add x16, x16, #1208
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
161 # BTIPACEX2-NEXT: br x17
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
162 # BTIPACEX2-NEXT: nop
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
163 # BTIPACEX2-NEXT: nop
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
164 # BTIPACEX2: 00000000002103a0 <func2@plt>:
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
165 # BTIPACEX2-NEXT: 2103a0: bti c
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
166 # BTIPACEX2-NEXT: adrp x16, #131072
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
167 # BTIPACEX2-NEXT: ldr x17, [x16, #1216]
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
168 # BTIPACEX2-NEXT: add x16, x16, #1216
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
169 # BTIPACEX2-NEXT: autia1716
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
170 # BTIPACEX2-NEXT: br x17
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
171
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
172 # BTIPACDYN2: 0x0000000070000001 (AARCH64_BTI_PLT)
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
173 # BTIPACDYN2-NEXT: 0x0000000070000003 (AARCH64_PAC_PLT)