aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/Inline/inline-musttail-varargs.ll
blob: 7a8957488e1c9fdea69e5183aa25903b6aecb4a1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
; RUN: opt < %s -inline -instcombine -S | FileCheck %s

; We can't inline this thunk yet, but one day we will be able to.  And when we
; do, this test case will be ready.

declare void @ext_method(i8*, i32)

define linkonce_odr void @thunk(i8* %this, ...) {
  %this_adj = getelementptr i8* %this, i32 4
  musttail call void (i8*, ...)* bitcast (void (i8*, i32)* @ext_method to void (i8*, ...)*)(i8* %this_adj, ...)
  ret void
}

define void @thunk_caller(i8* %p) {
  call void (i8*, ...)* @thunk(i8* %p, i32 42)
  ret void
}
; CHECK-LABEL: define void @thunk_caller(i8* %p)
; CHECK: call void (i8*, ...)* @thunk(i8* %p, i32 42)

; FIXME: Inline the thunk. This should be significantly easier than inlining
; general varargs functions.