159 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc --force-dwarf-frame-section %s -o - | FileCheck %s3; RUN: llc --filetype=obj %s -o - | llvm-readelf -s --unwind - | FileCheck %s --check-prefix=UNWIND4target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"5target triple = "thumbv8m.main-none-none-eabi"6 7; int g(int);8;9; #if __ARM_FEATURE_CMSE == 310; #define ENTRY __attribute__((cmse_nonsecure_entry))11; #else12; #define ENTRY13; #endif14;15; ENTRY int f(int x) {16; return 1 + g(x - 1);17; }18 19define hidden i32 @f0(i32 %x) local_unnamed_addr "sign-return-address"="non-leaf" {20; CHECK-LABEL: f0:21; CHECK: .cfi_sections .debug_frame22; CHECK-NEXT: .cfi_startproc23; CHECK-NEXT: @ %bb.0: @ %entry24; CHECK-NEXT: pac r12, lr, sp25; CHECK-NEXT: .save {r7, ra_auth_code, lr}26; CHECK-NEXT: push.w {r7, r12, lr}27; CHECK-NEXT: .cfi_def_cfa_offset 1228; CHECK-NEXT: .cfi_offset lr, -429; CHECK-NEXT: .cfi_offset ra_auth_code, -830; CHECK-NEXT: .cfi_offset r7, -1231; CHECK-NEXT: .pad #432; CHECK-NEXT: sub sp, #433; CHECK-NEXT: .cfi_def_cfa_offset 1634; CHECK-NEXT: subs r0, #135; CHECK-NEXT: bl g36; CHECK-NEXT: adds r0, #137; CHECK-NEXT: add sp, #438; CHECK-NEXT: pop.w {r7, r12, lr}39; CHECK-NEXT: aut r12, lr, sp40; CHECK-NEXT: bx lr41entry:42 %sub = add nsw i32 %x, -143 %call = tail call i32 @g(i32 %sub)44 %add = add nsw i32 %call, 145 ret i32 %add46}47 48define hidden i32 @f1(i32 %x) local_unnamed_addr #0 {49; CHECK-LABEL: f1:50; CHECK: .cfi_startproc51; CHECK-NEXT: @ %bb.0: @ %entry52; CHECK-NEXT: pac r12, lr, sp53; CHECK-NEXT: vstr fpcxtns, [sp, #-4]!54; CHECK-NEXT: .cfi_def_cfa_offset 455; CHECK-NEXT: .save {r7, ra_auth_code, lr}56; CHECK-NEXT: push.w {r7, r12, lr}57; CHECK-NEXT: .cfi_def_cfa_offset 1658; CHECK-NEXT: .cfi_offset lr, -859; CHECK-NEXT: .cfi_offset ra_auth_code, -1260; CHECK-NEXT: .cfi_offset r7, -1661; CHECK-NEXT: subs r0, #162; CHECK-NEXT: bl g63; CHECK-NEXT: adds r0, #164; CHECK-NEXT: pop.w {r7, r12, lr}65; CHECK-NEXT: vscclrm {s0, s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, vpr}66; CHECK-NEXT: vldr fpcxtns, [sp], #467; CHECK-NEXT: aut r12, lr, sp68; CHECK-NEXT: clrm {r1, r2, r3, r12, apsr}69; CHECK-NEXT: bxns lr70entry:71 %sub = add nsw i32 %x, -172 %call = tail call i32 @g(i32 %sub)73 %add = add nsw i32 %call, 174 ret i32 %add75}76 77define hidden i32 @f2(i32 %x) local_unnamed_addr #1 {78; CHECK-LABEL: f2:79; CHECK: .cfi_startproc80; CHECK-NEXT: @ %bb.0: @ %entry81; CHECK-NEXT: pac r12, lr, sp82; CHECK-NEXT: .save {r7, ra_auth_code, lr}83; CHECK-NEXT: push.w {r7, r12, lr}84; CHECK-NEXT: .cfi_def_cfa_offset 1285; CHECK-NEXT: .cfi_offset lr, -486; CHECK-NEXT: .cfi_offset ra_auth_code, -887; CHECK-NEXT: .cfi_offset r7, -1288; CHECK-NEXT: .pad #489; CHECK-NEXT: sub sp, #490; CHECK-NEXT: .cfi_def_cfa_offset 1691; CHECK-NEXT: subs r0, #192; CHECK-NEXT: bl g93; CHECK-NEXT: adds r0, #194; CHECK-NEXT: add sp, #495; CHECK-NEXT: pop.w {r7, r12, lr}96; CHECK-NEXT: aut r12, lr, sp97; CHECK-NEXT: mrs r12, control98; CHECK-NEXT: tst.w r12, #899; CHECK-NEXT: beq .LBB2_2100; CHECK-NEXT: @ %bb.1: @ %entry101; CHECK-NEXT: vmrs r12, fpscr102; CHECK-NEXT: vmov d0, lr, lr103; CHECK-NEXT: vmov d1, lr, lr104; CHECK-NEXT: vmov d2, lr, lr105; CHECK-NEXT: vmov d3, lr, lr106; CHECK-NEXT: vmov d4, lr, lr107; CHECK-NEXT: vmov d5, lr, lr108; CHECK-NEXT: vmov d6, lr, lr109; CHECK-NEXT: vmov d7, lr, lr110; CHECK-NEXT: bic r12, r12, #159111; CHECK-NEXT: bic r12, r12, #4026531840112; CHECK-NEXT: vmsr fpscr, r12113; CHECK-NEXT: .LBB2_2: @ %entry114; CHECK-NEXT: mov r1, lr115; CHECK-NEXT: mov r2, lr116; CHECK-NEXT: mov r3, lr117; CHECK-NEXT: mov r12, lr118; CHECK-NEXT: msr apsr_nzcvq, lr119; CHECK-NEXT: bxns lr120entry:121 %sub = add nsw i32 %x, -1122 %call = tail call i32 @g(i32 %sub)123 %add = add nsw i32 %call, 1124 ret i32 %add125}126 127declare dso_local i32 @g(i32) local_unnamed_addr128 129attributes #0 = { "sign-return-address"="non-leaf" "cmse_nonsecure_entry" "target-features"="+8msecext,+armv8.1-m.main"}130attributes #1 = { "sign-return-address"="non-leaf" "cmse_nonsecure_entry" "target-features"="+8msecext,+armv8-m.main,+fp-armv8d16"}131 132!llvm.module.flags = !{!0, !1, !2}133 134!0 = !{i32 8, !"branch-target-enforcement", i32 0}135!1 = !{i32 8, !"sign-return-address", i32 1}136!2 = !{i32 8, !"sign-return-address-all", i32 0}137 138; UNWIND-LABEL: FunctionAddress: 0x0139; UNWIND: 0x00 ; vsp = vsp + 4140; UNWIND-NEXT: 0x80 0x08 ; pop {r7}141; UNWIND-NEXT: 0xB4 ; pop ra_auth_code142; UNWIND-NEXT: 0x84 0x00 ; pop {lr}143 144 145; UNWIND-LABEL: FunctionAddress: 0x1E146; UNWIND: 0x80 0x08 ; pop {r7}147; UNWIND-NEXT: 0xB4 ; pop ra_auth_code148; UNWIND-NEXT: 0x84 0x00 ; pop {lr}149 150; UNWIND-LABEL: FunctionAddress: 0x48151; UNWIND: 0x00 ; vsp = vsp + 4152; UNWIND-NEXT: 0x80 0x08 ; pop {r7}153; UNWIND-NEXT: 0xB4 ; pop ra_auth_code154; UNWIND-NEXT: 0x84 0x00 ; pop {lr}155 156; UNWIND-LABEL: 00000001 {{.*}} f0157; UNWIND-LABEL: 0000001f {{.*}} f1158; UNWIND-LABEL: 00000049 {{.*}} f2159