llvm/test/CodeGen/AArch64/sve-callbyref-notailcall.ll

   1 ; Because some arguments are passed by reference (through stack),
   2 ; the compiler should not do tail-call optimization.
   3 ; RUN: llc -mtriple=aarch64 -mattr=+sve < %s | FileCheck %s
   4
   5 ; CHECK-LABEL: caller:
   6 ; CHECK:       addvl sp, sp, #-[[STACKSIZE:[0-9]+]]
   7 ; CHECK-NOT:   addvl sp
   8 ; CHECK:       bl callee
   9 ; CHECK:       addvl sp, sp, #[[STACKSIZE]]
  10 ; CHECK:       ret
  11 define <vscale x 16 x i8> @caller(<vscale x 16 x i8> %v) {
  12   %1 = tail call <vscale x 16 x i8> @callee(<vscale x 16 x i8> %v, <vscale x 16 x i8> %v, <vscale x 16 x i8> %v, <vscale x 16 x i8> %v, <vscale x 16 x i8> %v, <vscale x 16 x i8> %v, <vscale x 16 x i8> %v, <vscale x 16 x i8> %v, <vscale x 16 x i8> %v)
  13   ret <vscale x 16 x i8> %1
  14 }
  15
  16 declare <vscale x 16 x i8> @callee(<vscale x 16 x i8>, <vscale x 16 x i8>, <vscale x 16 x i8>, <vscale x 16 x i8>, <vscale x 16 x i8>, <vscale x 16 x i8>, <vscale x 16 x i8>, <vscale x 16 x i8>, <vscale x 16 x i8>)
  17
  18 ; CHECK-LABEL: caller_pred:
  19 ; CHECK:       addvl sp, sp, #-[[STACKSIZE:[0-9]+]]
  20 ; CHECK-NOT:   addvl sp
  21 ; CHECK:       bl callee_pred
  22 ; CHECK:       addvl sp, sp, #[[STACKSIZE]]
  23 ; CHECK:       ret
  24 define <vscale x 16 x i1> @caller_pred(<vscale x 16 x i1> %v) {
  25   %1 = tail call <vscale x 16 x i1> @callee_pred(<vscale x 16 x i1> %v, <vscale x 16 x i1> %v, <vscale x 16 x i1> %v, <vscale x 16 x i1> %v, <vscale x 16 x i1> %v)
  26   ret <vscale x 16 x i1> %1
  27 }
  28
  29 declare <vscale x 16 x i1> @callee_pred(<vscale x 16 x i1>, <vscale x 16 x i1>, <vscale x 16 x i1>, <vscale x 16 x i1>, <vscale x 16 x i1>)