55 lines · plain
1; RUN: llc -mtriple=i686-pc-windows -no-x86-call-frame-opt < %s | FileCheck %s2 3target datalayout = "e-m:w-p:32:32-i64:64-f80:32-n8:16:32-S32"4 5declare x86_thiscallcc void @thiscall_thunk(ptr %this, ...)6define i32 @call_varargs_thiscall_thunk(ptr %a, i32 %b, i32 %c, i32 %d) {7 call x86_thiscallcc void (ptr, ...) @thiscall_thunk(ptr %a, i32 1, i32 2)8 call x86_thiscallcc void (ptr, ...) @thiscall_thunk(ptr %a, i32 1, i32 2)9 %t1 = add i32 %b, %c10 %r = add i32 %t1, %d11 ret i32 %r12}13 14; CHECK: _call_varargs_thiscall_thunk:15; CHECK: calll _thiscall_thunk16; CHECK-NEXT: subl $8, %esp17 18; We don't mangle the argument size into variadic callee cleanup functions.19 20declare x86_stdcallcc void @stdcall_thunk(ptr %this, ...)21define i32 @call_varargs_stdcall_thunk(ptr %a, i32 %b, i32 %c, i32 %d) {22 call x86_stdcallcc void (ptr, ...) @stdcall_thunk(ptr %a, i32 1, i32 2)23 call x86_stdcallcc void (ptr, ...) @stdcall_thunk(ptr %a, i32 1, i32 2)24 %t1 = add i32 %b, %c25 %r = add i32 %t1, %d26 ret i32 %r27}28 29; CHECK: _call_varargs_stdcall_thunk:30; CHECK: calll _stdcall_thunk{{$}}31; CHECK-NEXT: subl $12, %esp32 33declare x86_fastcallcc void @fastcall_thunk(ptr %this, ...)34define i32 @call_varargs_fastcall_thunk(ptr %a, i32 %b, i32 %c, i32 %d) {35 call x86_fastcallcc void (ptr, ...) @fastcall_thunk(ptr inreg %a, i32 inreg 1, i32 2)36 call x86_fastcallcc void (ptr, ...) @fastcall_thunk(ptr inreg %a, i32 inreg 1, i32 2)37 %t1 = add i32 %b, %c38 %r = add i32 %t1, %d39 ret i32 %r40}41 42; CHECK: _call_varargs_fastcall_thunk:43; CHECK: calll @fastcall_thunk{{$}}44; CHECK-NEXT: subl $4, %esp45 46; If you actually return from such a thunk, it will only pop the non-variadic47; portion of the arguments, which is different from what the callee passes.48 49define x86_stdcallcc void @varargs_stdcall_return(i32, i32, ...) {50 ret void51}52 53; CHECK: _varargs_stdcall_return:54; CHECK: retl $855