mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-15 20:29:48 +00:00
dae28732f4
We've rejected these kinds of functions since r28405 in 2006 because it's impossible to lower the return of a callee cleanup varargs function. However there are lots of legal ways to leave such a function without returning, such as aborting. Today we can leave a function with a musttail call to another function with the correct prototype, and everything works out. I'm removing the verifier check declaring that a normal return from such a function is UB. Reviewed By: nlewycky Differential Revision: http://reviews.llvm.org/D5059 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@216779 91177308-0d34-0410-b5e6-96231b3b80d8
55 lines
1.8 KiB
LLVM
55 lines
1.8 KiB
LLVM
; RUN: llc -mtriple=i686-pc-windows < %s | FileCheck %s
|
|
|
|
target datalayout = "e-m:w-p:32:32-i64:64-f80:32-n8:16:32-S32"
|
|
|
|
declare x86_thiscallcc void @thiscall_thunk(i8* %this, ...)
|
|
define i32 @call_varargs_thiscall_thunk(i8* %a, i32 %b, i32 %c, i32 %d) {
|
|
call x86_thiscallcc void (i8*, ...)* @thiscall_thunk(i8* %a, i32 1, i32 2)
|
|
call x86_thiscallcc void (i8*, ...)* @thiscall_thunk(i8* %a, i32 1, i32 2)
|
|
%t1 = add i32 %b, %c
|
|
%r = add i32 %t1, %d
|
|
ret i32 %r
|
|
}
|
|
|
|
; CHECK: _call_varargs_thiscall_thunk:
|
|
; CHECK: calll _thiscall_thunk
|
|
; CHECK-NEXT: subl $8, %esp
|
|
|
|
; We don't mangle the argument size into variadic callee cleanup functions.
|
|
|
|
declare x86_stdcallcc void @stdcall_thunk(i8* %this, ...)
|
|
define i32 @call_varargs_stdcall_thunk(i8* %a, i32 %b, i32 %c, i32 %d) {
|
|
call x86_stdcallcc void (i8*, ...)* @stdcall_thunk(i8* %a, i32 1, i32 2)
|
|
call x86_stdcallcc void (i8*, ...)* @stdcall_thunk(i8* %a, i32 1, i32 2)
|
|
%t1 = add i32 %b, %c
|
|
%r = add i32 %t1, %d
|
|
ret i32 %r
|
|
}
|
|
|
|
; CHECK: _call_varargs_stdcall_thunk:
|
|
; CHECK: calll _stdcall_thunk{{$}}
|
|
; CHECK-NEXT: subl $12, %esp
|
|
|
|
declare x86_fastcallcc void @fastcall_thunk(i8* %this, ...)
|
|
define i32 @call_varargs_fastcall_thunk(i8* %a, i32 %b, i32 %c, i32 %d) {
|
|
call x86_fastcallcc void (i8*, ...)* @fastcall_thunk(i8* inreg %a, i32 inreg 1, i32 2)
|
|
call x86_fastcallcc void (i8*, ...)* @fastcall_thunk(i8* inreg %a, i32 inreg 1, i32 2)
|
|
%t1 = add i32 %b, %c
|
|
%r = add i32 %t1, %d
|
|
ret i32 %r
|
|
}
|
|
|
|
; CHECK: _call_varargs_fastcall_thunk:
|
|
; CHECK: calll @fastcall_thunk{{$}}
|
|
; CHECK-NEXT: subl $4, %esp
|
|
|
|
; If you actually return from such a thunk, it will only pop the non-variadic
|
|
; portion of the arguments, which is different from what the callee passes.
|
|
|
|
define x86_stdcallcc void @varargs_stdcall_return(i32, i32, ...) {
|
|
ret void
|
|
}
|
|
|
|
; CHECK: _varargs_stdcall_return:
|
|
; CHECK: retl $8
|