test/Verifier/musttail-invalid.ll

   1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 ; Each musttail call should fail to validate.
   4
   5 declare x86_stdcallcc void @cc_mismatch_callee()
   6 define void @cc_mismatch() {
   7 ; CHECK: mismatched calling conv
   8   musttail call x86_stdcallcc void @cc_mismatch_callee()
   9   ret void
  10 }
  11
  12 declare void @more_parms_callee(i32)
  13 define void @more_parms() {
  14 ; CHECK: mismatched parameter counts
  15   musttail call void @more_parms_callee(i32 0)
  16   ret void
  17 }
  18
  19 declare void @mismatched_intty_callee(i8)
  20 define void @mismatched_intty(i32) {
  21 ; CHECK: mismatched parameter types
  22   musttail call void @mismatched_intty_callee(i8 0)
  23   ret void
  24 }
  25
  26 declare void @mismatched_vararg_callee(i8*, ...)
  27 define void @mismatched_vararg(i8*) {
  28 ; CHECK: mismatched varargs
  29   musttail call void (i8*, ...)* @mismatched_vararg_callee(i8* null)
  30   ret void
  31 }
  32
  33 ; We would make this an implicit sret parameter, which would disturb the
  34 ; tail call.
  35 declare { i32, i32, i32 } @mismatched_retty_callee(i32)
  36 define void @mismatched_retty(i32) {
  37 ; CHECK: mismatched return types
  38   musttail call { i32, i32, i32 } @mismatched_retty_callee(i32 0)
  39   ret void
  40 }
  41
  42 declare void @mismatched_byval_callee({ i32 }*)
  43 define void @mismatched_byval({ i32 }* byval %a) {
  44 ; CHECK: mismatched ABI impacting function attributes
  45   musttail call void @mismatched_byval_callee({ i32 }* %a)
  46   ret void
  47 }
  48
  49 declare void @mismatched_inreg_callee(i32 inreg)
  50 define void @mismatched_inreg(i32 %a) {
  51 ; CHECK: mismatched ABI impacting function attributes
  52   musttail call void @mismatched_inreg_callee(i32 inreg %a)
  53   ret void
  54 }
  55
  56 declare void @mismatched_sret_callee(i32* sret)
  57 define void @mismatched_sret(i32* %a) {
  58 ; CHECK: mismatched ABI impacting function attributes
  59   musttail call void @mismatched_sret_callee(i32* sret %a)
  60   ret void
  61 }
  62
  63 declare void @mismatched_alignment_callee(i32* byval align 8)
  64 define void @mismatched_alignment(i32* byval align 4 %a) {
  65 ; CHECK: mismatched ABI impacting function attributes
  66   musttail call void @mismatched_alignment_callee(i32* byval align 8 %a)
  67   ret void
  68 }
  69
  70 declare i32 @not_tail_pos_callee()
  71 define i32 @not_tail_pos() {
  72 ; CHECK: musttail call must be precede a ret with an optional bitcast
  73   %v = musttail call i32 @not_tail_pos_callee()
  74   %w = add i32 %v, 1
  75   ret i32 %w
  76 }
  77
  78 define void @inline_asm() {
  79 ; CHECK: cannot use musttail call with inline asm
  80   musttail call void asm "ret", ""()
  81   ret void
  82 }