223 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; C++, -Oz8; __attribute__((noinline)) int h(int a, int b) {9; if (a < 0)10; throw 1;11; return a + b;12; }13;14; int f(int a, int b, int c, int d) {15; if (a < 0)16; return -1;17; a = h(a, b);18; return 2 + a * (a + b) / (c + d);19; }20;21; int g(int a, int b, int c, int d) {22; if (a < 0)23; return -1;24; a = h(a, b);25; return 1 + a * (a + b) / (c + d);26; }27 28@_ZTIi = external dso_local constant ptr29 30define hidden i32 @_Z1hii(i32 %a, i32 %b) local_unnamed_addr #0 {31; CHECK-LABEL: _Z1hii:32; CHECK: .cfi_sections .debug_frame33; CHECK-NEXT: .cfi_startproc34; CHECK-NEXT: @ %bb.0: @ %entry35; CHECK-NEXT: pac r12, lr, sp36; CHECK-NEXT: .save {r7, ra_auth_code, lr}37; CHECK-NEXT: .pad #438; CHECK-NEXT: push.w {r6, r7, r12, lr}39; CHECK-NEXT: .cfi_def_cfa_offset 1640; CHECK-NEXT: .cfi_offset lr, -441; CHECK-NEXT: .cfi_offset ra_auth_code, -842; CHECK-NEXT: .cfi_offset r7, -1243; CHECK-NEXT: cmp.w r0, #-144; CHECK-NEXT: ble .LBB0_245; CHECK-NEXT: @ %bb.1: @ %if.end46; CHECK-NEXT: add r0, r147; CHECK-NEXT: pop.w {r3, r7, r12, lr}48; CHECK-NEXT: aut r12, lr, sp49; CHECK-NEXT: bx lr50; CHECK-NEXT: .LBB0_2: @ %if.then51; CHECK-NEXT: movs r0, #452; CHECK-NEXT: bl __cxa_allocate_exception53; CHECK-NEXT: movs r1, #154; CHECK-NEXT: movs r2, #055; CHECK-NEXT: str r1, [r0]56; CHECK-NEXT: ldr r1, .LCPI0_057; CHECK-NEXT: bl __cxa_throw58; CHECK-NEXT: .p2align 259; CHECK-NEXT: @ %bb.3:60; CHECK-NEXT: .LCPI0_0:61; CHECK-NEXT: .long _ZTIi62entry:63 %cmp = icmp slt i32 %a, 064 br i1 %cmp, label %if.then, label %if.end65 66if.then: ; preds = %entry67 %exception = tail call ptr @__cxa_allocate_exception(i32 4) #168 store i32 1, ptr %exception, align 869 tail call void @__cxa_throw(ptr %exception, ptr @_ZTIi, ptr null) #270 unreachable71 72if.end: ; preds = %entry73 %add = add nsw i32 %b, %a74 ret i32 %add75}76 77declare dso_local ptr @__cxa_allocate_exception(i32) local_unnamed_addr78 79declare dso_local void @__cxa_throw(ptr, ptr, ptr) local_unnamed_addr80 81define hidden i32 @_Z1fiiii(i32 %a, i32 %b, i32 %c, i32 %d) local_unnamed_addr #0 {82; CHECK-LABEL: _Z1fiiii:83; CHECK: .cfi_startproc84; CHECK-NEXT: @ %bb.0: @ %entry85; CHECK-NEXT: pac r12, lr, sp86; CHECK-NEXT: .save {r4, r5, r6, ra_auth_code, lr}87; CHECK-NEXT: .pad #488; CHECK-NEXT: push.w {r3, r4, r5, r6, r12, lr}89; CHECK-NEXT: .cfi_def_cfa_offset 2490; CHECK-NEXT: .cfi_offset lr, -491; CHECK-NEXT: .cfi_offset ra_auth_code, -892; CHECK-NEXT: .cfi_offset r6, -1293; CHECK-NEXT: .cfi_offset r5, -1694; CHECK-NEXT: .cfi_offset r4, -2095; CHECK-NEXT: cmp r0, #096; CHECK-NEXT: bmi .LBB1_297; CHECK-NEXT: @ %bb.1: @ %if.end98; CHECK-NEXT: bl OUTLINED_FUNCTION_099; CHECK-NEXT: adds r1, r0, r6100; CHECK-NEXT: muls r0, r1, r0101; CHECK-NEXT: adds r1, r4, r5102; CHECK-NEXT: sdiv r0, r0, r1103; CHECK-NEXT: adds r0, #2104; CHECK-NEXT: b .LBB1_3105; CHECK-NEXT: .LBB1_2:106; CHECK-NEXT: mov.w r0, #-1107; CHECK-NEXT: .LBB1_3: @ %return108; CHECK-NEXT: pop.w {r3, r4, r5, r6, r12, lr}109; CHECK-NEXT: aut r12, lr, sp110; CHECK-NEXT: bx lr111entry:112 %cmp = icmp slt i32 %a, 0113 br i1 %cmp, label %return, label %if.end114 115if.end: ; preds = %entry116 %call = tail call i32 @_Z1hii(i32 %a, i32 %b)117 %add = add nsw i32 %call, %b118 %mul = mul nsw i32 %add, %call119 %add1 = add nsw i32 %d, %c120 %div = sdiv i32 %mul, %add1121 %add2 = add nsw i32 %div, 2122 br label %return123 124return: ; preds = %entry, %if.end125 %retval.0 = phi i32 [ %add2, %if.end ], [ -1, %entry ]126 ret i32 %retval.0127}128 129define hidden i32 @_Z1giiii(i32 %a, i32 %b, i32 %c, i32 %d) local_unnamed_addr #0 {130; CHECK-LABEL: _Z1giiii:131; CHECK: .cfi_startproc132; CHECK-NEXT: @ %bb.0: @ %entry133; CHECK-NEXT: pac r12, lr, sp134; CHECK-NEXT: .save {r4, r5, r6, ra_auth_code, lr}135; CHECK-NEXT: .pad #4136; CHECK-NEXT: push.w {r3, r4, r5, r6, r12, lr}137; CHECK-NEXT: .cfi_def_cfa_offset 24138; CHECK-NEXT: .cfi_offset lr, -4139; CHECK-NEXT: .cfi_offset ra_auth_code, -8140; CHECK-NEXT: .cfi_offset r6, -12141; CHECK-NEXT: .cfi_offset r5, -16142; CHECK-NEXT: .cfi_offset r4, -20143; CHECK-NEXT: cmp r0, #0144; CHECK-NEXT: bmi .LBB2_2145; CHECK-NEXT: @ %bb.1: @ %if.end146; CHECK-NEXT: bl OUTLINED_FUNCTION_0147; CHECK-NEXT: adds r1, r0, r6148; CHECK-NEXT: muls r0, r1, r0149; CHECK-NEXT: adds r1, r4, r5150; CHECK-NEXT: sdiv r0, r0, r1151; CHECK-NEXT: adds r0, #1152; CHECK-NEXT: b .LBB2_3153; CHECK-NEXT: .LBB2_2:154; CHECK-NEXT: mov.w r0, #-1155; CHECK-NEXT: .LBB2_3: @ %return156; CHECK-NEXT: pop.w {r3, r4, r5, r6, r12, lr}157; CHECK-NEXT: aut r12, lr, sp158; CHECK-NEXT: bx lr159entry:160 %cmp = icmp slt i32 %a, 0161 br i1 %cmp, label %return, label %if.end162 163if.end: ; preds = %entry164 %call = tail call i32 @_Z1hii(i32 %a, i32 %b)165 %add = add nsw i32 %call, %b166 %mul = mul nsw i32 %add, %call167 %add1 = add nsw i32 %d, %c168 %div = sdiv i32 %mul, %add1169 %add2 = add nsw i32 %div, 1170 br label %return171 172return: ; preds = %entry, %if.end173 %retval.0 = phi i32 [ %add2, %if.end ], [ -1, %entry ]174 ret i32 %retval.0175}176 177; CHEK-LABEL: OUTLINED_FUNCTION_0:178; CHECK-NOT: pac179; CHECK-NOT: aut180; CHECK: b _Z1hii181 182attributes #0 = { minsize noinline optsize "sign-return-address"="non-leaf" "denormal-fp-math"="preserve-sign,preserve-sign" "denormal-fp-math-f32"="ieee,ieee" "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="true" "no-jump-tables"="false" "no-nans-fp-math"="true" "no-signed-zeros-fp-math"="true" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="cortex-m3" "target-features"="+armv7-m,+hwdiv,+thumb-mode" "use-soft-float"="false" }183attributes #1 = { nounwind "sign-return-address"="non-leaf" }184attributes #2 = { noreturn "sign-return-address"="non-leaf" }185 186 187!llvm.module.flags = !{!0, !1, !2}188 189!0 = !{i32 8, !"branch-target-enforcement", i32 0}190!1 = !{i32 8, !"sign-return-address", i32 1}191!2 = !{i32 8, !"sign-return-address-all", i32 0}192 193 194; UNWIND-LABEL: FunctionAddress: 0x0195; UNWIND: Opcodes [196; UNWIND-NEXT: 0x00 ; vsp = vsp + 4197; UNWIND-NEXT: 0x80 0x08 ; pop {r7}198; UNWIND-NEXT: 0xB4 ; pop ra_auth_code199; UNWIND-NEXT: 0x84 0x00 ; pop {lr}200 201; UNWIND-LABEL: FunctionAddress: 0x30202; UNWIND: Opcodes [203; UNWIND-NEXT: 0x00 ; vsp = vsp + 4204; UNWIND-NEXT: 0xA2 ; pop {r4, r5, r6}205; UNWIND-NEXT: 0xB4 ; pop ra_auth_code206; UNWIND-NEXT: 0x84 0x00 ; pop {lr}207 208; UNWIND-LABEL: FunctionAddress: 0x5C209; UNWIND: Opcodes [210; UNWIND-NEXT: 0x00 ; vsp = vsp + 4211; UNWIND-NEXT: 0xA2 ; pop {r4, r5, r6}212; UNWIND-NEXT: 0xB4 ; pop ra_auth_code213; UNWIND-NEXT: 0x84 0x00 ; pop {lr}214 215; UNWIND-LABEL: FunctionAddress: 0x88216; UNWIND: Opcodes [217; UNWIND-NEXT: 0xB0 ; finish218 219; UNWIND: 00000089 {{.*}} OUTLINED_FUNCTION_0220; UWNIND: 00000001 {{.*}} _Z1hii221; UWNIND: 00000031 {{.*}} _Z1fiiii222; UWNIND: 0000005d {{.*}} _Z1giiii223