test/Transforms/Inline/inline-musttail-varargs.ll

   1 ; RUN: opt < %s -inline -instcombine -S | FileCheck %s
   2
   3 ; We can't inline this thunk yet, but one day we will be able to.  And when we
   4 ; do, this test case will be ready.
   5
   6 declare void @ext_method(i8*, i32)
   7
   8 define linkonce_odr void @thunk(i8* %this, ...) {
   9   %this_adj = getelementptr i8, i8* %this, i32 4
  10   musttail call void (i8*, ...) bitcast (void (i8*, i32)* @ext_method to void (i8*, ...)*)(i8* %this_adj, ...)
  11   ret void
  12 }
  13
  14 define void @thunk_caller(i8* %p) {
  15   call void (i8*, ...) @thunk(i8* %p, i32 42)
  16   ret void
  17 }
  18 ; CHECK-LABEL: define void @thunk_caller(i8* %p)
  19 ; CHECK: call void (i8*, ...) @thunk(i8* %p, i32 42)
  20
  21 ; FIXME: Inline the thunk. This should be significantly easier than inlining
  22 ; general varargs functions.