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 -frame-pointer=all 8; (2) arm without -frame-pointer=all 9; (3) armv7 with -frame-pointer=all 10; (4) armv7 without -frame-pointer=all 11; (5) thumb with -frame-pointer=all 12; (6) thumb without -frame-pointer=all 13; (7) thumbv7 with -frame-pointer=all 14; (8) thumbv7 without -frame-pointer=all 15; (9) thumbv7 with -no-integrated-as 16 17; RUN: llc -mtriple arm-unknown-linux-gnueabi \ 18; RUN: -frame-pointer=all -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: -frame-pointer=all -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: -frame-pointer=all -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: -frame-pointer=all -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: -frame-pointer=all -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 70declare void @_Z5printiiiii(i32, i32, i32, i32, i32) 71 72declare void @_Z5printddddd(double, double, double, double, double) 73 74define 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*) { 77entry: 78 invoke void @_Z5printiiiii(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e) 79 to label %try.cont unwind label %lpad 80 81lpad: 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 90invoke.cont2: 91 tail call void @__cxa_end_catch() 92 br label %try.cont 93 94try.cont: 95 ret void 96 97lpad1: 98 %3 = landingpad { i8*, i32 } 99 cleanup 100 invoke void @__cxa_end_catch() 101 to label %eh.resume unwind label %terminate.lpad 102 103eh.resume: 104 resume { i8*, i32 } %3 105 106terminate.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 114declare void @__clang_call_terminate(i8*) 115 116declare i32 @__gxx_personality_v0(...) 117 118declare i8* @__cxa_begin_catch(i8*) 119 120declare void @__cxa_end_catch() 121 122declare 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, retainedNodes: !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, #52 258; CHECK-THUMB-FP-ELIM: .cfi_def_cfa_offset 72 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 320declare void @throw_exception_2() 321 322define void @test2() { 323entry: 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 415declare void @throw_exception_3(i32) 416 417define i32 @test3(i32 %a, i32 %b, i32 %c, i32 %d, 418 i32 %e, i32 %f, i32 %g, i32 %h) { 419entry: 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 535define void @test4() nounwind { 536entry: 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