mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-16 11:30:51 +00:00
805a83c041
MSVC always places the implicit sret parameter after the implicit this parameter of instance methods. We used to handle this for x86_thiscallcc by allocating the sret parameter on the stack and leaving the this pointer in ecx, but that doesn't handle alternative calling conventions like cdecl, stdcall, fastcall, or the win64 convention. Instead, change the verifier to allow sret on the second parameter. This also requires changing the Mips and X86 backends to return the argument with the sret parameter, instead of assuming that the sret parameter comes first. The Sparc backend also returns sret parameters in a register, but I wasn't able to update it to handle secondary sret parameters. It currently calls report_fatal_error if you feed it an sret in the second parameter. Reviewers: rafael.espindola, majnemer Differential Revision: http://reviews.llvm.org/D3617 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@208453 91177308-0d34-0410-b5e6-96231b3b80d8
24 lines
481 B
LLVM
24 lines
481 B
LLVM
; RUN: llc -march=mips64el -mcpu=mips64r2 -mattr=n64 < %s | FileCheck %s
|
|
|
|
define void @foo(i32* noalias sret %agg.result) nounwind {
|
|
entry:
|
|
; CHECK-LABEL: foo:
|
|
; CHECK: sw {{.*}}, 0($4)
|
|
; CHECK: jr $ra
|
|
; CHECK-NEXT: move $2, $4
|
|
|
|
store i32 42, i32* %agg.result
|
|
ret void
|
|
}
|
|
|
|
define void @bar(i32 %v, i32* noalias sret %agg.result) nounwind {
|
|
entry:
|
|
; CHECK-LABEL: bar:
|
|
; CHECK: sw $4, 0($5)
|
|
; CHECK: jr $ra
|
|
; CHECK-NEXT: move $2, $5
|
|
|
|
store i32 %v, i32* %agg.result
|
|
ret void
|
|
}
|