1 ; ARM EHABI integrated test
3 ; This test case checks whether the ARM DWARF stack frame directives
4 ; are properly generated or not.
6 ; We have to check several cases:
7 ; (1) arm with -disable-fp-elim
8 ; (2) arm without -disable-fp-elim
9 ; (3) armv7 with -disable-fp-elim
10 ; (4) armv7 without -disable-fp-elim
11 ; (5) thumb with -disable-fp-elim
12 ; (6) thumb without -disable-fp-elim
13 ; (7) thumbv7 with -disable-fp-elim
14 ; (8) thumbv7 without -disable-fp-elim
16 ; RUN: llc -mtriple arm-unknown-linux-gnueabi \
17 ; RUN: -disable-fp-elim -filetype=asm -o - %s \
18 ; RUN: | FileCheck %s --check-prefix=CHECK-FP
20 ; RUN: llc -mtriple arm-unknown-linux-gnueabi \
21 ; RUN: -filetype=asm -o - %s \
22 ; RUN: | FileCheck %s --check-prefix=CHECK-FP-ELIM
24 ; RUN: llc -mtriple armv7-unknown-linux-gnueabi \
25 ; RUN: -disable-fp-elim -filetype=asm -o - %s \
26 ; RUN: | FileCheck %s --check-prefix=CHECK-V7-FP
28 ; RUN: llc -mtriple armv7-unknown-linux-gnueabi \
29 ; RUN: -filetype=asm -o - %s \
30 ; RUN: | FileCheck %s --check-prefix=CHECK-V7-FP-ELIM
32 ; RUN: llc -mtriple thumb-unknown-linux-gnueabi \
33 ; RUN: -disable-fp-elim -filetype=asm -o - %s \
34 ; RUN: | FileCheck %s --check-prefix=CHECK-THUMB-FP
36 ; RUN: llc -mtriple thumb-unknown-linux-gnueabi \
37 ; RUN: -filetype=asm -o - %s \
38 ; RUN: | FileCheck %s --check-prefix=CHECK-THUMB-FP-ELIM
40 ; RUN: llc -mtriple thumbv7-unknown-linux-gnueabi \
41 ; RUN: -disable-fp-elim -filetype=asm -o - %s \
42 ; RUN: | FileCheck %s --check-prefix=CHECK-THUMB-V7-FP
44 ; RUN: llc -mtriple thumbv7-unknown-linux-gnueabi \
45 ; RUN: -filetype=asm -o - %s \
46 ; RUN: | FileCheck %s --check-prefix=CHECK-THUMB-V7-FP-ELIM
48 ;-------------------------------------------------------------------------------
50 ;-------------------------------------------------------------------------------
51 ; This is the LLVM assembly generated from following C++ code:
53 ; extern void print(int, int, int, int, int);
54 ; extern void print(double, double, double, double, double);
56 ; void test(int a, int b, int c, int d, int e,
57 ; double m, double n, double p, double q, double r) {
59 ; print(a, b, c, d, e);
61 ; print(m, n, p, q, r);
65 declare void @_Z5printiiiii(i32, i32, i32, i32, i32)
67 declare void @_Z5printddddd(double, double, double, double, double)
69 define void @_Z4testiiiiiddddd(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e,
70 double %m, double %n, double %p,
71 double %q, double %r) {
73 invoke void @_Z5printiiiii(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e)
74 to label %try.cont unwind label %lpad
77 %0 = landingpad { i8*, i32 }
78 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
80 %1 = extractvalue { i8*, i32 } %0, 0
81 %2 = tail call i8* @__cxa_begin_catch(i8* %1)
82 invoke void @_Z5printddddd(double %m, double %n, double %p,
84 to label %invoke.cont2 unwind label %lpad1
87 tail call void @__cxa_end_catch()
94 %3 = landingpad { i8*, i32 }
95 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
97 invoke void @__cxa_end_catch()
98 to label %eh.resume unwind label %terminate.lpad
101 resume { i8*, i32 } %3
104 %4 = landingpad { i8*, i32 }
105 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
107 %5 = extractvalue { i8*, i32 } %4, 0
108 tail call void @__clang_call_terminate(i8* %5)
112 declare void @__clang_call_terminate(i8*)
114 declare i32 @__gxx_personality_v0(...)
116 declare i8* @__cxa_begin_catch(i8*)
118 declare void @__cxa_end_catch()
120 declare void @_ZSt9terminatev()
123 !llvm.module.flags = !{!10, !11}
126 !0 = metadata !{i32 786449, metadata !1, i32 4, metadata !"clang version 3.5 ", i1 false, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2, metadata !""} ; [ DW_TAG_compile_unit ] [/tmp/exp.cpp] [DW_LANG_C_plus_plus]
127 !1 = metadata !{metadata !"exp.cpp", metadata !"/tmp"}
129 !3 = metadata !{metadata !4}
130 !4 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"test", metadata !"test", metadata !"_Z4testiiiiiddddd", i32 4, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, void (i32, i32, i32, i32, i32, double, double, double, double, double)* @_Z4testiiiiiddddd, null, null, metadata !2, i32 5} ; [ DW_TAG_subprogram ] [line 4] [def] [scope 5] [test]
131 !5 = metadata !{i32 786473, metadata !1} ; [ DW_TAG_file_type ] [/tmp/exp.cpp]
132 !6 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !7, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
133 !7 = metadata !{null, metadata !8, metadata !8, metadata !8, metadata !8, metadata !8, metadata !9, metadata !9, metadata !9, metadata !9, metadata !9}
134 !8 = metadata !{i32 786468, null, null, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed]
135 !9 = metadata !{i32 786468, null, null, metadata !"double", i32 0, i64 64, i64 64, i64 0, i32 0, i32 4} ; [ DW_TAG_base_type ] [double] [line 0, size 64, align 64, offset 0, enc DW_ATE_float]
136 !10 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}
137 !11 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
138 !12 = metadata !{metadata !"clang version 3.5 "}
139 !13 = metadata !{i32 786689, metadata !4, metadata !"a", metadata !5, i32 16777220, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [a] [line 4]
140 !14 = metadata !{i32 4, i32 0, metadata !4, null}
141 !15 = metadata !{i32 786689, metadata !4, metadata !"b", metadata !5, i32 33554436, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [b] [line 4]
142 !16 = metadata !{i32 786689, metadata !4, metadata !"c", metadata !5, i32 50331652, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [c] [line 4]
143 !17 = metadata !{i32 786689, metadata !4, metadata !"d", metadata !5, i32 67108868, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [d] [line 4]
144 !18 = metadata !{i32 786689, metadata !4, metadata !"e", metadata !5, i32 83886084, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [e] [line 4]
145 !19 = metadata !{i32 786689, metadata !4, metadata !"m", metadata !5, i32 100663301, metadata !9, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [m] [line 5]
146 !20 = metadata !{i32 5, i32 0, metadata !4, null}
147 !21 = metadata !{i32 786689, metadata !4, metadata !"n", metadata !5, i32 117440517, metadata !9, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [n] [line 5]
148 !22 = metadata !{i32 786689, metadata !4, metadata !"p", metadata !5, i32 134217733, metadata !9, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [p] [line 5]
149 !23 = metadata !{i32 786689, metadata !4, metadata !"q", metadata !5, i32 150994949, metadata !9, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [q] [line 5]
150 !24 = metadata !{i32 786689, metadata !4, metadata !"r", metadata !5, i32 167772165, metadata !9, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [r] [line 5]
151 !25 = metadata !{i32 7, i32 0, metadata !26, null}
152 !26 = metadata !{i32 786443, metadata !1, metadata !4, i32 6, i32 0, i32 0} ; [ DW_TAG_lexical_block ] [/tmp/exp.cpp]
153 !27 = metadata !{i32 8, i32 0, metadata !26, null} ; [ DW_TAG_imported_declaration ]
154 !28 = metadata !{i32 11, i32 0, metadata !26, null}
155 !29 = metadata !{i32 9, i32 0, metadata !30, null}
156 !30 = metadata !{i32 786443, metadata !1, metadata !4, i32 8, i32 0, i32 1} ; [ DW_TAG_lexical_block ] [/tmp/exp.cpp]
157 !31 = metadata !{i32 10, i32 0, metadata !30, null}
158 !32 = metadata !{i32 10, i32 0, metadata !4, null}
159 !33 = metadata !{i32 11, i32 0, metadata !4, null}
160 !34 = metadata !{i32 11, i32 0, metadata !30, null}
162 ; CHECK-FP-LABEL: _Z4testiiiiiddddd:
163 ; CHECK-FP: .cfi_startproc
164 ; CHECK-FP: push {r4, r5, r6, r7, r8, r9, r10, r11, lr}
165 ; CHECK-FP: .cfi_def_cfa_offset 36
166 ; CHECK-FP: .cfi_offset lr, -4
167 ; CHECK-FP: .cfi_offset r11, -8
168 ; CHECK-FP: .cfi_offset r10, -12
169 ; CHECK-FP: .cfi_offset r9, -16
170 ; CHECK-FP: .cfi_offset r8, -20
171 ; CHECK-FP: .cfi_offset r7, -24
172 ; CHECK-FP: .cfi_offset r6, -28
173 ; CHECK-FP: .cfi_offset r5, -32
174 ; CHECK-FP: .cfi_offset r4, -36
175 ; CHECK-FP: add r11, sp, #28
176 ; CHECK-FP: .cfi_def_cfa r11, 8
177 ; CHECK-FP: sub sp, sp, #28
178 ; CHECK-FP: .cfi_endproc
180 ; CHECK-FP-ELIM-LABEL: _Z4testiiiiiddddd:
181 ; CHECK-FP-ELIM: .cfi_startproc
182 ; CHECK-FP-ELIM: push {r4, r5, r6, r7, r8, r9, r10, r11, lr}
183 ; CHECK-FP-ELIM: .cfi_def_cfa_offset 36
184 ; CHECK-FP-ELIM: .cfi_offset lr, -4
185 ; CHECK-FP-ELIM: .cfi_offset r11, -8
186 ; CHECK-FP-ELIM: .cfi_offset r10, -12
187 ; CHECK-FP-ELIM: .cfi_offset r9, -16
188 ; CHECK-FP-ELIM: .cfi_offset r8, -20
189 ; CHECK-FP-ELIM: .cfi_offset r7, -24
190 ; CHECK-FP-ELIM: .cfi_offset r6, -28
191 ; CHECK-FP-ELIM: .cfi_offset r5, -32
192 ; CHECK-FP-ELIM: .cfi_offset r4, -36
193 ; CHECK-FP-ELIM: sub sp, sp, #28
194 ; CHECK-FP-ELIM: .cfi_def_cfa_offset 64
195 ; CHECK-FP-ELIM: .cfi_endproc
197 ; CHECK-V7-FP-LABEL: _Z4testiiiiiddddd:
198 ; CHECK-V7-FP: .cfi_startproc
199 ; CHECK-V7-FP: push {r4, r11, lr}
200 ; CHECK-V7-FP: .cfi_def_cfa_offset 12
201 ; CHECK-V7-FP: .cfi_offset lr, -4
202 ; CHECK-V7-FP: .cfi_offset r11, -8
203 ; CHECK-V7-FP: .cfi_offset r4, -12
204 ; CHECK-V7-FP: add r11, sp, #4
205 ; CHECK-V7-FP: .cfi_def_cfa r11, 8
206 ; CHECK-V7-FP: vpush {d8, d9, d10, d11, d12}
207 ; CHECK-V7-FP: .cfi_offset d12, -24
208 ; CHECK-V7-FP: .cfi_offset d11, -32
209 ; CHECK-V7-FP: .cfi_offset d10, -40
210 ; CHECK-V7-FP: .cfi_offset d9, -48
211 ; CHECK-V7-FP: .cfi_offset d8, -56
212 ; CHECK-V7-FP: sub sp, sp, #28
213 ; CHECK-V7-FP: .cfi_endproc
215 ; CHECK-V7-FP-ELIM-LABEL: _Z4testiiiiiddddd:
216 ; CHECK-V7-FP-ELIM: .cfi_startproc
217 ; CHECK-V7-FP-ELIM: push {r4, lr}
218 ; CHECK-V7-FP-ELIM: .cfi_def_cfa_offset 8
219 ; CHECK-V7-FP-ELIM: .cfi_offset lr, -4
220 ; CHECK-V7-FP-ELIM: .cfi_offset r4, -8
221 ; CHECK-V7-FP-ELIM: vpush {d8, d9, d10, d11, d12}
222 ; CHECK-V7-FP-ELIM: .cfi_def_cfa_offset 48
223 ; CHECK-V7-FP-ELIM: .cfi_offset d12, -16
224 ; CHECK-V7-FP-ELIM: .cfi_offset d11, -24
225 ; CHECK-V7-FP-ELIM: .cfi_offset d10, -32
226 ; CHECK-V7-FP-ELIM: .cfi_offset d9, -40
227 ; CHECK-V7-FP-ELIM: .cfi_offset d8, -48
228 ; CHECK-V7-FP-ELIM: sub sp, sp, #24
229 ; CHECK-V7-FP-ELIM: .cfi_def_cfa_offset 72
230 ; CHECK-V7-FP-ELIM: .cfi_endproc
232 ; CHECK-THUMB-FP-LABEL: _Z4testiiiiiddddd:
233 ; CHECK-THUMB-FP: .cfi_startproc
234 ; CHECK-THUMB-FP: push {r4, r5, r6, r7, lr}
235 ; CHECK-THUMB-FP: .cfi_def_cfa_offset 20
236 ; CHECK-THUMB-FP: .cfi_offset lr, -4
237 ; CHECK-THUMB-FP: .cfi_offset r7, -8
238 ; CHECK-THUMB-FP: .cfi_offset r6, -12
239 ; CHECK-THUMB-FP: .cfi_offset r5, -16
240 ; CHECK-THUMB-FP: .cfi_offset r4, -20
241 ; CHECK-THUMB-FP: add r7, sp, #12
242 ; CHECK-THUMB-FP: .cfi_def_cfa r7, 8
243 ; CHECK-THUMB-FP: sub sp, #60
244 ; CHECK-THUMB-FP: .cfi_endproc
246 ; CHECK-THUMB-FP-ELIM-LABEL: _Z4testiiiiiddddd:
247 ; CHECK-THUMB-FP-ELIM: .cfi_startproc
248 ; CHECK-THUMB-FP-ELIM: push {r4, r5, r6, r7, lr}
249 ; CHECK-THUMB-FP-ELIM: .cfi_def_cfa_offset 20
250 ; CHECK-THUMB-FP-ELIM: .cfi_offset lr, -4
251 ; CHECK-THUMB-FP-ELIM: .cfi_offset r7, -8
252 ; CHECK-THUMB-FP-ELIM: .cfi_offset r6, -12
253 ; CHECK-THUMB-FP-ELIM: .cfi_offset r5, -16
254 ; CHECK-THUMB-FP-ELIM: .cfi_offset r4, -20
255 ; CHECK-THUMB-FP-ELIM: sub sp, #60
256 ; CHECK-THUMB-FP-ELIM: .cfi_def_cfa_offset 80
257 ; CHECK-THUMB-FP-ELIM: .cfi_endproc
259 ; CHECK-THUMB-V7-FP-LABEL: _Z4testiiiiiddddd:
260 ; CHECK-THUMB-V7-FP: .cfi_startproc
261 ; CHECK-THUMB-V7-FP: push.w {r4, r7, r11, lr}
262 ; CHECK-THUMB-V7-FP: .cfi_def_cfa_offset 16
263 ; CHECK-THUMB-V7-FP: .cfi_offset lr, -4
264 ; CHECK-THUMB-V7-FP: .cfi_offset r11, -8
265 ; CHECK-THUMB-V7-FP: .cfi_offset r7, -12
266 ; CHECK-THUMB-V7-FP: .cfi_offset r4, -16
267 ; CHECK-THUMB-V7-FP: add r7, sp, #4
268 ; CHECK-THUMB-V7-FP: .cfi_def_cfa r7, 12
269 ; CHECK-THUMB-V7-FP: vpush {d8, d9, d10, d11, d12}
270 ; CHECK-THUMB-V7-FP: .cfi_offset d12, -24
271 ; CHECK-THUMB-V7-FP: .cfi_offset d11, -32
272 ; CHECK-THUMB-V7-FP: .cfi_offset d10, -40
273 ; CHECK-THUMB-V7-FP: .cfi_offset d9, -48
274 ; CHECK-THUMB-V7-FP: .cfi_offset d8, -56
275 ; CHECK-THUMB-V7-FP: sub sp, #24
276 ; CHECK-THUMB-V7-FP: .cfi_endproc
278 ; CHECK-THUMB-V7-FP-ELIM-LABEL: _Z4testiiiiiddddd:
279 ; CHECK-THUMB-V7-FP-ELIM: .cfi_startproc
280 ; CHECK-THUMB-V7-FP-ELIM: push {r4, lr}
281 ; CHECK-THUMB-V7-FP-ELIM: .cfi_def_cfa_offset 8
282 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset lr, -4
283 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset r4, -8
284 ; CHECK-THUMB-V7-FP-ELIM: vpush {d8, d9, d10, d11, d12}
285 ; CHECK-THUMB-V7-FP-ELIM: .cfi_def_cfa_offset 48
286 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset d12, -16
287 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset d11, -24
288 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset d10, -32
289 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset d9, -40
290 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset d8, -48
291 ; CHECK-THUMB-V7-FP-ELIM: sub sp, #24
292 ; CHECK-THUMB-V7-FP-ELIM: .cfi_def_cfa_offset 72
293 ; CHECK-THUMB-V7-FP-ELIM: .cfi_endproc
296 ;-------------------------------------------------------------------------------
298 ;-------------------------------------------------------------------------------
300 declare void @throw_exception_2()
302 define void @test2() {
304 call void @throw_exception_2()
308 ; CHECK-FP-LABEL: test2:
309 ; CHECK-FP: .cfi_startproc
310 ; CHECK-FP: push {r11, lr}
311 ; CHECK-FP: .cfi_def_cfa_offset 8
312 ; CHECK-FP: .cfi_offset lr, -4
313 ; CHECK-FP: .cfi_offset r11, -8
314 ; CHECK-FP: mov r11, sp
315 ; CHECK-FP: .cfi_def_cfa_register r11
316 ; CHECK-FP: pop {r11, lr}
317 ; CHECK-FP: mov pc, lr
318 ; CHECK-FP: .cfi_endproc
320 ; CHECK-FP-ELIM-LABEL: test2:
321 ; CHECK-FP-ELIM: .cfi_startproc
322 ; CHECK-FP-ELIM: push {r11, lr}
323 ; CHECK-FP-ELIM: .cfi_def_cfa_offset 8
324 ; CHECK-FP-ELIM: .cfi_offset lr, -4
325 ; CHECK-FP-ELIM: .cfi_offset r11, -8
326 ; CHECK-FP-ELIM: pop {r11, lr}
327 ; CHECK-FP-ELIM: mov pc, lr
328 ; CHECK-FP-ELIM: .cfi_endproc
330 ; CHECK-V7-FP-LABEL: test2:
331 ; CHECK-V7-FP: .cfi_startproc
332 ; CHECK-V7-FP: push {r11, lr}
333 ; CHECK-V7-FP: .cfi_def_cfa_offset 8
334 ; CHECK-V7-FP: .cfi_offset lr, -4
335 ; CHECK-V7-FP: .cfi_offset r11, -8
336 ; CHECK-V7-FP: mov r11, sp
337 ; CHECK-V7-FP: .cfi_def_cfa_register r11
338 ; CHECK-V7-FP: pop {r11, pc}
339 ; CHECK-V7-FP: .cfi_endproc
341 ; CHECK-V7-FP-ELIM-LABEL: test2:
342 ; CHECK-V7-FP-ELIM: .cfi_startproc
343 ; CHECK-V7-FP-ELIM: push {r11, lr}
344 ; CHECK-V7-FP-ELIM: .cfi_def_cfa_offset 8
345 ; CHECK-V7-FP-ELIM: .cfi_offset lr, -4
346 ; CHECK-V7-FP-ELIM: .cfi_offset r11, -8
347 ; CHECK-V7-FP-ELIM: pop {r11, pc}
348 ; CHECK-V7-FP-ELIM: .cfi_endproc
350 ; CHECK-THUMB-FP-LABEL: test2:
351 ; CHECK-THUMB-FP: .cfi_startproc
352 ; CHECK-THUMB-FP: push {r7, lr}
353 ; CHECK-THUMB-FP: .cfi_def_cfa_offset 8
354 ; CHECK-THUMB-FP: .cfi_offset lr, -4
355 ; CHECK-THUMB-FP: .cfi_offset r7, -8
356 ; CHECK-THUMB-FP: add r7, sp, #0
357 ; CHECK-THUMB-FP: .cfi_def_cfa_register r7
358 ; CHECK-THUMB-FP: pop {r7, pc}
359 ; CHECK-THUMB-FP: .cfi_endproc
361 ; CHECK-THUMB-FP-ELIM-LABEL: test2:
362 ; CHECK-THUMB-FP-ELIM: .cfi_startproc
363 ; CHECK-THUMB-FP-ELIM: push {r7, lr}
364 ; CHECK-THUMB-FP-ELIM: .cfi_def_cfa_offset 8
365 ; CHECK-THUMB-FP-ELIM: .cfi_offset lr, -4
366 ; CHECK-THUMB-FP-ELIM: .cfi_offset r7, -8
367 ; CHECK-THUMB-FP-ELIM: pop {r7, pc}
368 ; CHECK-THUMB-FP-ELIM: .cfi_endproc
370 ; CHECK-THUMB-V7-FP-LABEL: test2:
371 ; CHECK-THUMB-V7-FP: .cfi_startproc
372 ; CHECK-THUMB-V7-FP: push {r7, lr}
373 ; CHECK-THUMB-V7-FP: .cfi_def_cfa_offset 8
374 ; CHECK-THUMB-V7-FP: .cfi_offset lr, -4
375 ; CHECK-THUMB-V7-FP: .cfi_offset r7, -8
376 ; CHECK-THUMB-V7-FP: mov r7, sp
377 ; CHECK-THUMB-V7-FP: .cfi_def_cfa_register r7
378 ; CHECK-THUMB-V7-FP: pop {r7, pc}
379 ; CHECK-THUMB-V7-FP: .cfi_endproc
381 ; CHECK-THUMB-V7-FP-ELIM-LABEL: test2:
382 ; CHECK-THUMB-V7-FP-ELIM: .cfi_startproc
383 ; CHECK-THUMB-V7-FP-ELIM: push.w {r11, lr}
384 ; CHECK-THUMB-V7-FP-ELIM: .cfi_def_cfa_offset 8
385 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset lr, -4
386 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset r11, -8
387 ; CHECK-THUMB-V7-FP-ELIM: pop.w {r11, pc}
388 ; CHECK-THUMB-V7-FP-ELIM: .cfi_endproc
391 ;-------------------------------------------------------------------------------
393 ;-------------------------------------------------------------------------------
395 declare void @throw_exception_3(i32)
397 define i32 @test3(i32 %a, i32 %b, i32 %c, i32 %d,
398 i32 %e, i32 %f, i32 %g, i32 %h) {
400 %add = add nsw i32 %b, %a
401 %add1 = add nsw i32 %add, %c
402 %add2 = add nsw i32 %add1, %d
403 tail call void @throw_exception_3(i32 %add2)
404 %add3 = add nsw i32 %f, %e
405 %add4 = add nsw i32 %add3, %g
406 %add5 = add nsw i32 %add4, %h
407 tail call void @throw_exception_3(i32 %add5)
408 %add6 = add nsw i32 %add5, %add2
412 ; CHECK-FP-LABEL: test3:
413 ; CHECK-FP: .cfi_startproc
414 ; CHECK-FP: push {r4, r5, r11, lr}
415 ; CHECK-FP: .cfi_def_cfa_offset 16
416 ; CHECK-FP: .cfi_offset lr, -4
417 ; CHECK-FP: .cfi_offset r11, -8
418 ; CHECK-FP: .cfi_offset r5, -12
419 ; CHECK-FP: .cfi_offset r4, -16
420 ; CHECK-FP: add r11, sp, #8
421 ; CHECK-FP: .cfi_def_cfa r11, 8
422 ; CHECK-FP: pop {r4, r5, r11, lr}
423 ; CHECK-FP: mov pc, lr
424 ; CHECK-FP: .cfi_endproc
426 ; CHECK-FP-ELIM-LABEL: test3:
427 ; CHECK-FP-ELIM: .cfi_startproc
428 ; CHECK-FP-ELIM: push {r4, r5, r11, lr}
429 ; CHECK-FP-ELIM: .cfi_def_cfa_offset 16
430 ; CHECK-FP-ELIM: .cfi_offset lr, -4
431 ; CHECK-FP-ELIM: .cfi_offset r11, -8
432 ; CHECK-FP-ELIM: .cfi_offset r5, -12
433 ; CHECK-FP-ELIM: .cfi_offset r4, -16
434 ; CHECK-FP-ELIM: pop {r4, r5, r11, lr}
435 ; CHECK-FP-ELIM: mov pc, lr
436 ; CHECK-FP-ELIM: .cfi_endproc
438 ; CHECK-V7-FP-LABEL: test3:
439 ; CHECK-V7-FP: .cfi_startproc
440 ; CHECK-V7-FP: push {r4, r5, r11, lr}
441 ; CHECK-V7-FP: .cfi_def_cfa_offset 16
442 ; CHECK-V7-FP: .cfi_offset lr, -4
443 ; CHECK-V7-FP: .cfi_offset r11, -8
444 ; CHECK-V7-FP: .cfi_offset r5, -12
445 ; CHECK-V7-FP: .cfi_offset r4, -16
446 ; CHECK-V7-FP: add r11, sp, #8
447 ; CHECK-V7-FP: .cfi_def_cfa r11, 8
448 ; CHECK-V7-FP: pop {r4, r5, r11, pc}
449 ; CHECK-V7-FP: .cfi_endproc
451 ; CHECK-V7-FP-ELIM-LABEL: test3:
452 ; CHECK-V7-FP-ELIM: .cfi_startproc
453 ; CHECK-V7-FP-ELIM: push {r4, r5, r11, lr}
454 ; CHECK-V7-FP-ELIM: .cfi_def_cfa_offset 16
455 ; CHECK-V7-FP-ELIM: .cfi_offset lr, -4
456 ; CHECK-V7-FP-ELIM: .cfi_offset r11, -8
457 ; CHECK-V7-FP-ELIM: .cfi_offset r5, -12
458 ; CHECK-V7-FP-ELIM: .cfi_offset r4, -16
459 ; CHECK-V7-FP-ELIM: pop {r4, r5, r11, pc}
460 ; CHECK-V7-FP-ELIM: .cfi_endproc
462 ; CHECK-THUMB-FP-LABEL: test3:
463 ; CHECK-THUMB-FP: .cfi_startproc
464 ; CHECK-THUMB-FP: push {r4, r5, r7, lr}
465 ; CHECK-THUMB-FP: .cfi_def_cfa_offset 16
466 ; CHECK-THUMB-FP: .cfi_offset lr, -4
467 ; CHECK-THUMB-FP: .cfi_offset r7, -8
468 ; CHECK-THUMB-FP: .cfi_offset r5, -12
469 ; CHECK-THUMB-FP: .cfi_offset r4, -16
470 ; CHECK-THUMB-FP: add r7, sp, #8
471 ; CHECK-THUMB-FP: .cfi_def_cfa r7, 8
472 ; CHECK-THUMB-FP: pop {r4, r5, r7, pc}
473 ; CHECK-THUMB-FP: .cfi_endproc
475 ; CHECK-THUMB-FP-ELIM-LABEL: test3:
476 ; CHECK-THUMB-FP-ELIM: .cfi_startproc
477 ; CHECK-THUMB-FP-ELIM: push {r4, r5, r7, lr}
478 ; CHECK-THUMB-FP-ELIM: .cfi_def_cfa_offset 16
479 ; CHECK-THUMB-FP-ELIM: .cfi_offset lr, -4
480 ; CHECK-THUMB-FP-ELIM: .cfi_offset r7, -8
481 ; CHECK-THUMB-FP-ELIM: .cfi_offset r5, -12
482 ; CHECK-THUMB-FP-ELIM: .cfi_offset r4, -16
483 ; CHECK-THUMB-FP-ELIM: pop {r4, r5, r7, pc}
484 ; CHECK-THUMB-FP-ELIM: .cfi_endproc
486 ; CHECK-THUMB-V7-FP-LABEL: test3:
487 ; CHECK-THUMB-V7-FP: .cfi_startproc
488 ; CHECK-THUMB-V7-FP: push {r4, r5, r7, lr}
489 ; CHECK-THUMB-V7-FP: .cfi_def_cfa_offset 16
490 ; CHECK-THUMB-V7-FP: .cfi_offset lr, -4
491 ; CHECK-THUMB-V7-FP: .cfi_offset r7, -8
492 ; CHECK-THUMB-V7-FP: .cfi_offset r5, -12
493 ; CHECK-THUMB-V7-FP: .cfi_offset r4, -16
494 ; CHECK-THUMB-V7-FP: add r7, sp, #8
495 ; CHECK-THUMB-V7-FP: .cfi_def_cfa r7, 8
496 ; CHECK-THUMB-V7-FP: pop {r4, r5, r7, pc}
497 ; CHECK-THUMB-V7-FP: .cfi_endproc
499 ; CHECK-THUMB-V7-FP-ELIM-LABEL: test3:
500 ; CHECK-THUMB-V7-FP-ELIM: .cfi_startproc
501 ; CHECK-THUMB-V7-FP-ELIM: push.w {r4, r5, r11, lr}
502 ; CHECK-THUMB-V7-FP-ELIM: .cfi_def_cfa_offset 16
503 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset lr, -4
504 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset r11, -8
505 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset r5, -12
506 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset r4, -16
507 ; CHECK-THUMB-V7-FP-ELIM: pop.w {r4, r5, r11, pc}
508 ; CHECK-THUMB-V7-FP-ELIM: .cfi_endproc
511 ;-------------------------------------------------------------------------------
513 ;-------------------------------------------------------------------------------
515 define void @test4() nounwind {
520 ; CHECK-FP-LABEL: test4:
521 ; CHECK-FP: mov pc, lr
522 ; CHECK-FP-NOT: .cfi_def_cfa_offset
524 ; CHECK-FP-ELIM-LABEL: test4:
525 ; CHECK-FP-ELIM: mov pc, lr
526 ; CHECK-FP-ELIM-NOT: .cfi_def_cfa_offset
528 ; CHECK-V7-FP-LABEL: test4:
530 ; CHECK-V7-FP-NOT: .cfi_def_cfa_offset
532 ; CHECK-V7-FP-ELIM-LABEL: test4:
533 ; CHECK-V7-FP-ELIM: bx lr
534 ; CHECK-V7-FP-ELIM-NOT: .cfi_def_cfa_offset
536 ; CHECK-THUMB-FP-LABEL: test4:
537 ; CHECK-THUMB-FP: bx lr
538 ; CHECK-THUMB-FP-NOT: .cfi_def_cfa_offset
540 ; CHECK-THUMB-FP-ELIM-LABEL: test4:
541 ; CHECK-THUMB-FP-ELIM: bx lr
542 ; CHECK-THUMB-FP-ELIM-NOT: .cfi_def_cfa_offset
544 ; CHECK-THUMB-V7-FP-LABEL: test4:
545 ; CHECK-THUMB-V7-FP: bx lr
546 ; CHECK-THUMB-V7-FP-NOT: .cfi_def_cfa_offset
548 ; CHECK-THUMB-V7-FP-ELIM-LABEL: test4:
549 ; CHECK-THUMB-V7-FP-ELIM: bx lr
550 ; CHECK-THUMB-V7-FP-ELIM-NOT: .cfi_def_cfa_offset