mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 03:33:20 +01:00
fast-isel sret calls, try 2. We actually do need to do something on x86-32. rdar://problem/9303592 .
llvm-svn: 130429
This commit is contained in:
parent
6c39b65886
commit
afc21e9be2
@ -1618,7 +1618,6 @@ bool X86FastISel::X86SelectCall(const Instruction *I) {
|
||||
|
||||
// FIXME: Only handle *easy* calls for now.
|
||||
if (CS.paramHasAttr(AttrInd, Attribute::InReg) ||
|
||||
CS.paramHasAttr(AttrInd, Attribute::StructRet) ||
|
||||
CS.paramHasAttr(AttrInd, Attribute::Nest) ||
|
||||
CS.paramHasAttr(AttrInd, Attribute::ByVal))
|
||||
return false;
|
||||
@ -1811,8 +1810,11 @@ bool X86FastISel::X86SelectCall(const Instruction *I) {
|
||||
|
||||
// Issue CALLSEQ_END
|
||||
unsigned AdjStackUp = TM.getRegisterInfo()->getCallFrameDestroyOpcode();
|
||||
unsigned NumBytesCallee = 0;
|
||||
if (!Subtarget->is64Bit() && CS.paramHasAttr(1, Attribute::StructRet))
|
||||
NumBytesCallee = 4;
|
||||
BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, TII.get(AdjStackUp))
|
||||
.addImm(NumBytes).addImm(0);
|
||||
.addImm(NumBytes).addImm(NumBytesCallee);
|
||||
|
||||
// Now handle call return value (if any).
|
||||
SmallVector<unsigned, 4> UsedRegs;
|
||||
|
@ -239,6 +239,19 @@ define void @test19(double* %p1) {
|
||||
; CHECK: pxor
|
||||
}
|
||||
|
||||
; Check that we fast-isel sret
|
||||
%struct.a = type { i64, i64, i64 }
|
||||
define void @test20() nounwind ssp {
|
||||
entry:
|
||||
%tmp = alloca %struct.a, align 8
|
||||
call void @test20sret(%struct.a* sret %tmp)
|
||||
ret void
|
||||
; CHECK: test20:
|
||||
; CHECK: leaq (%rsp), %rdi
|
||||
; CHECK: callq _test20sret
|
||||
}
|
||||
declare void @test20sret(%struct.a* sret)
|
||||
|
||||
; Check that -0.0 is not materialized using pxor
|
||||
define void @test21(double* %p1) {
|
||||
store double -0.0, double* %p1
|
||||
|
@ -31,3 +31,18 @@ define i32 @test2() nounwind {
|
||||
%t = load i32* @HHH
|
||||
ret i32 %t
|
||||
}
|
||||
|
||||
; Check that we fast-isel sret, and handle the callee-pops behavior correctly.
|
||||
%struct.a = type { i64, i64, i64 }
|
||||
define void @test3() nounwind ssp {
|
||||
entry:
|
||||
%tmp = alloca %struct.a, align 8
|
||||
call void @test3sret(%struct.a* sret %tmp)
|
||||
ret void
|
||||
; CHECK: test3:
|
||||
; CHECK: subl $44
|
||||
; CHECK: leal 16(%esp)
|
||||
; CHECK: calll _test3sret
|
||||
; CHECK: addl $40
|
||||
}
|
||||
declare void @test3sret(%struct.a* sret)
|
||||
|
Loading…
Reference in New Issue
Block a user