llvm/test/CodeGen/AArch64/arm64-homogeneous-prolog-epilog.ll

   1 ; RUN: llc < %s -mtriple=arm64-apple-ios7.0 -homogeneous-prolog-epilog| FileCheck %s
   2 ; RUN: llc < %s -mtriple=aarch64-unknown-linux-gnu  -homogeneous-prolog-epilog | FileCheck %s --check-prefixes=CHECK-LINUX
   3
   4 ; CHECK-LABEL: __Z3hooii:
   5 ; CHECK:      stp     x29, x30, [sp, #-16]!
   6 ; CHECK-NEXT: bl      _OUTLINED_FUNCTION_PROLOG_x30x29x19x20x21x22
   7 ; CHECK:      bl      __Z3gooi
   8 ; CHECK:      bl      __Z3gooi
   9 ; CHECK:      bl      _OUTLINED_FUNCTION_EPILOG_x30x29x19x20x21x22
  10 ; CHECK-NEXT: b __Z3gooi
  11
  12 ; CHECK-LINUX-LABEL: _Z3hooii:
  13 ; CHECK-LINUX:      stp     x29, x30, [sp, #-48]!
  14 ; CHECK-LINUX-NEXT: bl      OUTLINED_FUNCTION_PROLOG_x19x20x21x22x30x29
  15 ; CHECK-LINUX:      bl      _Z3gooi
  16 ; CHECK-LINUX:      bl      _Z3gooi
  17 ; CHECK-LINUX:      bl      OUTLINED_FUNCTION_EPILOG_x19x20x21x22x30x29
  18 ; CHECK-LINUX-NEXT: b _Z3gooi
  19
  20 define i32 @_Z3hooii(i32 %b, i32 %a) nounwind ssp minsize {
  21   %1 = tail call i32 @_Z3gooi(i32 %b)
  22   %2 = tail call i32 @_Z3gooi(i32 %a)
  23   %3 = add i32 %a, %b
  24   %4 = add i32 %3, %1
  25   %5 = add i32 %4, %2
  26   %6 = tail call i32 @_Z3gooi(i32 %5)
  27   ret i32 %6
  28 }
  29
  30 declare i32 @_Z3gooi(i32);
  31
  32 ; CHECK-LABEL: _foo:
  33 ; CHECK:        sub sp, sp, #16
  34 ; CHECK:        bl  _goo
  35 ; CHECK:        add sp, sp, #16
  36
  37 define i32 @foo(i32 %c) nounwind minsize {
  38 entry:
  39   %buffer = alloca [1 x i32], align 4
  40   call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %buffer)
  41   %call = call i32 @goo(ptr nonnull %buffer)
  42   %sub = sub nsw i32 %c, %call
  43   call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %buffer)
  44
  45   ret i32 %sub
  46 }
  47
  48 declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture)
  49 declare i32 @goo(ptr)
  50 declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture)
  51
  52 ; CHECK-LABEL: _OUTLINED_FUNCTION_PROLOG_x30x29x19x20x21x22:
  53 ; CHECK:      stp     x22, x21, [sp, #-32]!
  54 ; CHECK-NEXT: stp     x20, x19, [sp, #16]
  55 ; CHECK-NEXT: ret
  56
  57 ; CHECK-LABEL: _OUTLINED_FUNCTION_EPILOG_x30x29x19x20x21x22:
  58 ; CHECK:      mov     x16, x30
  59 ; CHECK-NEXT: ldp     x29, x30, [sp, #32]
  60 ; CHECK-NEXT: ldp     x20, x19, [sp, #16]
  61 ; CHECK-NEXT: ldp     x22, x21, [sp], #48
  62 ; CHECK-NEXT: ret     x16
  63
  64 ; CHECK-LINUX-LABEL: OUTLINED_FUNCTION_PROLOG_x19x20x21x22x30x29:
  65 ; CHECK-LINUX:      stp     x22, x21, [sp, #16]
  66 ; CHECK-LINUX-NEXT: stp     x20, x19, [sp, #32]
  67 ; CHECK-LINUX-NEXT: ret
  68
  69 ; CHECK-LINUX-LABEL: OUTLINED_FUNCTION_EPILOG_x19x20x21x22x30x29:
  70 ; CHECK-LINUX:      mov     x16, x30
  71 ; CHECK-LINUX-NEXT: ldp     x20, x19, [sp, #32]
  72 ; CHECK-LINUX-NEXT: ldp     x22, x21, [sp, #16]
  73 ; CHECK-LINUX-NEXT: ldp     x29, x30, [sp], #48
  74 ; CHECK-LINUX-NEXT: ret     x16
  75
  76 ; nothing to check - hit assert if not bailing out for swiftasync
  77 define void @swift_async(ptr swiftasync %ctx) minsize "frame-pointer"="all" {
  78   ret void
  79 }