79 lines · plain
1; RUN: llc --verify-machineinstrs --force-dwarf-frame-section %s -o - | FileCheck %s2target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"3target triple = "thumbv7m-unknown-unknown-eabi"4 5; Derived from6; volatile int a, b, c, d, e, f, g, h;7;8; int x() {9; int r = (a + b) / (c + d) + e + f;10; return r + 1;11; }12;13;14; int y() {15; int r = (a + b) / (c + d) + e + f;16; return r + 2;17; }18; Checks that CFI instruction are emitted around saves/restores of19; the LR on stack.20 21@a = dso_local global i32 0, align 422@b = dso_local global i32 0, align 423@c = dso_local global i32 0, align 424@d = dso_local global i32 0, align 425@e = dso_local global i32 0, align 426@f = dso_local global i32 0, align 427 28define dso_local i32 @x() local_unnamed_addr #0 {29entry:30 %0 = load volatile i32, ptr @a, align 431 %1 = load volatile i32, ptr @b, align 432 %add = add nsw i32 %1, %033 %2 = load volatile i32, ptr @c, align 434 %3 = load volatile i32, ptr @d, align 435 %add1 = add nsw i32 %3, %236 %div = sdiv i32 %add, %add137 %4 = load volatile i32, ptr @e, align 438 %5 = load volatile i32, ptr @f, align 439 %add2 = add i32 %div, 140 %add3 = add i32 %add2, %441 %add4 = add i32 %add3, %542 ret i32 %add443}44; CHECK-LABEL: x:45; CHECK: str lr, [sp, #-8]!46; CHECK-NEXT: .cfi_def_cfa_offset 847; CHECK-NEXT: .cfi_offset lr, -848; CHECK-NEXT: bl OUTLINED_FUNCTION_049; CHECK-NEXT: ldr lr, [sp], #850; CHECK-NEXT: .cfi_def_cfa_offset 051; CHECK-NEXT: .cfi_restore lr52 53define dso_local i32 @y() local_unnamed_addr #0 {54entry:55 %0 = load volatile i32, ptr @a, align 456 %1 = load volatile i32, ptr @b, align 457 %add = add nsw i32 %1, %058 %2 = load volatile i32, ptr @c, align 459 %3 = load volatile i32, ptr @d, align 460 %add1 = add nsw i32 %3, %261 %div = sdiv i32 %add, %add162 %4 = load volatile i32, ptr @e, align 463 %5 = load volatile i32, ptr @f, align 464 %add2 = add i32 %div, 265 %add3 = add i32 %add2, %466 %add4 = add i32 %add3, %567 ret i32 %add468}69; CHECK-LABEL: y:70; CHECK: str lr, [sp, #-8]!71; CHECK-NEXT: .cfi_def_cfa_offset 872; CHECK-NEXT: .cfi_offset lr, -873; CHECK-NEXT: bl OUTLINED_FUNCTION_074; CHECK-NEXT: ldr lr, [sp], #875; CHECK-NEXT: .cfi_def_cfa_offset 076; CHECK-NEXT: .cfi_restore lr77 78attributes #0 = { minsize nofree norecurse nounwind optsize }79