llvm/test/CodeGen/X86/tailcall-swifttailcc.ll

   1 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
   2
   3 declare dso_local swifttailcc i32 @tailcallee(i32 %a1, i32 %a2, i32 %a3, i32 %a4)
   4
   5 define dso_local swifttailcc i32 @tailcaller(i32 %in1, i32 %in2) nounwind {
   6 ; CHECK-LABEL: tailcaller:
   7 ; CHECK-NOT: subq
   8 ; CHECK-NOT: addq
   9 ; CHECK: jmp tailcallee
  10 entry:
  11   %tmp11 = musttail call swifttailcc i32 @tailcallee(i32 %in1, i32 %in2, i32 %in1, i32 %in2)
  12   ret i32 %tmp11
  13 }
  14
  15 declare dso_local swifttailcc ptr @alias_callee()
  16
  17 define swifttailcc noalias ptr @noalias_caller() nounwind {
  18 ; CHECK-LABEL: noalias_caller:
  19 ; CHECK:    jmp alias_callee
  20   %p = musttail call swifttailcc ptr @alias_callee()
  21   ret ptr %p
  22 }
  23
  24 declare dso_local swifttailcc noalias ptr @noalias_callee()
  25
  26 define dso_local swifttailcc ptr @alias_caller() nounwind {
  27 ; CHECK-LABEL: alias_caller:
  28 ; CHECK:    jmp noalias_callee # TAILCALL
  29   %p = musttail call swifttailcc noalias ptr @noalias_callee()
  30   ret ptr %p
  31 }
  32
  33 declare dso_local swifttailcc i32 @i32_callee()
  34
  35 define dso_local swifttailcc i32 @ret_undef() nounwind {
  36 ; CHECK-LABEL: ret_undef:
  37 ; CHECK:    jmp i32_callee # TAILCALL
  38   %p = musttail call swifttailcc i32 @i32_callee()
  39   ret i32 undef
  40 }
  41
  42 declare dso_local swifttailcc void @does_not_return()
  43
  44 define dso_local swifttailcc i32 @noret() nounwind {
  45 ; CHECK-LABEL: noret:
  46 ; CHECK:    jmp does_not_return
  47   tail call swifttailcc void @does_not_return()
  48   unreachable
  49 }
  50
  51 define dso_local swifttailcc void @void_test(i32, i32, i32, i32) {
  52 ; CHECK-LABEL: void_test:
  53 ; CHECK:    jmp void_test
  54   entry:
  55    musttail call swifttailcc void @void_test( i32 %0, i32 %1, i32 %2, i32 %3)
  56    ret void
  57 }
  58
  59 define dso_local swifttailcc i1 @i1test(i32, i32, i32, i32) {
  60 ; CHECK-LABEL: i1test:
  61 ; CHECK:    jmp i1test
  62   entry:
  63   %4 = musttail call swifttailcc i1 @i1test( i32 %0, i32 %1, i32 %2, i32 %3)
  64   ret i1 %4
  65 }