replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[WinX86_64 ABI] Treat C99 _Complex as a struct 

MSVC does not support C99 _Complex.
ICC, however, does support it on windows x86_64, and treats it, for purposes of parameter passing, as equivalent to a struct containing two fields (for the real and imaginary part). 

Differential Revision: http://reviews.llvm.org/D7825

llvm-svn: 230315
This commit is contained in:
Michael Kuperstein 2015-02-24 09:35:58 +00:00
parent 7906f139c3
commit 4f818708a8
2 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
clang/lib/CodeGen/TargetInfo.cpp
View File

@ -3041,7 +3041,7 @@ ABIArgInfo WinX86_64ABIInfo::classify(QualType Ty, unsigned &FreeSSERegs,
return ABIArgInfo::getDirect();
}
if (RT || Ty->isMemberPointerType()) {
if (RT || Ty->isAnyComplexType() || Ty->isMemberPointerType()) {
// MS x64 ABI requirement: "Any argument that doesn't fit in 8 bytes, or is
// not 1, 2, 4, or 8 bytes, must be passed by reference."
if (Width > 64 || !llvm::isPowerOf2_64(Width))

15
clang/test/CodeGen/x86_64-arguments-win32.c
View File

@ -14,3 +14,18 @@ void f3(short a) {}
// CHECK-LABEL: define void @f4(i16 %a)
void f4(unsigned short a) {}
// For ABI compatibility with ICC, _Complex should be passed/returned
// as if it were a struct with two elements.
// CHECK-LABEL: define void @f5(i64 %a.coerce)
void f5(_Complex float a) {}
// CHECK-LABEL: define void @f6({ double, double }* %a)
void f6(_Complex double a) {}
// CHECK-LABEL: define i64 @f7()
_Complex float f7() { return 1.0; }
// CHECK-LABEL: define void @f8({ double, double }* noalias sret %agg.result)
_Complex double f8() { return 1.0; }