llvm/test/Verifier/musttail-valid.ll

   1 ; RUN: llvm-as %s -o /dev/null
   2
   3 ; Should assemble without error.
   4
   5 declare void @similar_param_ptrty_callee(ptr)
   6 define void @similar_param_ptrty(ptr) {
   7   musttail call void @similar_param_ptrty_callee(ptr null)
   8   ret void
   9 }
  10
  11 declare ptr @similar_ret_ptrty_callee()
  12 define ptr @similar_ret_ptrty() {
  13   %v = musttail call ptr @similar_ret_ptrty_callee()
  14   ret ptr %v
  15 }
  16
  17 declare x86_thiscallcc void @varargs_thiscall(ptr, ...)
  18 define x86_thiscallcc void @varargs_thiscall_thunk(ptr %this, ...) {
  19   musttail call x86_thiscallcc void (ptr, ...) @varargs_thiscall(ptr %this, ...)
  20   ret void
  21 }
  22
  23 declare x86_fastcallcc void @varargs_fastcall(ptr, ...)
  24 define x86_fastcallcc void @varargs_fastcall_thunk(ptr %this, ...) {
  25   musttail call x86_fastcallcc void (ptr, ...) @varargs_fastcall(ptr %this, ...)
  26   ret void
  27 }
  28
  29 define x86_thiscallcc void @varargs_thiscall_unreachable(ptr %this, ...) {
  30   unreachable
  31 }
  32
  33 define x86_thiscallcc void @varargs_thiscall_ret_unreachable(ptr %this, ...) {
  34   musttail call x86_thiscallcc void (ptr, ...) @varargs_thiscall(ptr %this, ...)
  35   ret void
  36 bb1:
  37   ret void
  38 }