test/CodeGen/ARM/debug-frame.ll

   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 thumb-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 thumb-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: 0, file: !1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !2, imports: !2)
 129 !1 = !DIFile(filename: "exp.cpp", directory: "/tmp")
 130 !2 = !{}
 131 !3 = !{!4}
 132 !4 = distinct !DISubprogram(name: "test", linkageName: "_Z4testiiiiiddddd", line: 4, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 5, file: !1, scope: !5, type: !6, variables: !2)
 133 !5 = !DIFile(filename: "exp.cpp", directory: "/tmp")
 134 !6 = !DISubroutineType(types: !7)
 135 !7 = !{null, !8, !8, !8, !8, !8, !9, !9, !9, !9, !9}
 136 !8 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
 137 !9 = !DIBasicType(tag: DW_TAG_base_type, name: "double", size: 64, align: 64, encoding: DW_ATE_float)
 138 !10 = !{i32 2, !"Dwarf Version", i32 4}
 139 !11 = !{i32 1, !"Debug Info Version", i32 3}
 140 !12 = !{!"clang version 3.5 "}
 141 !13 = !DILocalVariable(name: "a", line: 4, arg: 1, scope: !4, file: !5, type: !8)
 142 !14 = !DILocation(line: 4, scope: !4)
 143 !15 = !DILocalVariable(name: "b", line: 4, arg: 2, scope: !4, file: !5, type: !8)
 144 !16 = !DILocalVariable(name: "c", line: 4, arg: 3, scope: !4, file: !5, type: !8)
 145 !17 = !DILocalVariable(name: "d", line: 4, arg: 4, scope: !4, file: !5, type: !8)
 146 !18 = !DILocalVariable(name: "e", line: 4, arg: 5, scope: !4, file: !5, type: !8)
 147 !19 = !DILocalVariable(name: "m", line: 5, arg: 6, scope: !4, file: !5, type: !9)
 148 !20 = !DILocation(line: 5, scope: !4)
 149 !21 = !DILocalVariable(name: "n", line: 5, arg: 7, scope: !4, file: !5, type: !9)
 150 !22 = !DILocalVariable(name: "p", line: 5, arg: 8, scope: !4, file: !5, type: !9)
 151 !23 = !DILocalVariable(name: "q", line: 5, arg: 9, scope: !4, file: !5, type: !9)
 152 !24 = !DILocalVariable(name: "r", line: 5, arg: 10, scope: !4, file: !5, type: !9)
 153 !25 = !DILocation(line: 7, scope: !26)
 154 !26 = distinct !DILexicalBlock(line: 6, column: 0, file: !1, scope: !4)
 155 !27 = !DILocation(line: 8, scope: !26)
 156 !28 = !DILocation(line: 11, scope: !26)
 157 !29 = !DILocation(line: 9, scope: !30)
 158 !30 = distinct !DILexicalBlock(line: 8, column: 0, file: !1, scope: !4)
 159 !31 = !DILocation(line: 10, scope: !30)
 160 !32 = !DILocation(line: 10, scope: !4)
 161 !33 = !DILocation(line: 11, scope: !4)
 162 !34 = !DILocation(line: 11, scope: !30)
 163
 164 ; CHECK-FP-LABEL: _Z4testiiiiiddddd:
 165 ; CHECK-FP:   .cfi_startproc
 166 ; CHECK-FP:   push   {r4, r5, r6, r7, r8, r9, r10, r11, lr}
 167 ; CHECK-FP:   .cfi_def_cfa_offset 36
 168 ; CHECK-FP:   .cfi_offset lr, -4
 169 ; CHECK-FP:   .cfi_offset r11, -8
 170 ; CHECK-FP:   .cfi_offset r10, -12
 171 ; CHECK-FP:   .cfi_offset r9, -16
 172 ; CHECK-FP:   .cfi_offset r8, -20
 173 ; CHECK-FP:   .cfi_offset r7, -24
 174 ; CHECK-FP:   .cfi_offset r6, -28
 175 ; CHECK-FP:   .cfi_offset r5, -32
 176 ; CHECK-FP:   .cfi_offset r4, -36
 177 ; CHECK-FP:   add    r11, sp, #28
 178 ; CHECK-FP:   .cfi_def_cfa r11, 8
 179 ; CHECK-FP:   sub    sp, sp, #44
 180 ; CHECK-FP:   .cfi_endproc
 181
 182 ; CHECK-FP-ELIM-LABEL: _Z4testiiiiiddddd:
 183 ; CHECK-FP-ELIM:   .cfi_startproc
 184 ; CHECK-FP-ELIM:   push  {r4, r5, r6, r7, r8, r9, r10, r11, lr}
 185 ; CHECK-FP-ELIM:   .cfi_def_cfa_offset 36
 186 ; CHECK-FP-ELIM:   .cfi_offset lr, -4
 187 ; CHECK-FP-ELIM:   .cfi_offset r11, -8
 188 ; CHECK-FP-ELIM:   .cfi_offset r10, -12
 189 ; CHECK-FP-ELIM:   .cfi_offset r9, -16
 190 ; CHECK-FP-ELIM:   .cfi_offset r8, -20
 191 ; CHECK-FP-ELIM:   .cfi_offset r7, -24
 192 ; CHECK-FP-ELIM:   .cfi_offset r6, -28
 193 ; CHECK-FP-ELIM:   .cfi_offset r5, -32
 194 ; CHECK-FP-ELIM:   .cfi_offset r4, -36
 195 ; CHECK-FP-ELIM:   sub   sp, sp, #36
 196 ; CHECK-FP-ELIM:   .cfi_def_cfa_offset 72
 197 ; CHECK-FP-ELIM:   .cfi_endproc
 198
 199 ; CHECK-V7-FP-LABEL: _Z4testiiiiiddddd:
 200 ; CHECK-V7-FP:   .cfi_startproc
 201 ; CHECK-V7-FP:   push   {r4, r10, r11, lr}
 202 ; CHECK-V7-FP:   .cfi_def_cfa_offset 16
 203 ; CHECK-V7-FP:   .cfi_offset lr, -4
 204 ; CHECK-V7-FP:   .cfi_offset r11, -8
 205 ; CHECK-V7-FP:   .cfi_offset r10, -12
 206 ; CHECK-V7-FP:   .cfi_offset r4, -16
 207 ; CHECK-V7-FP:   add    r11, sp, #8
 208 ; CHECK-V7-FP:   .cfi_def_cfa r11, 8
 209 ; CHECK-V7-FP:   vpush  {d8, d9, d10, d11, d12}
 210 ; CHECK-V7-FP:   .cfi_offset d12, -24
 211 ; CHECK-V7-FP:   .cfi_offset d11, -32
 212 ; CHECK-V7-FP:   .cfi_offset d10, -40
 213 ; CHECK-V7-FP:   .cfi_offset d9, -48
 214 ; CHECK-V7-FP:   .cfi_offset d8, -56
 215 ; CHECK-V7-FP:   sub    sp, sp, #24
 216 ; CHECK-V7-FP:   .cfi_endproc
 217
 218 ; CHECK-V7-FP-ELIM-LABEL: _Z4testiiiiiddddd:
 219 ; CHECK-V7-FP-ELIM:   .cfi_startproc
 220 ; CHECK-V7-FP-ELIM:   push   {r4, lr}
 221 ; CHECK-V7-FP-ELIM:   .cfi_def_cfa_offset 8
 222 ; CHECK-V7-FP-ELIM:   .cfi_offset lr, -4
 223 ; CHECK-V7-FP-ELIM:   .cfi_offset r4, -8
 224 ; CHECK-V7-FP-ELIM:   vpush  {d8, d9, d10, d11, d12}
 225 ; CHECK-V7-FP-ELIM:   .cfi_def_cfa_offset 48
 226 ; CHECK-V7-FP-ELIM:   .cfi_offset d12, -16
 227 ; CHECK-V7-FP-ELIM:   .cfi_offset d11, -24
 228 ; CHECK-V7-FP-ELIM:   .cfi_offset d10, -32
 229 ; CHECK-V7-FP-ELIM:   .cfi_offset d9, -40
 230 ; CHECK-V7-FP-ELIM:   .cfi_offset d8, -48
 231 ; CHECK-V7-FP-ELIM:   sub    sp, sp, #24
 232 ; CHECK-V7-FP-ELIM:   .cfi_def_cfa_offset 72
 233 ; CHECK-V7-FP-ELIM:   .cfi_endproc
 234
 235 ; CHECK-THUMB-FP-LABEL: _Z4testiiiiiddddd:
 236 ; CHECK-THUMB-FP:   .cfi_startproc
 237 ; CHECK-THUMB-FP:   push   {r4, r5, r6, r7, lr}
 238 ; CHECK-THUMB-FP:   .cfi_def_cfa_offset 20
 239 ; CHECK-THUMB-FP:   .cfi_offset lr, -4
 240 ; CHECK-THUMB-FP:   .cfi_offset r7, -8
 241 ; CHECK-THUMB-FP:   .cfi_offset r6, -12
 242 ; CHECK-THUMB-FP:   .cfi_offset r5, -16
 243 ; CHECK-THUMB-FP:   .cfi_offset r4, -20
 244 ; CHECK-THUMB-FP:   add    r7, sp, #12
 245 ; CHECK-THUMB-FP:   .cfi_def_cfa r7, 8
 246 ; CHECK-THUMB-FP:   sub    sp, #60
 247 ; CHECK-THUMB-FP:   .cfi_endproc
 248
 249 ; CHECK-THUMB-FP-ELIM-LABEL: _Z4testiiiiiddddd:
 250 ; CHECK-THUMB-FP-ELIM:   .cfi_startproc
 251 ; CHECK-THUMB-FP-ELIM:   push   {r4, r5, r6, r7, lr}
 252 ; CHECK-THUMB-FP-ELIM:   .cfi_def_cfa_offset 20
 253 ; CHECK-THUMB-FP-ELIM:   .cfi_offset lr, -4
 254 ; CHECK-THUMB-FP-ELIM:   .cfi_offset r7, -8
 255 ; CHECK-THUMB-FP-ELIM:   .cfi_offset r6, -12
 256 ; CHECK-THUMB-FP-ELIM:   .cfi_offset r5, -16
 257 ; CHECK-THUMB-FP-ELIM:   .cfi_offset r4, -20
 258 ; CHECK-THUMB-FP-ELIM:   sub    sp, #60
 259 ; CHECK-THUMB-FP-ELIM:   .cfi_def_cfa_offset 80
 260 ; CHECK-THUMB-FP-ELIM:   .cfi_endproc
 261
 262 ; CHECK-THUMB-V7-FP-LABEL: _Z4testiiiiiddddd:
 263 ; CHECK-THUMB-V7-FP:   .cfi_startproc
 264 ; CHECK-THUMB-V7-FP:   push   {r4, r6, r7, lr}
 265 ; CHECK-THUMB-V7-FP:   .cfi_def_cfa_offset 16
 266 ; CHECK-THUMB-V7-FP:   .cfi_offset lr, -4
 267 ; CHECK-THUMB-V7-FP:   .cfi_offset r7, -8
 268 ; CHECK-THUMB-V7-FP:   .cfi_offset r6, -12
 269 ; CHECK-THUMB-V7-FP:   .cfi_offset r4, -16
 270 ; CHECK-THUMB-V7-FP:   add    r7, sp, #8
 271 ; CHECK-THUMB-V7-FP:   .cfi_def_cfa r7, 8
 272 ; CHECK-THUMB-V7-FP:   vpush  {d8, d9, d10, d11, d12}
 273 ; CHECK-THUMB-V7-FP:   .cfi_offset d12, -24
 274 ; CHECK-THUMB-V7-FP:   .cfi_offset d11, -32
 275 ; CHECK-THUMB-V7-FP:   .cfi_offset d10, -40
 276 ; CHECK-THUMB-V7-FP:   .cfi_offset d9, -48
 277 ; CHECK-THUMB-V7-FP:   .cfi_offset d8, -56
 278 ; CHECK-THUMB-V7-FP:   sub    sp, #24
 279 ; CHECK-THUMB-V7-FP:   .cfi_endproc
 280
 281 ; CHECK-THUMB-V7-FP-ELIM-LABEL: _Z4testiiiiiddddd:
 282 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_startproc
 283 ; CHECK-THUMB-V7-FP-ELIM:   push   {r4, lr}
 284 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_def_cfa_offset 8
 285 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset lr, -4
 286 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset r4, -8
 287 ; CHECK-THUMB-V7-FP-ELIM:   vpush  {d8, d9, d10, d11, d12}
 288 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_def_cfa_offset 48
 289 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset d12, -16
 290 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset d11, -24
 291 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset d10, -32
 292 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset d9, -40
 293 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset d8, -48
 294 ; CHECK-THUMB-V7-FP-ELIM:   sub    sp, #24
 295 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_def_cfa_offset 72
 296 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_endproc
 297
 298 ; CHECK-THUMB-V7-FP-NOIAS-LABEL: _Z4testiiiiiddddd:
 299 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_startproc
 300 ; CHECK-THUMB-V7-FP-NOIAS:   push   {r4, r6, r7, lr}
 301 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_def_cfa_offset 16
 302 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_offset 14, -4
 303 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_offset 7, -8
 304 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_offset 6, -12
 305 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_offset 4, -16
 306 ; CHECK-THUMB-V7-FP-NOIAS:   add    r7, sp, #8
 307 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_def_cfa 7, 8
 308 ; CHECK-THUMB-V7-FP-NOIAS:   vpush  {d8, d9, d10, d11, d12}
 309 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_offset 268, -24
 310 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_offset 267, -32
 311 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_offset 266, -40
 312 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_offset 265, -48
 313 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_offset 264, -56
 314 ; CHECK-THUMB-V7-FP-NOIAS:   sub    sp, #24
 315 ; CHECK-THUMB-V7-FP-NOIAS:   .cfi_endproc
 316
 317 ;-------------------------------------------------------------------------------
 318 ; Test 2
 319 ;-------------------------------------------------------------------------------
 320
 321 declare void @throw_exception_2()
 322
 323 define void @test2() {
 324 entry:
 325   call void @throw_exception_2()
 326   ret void
 327 }
 328
 329 ; CHECK-FP-LABEL: test2:
 330 ; CHECK-FP:   .cfi_startproc
 331 ; CHECK-FP:   push   {r11, lr}
 332 ; CHECK-FP:   .cfi_def_cfa_offset 8
 333 ; CHECK-FP:   .cfi_offset lr, -4
 334 ; CHECK-FP:   .cfi_offset r11, -8
 335 ; CHECK-FP:   mov    r11, sp
 336 ; CHECK-FP:   .cfi_def_cfa_register r11
 337 ; CHECK-FP:   pop    {r11, lr}
 338 ; CHECK-FP:   mov    pc, lr
 339 ; CHECK-FP:   .cfi_endproc
 340
 341 ; CHECK-FP-ELIM-LABEL: test2:
 342 ; CHECK-FP-ELIM:   .cfi_startproc
 343 ; CHECK-FP-ELIM:   push  {r11, lr}
 344 ; CHECK-FP-ELIM:   .cfi_def_cfa_offset 8
 345 ; CHECK-FP-ELIM:   .cfi_offset lr, -4
 346 ; CHECK-FP-ELIM:   .cfi_offset r11, -8
 347 ; CHECK-FP-ELIM:   pop   {r11, lr}
 348 ; CHECK-FP-ELIM:   mov   pc, lr
 349 ; CHECK-FP-ELIM:   .cfi_endproc
 350
 351 ; CHECK-V7-FP-LABEL: test2:
 352 ; CHECK-V7-FP:   .cfi_startproc
 353 ; CHECK-V7-FP:   push   {r11, lr}
 354 ; CHECK-V7-FP:   .cfi_def_cfa_offset 8
 355 ; CHECK-V7-FP:   .cfi_offset lr, -4
 356 ; CHECK-V7-FP:   .cfi_offset r11, -8
 357 ; CHECK-V7-FP:   mov    r11, sp
 358 ; CHECK-V7-FP:   .cfi_def_cfa_register r11
 359 ; CHECK-V7-FP:   pop    {r11, pc}
 360 ; CHECK-V7-FP:   .cfi_endproc
 361
 362 ; CHECK-V7-FP-ELIM-LABEL: test2:
 363 ; CHECK-V7-FP-ELIM:   .cfi_startproc
 364 ; CHECK-V7-FP-ELIM:   push  {r11, lr}
 365 ; CHECK-V7-FP-ELIM:   .cfi_def_cfa_offset 8
 366 ; CHECK-V7-FP-ELIM:   .cfi_offset lr, -4
 367 ; CHECK-V7-FP-ELIM:   .cfi_offset r11, -8
 368 ; CHECK-V7-FP-ELIM:   pop   {r11, pc}
 369 ; CHECK-V7-FP-ELIM:   .cfi_endproc
 370
 371 ; CHECK-THUMB-FP-LABEL: test2:
 372 ; CHECK-THUMB-FP:   .cfi_startproc
 373 ; CHECK-THUMB-FP:   push   {r7, lr}
 374 ; CHECK-THUMB-FP:   .cfi_def_cfa_offset 8
 375 ; CHECK-THUMB-FP:   .cfi_offset lr, -4
 376 ; CHECK-THUMB-FP:   .cfi_offset r7, -8
 377 ; CHECK-THUMB-FP:   add    r7, sp, #0
 378 ; CHECK-THUMB-FP:   .cfi_def_cfa_register r7
 379 ; CHECK-THUMB-FP:   pop    {r7, pc}
 380 ; CHECK-THUMB-FP:   .cfi_endproc
 381
 382 ; CHECK-THUMB-FP-ELIM-LABEL: test2:
 383 ; CHECK-THUMB-FP-ELIM:   .cfi_startproc
 384 ; CHECK-THUMB-FP-ELIM:   push  {r7, lr}
 385 ; CHECK-THUMB-FP-ELIM:   .cfi_def_cfa_offset 8
 386 ; CHECK-THUMB-FP-ELIM:   .cfi_offset lr, -4
 387 ; CHECK-THUMB-FP-ELIM:   .cfi_offset r7, -8
 388 ; CHECK-THUMB-FP-ELIM:   pop   {r7, pc}
 389 ; CHECK-THUMB-FP-ELIM:   .cfi_endproc
 390
 391 ; CHECK-THUMB-V7-FP-LABEL: test2:
 392 ; CHECK-THUMB-V7-FP:   .cfi_startproc
 393 ; CHECK-THUMB-V7-FP:   push   {r7, lr}
 394 ; CHECK-THUMB-V7-FP:   .cfi_def_cfa_offset 8
 395 ; CHECK-THUMB-V7-FP:   .cfi_offset lr, -4
 396 ; CHECK-THUMB-V7-FP:   .cfi_offset r7, -8
 397 ; CHECK-THUMB-V7-FP:   mov    r7, sp
 398 ; CHECK-THUMB-V7-FP:   .cfi_def_cfa_register r7
 399 ; CHECK-THUMB-V7-FP:   pop    {r7, pc}
 400 ; CHECK-THUMB-V7-FP:   .cfi_endproc
 401
 402 ; CHECK-THUMB-V7-FP-ELIM-LABEL: test2:
 403 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_startproc
 404 ; CHECK-THUMB-V7-FP-ELIM:   push  {r7, lr}
 405 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_def_cfa_offset 8
 406 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset lr, -4
 407 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset r7, -8
 408 ; CHECK-THUMB-V7-FP-ELIM:   pop   {r7, pc}
 409 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_endproc
 410
 411
 412 ;-------------------------------------------------------------------------------
 413 ; Test 3
 414 ;-------------------------------------------------------------------------------
 415
 416 declare void @throw_exception_3(i32)
 417
 418 define i32 @test3(i32 %a, i32 %b, i32 %c, i32 %d,
 419                   i32 %e, i32 %f, i32 %g, i32 %h) {
 420 entry:
 421   %add = add nsw i32 %b, %a
 422   %add1 = add nsw i32 %add, %c
 423   %add2 = add nsw i32 %add1, %d
 424   tail call void @throw_exception_3(i32 %add2)
 425   %add3 = add nsw i32 %f, %e
 426   %add4 = add nsw i32 %add3, %g
 427   %add5 = add nsw i32 %add4, %h
 428   tail call void @throw_exception_3(i32 %add5)
 429   %add6 = add nsw i32 %add5, %add2
 430   ret i32 %add6
 431 }
 432
 433 ; CHECK-FP-LABEL: test3:
 434 ; CHECK-FP:   .cfi_startproc
 435 ; CHECK-FP:   push   {r4, r5, r11, lr}
 436 ; CHECK-FP:   .cfi_def_cfa_offset 16
 437 ; CHECK-FP:   .cfi_offset lr, -4
 438 ; CHECK-FP:   .cfi_offset r11, -8
 439 ; CHECK-FP:   .cfi_offset r5, -12
 440 ; CHECK-FP:   .cfi_offset r4, -16
 441 ; CHECK-FP:   add    r11, sp, #8
 442 ; CHECK-FP:   .cfi_def_cfa r11, 8
 443 ; CHECK-FP:   pop    {r4, r5, r11, lr}
 444 ; CHECK-FP:   mov    pc, lr
 445 ; CHECK-FP:   .cfi_endproc
 446
 447 ; CHECK-FP-ELIM-LABEL: test3:
 448 ; CHECK-FP-ELIM:   .cfi_startproc
 449 ; CHECK-FP-ELIM:   push  {r4, r5, r11, lr}
 450 ; CHECK-FP-ELIM:   .cfi_def_cfa_offset 16
 451 ; CHECK-FP-ELIM:   .cfi_offset lr, -4
 452 ; CHECK-FP-ELIM:   .cfi_offset r11, -8
 453 ; CHECK-FP-ELIM:   .cfi_offset r5, -12
 454 ; CHECK-FP-ELIM:   .cfi_offset r4, -16
 455 ; CHECK-FP-ELIM:   pop   {r4, r5, r11, lr}
 456 ; CHECK-FP-ELIM:   mov   pc, lr
 457 ; CHECK-FP-ELIM:   .cfi_endproc
 458
 459 ; CHECK-V7-FP-LABEL: test3:
 460 ; CHECK-V7-FP:   .cfi_startproc
 461 ; CHECK-V7-FP:   push   {r4, r5, r11, lr}
 462 ; CHECK-V7-FP:   .cfi_def_cfa_offset 16
 463 ; CHECK-V7-FP:   .cfi_offset lr, -4
 464 ; CHECK-V7-FP:   .cfi_offset r11, -8
 465 ; CHECK-V7-FP:   .cfi_offset r5, -12
 466 ; CHECK-V7-FP:   .cfi_offset r4, -16
 467 ; CHECK-V7-FP:   add    r11, sp, #8
 468 ; CHECK-V7-FP:   .cfi_def_cfa r11, 8
 469 ; CHECK-V7-FP:   pop    {r4, r5, r11, pc}
 470 ; CHECK-V7-FP:   .cfi_endproc
 471
 472 ; CHECK-V7-FP-ELIM-LABEL: test3:
 473 ; CHECK-V7-FP-ELIM:   .cfi_startproc
 474 ; CHECK-V7-FP-ELIM:   push  {r4, r5, r11, lr}
 475 ; CHECK-V7-FP-ELIM:   .cfi_def_cfa_offset 16
 476 ; CHECK-V7-FP-ELIM:   .cfi_offset lr, -4
 477 ; CHECK-V7-FP-ELIM:   .cfi_offset r11, -8
 478 ; CHECK-V7-FP-ELIM:   .cfi_offset r5, -12
 479 ; CHECK-V7-FP-ELIM:   .cfi_offset r4, -16
 480 ; CHECK-V7-FP-ELIM:   pop   {r4, r5, r11, pc}
 481 ; CHECK-V7-FP-ELIM:   .cfi_endproc
 482
 483 ; CHECK-THUMB-FP-LABEL: test3:
 484 ; CHECK-THUMB-FP:   .cfi_startproc
 485 ; CHECK-THUMB-FP:   push   {r4, r5, r7, lr}
 486 ; CHECK-THUMB-FP:   .cfi_def_cfa_offset 16
 487 ; CHECK-THUMB-FP:   .cfi_offset lr, -4
 488 ; CHECK-THUMB-FP:   .cfi_offset r7, -8
 489 ; CHECK-THUMB-FP:   .cfi_offset r5, -12
 490 ; CHECK-THUMB-FP:   .cfi_offset r4, -16
 491 ; CHECK-THUMB-FP:   add    r7, sp, #8
 492 ; CHECK-THUMB-FP:   .cfi_def_cfa r7, 8
 493 ; CHECK-THUMB-FP:   pop    {r4, r5, r7, pc}
 494 ; CHECK-THUMB-FP:   .cfi_endproc
 495
 496 ; CHECK-THUMB-FP-ELIM-LABEL: test3:
 497 ; CHECK-THUMB-FP-ELIM:   .cfi_startproc
 498 ; CHECK-THUMB-FP-ELIM:   push  {r4, r5, r7, lr}
 499 ; CHECK-THUMB-FP-ELIM:   .cfi_def_cfa_offset 16
 500 ; CHECK-THUMB-FP-ELIM:   .cfi_offset lr, -4
 501 ; CHECK-THUMB-FP-ELIM:   .cfi_offset r7, -8
 502 ; CHECK-THUMB-FP-ELIM:   .cfi_offset r5, -12
 503 ; CHECK-THUMB-FP-ELIM:   .cfi_offset r4, -16
 504 ; CHECK-THUMB-FP-ELIM:   pop   {r4, r5, r7, pc}
 505 ; CHECK-THUMB-FP-ELIM:   .cfi_endproc
 506
 507 ; CHECK-THUMB-V7-FP-LABEL: test3:
 508 ; CHECK-THUMB-V7-FP:   .cfi_startproc
 509 ; CHECK-THUMB-V7-FP:   push   {r4, r5, r7, lr}
 510 ; CHECK-THUMB-V7-FP:   .cfi_def_cfa_offset 16
 511 ; CHECK-THUMB-V7-FP:   .cfi_offset lr, -4
 512 ; CHECK-THUMB-V7-FP:   .cfi_offset r7, -8
 513 ; CHECK-THUMB-V7-FP:   .cfi_offset r5, -12
 514 ; CHECK-THUMB-V7-FP:   .cfi_offset r4, -16
 515 ; CHECK-THUMB-V7-FP:   add    r7, sp, #8
 516 ; CHECK-THUMB-V7-FP:   .cfi_def_cfa r7, 8
 517 ; CHECK-THUMB-V7-FP:   pop    {r4, r5, r7, pc}
 518 ; CHECK-THUMB-V7-FP:   .cfi_endproc
 519
 520 ; CHECK-THUMB-V7-FP-ELIM-LABEL: test3:
 521 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_startproc
 522 ; CHECK-THUMB-V7-FP-ELIM:   push  {r4, r5, r7, lr}
 523 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_def_cfa_offset 16
 524 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset lr, -4
 525 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset r7, -8
 526 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset r5, -12
 527 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_offset r4, -16
 528 ; CHECK-THUMB-V7-FP-ELIM:   pop   {r4, r5, r7, pc}
 529 ; CHECK-THUMB-V7-FP-ELIM:   .cfi_endproc
 530
 531
 532 ;-------------------------------------------------------------------------------
 533 ; Test 4
 534 ;-------------------------------------------------------------------------------
 535
 536 define void @test4() nounwind {
 537 entry:
 538   ret void
 539 }
 540
 541 ; CHECK-FP-LABEL: test4:
 542 ; CHECK-FP:   mov pc, lr
 543 ; CHECK-FP-NOT:   .cfi_def_cfa_offset
 544
 545 ; CHECK-FP-ELIM-LABEL: test4:
 546 ; CHECK-FP-ELIM:   mov pc, lr
 547 ; CHECK-FP-ELIM-NOT:   .cfi_def_cfa_offset
 548
 549 ; CHECK-V7-FP-LABEL: test4:
 550 ; CHECK-V7-FP:   bx lr
 551 ; CHECK-V7-FP-NOT:   .cfi_def_cfa_offset
 552
 553 ; CHECK-V7-FP-ELIM-LABEL: test4:
 554 ; CHECK-V7-FP-ELIM:   bx lr
 555 ; CHECK-V7-FP-ELIM-NOT:   .cfi_def_cfa_offset
 556
 557 ; CHECK-THUMB-FP-LABEL: test4:
 558 ; CHECK-THUMB-FP:   bx lr
 559 ; CHECK-THUMB-FP-NOT:   .cfi_def_cfa_offset
 560
 561 ; CHECK-THUMB-FP-ELIM-LABEL: test4:
 562 ; CHECK-THUMB-FP-ELIM:   bx lr
 563 ; CHECK-THUMB-FP-ELIM-NOT:   .cfi_def_cfa_offset
 564
 565 ; CHECK-THUMB-V7-FP-LABEL: test4:
 566 ; CHECK-THUMB-V7-FP:   bx lr
 567 ; CHECK-THUMB-V7-FP-NOT:   .cfi_def_cfa_offset
 568
 569 ; CHECK-THUMB-V7-FP-ELIM-LABEL: test4:
 570 ; CHECK-THUMB-V7-FP-ELIM:   bx lr
 571 ; CHECK-THUMB-V7-FP-ELIM-NOT:   .cfi_def_cfa_offset
 572