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 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 19 20; RUN: llc -mtriple arm-unknown-linux-gnueabi \ 21; RUN: -filetype=asm -o - %s \ 22; RUN: | FileCheck %s --check-prefix=CHECK-FP-ELIM 23 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 27 28; RUN: llc -mtriple armv7-unknown-linux-gnueabi \ 29; RUN: -filetype=asm -o - %s \ 30; RUN: | FileCheck %s --check-prefix=CHECK-V7-FP-ELIM 31 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 35 36; RUN: llc -mtriple thumb-unknown-linux-gnueabi \ 37; RUN: -filetype=asm -o - %s \ 38; RUN: | FileCheck %s --check-prefix=CHECK-THUMB-FP-ELIM 39 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 43 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 47 48;------------------------------------------------------------------------------- 49; Test 1 50;------------------------------------------------------------------------------- 51; This is the LLVM assembly generated from following C++ code: 52; 53; extern void print(int, int, int, int, int); 54; extern void print(double, double, double, double, double); 55; 56; void test(int a, int b, int c, int d, int e, 57; double m, double n, double p, double q, double r) { 58; try { 59; print(a, b, c, d, e); 60; } catch (...) { 61; print(m, n, p, q, r); 62; } 63; } 64 65declare void @_Z5printiiiii(i32, i32, i32, i32, i32) 66 67declare void @_Z5printddddd(double, double, double, double, double) 68 69define void @_Z4testiiiiiddddd(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, 70 double %m, double %n, double %p, 71 double %q, double %r) { 72entry: 73 invoke void @_Z5printiiiii(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e) 74 to label %try.cont unwind label %lpad 75 76lpad: 77 %0 = landingpad { i8*, i32 } 78 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 79 catch i8* null 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, 83 double %q, double %r) 84 to label %invoke.cont2 unwind label %lpad1 85 86invoke.cont2: 87 tail call void @__cxa_end_catch() 88 br label %try.cont 89 90try.cont: 91 ret void 92 93lpad1: 94 %3 = landingpad { i8*, i32 } 95 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 96 cleanup 97 invoke void @__cxa_end_catch() 98 to label %eh.resume unwind label %terminate.lpad 99 100eh.resume: 101 resume { i8*, i32 } %3 102 103terminate.lpad: 104 %4 = landingpad { i8*, i32 } 105 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 106 catch i8* null 107 %5 = extractvalue { i8*, i32 } %4, 0 108 tail call void @__clang_call_terminate(i8* %5) 109 unreachable 110} 111 112declare void @__clang_call_terminate(i8*) 113 114declare i32 @__gxx_personality_v0(...) 115 116declare i8* @__cxa_begin_catch(i8*) 117 118declare void @__cxa_end_catch() 119 120declare void @_ZSt9terminatev() 121 122!llvm.dbg.cu = !{!0} 123!llvm.module.flags = !{!10, !11} 124!llvm.ident = !{!12} 125 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"} 128!2 = metadata !{} 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} 161 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 179 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 196 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 214 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 231 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 245 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 258 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 277 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 294 295 296;------------------------------------------------------------------------------- 297; Test 2 298;------------------------------------------------------------------------------- 299 300declare void @throw_exception_2() 301 302define void @test2() { 303entry: 304 tail call void @throw_exception_2() 305 ret void 306} 307 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 319 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 329 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 340 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 349 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 360 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 369 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 380 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 389 390 391;------------------------------------------------------------------------------- 392; Test 3 393;------------------------------------------------------------------------------- 394 395declare void @throw_exception_3(i32) 396 397define i32 @test3(i32 %a, i32 %b, i32 %c, i32 %d, 398 i32 %e, i32 %f, i32 %g, i32 %h) { 399entry: 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 409 ret i32 %add6 410} 411 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 425 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 437 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 450 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 461 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 474 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 485 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 498 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 509 510 511;------------------------------------------------------------------------------- 512; Test 4 513;------------------------------------------------------------------------------- 514 515define void @test4() nounwind { 516entry: 517 ret void 518} 519 520; CHECK-FP-LABEL: test4: 521; CHECK-FP: mov pc, lr 522; CHECK-FP-NOT: .cfi_def_cfa_offset 523 524; CHECK-FP-ELIM-LABEL: test4: 525; CHECK-FP-ELIM: mov pc, lr 526; CHECK-FP-ELIM-NOT: .cfi_def_cfa_offset 527 528; CHECK-V7-FP-LABEL: test4: 529; CHECK-V7-FP: bx lr 530; CHECK-V7-FP-NOT: .cfi_def_cfa_offset 531 532; CHECK-V7-FP-ELIM-LABEL: test4: 533; CHECK-V7-FP-ELIM: bx lr 534; CHECK-V7-FP-ELIM-NOT: .cfi_def_cfa_offset 535 536; CHECK-THUMB-FP-LABEL: test4: 537; CHECK-THUMB-FP: bx lr 538; CHECK-THUMB-FP-NOT: .cfi_def_cfa_offset 539 540; CHECK-THUMB-FP-ELIM-LABEL: test4: 541; CHECK-THUMB-FP-ELIM: bx lr 542; CHECK-THUMB-FP-ELIM-NOT: .cfi_def_cfa_offset 543 544; CHECK-THUMB-V7-FP-LABEL: test4: 545; CHECK-THUMB-V7-FP: bx lr 546; CHECK-THUMB-V7-FP-NOT: .cfi_def_cfa_offset 547 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 551 552