1 ; ARM EHABI integrated test 2 3 ; This test case checks whether the ARM DWARF stack frame directives 4 ; are properly generated or not. 5 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 15 ; (9) thumbv7 with -no-integrated-as 16 17 ; RUN: llc -mtriple arm-unknown-linux-gnueabi \ 18 ; RUN: -disable-fp-elim -filetype=asm -o - %s \ 19 ; RUN: | FileCheck %s --check-prefix=CHECK-FP 20 21 ; RUN: llc -mtriple arm-unknown-linux-gnueabi \ 22 ; RUN: -filetype=asm -o - %s \ 23 ; RUN: | FileCheck %s --check-prefix=CHECK-FP-ELIM 24 25 ; RUN: llc -mtriple armv7-unknown-linux-gnueabi \ 26 ; RUN: -disable-fp-elim -filetype=asm -o - %s \ 27 ; RUN: | FileCheck %s --check-prefix=CHECK-V7-FP 28 29 ; RUN: llc -mtriple armv7-unknown-linux-gnueabi \ 30 ; RUN: -filetype=asm -o - %s \ 31 ; RUN: | FileCheck %s --check-prefix=CHECK-V7-FP-ELIM 32 33 ; RUN: llc -mtriple thumbv5-unknown-linux-gnueabi \ 34 ; RUN: -disable-fp-elim -filetype=asm -o - %s \ 35 ; RUN: | FileCheck %s --check-prefix=CHECK-THUMB-FP 36 37 ; RUN: llc -mtriple thumbv5-unknown-linux-gnueabi \ 38 ; RUN: -filetype=asm -o - %s \ 39 ; RUN: | FileCheck %s --check-prefix=CHECK-THUMB-FP-ELIM 40 41 ; RUN: llc -mtriple thumbv7-unknown-linux-gnueabi \ 42 ; RUN: -disable-fp-elim -filetype=asm -o - %s \ 43 ; RUN: | FileCheck %s --check-prefix=CHECK-THUMB-V7-FP 44 45 ; RUN: llc -mtriple thumbv7-unknown-linux-gnueabi \ 46 ; RUN: -filetype=asm -o - %s \ 47 ; RUN: | FileCheck %s --check-prefix=CHECK-THUMB-V7-FP-ELIM 48 49 ; RUN: llc -mtriple thumbv7-unknown-linux-gnueabi \ 50 ; RUN: -disable-fp-elim -no-integrated-as -filetype=asm -o - %s \ 51 ; RUN: | FileCheck %s --check-prefix=CHECK-THUMB-V7-FP-NOIAS 52 53 ;------------------------------------------------------------------------------- 54 ; Test 1 55 ;------------------------------------------------------------------------------- 56 ; This is the LLVM assembly generated from following C++ code: 57 ; 58 ; extern void print(int, int, int, int, int); 59 ; extern void print(double, double, double, double, double); 60 ; 61 ; void test(int a, int b, int c, int d, int e, 62 ; double m, double n, double p, double q, double r) { 63 ; try { 64 ; print(a, b, c, d, e); 65 ; } catch (...) { 66 ; print(m, n, p, q, r); 67 ; } 68 ; } 69 70 declare void @_Z5printiiiii(i32, i32, i32, i32, i32) 71 72 declare void @_Z5printddddd(double, double, double, double, double) 73 74 define void @_Z4testiiiiiddddd(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, 75 double %m, double %n, double %p, 76 double %q, double %r) personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { 77 entry: 78 invoke void @_Z5printiiiii(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e) 79 to label %try.cont unwind label %lpad 80 81 lpad: 82 %0 = landingpad { i8*, i32 } 83 catch i8* null 84 %1 = extractvalue { i8*, i32 } %0, 0 85 %2 = tail call i8* @__cxa_begin_catch(i8* %1) 86 invoke void @_Z5printddddd(double %m, double %n, double %p, 87 double %q, double %r) 88 to label %invoke.cont2 unwind label %lpad1 89 90 invoke.cont2: 91 tail call void @__cxa_end_catch() 92 br label %try.cont 93 94 try.cont: 95 ret void 96 97 lpad1: 98 %3 = landingpad { i8*, i32 } 99 cleanup 100 invoke void @__cxa_end_catch() 101 to label %eh.resume unwind label %terminate.lpad 102 103 eh.resume: 104 resume { i8*, i32 } %3 105 106 terminate.lpad: 107 %4 = landingpad { i8*, i32 } 108 catch i8* null 109 %5 = extractvalue { i8*, i32 } %4, 0 110 tail call void @__clang_call_terminate(i8* %5) 111 unreachable 112 } 113 114 declare void @__clang_call_terminate(i8*) 115 116 declare i32 @__gxx_personality_v0(...) 117 118 declare i8* @__cxa_begin_catch(i8*) 119 120 declare void @__cxa_end_catch() 121 122 declare void @_ZSt9terminatev() 123 124 !llvm.dbg.cu = !{!0} 125 !llvm.module.flags = !{!10, !11} 126 !llvm.ident = !{!12} 127 128 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.5 ", isOptimized: false, emissionKind: FullDebug, file: !1, enums: !2, retainedTypes: !2, globals: !2, imports: !2) 129 !1 = !DIFile(filename: "exp.cpp", directory: "/tmp") 130 !2 = !{} 131 !4 = distinct !DISubprogram(name: "test", linkageName: "_Z4testiiiiiddddd", line: 4, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 5, file: !1, scope: !5, type: !6, variables: !2) 132 !5 = !DIFile(filename: "exp.cpp", directory: "/tmp") 133 !6 = !DISubroutineType(types: !7) 134 !7 = !{null, !8, !8, !8, !8, !8, !9, !9, !9, !9, !9} 135 !8 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 136 !9 = !DIBasicType(tag: DW_TAG_base_type, name: "double", size: 64, align: 64, encoding: DW_ATE_float) 137 !10 = !{i32 2, !"Dwarf Version", i32 4} 138 !11 = !{i32 1, !"Debug Info Version", i32 3} 139 !12 = !{!"clang version 3.5 "} 140 !13 = !DILocalVariable(name: "a", line: 4, arg: 1, scope: !4, file: !5, type: !8) 141 !14 = !DILocation(line: 4, scope: !4) 142 !15 = !DILocalVariable(name: "b", line: 4, arg: 2, scope: !4, file: !5, type: !8) 143 !16 = !DILocalVariable(name: "c", line: 4, arg: 3, scope: !4, file: !5, type: !8) 144 !17 = !DILocalVariable(name: "d", line: 4, arg: 4, scope: !4, file: !5, type: !8) 145 !18 = !DILocalVariable(name: "e", line: 4, arg: 5, scope: !4, file: !5, type: !8) 146 !19 = !DILocalVariable(name: "m", line: 5, arg: 6, scope: !4, file: !5, type: !9) 147 !20 = !DILocation(line: 5, scope: !4) 148 !21 = !DILocalVariable(name: "n", line: 5, arg: 7, scope: !4, file: !5, type: !9) 149 !22 = !DILocalVariable(name: "p", line: 5, arg: 8, scope: !4, file: !5, type: !9) 150 !23 = !DILocalVariable(name: "q", line: 5, arg: 9, scope: !4, file: !5, type: !9) 151 !24 = !DILocalVariable(name: "r", line: 5, arg: 10, scope: !4, file: !5, type: !9) 152 !25 = !DILocation(line: 7, scope: !26) 153 !26 = distinct !DILexicalBlock(line: 6, column: 0, file: !1, scope: !4) 154 !27 = !DILocation(line: 8, scope: !26) 155 !28 = !DILocation(line: 11, scope: !26) 156 !29 = !DILocation(line: 9, scope: !30) 157 !30 = distinct !DILexicalBlock(line: 8, column: 0, file: !1, scope: !4) 158 !31 = !DILocation(line: 10, scope: !30) 159 !32 = !DILocation(line: 10, scope: !4) 160 !33 = !DILocation(line: 11, scope: !4) 161 !34 = !DILocation(line: 11, scope: !30) 162 163 ; CHECK-FP-LABEL: _Z4testiiiiiddddd: 164 ; CHECK-FP: .cfi_startproc 165 ; CHECK-FP: push {r4, r5, r6, r7, r8, r9, r10, r11, lr} 166 ; CHECK-FP: .cfi_def_cfa_offset 36 167 ; CHECK-FP: .cfi_offset lr, -4 168 ; CHECK-FP: .cfi_offset r11, -8 169 ; CHECK-FP: .cfi_offset r10, -12 170 ; CHECK-FP: .cfi_offset r9, -16 171 ; CHECK-FP: .cfi_offset r8, -20 172 ; CHECK-FP: .cfi_offset r7, -24 173 ; CHECK-FP: .cfi_offset r6, -28 174 ; CHECK-FP: .cfi_offset r5, -32 175 ; CHECK-FP: .cfi_offset r4, -36 176 ; CHECK-FP: add r11, sp, #28 177 ; CHECK-FP: .cfi_def_cfa r11, 8 178 ; CHECK-FP: sub sp, sp, #44 179 ; CHECK-FP: .cfi_endproc 180 181 ; CHECK-FP-ELIM-LABEL: _Z4testiiiiiddddd: 182 ; CHECK-FP-ELIM: .cfi_startproc 183 ; CHECK-FP-ELIM: push {r4, r5, r6, r7, r8, r9, r10, r11, lr} 184 ; CHECK-FP-ELIM: .cfi_def_cfa_offset 36 185 ; CHECK-FP-ELIM: .cfi_offset lr, -4 186 ; CHECK-FP-ELIM: .cfi_offset r11, -8 187 ; CHECK-FP-ELIM: .cfi_offset r10, -12 188 ; CHECK-FP-ELIM: .cfi_offset r9, -16 189 ; CHECK-FP-ELIM: .cfi_offset r8, -20 190 ; CHECK-FP-ELIM: .cfi_offset r7, -24 191 ; CHECK-FP-ELIM: .cfi_offset r6, -28 192 ; CHECK-FP-ELIM: .cfi_offset r5, -32 193 ; CHECK-FP-ELIM: .cfi_offset r4, -36 194 ; CHECK-FP-ELIM: sub sp, sp, #36 195 ; CHECK-FP-ELIM: .cfi_def_cfa_offset 72 196 ; CHECK-FP-ELIM: .cfi_endproc 197 198 ; CHECK-V7-FP-LABEL: _Z4testiiiiiddddd: 199 ; CHECK-V7-FP: .cfi_startproc 200 ; CHECK-V7-FP: push {r4, r10, r11, lr} 201 ; CHECK-V7-FP: .cfi_def_cfa_offset 16 202 ; CHECK-V7-FP: .cfi_offset lr, -4 203 ; CHECK-V7-FP: .cfi_offset r11, -8 204 ; CHECK-V7-FP: .cfi_offset r10, -12 205 ; CHECK-V7-FP: .cfi_offset r4, -16 206 ; CHECK-V7-FP: add r11, sp, #8 207 ; CHECK-V7-FP: .cfi_def_cfa r11, 8 208 ; CHECK-V7-FP: vpush {d8, d9, d10, d11, d12} 209 ; CHECK-V7-FP: .cfi_offset d12, -24 210 ; CHECK-V7-FP: .cfi_offset d11, -32 211 ; CHECK-V7-FP: .cfi_offset d10, -40 212 ; CHECK-V7-FP: .cfi_offset d9, -48 213 ; CHECK-V7-FP: .cfi_offset d8, -56 214 ; CHECK-V7-FP: sub sp, sp, #24 215 ; CHECK-V7-FP: .cfi_endproc 216 217 ; CHECK-V7-FP-ELIM-LABEL: _Z4testiiiiiddddd: 218 ; CHECK-V7-FP-ELIM: .cfi_startproc 219 ; CHECK-V7-FP-ELIM: push {r4, lr} 220 ; CHECK-V7-FP-ELIM: .cfi_def_cfa_offset 8 221 ; CHECK-V7-FP-ELIM: .cfi_offset lr, -4 222 ; CHECK-V7-FP-ELIM: .cfi_offset r4, -8 223 ; CHECK-V7-FP-ELIM: vpush {d8, d9, d10, d11, d12} 224 ; CHECK-V7-FP-ELIM: .cfi_def_cfa_offset 48 225 ; CHECK-V7-FP-ELIM: .cfi_offset d12, -16 226 ; CHECK-V7-FP-ELIM: .cfi_offset d11, -24 227 ; CHECK-V7-FP-ELIM: .cfi_offset d10, -32 228 ; CHECK-V7-FP-ELIM: .cfi_offset d9, -40 229 ; CHECK-V7-FP-ELIM: .cfi_offset d8, -48 230 ; CHECK-V7-FP-ELIM: sub sp, sp, #24 231 ; CHECK-V7-FP-ELIM: .cfi_def_cfa_offset 72 232 ; CHECK-V7-FP-ELIM: .cfi_endproc 233 234 ; CHECK-THUMB-FP-LABEL: _Z4testiiiiiddddd: 235 ; CHECK-THUMB-FP: .cfi_startproc 236 ; CHECK-THUMB-FP: push {r4, r5, r6, r7, lr} 237 ; CHECK-THUMB-FP: .cfi_def_cfa_offset 20 238 ; CHECK-THUMB-FP: .cfi_offset lr, -4 239 ; CHECK-THUMB-FP: .cfi_offset r7, -8 240 ; CHECK-THUMB-FP: .cfi_offset r6, -12 241 ; CHECK-THUMB-FP: .cfi_offset r5, -16 242 ; CHECK-THUMB-FP: .cfi_offset r4, -20 243 ; CHECK-THUMB-FP: add r7, sp, #12 244 ; CHECK-THUMB-FP: .cfi_def_cfa r7, 8 245 ; CHECK-THUMB-FP: sub sp, #60 246 ; CHECK-THUMB-FP: .cfi_endproc 247 248 ; CHECK-THUMB-FP-ELIM-LABEL: _Z4testiiiiiddddd: 249 ; CHECK-THUMB-FP-ELIM: .cfi_startproc 250 ; CHECK-THUMB-FP-ELIM: push {r4, r5, r6, r7, lr} 251 ; CHECK-THUMB-FP-ELIM: .cfi_def_cfa_offset 20 252 ; CHECK-THUMB-FP-ELIM: .cfi_offset lr, -4 253 ; CHECK-THUMB-FP-ELIM: .cfi_offset r7, -8 254 ; CHECK-THUMB-FP-ELIM: .cfi_offset r6, -12 255 ; CHECK-THUMB-FP-ELIM: .cfi_offset r5, -16 256 ; CHECK-THUMB-FP-ELIM: .cfi_offset r4, -20 257 ; CHECK-THUMB-FP-ELIM: sub sp, #60 258 ; CHECK-THUMB-FP-ELIM: .cfi_def_cfa_offset 80 259 ; CHECK-THUMB-FP-ELIM: .cfi_endproc 260 261 ; CHECK-THUMB-V7-FP-LABEL: _Z4testiiiiiddddd: 262 ; CHECK-THUMB-V7-FP: .cfi_startproc 263 ; CHECK-THUMB-V7-FP: push {r4, r6, r7, lr} 264 ; CHECK-THUMB-V7-FP: .cfi_def_cfa_offset 16 265 ; CHECK-THUMB-V7-FP: .cfi_offset lr, -4 266 ; CHECK-THUMB-V7-FP: .cfi_offset r7, -8 267 ; CHECK-THUMB-V7-FP: .cfi_offset r6, -12 268 ; CHECK-THUMB-V7-FP: .cfi_offset r4, -16 269 ; CHECK-THUMB-V7-FP: add r7, sp, #8 270 ; CHECK-THUMB-V7-FP: .cfi_def_cfa r7, 8 271 ; CHECK-THUMB-V7-FP: vpush {d8, d9, d10, d11, d12} 272 ; CHECK-THUMB-V7-FP: .cfi_offset d12, -24 273 ; CHECK-THUMB-V7-FP: .cfi_offset d11, -32 274 ; CHECK-THUMB-V7-FP: .cfi_offset d10, -40 275 ; CHECK-THUMB-V7-FP: .cfi_offset d9, -48 276 ; CHECK-THUMB-V7-FP: .cfi_offset d8, -56 277 ; CHECK-THUMB-V7-FP: sub sp, #24 278 ; CHECK-THUMB-V7-FP: .cfi_endproc 279 280 ; CHECK-THUMB-V7-FP-ELIM-LABEL: _Z4testiiiiiddddd: 281 ; CHECK-THUMB-V7-FP-ELIM: .cfi_startproc 282 ; CHECK-THUMB-V7-FP-ELIM: push {r4, lr} 283 ; CHECK-THUMB-V7-FP-ELIM: .cfi_def_cfa_offset 8 284 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset lr, -4 285 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset r4, -8 286 ; CHECK-THUMB-V7-FP-ELIM: vpush {d8, d9, d10, d11, d12} 287 ; CHECK-THUMB-V7-FP-ELIM: .cfi_def_cfa_offset 48 288 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset d12, -16 289 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset d11, -24 290 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset d10, -32 291 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset d9, -40 292 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset d8, -48 293 ; CHECK-THUMB-V7-FP-ELIM: sub sp, #24 294 ; CHECK-THUMB-V7-FP-ELIM: .cfi_def_cfa_offset 72 295 ; CHECK-THUMB-V7-FP-ELIM: .cfi_endproc 296 297 ; CHECK-THUMB-V7-FP-NOIAS-LABEL: _Z4testiiiiiddddd: 298 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_startproc 299 ; CHECK-THUMB-V7-FP-NOIAS: push {r4, r6, r7, lr} 300 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_def_cfa_offset 16 301 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_offset 14, -4 302 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_offset 7, -8 303 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_offset 6, -12 304 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_offset 4, -16 305 ; CHECK-THUMB-V7-FP-NOIAS: add r7, sp, #8 306 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_def_cfa 7, 8 307 ; CHECK-THUMB-V7-FP-NOIAS: vpush {d8, d9, d10, d11, d12} 308 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_offset 268, -24 309 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_offset 267, -32 310 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_offset 266, -40 311 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_offset 265, -48 312 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_offset 264, -56 313 ; CHECK-THUMB-V7-FP-NOIAS: sub sp, #24 314 ; CHECK-THUMB-V7-FP-NOIAS: .cfi_endproc 315 316 ;------------------------------------------------------------------------------- 317 ; Test 2 318 ;------------------------------------------------------------------------------- 319 320 declare void @throw_exception_2() 321 322 define void @test2() { 323 entry: 324 call void @throw_exception_2() 325 ret void 326 } 327 328 ; CHECK-FP-LABEL: test2: 329 ; CHECK-FP: .cfi_startproc 330 ; CHECK-FP: push {r11, lr} 331 ; CHECK-FP: .cfi_def_cfa_offset 8 332 ; CHECK-FP: .cfi_offset lr, -4 333 ; CHECK-FP: .cfi_offset r11, -8 334 ; CHECK-FP: mov r11, sp 335 ; CHECK-FP: .cfi_def_cfa_register r11 336 ; CHECK-FP: pop {r11, lr} 337 ; CHECK-FP: mov pc, lr 338 ; CHECK-FP: .cfi_endproc 339 340 ; CHECK-FP-ELIM-LABEL: test2: 341 ; CHECK-FP-ELIM: .cfi_startproc 342 ; CHECK-FP-ELIM: push {r11, lr} 343 ; CHECK-FP-ELIM: .cfi_def_cfa_offset 8 344 ; CHECK-FP-ELIM: .cfi_offset lr, -4 345 ; CHECK-FP-ELIM: .cfi_offset r11, -8 346 ; CHECK-FP-ELIM: pop {r11, lr} 347 ; CHECK-FP-ELIM: mov pc, lr 348 ; CHECK-FP-ELIM: .cfi_endproc 349 350 ; CHECK-V7-FP-LABEL: test2: 351 ; CHECK-V7-FP: .cfi_startproc 352 ; CHECK-V7-FP: push {r11, lr} 353 ; CHECK-V7-FP: .cfi_def_cfa_offset 8 354 ; CHECK-V7-FP: .cfi_offset lr, -4 355 ; CHECK-V7-FP: .cfi_offset r11, -8 356 ; CHECK-V7-FP: mov r11, sp 357 ; CHECK-V7-FP: .cfi_def_cfa_register r11 358 ; CHECK-V7-FP: pop {r11, pc} 359 ; CHECK-V7-FP: .cfi_endproc 360 361 ; CHECK-V7-FP-ELIM-LABEL: test2: 362 ; CHECK-V7-FP-ELIM: .cfi_startproc 363 ; CHECK-V7-FP-ELIM: push {r11, lr} 364 ; CHECK-V7-FP-ELIM: .cfi_def_cfa_offset 8 365 ; CHECK-V7-FP-ELIM: .cfi_offset lr, -4 366 ; CHECK-V7-FP-ELIM: .cfi_offset r11, -8 367 ; CHECK-V7-FP-ELIM: pop {r11, pc} 368 ; CHECK-V7-FP-ELIM: .cfi_endproc 369 370 ; CHECK-THUMB-FP-LABEL: test2: 371 ; CHECK-THUMB-FP: .cfi_startproc 372 ; CHECK-THUMB-FP: push {r7, lr} 373 ; CHECK-THUMB-FP: .cfi_def_cfa_offset 8 374 ; CHECK-THUMB-FP: .cfi_offset lr, -4 375 ; CHECK-THUMB-FP: .cfi_offset r7, -8 376 ; CHECK-THUMB-FP: add r7, sp, #0 377 ; CHECK-THUMB-FP: .cfi_def_cfa_register r7 378 ; CHECK-THUMB-FP: pop {r7, pc} 379 ; CHECK-THUMB-FP: .cfi_endproc 380 381 ; CHECK-THUMB-FP-ELIM-LABEL: test2: 382 ; CHECK-THUMB-FP-ELIM: .cfi_startproc 383 ; CHECK-THUMB-FP-ELIM: push {r7, lr} 384 ; CHECK-THUMB-FP-ELIM: .cfi_def_cfa_offset 8 385 ; CHECK-THUMB-FP-ELIM: .cfi_offset lr, -4 386 ; CHECK-THUMB-FP-ELIM: .cfi_offset r7, -8 387 ; CHECK-THUMB-FP-ELIM: pop {r7, pc} 388 ; CHECK-THUMB-FP-ELIM: .cfi_endproc 389 390 ; CHECK-THUMB-V7-FP-LABEL: test2: 391 ; CHECK-THUMB-V7-FP: .cfi_startproc 392 ; CHECK-THUMB-V7-FP: push {r7, lr} 393 ; CHECK-THUMB-V7-FP: .cfi_def_cfa_offset 8 394 ; CHECK-THUMB-V7-FP: .cfi_offset lr, -4 395 ; CHECK-THUMB-V7-FP: .cfi_offset r7, -8 396 ; CHECK-THUMB-V7-FP: mov r7, sp 397 ; CHECK-THUMB-V7-FP: .cfi_def_cfa_register r7 398 ; CHECK-THUMB-V7-FP: pop {r7, pc} 399 ; CHECK-THUMB-V7-FP: .cfi_endproc 400 401 ; CHECK-THUMB-V7-FP-ELIM-LABEL: test2: 402 ; CHECK-THUMB-V7-FP-ELIM: .cfi_startproc 403 ; CHECK-THUMB-V7-FP-ELIM: push {r7, lr} 404 ; CHECK-THUMB-V7-FP-ELIM: .cfi_def_cfa_offset 8 405 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset lr, -4 406 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset r7, -8 407 ; CHECK-THUMB-V7-FP-ELIM: pop {r7, pc} 408 ; CHECK-THUMB-V7-FP-ELIM: .cfi_endproc 409 410 411 ;------------------------------------------------------------------------------- 412 ; Test 3 413 ;------------------------------------------------------------------------------- 414 415 declare void @throw_exception_3(i32) 416 417 define i32 @test3(i32 %a, i32 %b, i32 %c, i32 %d, 418 i32 %e, i32 %f, i32 %g, i32 %h) { 419 entry: 420 %add = add nsw i32 %b, %a 421 %add1 = add nsw i32 %add, %c 422 %add2 = add nsw i32 %add1, %d 423 tail call void @throw_exception_3(i32 %add2) 424 %add3 = add nsw i32 %f, %e 425 %add4 = add nsw i32 %add3, %g 426 %add5 = add nsw i32 %add4, %h 427 tail call void @throw_exception_3(i32 %add5) 428 %add6 = add nsw i32 %add5, %add2 429 ret i32 %add6 430 } 431 432 ; CHECK-FP-LABEL: test3: 433 ; CHECK-FP: .cfi_startproc 434 ; CHECK-FP: push {r4, r5, r11, lr} 435 ; CHECK-FP: .cfi_def_cfa_offset 16 436 ; CHECK-FP: .cfi_offset lr, -4 437 ; CHECK-FP: .cfi_offset r11, -8 438 ; CHECK-FP: .cfi_offset r5, -12 439 ; CHECK-FP: .cfi_offset r4, -16 440 ; CHECK-FP: add r11, sp, #8 441 ; CHECK-FP: .cfi_def_cfa r11, 8 442 ; CHECK-FP: pop {r4, r5, r11, lr} 443 ; CHECK-FP: mov pc, lr 444 ; CHECK-FP: .cfi_endproc 445 446 ; CHECK-FP-ELIM-LABEL: test3: 447 ; CHECK-FP-ELIM: .cfi_startproc 448 ; CHECK-FP-ELIM: push {r4, r5, r11, lr} 449 ; CHECK-FP-ELIM: .cfi_def_cfa_offset 16 450 ; CHECK-FP-ELIM: .cfi_offset lr, -4 451 ; CHECK-FP-ELIM: .cfi_offset r11, -8 452 ; CHECK-FP-ELIM: .cfi_offset r5, -12 453 ; CHECK-FP-ELIM: .cfi_offset r4, -16 454 ; CHECK-FP-ELIM: pop {r4, r5, r11, lr} 455 ; CHECK-FP-ELIM: mov pc, lr 456 ; CHECK-FP-ELIM: .cfi_endproc 457 458 ; CHECK-V7-FP-LABEL: test3: 459 ; CHECK-V7-FP: .cfi_startproc 460 ; CHECK-V7-FP: push {r4, r5, r11, lr} 461 ; CHECK-V7-FP: .cfi_def_cfa_offset 16 462 ; CHECK-V7-FP: .cfi_offset lr, -4 463 ; CHECK-V7-FP: .cfi_offset r11, -8 464 ; CHECK-V7-FP: .cfi_offset r5, -12 465 ; CHECK-V7-FP: .cfi_offset r4, -16 466 ; CHECK-V7-FP: add r11, sp, #8 467 ; CHECK-V7-FP: .cfi_def_cfa r11, 8 468 ; CHECK-V7-FP: pop {r4, r5, r11, pc} 469 ; CHECK-V7-FP: .cfi_endproc 470 471 ; CHECK-V7-FP-ELIM-LABEL: test3: 472 ; CHECK-V7-FP-ELIM: .cfi_startproc 473 ; CHECK-V7-FP-ELIM: push {r4, r5, r11, lr} 474 ; CHECK-V7-FP-ELIM: .cfi_def_cfa_offset 16 475 ; CHECK-V7-FP-ELIM: .cfi_offset lr, -4 476 ; CHECK-V7-FP-ELIM: .cfi_offset r11, -8 477 ; CHECK-V7-FP-ELIM: .cfi_offset r5, -12 478 ; CHECK-V7-FP-ELIM: .cfi_offset r4, -16 479 ; CHECK-V7-FP-ELIM: pop {r4, r5, r11, pc} 480 ; CHECK-V7-FP-ELIM: .cfi_endproc 481 482 ; CHECK-THUMB-FP-LABEL: test3: 483 ; CHECK-THUMB-FP: .cfi_startproc 484 ; CHECK-THUMB-FP: push {r4, r5, r7, lr} 485 ; CHECK-THUMB-FP: .cfi_def_cfa_offset 16 486 ; CHECK-THUMB-FP: .cfi_offset lr, -4 487 ; CHECK-THUMB-FP: .cfi_offset r7, -8 488 ; CHECK-THUMB-FP: .cfi_offset r5, -12 489 ; CHECK-THUMB-FP: .cfi_offset r4, -16 490 ; CHECK-THUMB-FP: add r7, sp, #8 491 ; CHECK-THUMB-FP: .cfi_def_cfa r7, 8 492 ; CHECK-THUMB-FP: pop {r4, r5, r7, pc} 493 ; CHECK-THUMB-FP: .cfi_endproc 494 495 ; CHECK-THUMB-FP-ELIM-LABEL: test3: 496 ; CHECK-THUMB-FP-ELIM: .cfi_startproc 497 ; CHECK-THUMB-FP-ELIM: push {r4, r5, r7, lr} 498 ; CHECK-THUMB-FP-ELIM: .cfi_def_cfa_offset 16 499 ; CHECK-THUMB-FP-ELIM: .cfi_offset lr, -4 500 ; CHECK-THUMB-FP-ELIM: .cfi_offset r7, -8 501 ; CHECK-THUMB-FP-ELIM: .cfi_offset r5, -12 502 ; CHECK-THUMB-FP-ELIM: .cfi_offset r4, -16 503 ; CHECK-THUMB-FP-ELIM: pop {r4, r5, r7, pc} 504 ; CHECK-THUMB-FP-ELIM: .cfi_endproc 505 506 ; CHECK-THUMB-V7-FP-LABEL: test3: 507 ; CHECK-THUMB-V7-FP: .cfi_startproc 508 ; CHECK-THUMB-V7-FP: push {r4, r5, r7, lr} 509 ; CHECK-THUMB-V7-FP: .cfi_def_cfa_offset 16 510 ; CHECK-THUMB-V7-FP: .cfi_offset lr, -4 511 ; CHECK-THUMB-V7-FP: .cfi_offset r7, -8 512 ; CHECK-THUMB-V7-FP: .cfi_offset r5, -12 513 ; CHECK-THUMB-V7-FP: .cfi_offset r4, -16 514 ; CHECK-THUMB-V7-FP: add r7, sp, #8 515 ; CHECK-THUMB-V7-FP: .cfi_def_cfa r7, 8 516 ; CHECK-THUMB-V7-FP: pop {r4, r5, r7, pc} 517 ; CHECK-THUMB-V7-FP: .cfi_endproc 518 519 ; CHECK-THUMB-V7-FP-ELIM-LABEL: test3: 520 ; CHECK-THUMB-V7-FP-ELIM: .cfi_startproc 521 ; CHECK-THUMB-V7-FP-ELIM: push {r4, r5, r7, lr} 522 ; CHECK-THUMB-V7-FP-ELIM: .cfi_def_cfa_offset 16 523 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset lr, -4 524 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset r7, -8 525 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset r5, -12 526 ; CHECK-THUMB-V7-FP-ELIM: .cfi_offset r4, -16 527 ; CHECK-THUMB-V7-FP-ELIM: pop {r4, r5, r7, pc} 528 ; CHECK-THUMB-V7-FP-ELIM: .cfi_endproc 529 530 531 ;------------------------------------------------------------------------------- 532 ; Test 4 533 ;------------------------------------------------------------------------------- 534 535 define void @test4() nounwind { 536 entry: 537 ret void 538 } 539 540 ; CHECK-FP-LABEL: test4: 541 ; CHECK-FP: mov pc, lr 542 ; CHECK-FP-NOT: .cfi_def_cfa_offset 543 544 ; CHECK-FP-ELIM-LABEL: test4: 545 ; CHECK-FP-ELIM: mov pc, lr 546 ; CHECK-FP-ELIM-NOT: .cfi_def_cfa_offset 547 548 ; CHECK-V7-FP-LABEL: test4: 549 ; CHECK-V7-FP: bx lr 550 ; CHECK-V7-FP-NOT: .cfi_def_cfa_offset 551 552 ; CHECK-V7-FP-ELIM-LABEL: test4: 553 ; CHECK-V7-FP-ELIM: bx lr 554 ; CHECK-V7-FP-ELIM-NOT: .cfi_def_cfa_offset 555 556 ; CHECK-THUMB-FP-LABEL: test4: 557 ; CHECK-THUMB-FP: bx lr 558 ; CHECK-THUMB-FP-NOT: .cfi_def_cfa_offset 559 560 ; CHECK-THUMB-FP-ELIM-LABEL: test4: 561 ; CHECK-THUMB-FP-ELIM: bx lr 562 ; CHECK-THUMB-FP-ELIM-NOT: .cfi_def_cfa_offset 563 564 ; CHECK-THUMB-V7-FP-LABEL: test4: 565 ; CHECK-THUMB-V7-FP: bx lr 566 ; CHECK-THUMB-V7-FP-NOT: .cfi_def_cfa_offset 567 568 ; CHECK-THUMB-V7-FP-ELIM-LABEL: test4: 569 ; CHECK-THUMB-V7-FP-ELIM: bx lr 570 ; CHECK-THUMB-V7-FP-ELIM-NOT: .cfi_def_cfa_offset 571 572
