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; __attribute__((noinline)) int h(int a, int b) { return a + b; }7;8; int f(int a, int b, int c, int d) {9; if (a < 0)10; return -1;11; a = h(a, b);12; return 2 + a * (a + b) / (c + d);13; }14;15; int g(int a, int b, int c, int d) {16; if (a < 0)17; return -1;18; a = h(a, b);19; return 1 + a * (a + b) / (c + d);20; }21; Check CFI instructions inside the outlined function.22 23define dso_local i32 @h(i32 %a, i32 %b) local_unnamed_addr #0 {24entry:25 %add = add nsw i32 %b, %a26 ret i32 %add27}28 29define dso_local i32 @f(i32 %a, i32 %b, i32 %c, i32 %d) local_unnamed_addr #1 {30entry:31 %cmp = icmp slt i32 %a, 032 br i1 %cmp, label %return, label %if.end33 34if.end: ; preds = %entry35 %call = tail call i32 @h(i32 %a, i32 %b) #236 %add = add nsw i32 %call, %b37 %mul = mul nsw i32 %add, %call38 %add1 = add nsw i32 %d, %c39 %div = sdiv i32 %mul, %add140 %add2 = add nsw i32 %div, 241 br label %return42 43return: ; preds = %entry, %if.end44 %retval.0 = phi i32 [ %add2, %if.end ], [ -1, %entry ]45 ret i32 %retval.046}47 48define dso_local i32 @g(i32 %a, i32 %b, i32 %c, i32 %d) local_unnamed_addr #1 {49entry:50 %cmp = icmp slt i32 %a, 051 br i1 %cmp, label %return, label %if.end52 53if.end: ; preds = %entry54 %call = tail call i32 @h(i32 %a, i32 %b) #255 %add = add nsw i32 %call, %b56 %mul = mul nsw i32 %add, %call57 %add1 = add nsw i32 %d, %c58 %div = sdiv i32 %mul, %add159 %add2 = add nsw i32 %div, 160 br label %return61 62return: ; preds = %entry, %if.end63 %retval.0 = phi i32 [ %add2, %if.end ], [ -1, %entry ]64 ret i32 %retval.065}66 67; CHECK-LABEL: OUTLINED_FUNCTION_0:68; CHECK: str lr, [sp, #-8]!69; CHECK-NEXT: .cfi_def_cfa_offset 870; CHECK-NEXT: .cfi_offset lr, -871; CHECK: ldr lr, [sp], #872; CHECK-NEXT: .cfi_def_cfa_offset 073; CHECK-NEXT: .cfi_restore lr74; CHECK-NEXT: bx lr75 76attributes #0 = { minsize noinline norecurse nounwind optsize readnone }77attributes #1 = { minsize norecurse nounwind optsize readnone }78attributes #2 = { minsize optsize }79