1; RUN: llc -verify-machineinstrs %s -o - | FileCheck %s 2target 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 5declare dso_local i32 @t(i32) local_unnamed_addr #0 6 7define dso_local i32 @f(i32 %a, i32 %b, i32 %c) local_unnamed_addr #0 { 8entry: 9 %mul = mul nsw i32 %a, 3 10 %add = add nsw i32 %mul, 1 11 %sub = add nsw i32 %b, -1 12 %div = sdiv i32 %add, %sub 13 %sub1 = sub nsw i32 %a, %c 14 %div2 = sdiv i32 %div, %sub1 15 %mul3 = mul nsw i32 %div2, %b 16 %add4 = add nsw i32 %mul3, 1 17 %call = tail call i32 @t(i32 %add4) #0 18 ret i32 %call 19} 20; CHECK-LABEL: f: 21; CHECK: str lr, [sp, #-8]! 22; CHECK-NEXT: bl OUTLINED_FUNCTION_0 23; CHECK-NEXT: ldr lr, [sp], #8 24; CHECK-NEXT: adds r0, #1 25; CHECK-NEXT: b t 26 27define dso_local i32 @g(i32 %a, i32 %b, i32 %c) local_unnamed_addr #0 { 28entry: 29 %mul = mul nsw i32 %a, 3 30 %add = add nsw i32 %mul, 1 31 %sub = add nsw i32 %b, -1 32 %div = sdiv i32 %add, %sub 33 %sub1 = sub nsw i32 %a, %c 34 %div2 = sdiv i32 %div, %sub1 35 %mul3 = mul nsw i32 %div2, %b 36 %add4 = add nsw i32 %mul3, 3 37 %call = tail call i32 @t(i32 %add4) #0 38 ret i32 %call 39} 40 41; CHECK-LABEL: g: 42; CHECK: str lr, [sp, #-8]! 43; CHECK-NEXT: bl OUTLINED_FUNCTION_0 44; CHECK-NEXT: ldr lr, [sp], #8 45; CHECK-NEXT: adds r0, #3 46; CHECK-NEXT: b t 47 48; CHECK-LABEL: OUTLINED_FUNCTION_0: 49; CHECK-NOT: lr 50; CHECK: bx lr 51 52attributes #0 = { minsize nounwind optsize } 53