173 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 = "thumbv7m-arm-none-eabi"6 7; -Oz8; __attribute__((noinline)) int h(int a, int b) { return a + b; }9;10; int f(int a, int b, int c, int d) {11; if (a < 0)12; return -1;13; a = h(11 * a - b, b);14; return 2 + a * (a + b) / (c + d);15; }16;17; int g(int a, int b, int c, int d) {18; if (a < 0)19; return -1;20; a = h(11 * a - b, b);21; return 1 + a * (a + b) / (c + d);22; }23 24define hidden i32 @h(i32 %a, i32 %b) local_unnamed_addr #0 {25; CHECK-LABEL: h:26; CHECK: .cfi_sections .debug_frame27; CHECK-NEXT: .cfi_startproc28; CHECK-NEXT: @ %bb.0: @ %entry29; CHECK-NEXT: add r0, r130; CHECK-NEXT: bx lr31entry:32 %add = add nsw i32 %b, %a33 ret i32 %add34}35 36define hidden i32 @f(i32 %a, i32 %b, i32 %c, i32 %d) local_unnamed_addr #0 {37; CHECK-LABEL: f:38; CHECK: .cfi_startproc39; CHECK-NEXT: @ %bb.0: @ %entry40; CHECK-NEXT: pac r12, lr, sp41; CHECK-NEXT: .save {r4, r5, r6, ra_auth_code, lr}42; CHECK-NEXT: .pad #443; CHECK-NEXT: push.w {r3, r4, r5, r6, r12, lr}44; CHECK-NEXT: .cfi_def_cfa_offset 2445; CHECK-NEXT: .cfi_offset lr, -446; CHECK-NEXT: .cfi_offset ra_auth_code, -847; CHECK-NEXT: .cfi_offset r6, -1248; CHECK-NEXT: .cfi_offset r5, -1649; CHECK-NEXT: .cfi_offset r4, -2050; CHECK-NEXT: cmp r0, #051; CHECK-NEXT: bmi .LBB1_252; CHECK-NEXT: @ %bb.1: @ %if.end53; CHECK-NEXT: bl OUTLINED_FUNCTION_054; CHECK-NEXT: adds r0, #255; CHECK-NEXT: b .LBB1_356; CHECK-NEXT: .LBB1_2:57; CHECK-NEXT: mov.w r0, #-158; CHECK-NEXT: .LBB1_3: @ %return59; CHECK-NEXT: pop.w {r3, r4, r5, r6, r12, lr}60; CHECK-NEXT: aut r12, lr, sp61; CHECK-NEXT: bx lr62entry:63 %cmp = icmp slt i32 %a, 064 br i1 %cmp, label %return, label %if.end65 66if.end: ; preds = %entry67 %mul = mul nsw i32 %a, 1168 %xor = xor i32 %mul, 10069 %sub = sub nsw i32 %xor, %b70 %call = tail call i32 @h(i32 %sub, i32 %b)71 %add = add nsw i32 %call, %b72 %mul1 = mul nsw i32 %add, %call73 %add2 = add nsw i32 %d, %c74 %div = sdiv i32 %mul1, %add275 %add3 = add nsw i32 %div, 276 br label %return77 78return: ; preds = %entry, %if.end79 %retval.0 = phi i32 [ %add3, %if.end ], [ -1, %entry ]80 ret i32 %retval.081}82 83define hidden i32 @g(i32 %a, i32 %b, i32 %c, i32 %d) local_unnamed_addr #0 {84; CHECK-LABEL: g:85; CHECK: .cfi_startproc86; CHECK-NEXT: @ %bb.0: @ %entry87; CHECK-NEXT: pac r12, lr, sp88; CHECK-NEXT: .save {r4, r5, r6, ra_auth_code, lr}89; CHECK-NEXT: .pad #490; CHECK-NEXT: push.w {r3, r4, r5, r6, r12, lr}91; CHECK-NEXT: .cfi_def_cfa_offset 2492; CHECK-NEXT: .cfi_offset lr, -493; CHECK-NEXT: .cfi_offset ra_auth_code, -894; CHECK-NEXT: .cfi_offset r6, -1295; CHECK-NEXT: .cfi_offset r5, -1696; CHECK-NEXT: .cfi_offset r4, -2097; CHECK-NEXT: cmp r0, #098; CHECK-NEXT: bmi .LBB2_299; CHECK-NEXT: @ %bb.1: @ %if.end100; CHECK-NEXT: bl OUTLINED_FUNCTION_0101; CHECK-NEXT: adds r0, #1102; CHECK-NEXT: b .LBB2_3103; CHECK-NEXT: .LBB2_2:104; CHECK-NEXT: mov.w r0, #-1105; CHECK-NEXT: .LBB2_3: @ %return106; CHECK-NEXT: pop.w {r3, r4, r5, r6, r12, lr}107; CHECK-NEXT: aut r12, lr, sp108; CHECK-NEXT: bx lr109entry:110 %cmp = icmp slt i32 %a, 0111 br i1 %cmp, label %return, label %if.end112 113if.end: ; preds = %entry114 %mul = mul nsw i32 %a, 11115 %xor = xor i32 %mul, 100116 %sub = sub nsw i32 %xor, %b117 %call = tail call i32 @h(i32 %sub, i32 %b)118 %add = add nsw i32 %call, %b119 %mul1 = mul nsw i32 %add, %call120 %add2 = add nsw i32 %d, %c121 %div = sdiv i32 %mul1, %add2122 %add3 = add nsw i32 %div, 1123 br label %return124 125return: ; preds = %entry, %if.end126 %retval.0 = phi i32 [ %add3, %if.end ], [ -1, %entry ]127 ret i32 %retval.0128}129 130; CHECK-LABEL: OUTLINED_FUNCTION_0:131; CHECK: pac r12, lr, sp132; CHECK-NEXT: .save {ra_auth_code, lr}133; CHECK-NEXT: strd r12, lr, [sp, #-8]!134; CHECK-NEXT: .cfi_def_cfa_offset 8135; CHECK-NEXT: .cfi_offset lr, -4136; CHECK-NEXT: .cfi_offset ra_auth_code, -8137; ...138; CHECK: ldrd r12, lr, [sp], #8139; CHECK-NEXT: .cfi_def_cfa_offset 0140; CHECK-NEXT: .cfi_restore lr141; CHECK-NEXT: .cfi_undefined ra_auth_code142; CHECK-NEXT: aut r12, lr, sp143; CHECK-NEXT: bx lr144 145attributes #0 = { minsize noinline norecurse nounwind optsize readnone uwtable "sign-return-address"="non-leaf" }146 147!llvm.module.flags = !{!0, !1, !2}148 149!0 = !{i32 8, !"branch-target-enforcement", i32 0}150!1 = !{i32 8, !"sign-return-address", i32 1}151!2 = !{i32 8, !"sign-return-address-all", i32 0}152 153 154; UNWIND-LABEL: FunctionAddress: 0x4155; UNWIND: 0x00 ; vsp = vsp + 4156; UNWIND-NEXT: 0xA2 ; pop {r4, r5, r6}157; UNWIND-NEXT: 0xB4 ; pop ra_auth_code158; UNWIND-NEXT: 0x84 0x00 ; pop {lr}159 160; UNWIND-LABEL: FunctionAddress: 0x26161; UNWIND: 0x00 ; vsp = vsp + 4162; UNWIND-NEXT: 0xA2 ; pop {r4, r5, r6}163; UNWIND-NEXT: 0xB4 ; pop ra_auth_code164; UNWIND-NEXT: 0x84 0x00 ; pop {lr}165 166; UNWIND-LABEL: FunctionAddress: 0x48167; UNWIND: 0xB4 ; pop ra_auth_code168; UNWIND-NEXT: 0x84 0x00 ; pop {lr}169 170; UNWIND-LABEL: 00000049 {{.*}} OUTLINED_FUNCTION_0171; UNWIND-LABEL: 00000005 {{.*}} f172; UNWIND-LABEL: 00000027 {{.*}} g173