74 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; Check CFI instructions when LR is saved/restored to/from a register.19 20@a = dso_local global i32 0, align 421@b = dso_local global i32 0, align 422@c = dso_local global i32 0, align 423@d = dso_local global i32 0, align 424@e = dso_local global i32 0, align 425@f = dso_local global i32 0, align 426 27define dso_local i32 @x() local_unnamed_addr #0 {28entry:29 %0 = load volatile i32, ptr @a, align 430 %1 = load volatile i32, ptr @b, align 431 %2 = load volatile i32, ptr @c, align 432 %3 = load volatile i32, ptr @d, align 433 %4 = load volatile i32, ptr @e, align 434 %5 = load volatile i32, ptr @f, align 435 %add = add i32 %0, 136 %add1 = add i32 %add, %137 %add2 = add i32 %add1, %238 %add3 = add i32 %add2, %339 %add4 = add i32 %add3, %440 %add5 = add i32 %add4, %541 ret i32 %add542}43; CHECK-LABEL: x:44; CHECK: mov r3, lr45; CHECK-NEXT: .cfi_register lr, r346; CHECK-NEXT: bl OUTLINED_FUNCTION_047; CHECK-NEXT: mov lr, r348; CHECK-NEXT: .cfi_restore lr49 50define dso_local i32 @y() local_unnamed_addr #0 {51entry:52 %0 = load volatile i32, ptr @a, align 453 %1 = load volatile i32, ptr @b, align 454 %2 = load volatile i32, ptr @c, align 455 %3 = load volatile i32, ptr @d, align 456 %4 = load volatile i32, ptr @e, align 457 %5 = load volatile i32, ptr @f, align 458 %add = add i32 %0, 259 %add1 = add i32 %add, %160 %add2 = add i32 %add1, %261 %add3 = add i32 %add2, %362 %add4 = add i32 %add3, %463 %add5 = add i32 %add4, %564 ret i32 %add565}66; CHECK-LABEL: y:67; CHECK: mov r3, lr68; CHECK-NEXT: .cfi_register lr, r369; CHECK-NEXT: bl OUTLINED_FUNCTION_070; CHECK-NEXT: mov lr, r371; CHECK-NEXT: .cfi_restore lr72 73attributes #0 = { minsize nofree norecurse nounwind optsize }74