| blob | 064812323d177fa8dee2936e073f710cabc01b1e |
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -x86-speculative-load-hardening | FileCheck %s --check-prefix=X64-NOPIC
3 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -x86-speculative-load-hardening -code-model medium | FileCheck %s --check-prefix=X64-NOPIC-MCM
4 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -x86-speculative-load-hardening -relocation-model pic | FileCheck %s --check-prefix=X64-PIC
5 ;
6 ; FIXME: Add support for 32-bit.
8 declare void @f()
10 define i32 @test_calls_and_rets(ptr%ptr) nounwind {
11 ; X64-NOPIC-LABEL: test_calls_and_rets:
12 ; X64-NOPIC: # %bb.0: # %entry
13 ; X64-NOPIC-NEXT: pushq %rbp
14 ; X64-NOPIC-NEXT: pushq %r14
15 ; X64-NOPIC-NEXT: pushq %rbx
16 ; X64-NOPIC-NEXT: movq %rsp, %rax
17 ; X64-NOPIC-NEXT: movq %rdi, %rbx
18 ; X64-NOPIC-NEXT: movq $-1, %r14
19 ; X64-NOPIC-NEXT: sarq $63, %rax
20 ; X64-NOPIC-NEXT: shlq $47, %rax
21 ; X64-NOPIC-NEXT: orq %rax, %rsp
22 ; X64-NOPIC-NEXT: callq f@PLT
23 ; X64-NOPIC-NEXT: .Lslh_ret_addr0:
24 ; X64-NOPIC-NEXT: movq %rsp, %rax
25 ; X64-NOPIC-NEXT: movq -{{[0-9]+}}(%rsp), %rcx
26 ; X64-NOPIC-NEXT: sarq $63, %rax
27 ; X64-NOPIC-NEXT: cmpq $.Lslh_ret_addr0, %rcx
28 ; X64-NOPIC-NEXT: cmovneq %r14, %rax
29 ; X64-NOPIC-NEXT: movl (%rbx), %ebp
30 ; X64-NOPIC-NEXT: shlq $47, %rax
31 ; X64-NOPIC-NEXT: orq %rax, %rsp
32 ; X64-NOPIC-NEXT: callq f@PLT
33 ; X64-NOPIC-NEXT: .Lslh_ret_addr1:
34 ; X64-NOPIC-NEXT: movq %rsp, %rcx
35 ; X64-NOPIC-NEXT: movq -{{[0-9]+}}(%rsp), %rax
36 ; X64-NOPIC-NEXT: sarq $63, %rcx
37 ; X64-NOPIC-NEXT: cmpq $.Lslh_ret_addr1, %rax
38 ; X64-NOPIC-NEXT: cmovneq %r14, %rcx
39 ; X64-NOPIC-NEXT: addl (%rbx), %ebp
40 ; X64-NOPIC-NEXT: orl %ecx, %ebp
41 ; X64-NOPIC-NEXT: shlq $47, %rcx
42 ; X64-NOPIC-NEXT: movl %ebp, %eax
43 ; X64-NOPIC-NEXT: orq %rcx, %rsp
44 ; X64-NOPIC-NEXT: popq %rbx
45 ; X64-NOPIC-NEXT: popq %r14
46 ; X64-NOPIC-NEXT: popq %rbp
47 ; X64-NOPIC-NEXT: retq
48 ;
49 ; X64-NOPIC-MCM-LABEL: test_calls_and_rets:
50 ; X64-NOPIC-MCM: # %bb.0: # %entry
51 ; X64-NOPIC-MCM-NEXT: pushq %rbp
52 ; X64-NOPIC-MCM-NEXT: pushq %r14
53 ; X64-NOPIC-MCM-NEXT: pushq %rbx
54 ; X64-NOPIC-MCM-NEXT: movq %rsp, %rax
55 ; X64-NOPIC-MCM-NEXT: movq %rdi, %rbx
56 ; X64-NOPIC-MCM-NEXT: movq $-1, %r14
57 ; X64-NOPIC-MCM-NEXT: sarq $63, %rax
58 ; X64-NOPIC-MCM-NEXT: shlq $47, %rax
59 ; X64-NOPIC-MCM-NEXT: orq %rax, %rsp
60 ; X64-NOPIC-MCM-NEXT: callq f@PLT
61 ; X64-NOPIC-MCM-NEXT: .Lslh_ret_addr0:
62 ; X64-NOPIC-MCM-NEXT: movq %rsp, %rax
63 ; X64-NOPIC-MCM-NEXT: movq -{{[0-9]+}}(%rsp), %rcx
64 ; X64-NOPIC-MCM-NEXT: sarq $63, %rax
65 ; X64-NOPIC-MCM-NEXT: leaq .Lslh_ret_addr0(%rip), %rdx
66 ; X64-NOPIC-MCM-NEXT: cmpq %rdx, %rcx
67 ; X64-NOPIC-MCM-NEXT: cmovneq %r14, %rax
68 ; X64-NOPIC-MCM-NEXT: movl (%rbx), %ebp
69 ; X64-NOPIC-MCM-NEXT: shlq $47, %rax
70 ; X64-NOPIC-MCM-NEXT: orq %rax, %rsp
71 ; X64-NOPIC-MCM-NEXT: callq f@PLT
72 ; X64-NOPIC-MCM-NEXT: .Lslh_ret_addr1:
73 ; X64-NOPIC-MCM-NEXT: movq %rsp, %rcx
74 ; X64-NOPIC-MCM-NEXT: movq -{{[0-9]+}}(%rsp), %rax
75 ; X64-NOPIC-MCM-NEXT: sarq $63, %rcx
76 ; X64-NOPIC-MCM-NEXT: leaq .Lslh_ret_addr1(%rip), %rdx
77 ; X64-NOPIC-MCM-NEXT: cmpq %rdx, %rax
78 ; X64-NOPIC-MCM-NEXT: cmovneq %r14, %rcx
79 ; X64-NOPIC-MCM-NEXT: addl (%rbx), %ebp
80 ; X64-NOPIC-MCM-NEXT: orl %ecx, %ebp
81 ; X64-NOPIC-MCM-NEXT: shlq $47, %rcx
82 ; X64-NOPIC-MCM-NEXT: movl %ebp, %eax
83 ; X64-NOPIC-MCM-NEXT: orq %rcx, %rsp
84 ; X64-NOPIC-MCM-NEXT: popq %rbx
85 ; X64-NOPIC-MCM-NEXT: popq %r14
86 ; X64-NOPIC-MCM-NEXT: popq %rbp
87 ; X64-NOPIC-MCM-NEXT: retq
88 ;
89 ; X64-PIC-LABEL: test_calls_and_rets:
90 ; X64-PIC: # %bb.0: # %entry
91 ; X64-PIC-NEXT: pushq %rbp
92 ; X64-PIC-NEXT: pushq %r14
93 ; X64-PIC-NEXT: pushq %rbx
94 ; X64-PIC-NEXT: movq %rsp, %rax
95 ; X64-PIC-NEXT: movq %rdi, %rbx
96 ; X64-PIC-NEXT: movq $-1, %r14
97 ; X64-PIC-NEXT: sarq $63, %rax
98 ; X64-PIC-NEXT: shlq $47, %rax
99 ; X64-PIC-NEXT: orq %rax, %rsp
100 ; X64-PIC-NEXT: callq f@PLT
101 ; X64-PIC-NEXT: .Lslh_ret_addr0:
102 ; X64-PIC-NEXT: movq %rsp, %rax
103 ; X64-PIC-NEXT: movq -{{[0-9]+}}(%rsp), %rcx
104 ; X64-PIC-NEXT: sarq $63, %rax
105 ; X64-PIC-NEXT: leaq .Lslh_ret_addr0(%rip), %rdx
106 ; X64-PIC-NEXT: cmpq %rdx, %rcx
107 ; X64-PIC-NEXT: cmovneq %r14, %rax
108 ; X64-PIC-NEXT: movl (%rbx), %ebp
109 ; X64-PIC-NEXT: shlq $47, %rax
110 ; X64-PIC-NEXT: orq %rax, %rsp
111 ; X64-PIC-NEXT: callq f@PLT
112 ; X64-PIC-NEXT: .Lslh_ret_addr1:
113 ; X64-PIC-NEXT: movq %rsp, %rcx
114 ; X64-PIC-NEXT: movq -{{[0-9]+}}(%rsp), %rax
115 ; X64-PIC-NEXT: sarq $63, %rcx
116 ; X64-PIC-NEXT: leaq .Lslh_ret_addr1(%rip), %rdx
117 ; X64-PIC-NEXT: cmpq %rdx, %rax
118 ; X64-PIC-NEXT: cmovneq %r14, %rcx
119 ; X64-PIC-NEXT: addl (%rbx), %ebp
120 ; X64-PIC-NEXT: orl %ecx, %ebp
121 ; X64-PIC-NEXT: shlq $47, %rcx
122 ; X64-PIC-NEXT: movl %ebp, %eax
123 ; X64-PIC-NEXT: orq %rcx, %rsp
124 ; X64-PIC-NEXT: popq %rbx
125 ; X64-PIC-NEXT: popq %r14
126 ; X64-PIC-NEXT: popq %rbp
127 ; X64-PIC-NEXT: retq
128 entry:
129 call void @f()
130 %x = load i32, ptr %ptr
131 call void @f()
132 %y = load i32, ptr %ptr
133 %z = add i32 %x, %y
134 ret i32 %z
135 }
137 define i32 @test_calls_and_rets_noredzone(ptr%ptr) nounwind noredzone {
138 ; X64-NOPIC-LABEL: test_calls_and_rets_noredzone:
139 ; X64-NOPIC: # %bb.0: # %entry
140 ; X64-NOPIC-NEXT: pushq %rbp
141 ; X64-NOPIC-NEXT: pushq %r15
142 ; X64-NOPIC-NEXT: pushq %r14
143 ; X64-NOPIC-NEXT: pushq %rbx
144 ; X64-NOPIC-NEXT: pushq %rax
145 ; X64-NOPIC-NEXT: movq %rsp, %rax
146 ; X64-NOPIC-NEXT: movq %rdi, %rbx
147 ; X64-NOPIC-NEXT: movq $-1, %r14
148 ; X64-NOPIC-NEXT: sarq $63, %rax
149 ; X64-NOPIC-NEXT: shlq $47, %rax
150 ; X64-NOPIC-NEXT: orq %rax, %rsp
151 ; X64-NOPIC-NEXT: movq $.Lslh_ret_addr2, %r15
152 ; X64-NOPIC-NEXT: callq f@PLT
153 ; X64-NOPIC-NEXT: .Lslh_ret_addr2:
154 ; X64-NOPIC-NEXT: movq %rsp, %rax
155 ; X64-NOPIC-NEXT: sarq $63, %rax
156 ; X64-NOPIC-NEXT: cmpq $.Lslh_ret_addr2, %r15
157 ; X64-NOPIC-NEXT: cmovneq %r14, %rax
158 ; X64-NOPIC-NEXT: movl (%rbx), %ebp
159 ; X64-NOPIC-NEXT: shlq $47, %rax
160 ; X64-NOPIC-NEXT: orq %rax, %rsp
161 ; X64-NOPIC-NEXT: movq $.Lslh_ret_addr3, %r15
162 ; X64-NOPIC-NEXT: callq f@PLT
163 ; X64-NOPIC-NEXT: .Lslh_ret_addr3:
164 ; X64-NOPIC-NEXT: movq %rsp, %rcx
165 ; X64-NOPIC-NEXT: sarq $63, %rcx
166 ; X64-NOPIC-NEXT: cmpq $.Lslh_ret_addr3, %r15
167 ; X64-NOPIC-NEXT: cmovneq %r14, %rcx
168 ; X64-NOPIC-NEXT: addl (%rbx), %ebp
169 ; X64-NOPIC-NEXT: orl %ecx, %ebp
170 ; X64-NOPIC-NEXT: shlq $47, %rcx
171 ; X64-NOPIC-NEXT: movl %ebp, %eax
172 ; X64-NOPIC-NEXT: orq %rcx, %rsp
173 ; X64-NOPIC-NEXT: addq $8, %rsp
174 ; X64-NOPIC-NEXT: popq %rbx
175 ; X64-NOPIC-NEXT: popq %r14
176 ; X64-NOPIC-NEXT: popq %r15
177 ; X64-NOPIC-NEXT: popq %rbp
178 ; X64-NOPIC-NEXT: retq
179 ;
180 ; X64-NOPIC-MCM-LABEL: test_calls_and_rets_noredzone:
181 ; X64-NOPIC-MCM: # %bb.0: # %entry
182 ; X64-NOPIC-MCM-NEXT: pushq %rbp
183 ; X64-NOPIC-MCM-NEXT: pushq %r15
184 ; X64-NOPIC-MCM-NEXT: pushq %r14
185 ; X64-NOPIC-MCM-NEXT: pushq %rbx
186 ; X64-NOPIC-MCM-NEXT: pushq %rax
187 ; X64-NOPIC-MCM-NEXT: movq %rsp, %rax
188 ; X64-NOPIC-MCM-NEXT: movq %rdi, %rbx
189 ; X64-NOPIC-MCM-NEXT: movq $-1, %r14
190 ; X64-NOPIC-MCM-NEXT: sarq $63, %rax
191 ; X64-NOPIC-MCM-NEXT: shlq $47, %rax
192 ; X64-NOPIC-MCM-NEXT: orq %rax, %rsp
193 ; X64-NOPIC-MCM-NEXT: leaq .Lslh_ret_addr2(%rip), %r15
194 ; X64-NOPIC-MCM-NEXT: callq f@PLT
195 ; X64-NOPIC-MCM-NEXT: .Lslh_ret_addr2:
196 ; X64-NOPIC-MCM-NEXT: movq %rsp, %rax
197 ; X64-NOPIC-MCM-NEXT: sarq $63, %rax
198 ; X64-NOPIC-MCM-NEXT: leaq .Lslh_ret_addr2(%rip), %rcx
199 ; X64-NOPIC-MCM-NEXT: cmpq %rcx, %r15
200 ; X64-NOPIC-MCM-NEXT: cmovneq %r14, %rax
201 ; X64-NOPIC-MCM-NEXT: movl (%rbx), %ebp
202 ; X64-NOPIC-MCM-NEXT: shlq $47, %rax
203 ; X64-NOPIC-MCM-NEXT: orq %rax, %rsp
204 ; X64-NOPIC-MCM-NEXT: leaq .Lslh_ret_addr3(%rip), %r15
205 ; X64-NOPIC-MCM-NEXT: callq f@PLT
206 ; X64-NOPIC-MCM-NEXT: .Lslh_ret_addr3:
207 ; X64-NOPIC-MCM-NEXT: movq %rsp, %rcx
208 ; X64-NOPIC-MCM-NEXT: sarq $63, %rcx
209 ; X64-NOPIC-MCM-NEXT: leaq .Lslh_ret_addr3(%rip), %rax
210 ; X64-NOPIC-MCM-NEXT: cmpq %rax, %r15
211 ; X64-NOPIC-MCM-NEXT: cmovneq %r14, %rcx
212 ; X64-NOPIC-MCM-NEXT: addl (%rbx), %ebp
213 ; X64-NOPIC-MCM-NEXT: orl %ecx, %ebp
214 ; X64-NOPIC-MCM-NEXT: shlq $47, %rcx
215 ; X64-NOPIC-MCM-NEXT: movl %ebp, %eax
216 ; X64-NOPIC-MCM-NEXT: orq %rcx, %rsp
217 ; X64-NOPIC-MCM-NEXT: addq $8, %rsp
218 ; X64-NOPIC-MCM-NEXT: popq %rbx
219 ; X64-NOPIC-MCM-NEXT: popq %r14
220 ; X64-NOPIC-MCM-NEXT: popq %r15
221 ; X64-NOPIC-MCM-NEXT: popq %rbp
222 ; X64-NOPIC-MCM-NEXT: retq
223 ;
224 ; X64-PIC-LABEL: test_calls_and_rets_noredzone:
225 ; X64-PIC: # %bb.0: # %entry
226 ; X64-PIC-NEXT: pushq %rbp
227 ; X64-PIC-NEXT: pushq %r15
228 ; X64-PIC-NEXT: pushq %r14
229 ; X64-PIC-NEXT: pushq %rbx
230 ; X64-PIC-NEXT: pushq %rax
231 ; X64-PIC-NEXT: movq %rsp, %rax
232 ; X64-PIC-NEXT: movq %rdi, %rbx
233 ; X64-PIC-NEXT: movq $-1, %r14
234 ; X64-PIC-NEXT: sarq $63, %rax
235 ; X64-PIC-NEXT: shlq $47, %rax
236 ; X64-PIC-NEXT: orq %rax, %rsp
237 ; X64-PIC-NEXT: leaq .Lslh_ret_addr2(%rip), %r15
238 ; X64-PIC-NEXT: callq f@PLT
239 ; X64-PIC-NEXT: .Lslh_ret_addr2:
240 ; X64-PIC-NEXT: movq %rsp, %rax
241 ; X64-PIC-NEXT: sarq $63, %rax
242 ; X64-PIC-NEXT: leaq .Lslh_ret_addr2(%rip), %rcx
243 ; X64-PIC-NEXT: cmpq %rcx, %r15
244 ; X64-PIC-NEXT: cmovneq %r14, %rax
245 ; X64-PIC-NEXT: movl (%rbx), %ebp
246 ; X64-PIC-NEXT: shlq $47, %rax
247 ; X64-PIC-NEXT: orq %rax, %rsp
248 ; X64-PIC-NEXT: leaq .Lslh_ret_addr3(%rip), %r15
249 ; X64-PIC-NEXT: callq f@PLT
250 ; X64-PIC-NEXT: .Lslh_ret_addr3:
251 ; X64-PIC-NEXT: movq %rsp, %rcx
252 ; X64-PIC-NEXT: sarq $63, %rcx
253 ; X64-PIC-NEXT: leaq .Lslh_ret_addr3(%rip), %rax
254 ; X64-PIC-NEXT: cmpq %rax, %r15
255 ; X64-PIC-NEXT: cmovneq %r14, %rcx
256 ; X64-PIC-NEXT: addl (%rbx), %ebp
257 ; X64-PIC-NEXT: orl %ecx, %ebp
258 ; X64-PIC-NEXT: shlq $47, %rcx
259 ; X64-PIC-NEXT: movl %ebp, %eax
260 ; X64-PIC-NEXT: orq %rcx, %rsp
261 ; X64-PIC-NEXT: addq $8, %rsp
262 ; X64-PIC-NEXT: popq %rbx
263 ; X64-PIC-NEXT: popq %r14
264 ; X64-PIC-NEXT: popq %r15
265 ; X64-PIC-NEXT: popq %rbp
266 ; X64-PIC-NEXT: retq
267 entry:
268 call void @f()
269 %x = load i32, ptr %ptr
270 call void @f()
271 %y = load i32, ptr %ptr
272 %z = add i32 %x, %y
273 ret i32 %z
274 }
276 declare i32 @setjmp(ptr %env) returns_twice
277 declare i32 @sigsetjmp(ptr %env, i32 %savemask) returns_twice
278 declare i32 @__sigsetjmp(ptr %foo, ptr %bar, i32 %baz) returns_twice
280 define i32 @test_call_setjmp(ptr%ptr) nounwind {
281 ; X64-NOPIC-LABEL: test_call_setjmp:
282 ; X64-NOPIC: # %bb.0: # %entry
283 ; X64-NOPIC-NEXT: pushq %rbp
284 ; X64-NOPIC-NEXT: pushq %r15
285 ; X64-NOPIC-NEXT: pushq %r14
286 ; X64-NOPIC-NEXT: pushq %r12
287 ; X64-NOPIC-NEXT: pushq %rbx
288 ; X64-NOPIC-NEXT: subq $16, %rsp
289 ; X64-NOPIC-NEXT: movq %rsp, %rax
290 ; X64-NOPIC-NEXT: movq %rdi, %rbx
291 ; X64-NOPIC-NEXT: movq $-1, %r15
292 ; X64-NOPIC-NEXT: sarq $63, %rax
293 ; X64-NOPIC-NEXT: movq %rsp, %r14
294 ; X64-NOPIC-NEXT: shlq $47, %rax
295 ; X64-NOPIC-NEXT: movq %r14, %rdi
296 ; X64-NOPIC-NEXT: orq %rax, %rsp
297 ; X64-NOPIC-NEXT: movq $.Lslh_ret_addr4, %r12
298 ; X64-NOPIC-NEXT: callq setjmp@PLT
299 ; X64-NOPIC-NEXT: .Lslh_ret_addr4:
300 ; X64-NOPIC-NEXT: movq %rsp, %rax
301 ; X64-NOPIC-NEXT: sarq $63, %rax
302 ; X64-NOPIC-NEXT: cmpq $.Lslh_ret_addr4, %r12
303 ; X64-NOPIC-NEXT: cmovneq %r15, %rax
304 ; X64-NOPIC-NEXT: movl (%rbx), %ebp
305 ; X64-NOPIC-NEXT: shlq $47, %rax
306 ; X64-NOPIC-NEXT: movq %r14, %rdi
307 ; X64-NOPIC-NEXT: movl $42, %esi
308 ; X64-NOPIC-NEXT: orq %rax, %rsp
309 ; X64-NOPIC-NEXT: movq $.Lslh_ret_addr5, %r12
310 ; X64-NOPIC-NEXT: callq sigsetjmp@PLT
311 ; X64-NOPIC-NEXT: .Lslh_ret_addr5:
312 ; X64-NOPIC-NEXT: movq %rsp, %rax
313 ; X64-NOPIC-NEXT: sarq $63, %rax
314 ; X64-NOPIC-NEXT: cmpq $.Lslh_ret_addr5, %r12
315 ; X64-NOPIC-NEXT: cmovneq %r15, %rax
316 ; X64-NOPIC-NEXT: addl (%rbx), %ebp
317 ; X64-NOPIC-NEXT: shlq $47, %rax
318 ; X64-NOPIC-NEXT: movq %r14, %rdi
319 ; X64-NOPIC-NEXT: movq %r14, %rsi
320 ; X64-NOPIC-NEXT: movl $42, %edx
321 ; X64-NOPIC-NEXT: orq %rax, %rsp
322 ; X64-NOPIC-NEXT: movq $.Lslh_ret_addr6, %r14
323 ; X64-NOPIC-NEXT: callq __sigsetjmp@PLT
324 ; X64-NOPIC-NEXT: .Lslh_ret_addr6:
325 ; X64-NOPIC-NEXT: movq %rsp, %rax
326 ; X64-NOPIC-NEXT: sarq $63, %rax
327 ; X64-NOPIC-NEXT: cmpq $.Lslh_ret_addr6, %r14
328 ; X64-NOPIC-NEXT: movq %rax, %rcx
329 ; X64-NOPIC-NEXT: cmovneq %r15, %rcx
330 ; X64-NOPIC-NEXT: addl (%rbx), %ebp
331 ; X64-NOPIC-NEXT: movl %ebp, %eax
332 ; X64-NOPIC-NEXT: orl %ecx, %eax
333 ; X64-NOPIC-NEXT: shlq $47, %rcx
334 ; X64-NOPIC-NEXT: orq %rcx, %rsp
335 ; X64-NOPIC-NEXT: addq $16, %rsp
336 ; X64-NOPIC-NEXT: popq %rbx
337 ; X64-NOPIC-NEXT: popq %r12
338 ; X64-NOPIC-NEXT: popq %r14
339 ; X64-NOPIC-NEXT: popq %r15
340 ; X64-NOPIC-NEXT: popq %rbp
341 ; X64-NOPIC-NEXT: retq
342 ;
343 ; X64-NOPIC-MCM-LABEL: test_call_setjmp:
344 ; X64-NOPIC-MCM: # %bb.0: # %entry
345 ; X64-NOPIC-MCM-NEXT: pushq %rbp
346 ; X64-NOPIC-MCM-NEXT: pushq %r15
347 ; X64-NOPIC-MCM-NEXT: pushq %r14
348 ; X64-NOPIC-MCM-NEXT: pushq %r12
349 ; X64-NOPIC-MCM-NEXT: pushq %rbx
350 ; X64-NOPIC-MCM-NEXT: subq $16, %rsp
351 ; X64-NOPIC-MCM-NEXT: movq %rsp, %rax
352 ; X64-NOPIC-MCM-NEXT: movq %rdi, %rbx
353 ; X64-NOPIC-MCM-NEXT: movq $-1, %r15
354 ; X64-NOPIC-MCM-NEXT: sarq $63, %rax
355 ; X64-NOPIC-MCM-NEXT: movq %rsp, %r14
356 ; X64-NOPIC-MCM-NEXT: shlq $47, %rax
357 ; X64-NOPIC-MCM-NEXT: movq %r14, %rdi
358 ; X64-NOPIC-MCM-NEXT: orq %rax, %rsp
359 ; X64-NOPIC-MCM-NEXT: leaq .Lslh_ret_addr4(%rip), %r12
360 ; X64-NOPIC-MCM-NEXT: callq setjmp@PLT
361 ; X64-NOPIC-MCM-NEXT: .Lslh_ret_addr4:
362 ; X64-NOPIC-MCM-NEXT: movq %rsp, %rax
363 ; X64-NOPIC-MCM-NEXT: sarq $63, %rax
364 ; X64-NOPIC-MCM-NEXT: leaq .Lslh_ret_addr4(%rip), %rcx
365 ; X64-NOPIC-MCM-NEXT: cmpq %rcx, %r12
366 ; X64-NOPIC-MCM-NEXT: cmovneq %r15, %rax
367 ; X64-NOPIC-MCM-NEXT: movl (%rbx), %ebp
368 ; X64-NOPIC-MCM-NEXT: shlq $47, %rax
369 ; X64-NOPIC-MCM-NEXT: movq %r14, %rdi
370 ; X64-NOPIC-MCM-NEXT: movl $42, %esi
371 ; X64-NOPIC-MCM-NEXT: orq %rax, %rsp
372 ; X64-NOPIC-MCM-NEXT: leaq .Lslh_ret_addr5(%rip), %r12
373 ; X64-NOPIC-MCM-NEXT: callq sigsetjmp@PLT
374 ; X64-NOPIC-MCM-NEXT: .Lslh_ret_addr5:
375 ; X64-NOPIC-MCM-NEXT: movq %rsp, %rax
376 ; X64-NOPIC-MCM-NEXT: sarq $63, %rax
377 ; X64-NOPIC-MCM-NEXT: leaq .Lslh_ret_addr5(%rip), %rcx
378 ; X64-NOPIC-MCM-NEXT: cmpq %rcx, %r12
379 ; X64-NOPIC-MCM-NEXT: cmovneq %r15, %rax
380 ; X64-NOPIC-MCM-NEXT: addl (%rbx), %ebp
381 ; X64-NOPIC-MCM-NEXT: shlq $47, %rax
382 ; X64-NOPIC-MCM-NEXT: movq %r14, %rdi
383 ; X64-NOPIC-MCM-NEXT: movq %r14, %rsi
384 ; X64-NOPIC-MCM-NEXT: movl $42, %edx
385 ; X64-NOPIC-MCM-NEXT: orq %rax, %rsp
386 ; X64-NOPIC-MCM-NEXT: leaq .Lslh_ret_addr6(%rip), %r14
387 ; X64-NOPIC-MCM-NEXT: callq __sigsetjmp@PLT
388 ; X64-NOPIC-MCM-NEXT: .Lslh_ret_addr6:
389 ; X64-NOPIC-MCM-NEXT: movq %rsp, %rax
390 ; X64-NOPIC-MCM-NEXT: sarq $63, %rax
391 ; X64-NOPIC-MCM-NEXT: leaq .Lslh_ret_addr6(%rip), %rcx
392 ; X64-NOPIC-MCM-NEXT: cmpq %rcx, %r14
393 ; X64-NOPIC-MCM-NEXT: movq %rax, %rcx
394 ; X64-NOPIC-MCM-NEXT: cmovneq %r15, %rcx
395 ; X64-NOPIC-MCM-NEXT: addl (%rbx), %ebp
396 ; X64-NOPIC-MCM-NEXT: movl %ebp, %eax
397 ; X64-NOPIC-MCM-NEXT: orl %ecx, %eax
398 ; X64-NOPIC-MCM-NEXT: shlq $47, %rcx
399 ; X64-NOPIC-MCM-NEXT: orq %rcx, %rsp
400 ; X64-NOPIC-MCM-NEXT: addq $16, %rsp
401 ; X64-NOPIC-MCM-NEXT: popq %rbx
402 ; X64-NOPIC-MCM-NEXT: popq %r12
403 ; X64-NOPIC-MCM-NEXT: popq %r14
404 ; X64-NOPIC-MCM-NEXT: popq %r15
405 ; X64-NOPIC-MCM-NEXT: popq %rbp
406 ; X64-NOPIC-MCM-NEXT: retq
407 ;
408 ; X64-PIC-LABEL: test_call_setjmp:
409 ; X64-PIC: # %bb.0: # %entry
410 ; X64-PIC-NEXT: pushq %rbp
411 ; X64-PIC-NEXT: pushq %r15
412 ; X64-PIC-NEXT: pushq %r14
413 ; X64-PIC-NEXT: pushq %r12
414 ; X64-PIC-NEXT: pushq %rbx
415 ; X64-PIC-NEXT: subq $16, %rsp
416 ; X64-PIC-NEXT: movq %rsp, %rax
417 ; X64-PIC-NEXT: movq %rdi, %rbx
418 ; X64-PIC-NEXT: movq $-1, %r15
419 ; X64-PIC-NEXT: sarq $63, %rax
420 ; X64-PIC-NEXT: movq %rsp, %r14
421 ; X64-PIC-NEXT: shlq $47, %rax
422 ; X64-PIC-NEXT: movq %r14, %rdi
423 ; X64-PIC-NEXT: orq %rax, %rsp
424 ; X64-PIC-NEXT: leaq .Lslh_ret_addr4(%rip), %r12
425 ; X64-PIC-NEXT: callq setjmp@PLT
426 ; X64-PIC-NEXT: .Lslh_ret_addr4:
427 ; X64-PIC-NEXT: movq %rsp, %rax
428 ; X64-PIC-NEXT: sarq $63, %rax
429 ; X64-PIC-NEXT: leaq .Lslh_ret_addr4(%rip), %rcx
430 ; X64-PIC-NEXT: cmpq %rcx, %r12
431 ; X64-PIC-NEXT: cmovneq %r15, %rax
432 ; X64-PIC-NEXT: movl (%rbx), %ebp
433 ; X64-PIC-NEXT: shlq $47, %rax
434 ; X64-PIC-NEXT: movq %r14, %rdi
435 ; X64-PIC-NEXT: movl $42, %esi
436 ; X64-PIC-NEXT: orq %rax, %rsp
437 ; X64-PIC-NEXT: leaq .Lslh_ret_addr5(%rip), %r12
438 ; X64-PIC-NEXT: callq sigsetjmp@PLT
439 ; X64-PIC-NEXT: .Lslh_ret_addr5:
440 ; X64-PIC-NEXT: movq %rsp, %rax
441 ; X64-PIC-NEXT: sarq $63, %rax
442 ; X64-PIC-NEXT: leaq .Lslh_ret_addr5(%rip), %rcx
443 ; X64-PIC-NEXT: cmpq %rcx, %r12
444 ; X64-PIC-NEXT: cmovneq %r15, %rax
445 ; X64-PIC-NEXT: addl (%rbx), %ebp
446 ; X64-PIC-NEXT: shlq $47, %rax
447 ; X64-PIC-NEXT: movq %r14, %rdi
448 ; X64-PIC-NEXT: movq %r14, %rsi
449 ; X64-PIC-NEXT: movl $42, %edx
450 ; X64-PIC-NEXT: orq %rax, %rsp
451 ; X64-PIC-NEXT: leaq .Lslh_ret_addr6(%rip), %r14
452 ; X64-PIC-NEXT: callq __sigsetjmp@PLT
453 ; X64-PIC-NEXT: .Lslh_ret_addr6:
454 ; X64-PIC-NEXT: movq %rsp, %rax
455 ; X64-PIC-NEXT: sarq $63, %rax
456 ; X64-PIC-NEXT: leaq .Lslh_ret_addr6(%rip), %rcx
457 ; X64-PIC-NEXT: cmpq %rcx, %r14
458 ; X64-PIC-NEXT: movq %rax, %rcx
459 ; X64-PIC-NEXT: cmovneq %r15, %rcx
460 ; X64-PIC-NEXT: addl (%rbx), %ebp
461 ; X64-PIC-NEXT: movl %ebp, %eax
462 ; X64-PIC-NEXT: orl %ecx, %eax
463 ; X64-PIC-NEXT: shlq $47, %rcx
464 ; X64-PIC-NEXT: orq %rcx, %rsp
465 ; X64-PIC-NEXT: addq $16, %rsp
466 ; X64-PIC-NEXT: popq %rbx
467 ; X64-PIC-NEXT: popq %r12
468 ; X64-PIC-NEXT: popq %r14
469 ; X64-PIC-NEXT: popq %r15
470 ; X64-PIC-NEXT: popq %rbp
471 ; X64-PIC-NEXT: retq
472 entry:
473 %env = alloca i8, i32 16
474 ; Call a normal setjmp function.
475 call i32 @setjmp(ptr %env)
476 %x = load i32, ptr %ptr
477 ; Call something like sigsetjmp.
478 call i32 @sigsetjmp(ptr %env, i32 42)
479 %y = load i32, ptr %ptr
480 ; Call something that might be an implementation detail expanded out of a
481 ; macro that has a weird signature but still gets annotated as returning
482 ; twice.
483 call i32 @__sigsetjmp(ptr %env, ptr %env, i32 42)
484 %z = load i32, ptr %ptr
485 %s1 = add i32 %x, %y
486 %s2 = add i32 %s1, %z
487 ret i32 %s2
488 }