test/CodeGen/X86/musttail-tailcc.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s -check-prefix=X64
   3 ; RUN: llc < %s -mtriple=i686-unknown-unknown   | FileCheck %s -check-prefix=X32
   4
   5 ; tailcc will turn all of these musttail calls into tail calls.
   6
   7 declare tailcc i32 @tailcallee(i32 %a1, i32 %a2)
   8
   9 define tailcc i32 @tailcaller(i32 %in1, i32 %in2) nounwind {
  10 ; X64-LABEL: tailcaller:
  11 ; X64:       # %bb.0: # %entry
  12 ; X64-NEXT:    pushq %rax
  13 ; X64-NEXT:    popq %rax
  14 ; X64-NEXT:    jmp tailcallee # TAILCALL
  15 ;
  16 ; X32-LABEL: tailcaller:
  17 ; X32:       # %bb.0: # %entry
  18 ; X32-NEXT:    jmp tailcallee # TAILCALL
  19 entry:
  20   %tmp11 = musttail call tailcc i32 @tailcallee(i32 %in1, i32 %in2)
  21   ret i32 %tmp11
  22 }
  23
  24 declare tailcc i8* @alias_callee()
  25
  26 define tailcc noalias i8* @noalias_caller() nounwind {
  27 ; X64-LABEL: noalias_caller:
  28 ; X64:       # %bb.0:
  29 ; X64-NEXT:    pushq %rax
  30 ; X64-NEXT:    popq %rax
  31 ; X64-NEXT:    jmp alias_callee # TAILCALL
  32 ;
  33 ; X32-LABEL: noalias_caller:
  34 ; X32:       # %bb.0:
  35 ; X32-NEXT:    jmp alias_callee # TAILCALL
  36   %p = musttail call tailcc i8* @alias_callee()
  37   ret i8* %p
  38 }
  39
  40 declare tailcc noalias i8* @noalias_callee()
  41
  42 define tailcc i8* @alias_caller() nounwind {
  43 ; X64-LABEL: alias_caller:
  44 ; X64:       # %bb.0:
  45 ; X64-NEXT:    pushq %rax
  46 ; X64-NEXT:    popq %rax
  47 ; X64-NEXT:    jmp noalias_callee # TAILCALL
  48 ;
  49 ; X32-LABEL: alias_caller:
  50 ; X32:       # %bb.0:
  51 ; X32-NEXT:    jmp noalias_callee # TAILCALL
  52   %p = musttail call tailcc noalias i8* @noalias_callee()
  53   ret i8* %p
  54 }
  55
  56 define tailcc void @void_test(i32, i32, i32, i32) {
  57 ; X64-LABEL: void_test:
  58 ; X64:       # %bb.0: # %entry
  59 ; X64-NEXT:    pushq %rax
  60 ; X64-NEXT:    .cfi_def_cfa_offset 16
  61 ; X64-NEXT:    popq %rax
  62 ; X64-NEXT:    .cfi_def_cfa_offset 8
  63 ; X64-NEXT:    jmp void_test # TAILCALL
  64 ;
  65 ; X32-LABEL: void_test:
  66 ; X32:       # %bb.0: # %entry
  67 ; X32-NEXT:    pushl %esi
  68 ; X32-NEXT:    .cfi_def_cfa_offset 8
  69 ; X32-NEXT:    subl $8, %esp
  70 ; X32-NEXT:    .cfi_def_cfa_offset 16
  71 ; X32-NEXT:    .cfi_offset %esi, -8
  72 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  73 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %esi
  74 ; X32-NEXT:    movl %esi, {{[0-9]+}}(%esp)
  75 ; X32-NEXT:    movl %eax, {{[0-9]+}}(%esp)
  76 ; X32-NEXT:    addl $8, %esp
  77 ; X32-NEXT:    .cfi_def_cfa_offset 8
  78 ; X32-NEXT:    popl %esi
  79 ; X32-NEXT:    .cfi_def_cfa_offset 4
  80 ; X32-NEXT:    jmp void_test # TAILCALL
  81   entry:
  82    musttail call tailcc void @void_test( i32 %0, i32 %1, i32 %2, i32 %3)
  83    ret void
  84 }
  85
  86 define tailcc i1 @i1test(i32, i32, i32, i32) {
  87 ; X64-LABEL: i1test:
  88 ; X64:       # %bb.0: # %entry
  89 ; X64-NEXT:    pushq %rax
  90 ; X64-NEXT:    .cfi_def_cfa_offset 16
  91 ; X64-NEXT:    popq %rax
  92 ; X64-NEXT:    .cfi_def_cfa_offset 8
  93 ; X64-NEXT:    jmp i1test # TAILCALL
  94 ;
  95 ; X32-LABEL: i1test:
  96 ; X32:       # %bb.0: # %entry
  97 ; X32-NEXT:    pushl %esi
  98 ; X32-NEXT:    .cfi_def_cfa_offset 8
  99 ; X32-NEXT:    subl $8, %esp
 100 ; X32-NEXT:    .cfi_def_cfa_offset 16
 101 ; X32-NEXT:    .cfi_offset %esi, -8
 102 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 103 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %esi
 104 ; X32-NEXT:    movl %esi, {{[0-9]+}}(%esp)
 105 ; X32-NEXT:    movl %eax, {{[0-9]+}}(%esp)
 106 ; X32-NEXT:    addl $8, %esp
 107 ; X32-NEXT:    .cfi_def_cfa_offset 8
 108 ; X32-NEXT:    popl %esi
 109 ; X32-NEXT:    .cfi_def_cfa_offset 4
 110 ; X32-NEXT:    jmp i1test # TAILCALL
 111   entry:
 112   %4 = musttail call tailcc i1 @i1test( i32 %0, i32 %1, i32 %2, i32 %3)
 113   ret i1 %4
 114 }