CGCall.cpp revision 5bde6f41506535ddaf6e9ff60bd1488db8ded952
10dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar//===----- CGCall.h - Encapsulate calling convention details ----*- C++ -*-===// 20dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar// 30dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar// The LLVM Compiler Infrastructure 40dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar// 50dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar// This file is distributed under the University of Illinois Open Source 60dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar// License. See LICENSE.TXT for details. 70dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar// 80dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar//===----------------------------------------------------------------------===// 90dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar// 100dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar// These classes wrap the information about a call or function 110dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar// definition used to handle ABI compliancy. 120dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar// 130dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar//===----------------------------------------------------------------------===// 140dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar 150dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar#include "CGCall.h" 160dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar#include "CodeGenFunction.h" 17b768807c49a1c7085def099b848631856af766faDaniel Dunbar#include "CodeGenModule.h" 186b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar#include "clang/Basic/TargetInfo.h" 190dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar#include "clang/AST/ASTContext.h" 200dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar#include "clang/AST/Decl.h" 210dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar#include "clang/AST/DeclObjC.h" 2299037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar#include "clang/AST/RecordLayout.h" 235627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar#include "llvm/ADT/StringExtras.h" 24d0646bd7c11c12b34971b55e5c1bdd8439401b4cDevang Patel#include "llvm/Attributes.h" 25d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar#include "llvm/Support/CallSite.h" 266f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar#include "llvm/Support/CommandLine.h" 27be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar#include "llvm/Support/MathExtras.h" 286f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar#include "llvm/Support/raw_ostream.h" 2954d1ccbfcf19ddf39444f1b4018dd79487cc847bDaniel Dunbar#include "llvm/Target/TargetData.h" 309eb5c6d3242d85359b2d669564c5e2826efb1931Daniel Dunbar 319eb5c6d3242d85359b2d669564c5e2826efb1931Daniel Dunbar#include "ABIInfo.h" 329eb5c6d3242d85359b2d669564c5e2826efb1931Daniel Dunbar 330dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbarusing namespace clang; 340dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbarusing namespace CodeGen; 350dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar 360dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar/***/ 370dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar 380dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar// FIXME: Use iterator and sidestep silly type array creation. 390dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar 40541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbarconst 4172564e73277e29f6db3305d1f27ba408abb7ed88Douglas GregorCGFunctionInfo &CodeGenTypes::getFunctionInfo(const FunctionNoProtoType *FTNP) { 42541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar return getFunctionInfo(FTNP->getResultType(), 43541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar llvm::SmallVector<QualType, 16>()); 4445c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar} 4545c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar 46541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbarconst 4772564e73277e29f6db3305d1f27ba408abb7ed88Douglas GregorCGFunctionInfo &CodeGenTypes::getFunctionInfo(const FunctionProtoType *FTP) { 48541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar llvm::SmallVector<QualType, 16> ArgTys; 49541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar // FIXME: Kill copy. 5045c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar for (unsigned i = 0, e = FTP->getNumArgs(); i != e; ++i) 51541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar ArgTys.push_back(FTP->getArgType(i)); 52541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar return getFunctionInfo(FTP->getResultType(), ArgTys); 5345c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar} 5445c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar 55541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbarconst CGFunctionInfo &CodeGenTypes::getFunctionInfo(const FunctionDecl *FD) { 560dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar const FunctionType *FTy = FD->getType()->getAsFunctionType(); 5772564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor if (const FunctionProtoType *FTP = dyn_cast<FunctionProtoType>(FTy)) 58541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar return getFunctionInfo(FTP); 5972564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor return getFunctionInfo(cast<FunctionNoProtoType>(FTy)); 600dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar} 610dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar 62541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbarconst CGFunctionInfo &CodeGenTypes::getFunctionInfo(const ObjCMethodDecl *MD) { 63541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar llvm::SmallVector<QualType, 16> ArgTys; 64541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar ArgTys.push_back(MD->getSelfDecl()->getType()); 65541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar ArgTys.push_back(Context.getObjCSelType()); 66541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar // FIXME: Kill copy? 672073216a1075767b5d25c23d1462b7034686d94dChris Lattner for (ObjCMethodDecl::param_iterator i = MD->param_begin(), 680dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar e = MD->param_end(); i != e; ++i) 69541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar ArgTys.push_back((*i)->getType()); 70541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar return getFunctionInfo(MD->getResultType(), ArgTys); 710dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar} 720dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar 73541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbarconst CGFunctionInfo &CodeGenTypes::getFunctionInfo(QualType ResTy, 74541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar const CallArgList &Args) { 75541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar // FIXME: Kill copy. 76541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar llvm::SmallVector<QualType, 16> ArgTys; 77725ad31086e3d6c41afa10c43db44f2e7060a961Daniel Dunbar for (CallArgList::const_iterator i = Args.begin(), e = Args.end(); 78725ad31086e3d6c41afa10c43db44f2e7060a961Daniel Dunbar i != e; ++i) 79541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar ArgTys.push_back(i->second); 80541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar return getFunctionInfo(ResTy, ArgTys); 810dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar} 820dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar 83541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbarconst CGFunctionInfo &CodeGenTypes::getFunctionInfo(QualType ResTy, 84541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar const FunctionArgList &Args) { 85541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar // FIXME: Kill copy. 86541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar llvm::SmallVector<QualType, 16> ArgTys; 87bb36d331f439f49859efcfb4435c61762fbba6f9Daniel Dunbar for (FunctionArgList::const_iterator i = Args.begin(), e = Args.end(); 88bb36d331f439f49859efcfb4435c61762fbba6f9Daniel Dunbar i != e; ++i) 89541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar ArgTys.push_back(i->second); 90541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar return getFunctionInfo(ResTy, ArgTys); 91541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar} 92541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar 93541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbarconst CGFunctionInfo &CodeGenTypes::getFunctionInfo(QualType ResTy, 94541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar const llvm::SmallVector<QualType, 16> &ArgTys) { 9540a6be686e5d5bb4198f1affda574e8a4b3a7710Daniel Dunbar // Lookup or create unique function info. 9640a6be686e5d5bb4198f1affda574e8a4b3a7710Daniel Dunbar llvm::FoldingSetNodeID ID; 9740a6be686e5d5bb4198f1affda574e8a4b3a7710Daniel Dunbar CGFunctionInfo::Profile(ID, ResTy, ArgTys.begin(), ArgTys.end()); 9840a6be686e5d5bb4198f1affda574e8a4b3a7710Daniel Dunbar 9940a6be686e5d5bb4198f1affda574e8a4b3a7710Daniel Dunbar void *InsertPos = 0; 10040a6be686e5d5bb4198f1affda574e8a4b3a7710Daniel Dunbar CGFunctionInfo *FI = FunctionInfos.FindNodeOrInsertPos(ID, InsertPos); 10140a6be686e5d5bb4198f1affda574e8a4b3a7710Daniel Dunbar if (FI) 10240a6be686e5d5bb4198f1affda574e8a4b3a7710Daniel Dunbar return *FI; 10340a6be686e5d5bb4198f1affda574e8a4b3a7710Daniel Dunbar 10488c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar // Construct the function info. 10540a6be686e5d5bb4198f1affda574e8a4b3a7710Daniel Dunbar FI = new CGFunctionInfo(ResTy, ArgTys); 10635e67d4387bbe3e7e17ee6b17eaa42eebb0eb9f1Daniel Dunbar FunctionInfos.InsertNode(FI, InsertPos); 107541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar 10888c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar // Compute ABI information. 1096bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar getABIInfo().computeInfo(*FI, getContext()); 110541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar 11188c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar return *FI; 1120dbe227feccf6a8dbadfff8ca3f80416b7bf2f28Daniel Dunbar} 11317b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar 11417b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar/***/ 11517b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar 1166b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel DunbarABIInfo::~ABIInfo() {} 1176b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar 1186f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbarvoid ABIArgInfo::dump() const { 1196f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar fprintf(stderr, "(ABIArgInfo Kind="); 1206f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar switch (TheKind) { 1216f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar case Direct: 1226f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar fprintf(stderr, "Direct"); 1236f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar break; 1246f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar case Ignore: 1256f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar fprintf(stderr, "Ignore"); 1266f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar break; 1276f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar case Coerce: 1286f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar fprintf(stderr, "Coerce Type="); 1296f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar getCoerceToType()->print(llvm::errs()); 1306f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar break; 13111e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar case Indirect: 13211e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar fprintf(stderr, "Indirect Align=%d", getIndirectAlign()); 1336f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar break; 1346f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar case Expand: 1356f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar fprintf(stderr, "Expand"); 1366f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar break; 1376f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar } 1386f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar fprintf(stderr, ")\n"); 1396f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar} 1406f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar 1416f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar/***/ 1426f7279bf98e31356306386b2c200820a76b491cfDaniel Dunbar 1435bde6f41506535ddaf6e9ff60bd1488db8ded952Daniel Dunbar/// isEmptyRecord - Return true iff a structure has no non-empty 144834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar/// members. Note that a structure with a flexible array member is not 145834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar/// considered empty. 1465bde6f41506535ddaf6e9ff60bd1488db8ded952Daniel Dunbarstatic bool isEmptyRecord(QualType T) { 1475bde6f41506535ddaf6e9ff60bd1488db8ded952Daniel Dunbar const RecordType *RT = T->getAsRecordType(); 148834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (!RT) 149834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return 0; 150834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar const RecordDecl *RD = RT->getDecl(); 151834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (RD->hasFlexibleArrayMember()) 152834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return false; 153f8d49f64ef6ab7e632717a31631fc289aab69428Douglas Gregor for (RecordDecl::field_iterator i = RD->field_begin(), 154834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar e = RD->field_end(); i != e; ++i) { 155834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar const FieldDecl *FD = *i; 1565bde6f41506535ddaf6e9ff60bd1488db8ded952Daniel Dunbar if (!isEmptyRecord(FD->getType())) 157834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return false; 158834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } 159834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return true; 160834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar} 161834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 162834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar/// isSingleElementStruct - Determine if a structure is a "single 163834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar/// element struct", i.e. it has exactly one non-empty field or 164834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar/// exactly one field which is itself a single element 165834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar/// struct. Structures with flexible array members are never 166834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar/// considered single element structs. 167834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar/// 168834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar/// \return The field declaration for the single non-empty field, if 169834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar/// it exists. 170834af456588587194337bb32671fb9329e73a7f7Daniel Dunbarstatic const FieldDecl *isSingleElementStruct(QualType T) { 171834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar const RecordType *RT = T->getAsStructureType(); 172834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (!RT) 173834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return 0; 174834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 175834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar const RecordDecl *RD = RT->getDecl(); 176834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (RD->hasFlexibleArrayMember()) 177834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return 0; 178834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 179834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar const FieldDecl *Found = 0; 180f8d49f64ef6ab7e632717a31631fc289aab69428Douglas Gregor for (RecordDecl::field_iterator i = RD->field_begin(), 181834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar e = RD->field_end(); i != e; ++i) { 182834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar const FieldDecl *FD = *i; 183834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar QualType FT = FD->getType(); 184834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 1855bde6f41506535ddaf6e9ff60bd1488db8ded952Daniel Dunbar if (isEmptyRecord(FT)) { 186834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar // Ignore 187834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } else if (Found) { 188834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return 0; 189834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } else if (!CodeGenFunction::hasAggregateLLVMType(FT)) { 190834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar Found = FD; 191834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } else { 192834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar Found = isSingleElementStruct(FT); 193834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (!Found) 194834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return 0; 195834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } 196834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } 197834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 198834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return Found; 199834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar} 200834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 201834af456588587194337bb32671fb9329e73a7f7Daniel Dunbarstatic bool is32Or64BitBasicType(QualType Ty, ASTContext &Context) { 202834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (!Ty->getAsBuiltinType() && !Ty->isPointerType()) 203834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return false; 204834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 205834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar uint64_t Size = Context.getTypeSize(Ty); 206834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return Size == 32 || Size == 64; 207834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar} 208834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 209834af456588587194337bb32671fb9329e73a7f7Daniel Dunbarstatic bool areAllFields32Or64BitBasicType(const RecordDecl *RD, 210834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar ASTContext &Context) { 211f8d49f64ef6ab7e632717a31631fc289aab69428Douglas Gregor for (RecordDecl::field_iterator i = RD->field_begin(), 212834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar e = RD->field_end(); i != e; ++i) { 213834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar const FieldDecl *FD = *i; 214834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 215834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (!is32Or64BitBasicType(FD->getType(), Context)) 216834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return false; 217834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 218e06a75f4c8ea30b6a99d5aa1dce5feda64da09c6Daniel Dunbar // FIXME: Reject bitfields wholesale; there are two problems, we 219e06a75f4c8ea30b6a99d5aa1dce5feda64da09c6Daniel Dunbar // don't know how to expand them yet, and the predicate for 220e06a75f4c8ea30b6a99d5aa1dce5feda64da09c6Daniel Dunbar // telling if a bitfield still counts as "basic" is more 221e06a75f4c8ea30b6a99d5aa1dce5feda64da09c6Daniel Dunbar // complicated than what we were doing previously. 222e06a75f4c8ea30b6a99d5aa1dce5feda64da09c6Daniel Dunbar if (FD->isBitField()) 223e06a75f4c8ea30b6a99d5aa1dce5feda64da09c6Daniel Dunbar return false; 224834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } 225e06a75f4c8ea30b6a99d5aa1dce5feda64da09c6Daniel Dunbar 226834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return true; 227834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar} 228834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 2296b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbarnamespace { 2306b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar/// DefaultABIInfo - The default implementation for ABI specific 2316b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar/// details. This implementation provides information which results in 2326bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar/// self-consistent and sensible LLVM IR generation, but does not 2336bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar/// conform to any particular ABI. 2346b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbarclass DefaultABIInfo : public ABIInfo { 2356bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar ABIArgInfo classifyReturnType(QualType RetTy, 2366bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar ASTContext &Context) const; 2376bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar 2386bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar ABIArgInfo classifyArgumentType(QualType RetTy, 2396bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar ASTContext &Context) const; 2406bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar 2416bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar virtual void computeInfo(CGFunctionInfo &FI, ASTContext &Context) const { 2426bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar FI.getReturnInfo() = classifyReturnType(FI.getReturnType(), Context); 2436bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end(); 2446bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar it != ie; ++it) 2456bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar it->info = classifyArgumentType(it->type, Context); 2466bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar } 247b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar 248b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty, 249b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar CodeGenFunction &CGF) const; 2506b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar}; 2516b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar 2526b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar/// X86_32ABIInfo - The X86-32 ABI information. 2536b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbarclass X86_32ABIInfo : public ABIInfo { 2549fd58e85d59f8244c7ba289ae4f9b4f5e0b4c98fEli Friedman bool IsDarwin; 2559fd58e85d59f8244c7ba289ae4f9b4f5e0b4c98fEli Friedman 2566b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbarpublic: 2576bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar ABIArgInfo classifyReturnType(QualType RetTy, 2586bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar ASTContext &Context) const; 2596b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar 2606bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar ABIArgInfo classifyArgumentType(QualType RetTy, 2616bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar ASTContext &Context) const; 2626bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar 2636bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar virtual void computeInfo(CGFunctionInfo &FI, ASTContext &Context) const { 2646bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar FI.getReturnInfo() = classifyReturnType(FI.getReturnType(), Context); 2656bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end(); 2666bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar it != ie; ++it) 2676bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar it->info = classifyArgumentType(it->type, Context); 2686bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar } 269b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar 270b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty, 271b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar CodeGenFunction &CGF) const; 2729fd58e85d59f8244c7ba289ae4f9b4f5e0b4c98fEli Friedman 2739fd58e85d59f8244c7ba289ae4f9b4f5e0b4c98fEli Friedman X86_32ABIInfo(bool d) : ABIInfo(), IsDarwin(d) {} 2746b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar}; 2756b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar} 2766b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar 2776b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel DunbarABIArgInfo X86_32ABIInfo::classifyReturnType(QualType RetTy, 2786b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar ASTContext &Context) const { 2790bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar if (RetTy->isVoidType()) { 2800bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar return ABIArgInfo::getIgnore(); 2810bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar } else if (CodeGenFunction::hasAggregateLLVMType(RetTy)) { 2829fd58e85d59f8244c7ba289ae4f9b4f5e0b4c98fEli Friedman // Outside of Darwin, structs and unions are always indirect. 2839fd58e85d59f8244c7ba289ae4f9b4f5e0b4c98fEli Friedman if (!IsDarwin && !RetTy->isAnyComplexType()) 2849fd58e85d59f8244c7ba289ae4f9b4f5e0b4c98fEli Friedman return ABIArgInfo::getIndirect(0); 285834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar // Classify "single element" structs as their element type. 286834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar const FieldDecl *SeltFD = isSingleElementStruct(RetTy); 287834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (SeltFD) { 288834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar QualType SeltTy = SeltFD->getType()->getDesugaredType(); 289834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (const BuiltinType *BT = SeltTy->getAsBuiltinType()) { 290834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar // FIXME: This is gross, it would be nice if we could just 291834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar // pass back SeltTy and have clients deal with it. Is it worth 292834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar // supporting coerce to both LLVM and clang Types? 293834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (BT->isIntegerType()) { 294834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar uint64_t Size = Context.getTypeSize(SeltTy); 295834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return ABIArgInfo::getCoerce(llvm::IntegerType::get((unsigned) Size)); 296834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } else if (BT->getKind() == BuiltinType::Float) { 297834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return ABIArgInfo::getCoerce(llvm::Type::FloatTy); 298834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } else if (BT->getKind() == BuiltinType::Double) { 299834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return ABIArgInfo::getCoerce(llvm::Type::DoubleTy); 300834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } 301834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } else if (SeltTy->isPointerType()) { 302834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar // FIXME: It would be really nice if this could come out as 303834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar // the proper pointer type. 304834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar llvm::Type *PtrTy = 305834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 306834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return ABIArgInfo::getCoerce(PtrTy); 307834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } 308834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } 309834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 310639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar uint64_t Size = Context.getTypeSize(RetTy); 311639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar if (Size == 8) { 312639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar return ABIArgInfo::getCoerce(llvm::Type::Int8Ty); 313639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar } else if (Size == 16) { 314639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar return ABIArgInfo::getCoerce(llvm::Type::Int16Ty); 315639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar } else if (Size == 32) { 316639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar return ABIArgInfo::getCoerce(llvm::Type::Int32Ty); 317639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar } else if (Size == 64) { 318639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar return ABIArgInfo::getCoerce(llvm::Type::Int64Ty); 319639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar } else { 32011e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar return ABIArgInfo::getIndirect(0); 321639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar } 3222c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar } else { 3230bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar return ABIArgInfo::getDirect(); 3242c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar } 3252c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar} 3262c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar 3276b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel DunbarABIArgInfo X86_32ABIInfo::classifyArgumentType(QualType Ty, 328b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar ASTContext &Context) const { 32911e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar // FIXME: Set alignment on indirect arguments. 330f035738e346da0a82538ab236aef218a27373635Daniel Dunbar if (CodeGenFunction::hasAggregateLLVMType(Ty)) { 33111e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar // Structures with flexible arrays are always indirect. 332834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (const RecordType *RT = Ty->getAsStructureType()) 333834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (RT->getDecl()->hasFlexibleArrayMember()) 33411e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar return ABIArgInfo::getIndirect(0); 335834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 3363170c93d26bdc8b360c4ea3b1cedba50bbd818c1Daniel Dunbar // Ignore empty structs. 337834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar uint64_t Size = Context.getTypeSize(Ty); 338834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (Ty->isStructureType() && Size == 0) 3393170c93d26bdc8b360c4ea3b1cedba50bbd818c1Daniel Dunbar return ABIArgInfo::getIgnore(); 340834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 341834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar // Expand structs with size <= 128-bits which consist only of 342834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar // basic types (int, long long, float, double, xxx*). This is 343834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar // non-recursive and does not ignore empty fields. 344834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (const RecordType *RT = Ty->getAsStructureType()) { 345834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar if (Context.getTypeSize(Ty) <= 4*32 && 346834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar areAllFields32Or64BitBasicType(RT->getDecl(), Context)) 347834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar return ABIArgInfo::getExpand(); 348834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar } 349834af456588587194337bb32671fb9329e73a7f7Daniel Dunbar 35011e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar return ABIArgInfo::getIndirect(0); 3518951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar } else { 3520bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar return ABIArgInfo::getDirect(); 3538951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar } 3548951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar} 3558951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 356b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbarllvm::Value *X86_32ABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty, 357b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar CodeGenFunction &CGF) const { 358b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 359b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar const llvm::Type *BPP = llvm::PointerType::getUnqual(BP); 360b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar 361b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar CGBuilderTy &Builder = CGF.Builder; 362b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar llvm::Value *VAListAddrAsBPP = Builder.CreateBitCast(VAListAddr, BPP, 363b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar "ap"); 364b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar llvm::Value *Addr = Builder.CreateLoad(VAListAddrAsBPP, "ap.cur"); 365b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar llvm::Type *PTy = 366b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar llvm::PointerType::getUnqual(CGF.ConvertType(Ty)); 367b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar llvm::Value *AddrTyped = Builder.CreateBitCast(Addr, PTy); 368b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar 369570f0cf734f321b902eb18dd1b07f53543f0a393Daniel Dunbar uint64_t Offset = 370570f0cf734f321b902eb18dd1b07f53543f0a393Daniel Dunbar llvm::RoundUpToAlignment(CGF.getContext().getTypeSize(Ty) / 8, 4); 371b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar llvm::Value *NextAddr = 372b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar Builder.CreateGEP(Addr, 373570f0cf734f321b902eb18dd1b07f53543f0a393Daniel Dunbar llvm::ConstantInt::get(llvm::Type::Int32Ty, Offset), 374b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar "ap.next"); 375b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar Builder.CreateStore(NextAddr, VAListAddrAsBPP); 376b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar 377b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar return AddrTyped; 378b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar} 379b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar 3806f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbarnamespace { 381c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar/// X86_64ABIInfo - The X86_64 ABI information. 3826f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbarclass X86_64ABIInfo : public ABIInfo { 3836f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar enum Class { 3846f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar Integer = 0, 3856f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar SSE, 3866f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar SSEUp, 3876f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar X87, 3886f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar X87Up, 3896f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar ComplexX87, 3906f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar NoClass, 3916f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar Memory 3926f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar }; 3936f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 3948562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar /// merge - Implement the X86_64 ABI merging algorithm. 3958562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar /// 396c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// Merge an accumulating classification \arg Accum with a field 397c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// classification \arg Field. 398c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// 399c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// \param Accum - The accumulating classification. This should 400c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// always be either NoClass or the result of a previous merge 401c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// call. In addition, this should never be Memory (the caller 402c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// should just return Memory for the aggregate). 403c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Class merge(Class Accum, Class Field) const; 4048562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar 4056f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar /// classify - Determine the x86_64 register classes in which the 4066f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar /// given type T should be passed. 4076f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar /// 408c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// \param Lo - The classification for the parts of the type 409c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// residing in the low word of the containing object. 410c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// 411c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// \param Hi - The classification for the parts of the type 412c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// residing in the high word of the containing object. 413c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// 414c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar /// \param OffsetBase - The bit offset of this type in the 415cdf920ed6c610e21fc899ada93370a68c900d180Daniel Dunbar /// containing object. Some parameters are classified different 416cdf920ed6c610e21fc899ada93370a68c900d180Daniel Dunbar /// depending on whether they straddle an eightbyte boundary. 4176f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar /// 4186f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar /// If a word is unused its result will be NoClass; if a type should 4196f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar /// be passed in Memory then at least the classification of \arg Lo 4206f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar /// will be Memory. 4216f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar /// 4226f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar /// The \arg Lo class will be NoClass iff the argument is ignored. 4236f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar /// 4246f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar /// If the \arg Lo class is ComplexX87, then the \arg Hi class will 4256e53e9b8795022ed08d5e59b8d78b2c616c2ef9aDaniel Dunbar /// also be ComplexX87. 426e620ecdd4104285e09fe585e90f720459b80259bDaniel Dunbar void classify(QualType T, ASTContext &Context, uint64_t OffsetBase, 4276f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar Class &Lo, Class &Hi) const; 428c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar 429644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar /// getCoerceResult - Given a source type \arg Ty and an LLVM type 430644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar /// to coerce to, chose the best way to pass Ty in the same place 431644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar /// that \arg CoerceTo would be passed, but while keeping the 432644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar /// emitted code as simple as possible. 433644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar /// 434644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar /// FIXME: Note, this should be cleaned up to just take an 435644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar /// enumeration of all the ways we might want to pass things, 436644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar /// instead of constructing an LLVM type. This makes this code more 437644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar /// explicit, and it makes it clearer that we are also doing this 438644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar /// for correctness in the case of passing scalar types. 439644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar ABIArgInfo getCoerceResult(QualType Ty, 440644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar const llvm::Type *CoerceTo, 441644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar ASTContext &Context) const; 442644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar 4436bad2658b48264629db595f944a3fbe07f61b4e9Daniel Dunbar ABIArgInfo classifyReturnType(QualType RetTy, 44459e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar ASTContext &Context) const; 44559e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 44659e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar ABIArgInfo classifyArgumentType(QualType Ty, 44759e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar ASTContext &Context, 4483b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar unsigned &neededInt, 4493b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar unsigned &neededSSE) const; 45059e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 45159e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbarpublic: 45259e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar virtual void computeInfo(CGFunctionInfo &FI, ASTContext &Context) const; 453b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar 454b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty, 455b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar CodeGenFunction &CGF) const; 4566f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar}; 4576f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar} 4586f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 459c450357c436c05aa02ef88d406de962d98ac50beDaniel DunbarX86_64ABIInfo::Class X86_64ABIInfo::merge(Class Accum, 460c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Class Field) const { 4618562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // AMD64-ABI 3.2.3p2: Rule 4. Each field of an object is 4628562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // classified recursively so that always two fields are 4638562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // considered. The resulting class is calculated according to 4648562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // the classes of the fields in the eightbyte: 4658562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // 4668562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // (a) If both classes are equal, this is the resulting class. 4678562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // 4688562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // (b) If one of the classes is NO_CLASS, the resulting class is 4698562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // the other class. 4708562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // 4718562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // (c) If one of the classes is MEMORY, the result is the MEMORY 4728562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // class. 4738562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // 4748562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // (d) If one of the classes is INTEGER, the result is the 4758562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // INTEGER. 4768562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // 4778562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // (e) If one of the classes is X87, X87UP, COMPLEX_X87 class, 4788562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // MEMORY is used as class. 4798562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // 4808562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // (f) Otherwise class SSE is used. 481100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar 482100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar // Accum should never be memory (we should have returned) or 483100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar // ComplexX87 (because this cannot be passed in a structure). 484100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar assert((Accum != Memory && Accum != ComplexX87) && 485c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar "Invalid accumulated classification during merge."); 486c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar if (Accum == Field || Field == NoClass) 487c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar return Accum; 488c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar else if (Field == Memory) 489c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar return Memory; 490c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar else if (Accum == NoClass) 491c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar return Field; 492c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar else if (Accum == Integer || Field == Integer) 493c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar return Integer; 494c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar else if (Field == X87 || Field == X87Up || Field == ComplexX87) 495c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar return Memory; 4968562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar else 497c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar return SSE; 4988562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar} 4998562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar 5006f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbarvoid X86_64ABIInfo::classify(QualType Ty, 5016f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar ASTContext &Context, 502e620ecdd4104285e09fe585e90f720459b80259bDaniel Dunbar uint64_t OffsetBase, 5036f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar Class &Lo, Class &Hi) const { 5049a82b52ae83fa1c09266b2fa5f0375392f7d127fDaniel Dunbar // FIXME: This code can be simplified by introducing a simple value 5059a82b52ae83fa1c09266b2fa5f0375392f7d127fDaniel Dunbar // class for Class pairs with appropriate constructor methods for 5069a82b52ae83fa1c09266b2fa5f0375392f7d127fDaniel Dunbar // the various situations. 5079a82b52ae83fa1c09266b2fa5f0375392f7d127fDaniel Dunbar 508e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar // FIXME: Some of the split computations are wrong; unaligned 509e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar // vectors shouldn't be passed in registers for example, so there is 510e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar // no chance they can straddle an eightbyte. Verify & simplify. 511e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar 512c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Lo = Hi = NoClass; 513c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar 514c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Class &Current = OffsetBase < 64 ? Lo : Hi; 515c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Current = Memory; 516c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar 5176f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar if (const BuiltinType *BT = Ty->getAsBuiltinType()) { 5186f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar BuiltinType::Kind k = BT->getKind(); 5196f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 52011434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar if (k == BuiltinType::Void) { 521c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Current = NoClass; 52211434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar } else if (k >= BuiltinType::Bool && k <= BuiltinType::LongLong) { 523c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Current = Integer; 5246f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar } else if (k == BuiltinType::Float || k == BuiltinType::Double) { 525c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Current = SSE; 5266f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar } else if (k == BuiltinType::LongDouble) { 5276f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar Lo = X87; 5286f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar Hi = X87Up; 5296f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar } 5307a6605d8be0fc30f1846657ee8133387b1b85296Daniel Dunbar // FIXME: _Decimal32 and _Decimal64 are SSE. 5317a6605d8be0fc30f1846657ee8133387b1b85296Daniel Dunbar // FIXME: _float128 and _Decimal128 are (SSE, SSEUp). 5326f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // FIXME: __int128 is (Integer, Integer). 533708762b66a813543078a6d1c4fc2b69ee4361ec7Anders Carlsson } else if (const EnumType *ET = Ty->getAsEnumType()) { 534708762b66a813543078a6d1c4fc2b69ee4361ec7Anders Carlsson // Classify the underlying integer type. 535708762b66a813543078a6d1c4fc2b69ee4361ec7Anders Carlsson classify(ET->getDecl()->getIntegerType(), Context, OffsetBase, Lo, Hi); 5368958891f5fa1e593c4519a36b3df427ee019d70bDaniel Dunbar } else if (Ty->hasPointerRepresentation()) { 537c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Current = Integer; 5387a6605d8be0fc30f1846657ee8133387b1b85296Daniel Dunbar } else if (const VectorType *VT = Ty->getAsVectorType()) { 539e620ecdd4104285e09fe585e90f720459b80259bDaniel Dunbar uint64_t Size = Context.getTypeSize(VT); 540e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar if (Size == 32) { 541e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar // gcc passes all <4 x char>, <2 x short>, <1 x int>, <1 x 542e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar // float> as integer. 543e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar Current = Integer; 544e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar 545e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar // If this type crosses an eightbyte boundary, it should be 546e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar // split. 547e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar uint64_t EB_Real = (OffsetBase) / 64; 548e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar uint64_t EB_Imag = (OffsetBase + Size - 1) / 64; 549e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar if (EB_Real != EB_Imag) 550e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar Hi = Lo; 551e28099bf301ad8b0b77cb11f94caad3c38d97ddaDaniel Dunbar } else if (Size == 64) { 5520af9929e1ba8e5b9ae0a8999439736d249599bbeDaniel Dunbar // gcc passes <1 x double> in memory. :( 5530af9929e1ba8e5b9ae0a8999439736d249599bbeDaniel Dunbar if (VT->getElementType()->isSpecificBuiltinType(BuiltinType::Double)) 554d4cd1b07169c698bd003be102bd73a7da7e24b25Daniel Dunbar return; 5550af9929e1ba8e5b9ae0a8999439736d249599bbeDaniel Dunbar 5560af9929e1ba8e5b9ae0a8999439736d249599bbeDaniel Dunbar // gcc passes <1 x long long> as INTEGER. 5570af9929e1ba8e5b9ae0a8999439736d249599bbeDaniel Dunbar if (VT->getElementType()->isSpecificBuiltinType(BuiltinType::LongLong)) 5580af9929e1ba8e5b9ae0a8999439736d249599bbeDaniel Dunbar Current = Integer; 5590af9929e1ba8e5b9ae0a8999439736d249599bbeDaniel Dunbar else 5600af9929e1ba8e5b9ae0a8999439736d249599bbeDaniel Dunbar Current = SSE; 561e33edf150adc44a34c5f6c8ed6109f6dcd2f70c6Daniel Dunbar 562e33edf150adc44a34c5f6c8ed6109f6dcd2f70c6Daniel Dunbar // If this type crosses an eightbyte boundary, it should be 563e33edf150adc44a34c5f6c8ed6109f6dcd2f70c6Daniel Dunbar // split. 564cdf920ed6c610e21fc899ada93370a68c900d180Daniel Dunbar if (OffsetBase && OffsetBase != 64) 565e33edf150adc44a34c5f6c8ed6109f6dcd2f70c6Daniel Dunbar Hi = Lo; 5667a6605d8be0fc30f1846657ee8133387b1b85296Daniel Dunbar } else if (Size == 128) { 5677a6605d8be0fc30f1846657ee8133387b1b85296Daniel Dunbar Lo = SSE; 5687a6605d8be0fc30f1846657ee8133387b1b85296Daniel Dunbar Hi = SSEUp; 5697a6605d8be0fc30f1846657ee8133387b1b85296Daniel Dunbar } 5706f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar } else if (const ComplexType *CT = Ty->getAsComplexType()) { 5713327f6ead9362e5689674a4aaab5b7f23ea0dea3Daniel Dunbar QualType ET = Context.getCanonicalType(CT->getElementType()); 5726f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 573e33edf150adc44a34c5f6c8ed6109f6dcd2f70c6Daniel Dunbar uint64_t Size = Context.getTypeSize(Ty); 5740af9929e1ba8e5b9ae0a8999439736d249599bbeDaniel Dunbar if (ET->isIntegralType()) { 575eac48dc189154eea5067310c5dd257dfe07c29aaDaniel Dunbar if (Size <= 64) 576c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Current = Integer; 577eac48dc189154eea5067310c5dd257dfe07c29aaDaniel Dunbar else if (Size <= 128) 578eac48dc189154eea5067310c5dd257dfe07c29aaDaniel Dunbar Lo = Hi = Integer; 579eac48dc189154eea5067310c5dd257dfe07c29aaDaniel Dunbar } else if (ET == Context.FloatTy) 580c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Current = SSE; 5816f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar else if (ET == Context.DoubleTy) 5826f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar Lo = Hi = SSE; 5836f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar else if (ET == Context.LongDoubleTy) 584c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Current = ComplexX87; 585f04d69bbb25eb681fff1a108f13f67c6ca70cf6aDaniel Dunbar 586f04d69bbb25eb681fff1a108f13f67c6ca70cf6aDaniel Dunbar // If this complex type crosses an eightbyte boundary then it 587f04d69bbb25eb681fff1a108f13f67c6ca70cf6aDaniel Dunbar // should be split. 588cdf920ed6c610e21fc899ada93370a68c900d180Daniel Dunbar uint64_t EB_Real = (OffsetBase) / 64; 589cdf920ed6c610e21fc899ada93370a68c900d180Daniel Dunbar uint64_t EB_Imag = (OffsetBase + Context.getTypeSize(ET)) / 64; 590f04d69bbb25eb681fff1a108f13f67c6ca70cf6aDaniel Dunbar if (Hi == NoClass && EB_Real != EB_Imag) 591f04d69bbb25eb681fff1a108f13f67c6ca70cf6aDaniel Dunbar Hi = Lo; 5928562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar } else if (const ConstantArrayType *AT = Context.getAsConstantArrayType(Ty)) { 5938562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // Arrays are treated like structures. 5948562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar 5958562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar uint64_t Size = Context.getTypeSize(Ty); 5968562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar 5978562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // AMD64-ABI 3.2.3p2: Rule 1. If the size of an object is larger 5988562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // than two eightbytes, ..., it has class MEMORY. 5998562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar if (Size > 128) 6008562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar return; 6018562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar 6028562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // AMD64-ABI 3.2.3p2: Rule 1. If ..., or it contains unaligned 6038562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // fields, it has class MEMORY. 6048562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // 6058562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // Only need to check alignment of array base. 606c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar if (OffsetBase % Context.getTypeAlign(AT->getElementType())) 6078562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar return; 6088562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar 6098562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // Otherwise implement simplified merge. We could be smarter about 6108562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // this, but it isn't worth it and would be harder to verify. 611c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Current = NoClass; 6128562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar uint64_t EltSize = Context.getTypeSize(AT->getElementType()); 6138562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar uint64_t ArraySize = AT->getSize().getZExtValue(); 6148562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar for (uint64_t i=0, Offset=OffsetBase; i<ArraySize; ++i, Offset += EltSize) { 6158562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar Class FieldLo, FieldHi; 6168562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar classify(AT->getElementType(), Context, Offset, FieldLo, FieldHi); 617c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Lo = merge(Lo, FieldLo); 618c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Hi = merge(Hi, FieldHi); 619c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar if (Lo == Memory || Hi == Memory) 620c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar break; 6218562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar } 622c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar 623c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // Do post merger cleanup (see below). Only case we worry about is Memory. 624c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar if (Hi == Memory) 625c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Lo = Memory; 626c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar assert((Hi != SSEUp || Lo == SSE) && "Invalid SSEUp array classification."); 62799037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar } else if (const RecordType *RT = Ty->getAsRecordType()) { 628e620ecdd4104285e09fe585e90f720459b80259bDaniel Dunbar uint64_t Size = Context.getTypeSize(Ty); 62999037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar 63099037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar // AMD64-ABI 3.2.3p2: Rule 1. If the size of an object is larger 63199037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar // than two eightbytes, ..., it has class MEMORY. 63299037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar if (Size > 128) 63399037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar return; 63499037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar 63599037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar const RecordDecl *RD = RT->getDecl(); 63699037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar 63799037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar // Assume variable sized types are passed in memory. 63899037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar if (RD->hasFlexibleArrayMember()) 63999037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar return; 64099037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar 64199037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar const ASTRecordLayout &Layout = Context.getASTRecordLayout(RD); 64299037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar 64399037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar // Reset Lo class, this will be recomputed. 644c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Current = NoClass; 64599037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar unsigned idx = 0; 64699037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar for (RecordDecl::field_iterator i = RD->field_begin(), 64799037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar e = RD->field_end(); i != e; ++i, ++idx) { 6488562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar uint64_t Offset = OffsetBase + Layout.getFieldOffset(idx); 649dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar bool BitField = i->isBitField(); 65099037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar 6518562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // AMD64-ABI 3.2.3p2: Rule 1. If ..., or it contains unaligned 6528562ae74ae0ff0a64b46ef5ebea8e7ce0f76fa00Daniel Dunbar // fields, it has class MEMORY. 653dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar // 654dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar // Note, skip this test for bitfields, see below. 655dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar if (!BitField && Offset % Context.getTypeAlign(i->getType())) { 65699037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar Lo = Memory; 65799037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar return; 65899037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar } 65999037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar 66099037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar // Classify this field. 661c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // 662c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // AMD64-ABI 3.2.3p2: Rule 3. If the size of the aggregate 663c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // exceeds a single eightbyte, each is classified 664c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // separately. Each eightbyte gets initialized to class 665c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // NO_CLASS. 66699037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar Class FieldLo, FieldHi; 667dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar 668dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar // Bitfields require special handling, they do not force the 669dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar // structure to be passed in memory even if unaligned, and 670dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar // therefore they can straddle an eightbyte. 671dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar if (BitField) { 672dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar uint64_t Offset = OffsetBase + Layout.getFieldOffset(idx); 673dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar uint64_t Size = 674dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar i->getBitWidth()->getIntegerConstantExprValue(Context).getZExtValue(); 675dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar 676dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar uint64_t EB_Lo = Offset / 64; 677dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar uint64_t EB_Hi = (Offset + Size - 1) / 64; 678dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar FieldLo = FieldHi = NoClass; 679dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar if (EB_Lo) { 680dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar assert(EB_Hi == EB_Lo && "Invalid classification, type > 16 bytes."); 681dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar FieldLo = NoClass; 682dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar FieldHi = Integer; 683dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar } else { 684dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar FieldLo = Integer; 685dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar FieldHi = EB_Hi ? Integer : NoClass; 686dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar } 687dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar } else 688dd81d44fac2631e6ca9fe1f52366aea0f51b03e1Daniel Dunbar classify(i->getType(), Context, Offset, FieldLo, FieldHi); 689c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Lo = merge(Lo, FieldLo); 690c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Hi = merge(Hi, FieldHi); 691c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar if (Lo == Memory || Hi == Memory) 692c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar break; 69399037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar } 69499037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar 69599037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar // AMD64-ABI 3.2.3p2: Rule 5. Then a post merger cleanup is done: 69699037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar // 69799037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar // (a) If one of the classes is MEMORY, the whole argument is 69899037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar // passed in memory. 69999037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar // 70099037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar // (b) If SSEUP is not preceeded by SSE, it is converted to SSE. 70199037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar 70299037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar // The first of these conditions is guaranteed by how we implement 703c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // the merge (just bail). 704c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // 705c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // The second condition occurs in the case of unions; for example 706c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // union { _Complex double; unsigned; }. 707c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar if (Hi == Memory) 708c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Lo = Memory; 70999037e5a2118bc194251a8033a0885810bf61c95Daniel Dunbar if (Hi == SSEUp && Lo != SSE) 710c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar Hi = SSE; 7116f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar } 7126f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar} 7136f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 714644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel DunbarABIArgInfo X86_64ABIInfo::getCoerceResult(QualType Ty, 715644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar const llvm::Type *CoerceTo, 716644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar ASTContext &Context) const { 717644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar if (CoerceTo == llvm::Type::Int64Ty) { 718644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar // Integer and pointer types will end up in a general purpose 719644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar // register. 7200af9929e1ba8e5b9ae0a8999439736d249599bbeDaniel Dunbar if (Ty->isIntegralType() || Ty->isPointerType()) 721644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar return ABIArgInfo::getDirect(); 7220af9929e1ba8e5b9ae0a8999439736d249599bbeDaniel Dunbar 723644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar } else if (CoerceTo == llvm::Type::DoubleTy) { 7243327f6ead9362e5689674a4aaab5b7f23ea0dea3Daniel Dunbar // FIXME: It would probably be better to make CGFunctionInfo only 7253327f6ead9362e5689674a4aaab5b7f23ea0dea3Daniel Dunbar // map using canonical types than to canonize here. 7263327f6ead9362e5689674a4aaab5b7f23ea0dea3Daniel Dunbar QualType CTy = Context.getCanonicalType(Ty); 7273327f6ead9362e5689674a4aaab5b7f23ea0dea3Daniel Dunbar 728644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar // Float and double end up in a single SSE reg. 7293327f6ead9362e5689674a4aaab5b7f23ea0dea3Daniel Dunbar if (CTy == Context.FloatTy || CTy == Context.DoubleTy) 730644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar return ABIArgInfo::getDirect(); 7310af9929e1ba8e5b9ae0a8999439736d249599bbeDaniel Dunbar 732644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar } 733644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar 734644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar return ABIArgInfo::getCoerce(CoerceTo); 735644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar} 736c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar 737d4edfe4746c66d2ac452c8a8d7cac17192283e75Daniel DunbarABIArgInfo X86_64ABIInfo::classifyReturnType(QualType RetTy, 738d4edfe4746c66d2ac452c8a8d7cac17192283e75Daniel Dunbar ASTContext &Context) const { 7396f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // AMD64-ABI 3.2.3p4: Rule 1. Classify the return type with the 7406f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // classification algorithm. 7416f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar X86_64ABIInfo::Class Lo, Hi; 742f04d69bbb25eb681fff1a108f13f67c6ca70cf6aDaniel Dunbar classify(RetTy, Context, 0, Lo, Hi); 7436f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 744c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // Check some invariants. 745c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar assert((Hi != Memory || Lo == Memory) && "Invalid memory classification."); 746c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar assert((Lo != NoClass || Hi == NoClass) && "Invalid null classification."); 747c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar assert((Hi != SSEUp || Lo == SSE) && "Invalid SSEUp classification."); 748c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar 7496f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar const llvm::Type *ResType = 0; 7506f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar switch (Lo) { 7516f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case NoClass: 75211434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar return ABIArgInfo::getIgnore(); 7536f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 7546f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case SSEUp: 7556f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case X87Up: 7566f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar assert(0 && "Invalid classification for lo word."); 7576f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 758c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // AMD64-ABI 3.2.3p4: Rule 2. Types of class memory are returned via 75911e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar // hidden argument. 7606f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case Memory: 76111e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar return ABIArgInfo::getIndirect(0); 7626f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 7636f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // AMD64-ABI 3.2.3p4: Rule 3. If the class is INTEGER, the next 7646f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // available register of the sequence %rax, %rdx is used. 7656f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case Integer: 7666f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar ResType = llvm::Type::Int64Ty; break; 7676f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 7686f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // AMD64-ABI 3.2.3p4: Rule 4. If the class is SSE, the next 7696f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // available SSE register of the sequence %xmm0, %xmm1 is used. 7706f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case SSE: 7716f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar ResType = llvm::Type::DoubleTy; break; 7726f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 7736f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // AMD64-ABI 3.2.3p4: Rule 6. If the class is X87, the value is 7746f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // returned on the X87 stack in %st0 as 80-bit x87 number. 7756f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case X87: 7766f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar ResType = llvm::Type::X86_FP80Ty; break; 7776f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 778c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // AMD64-ABI 3.2.3p4: Rule 8. If the class is COMPLEX_X87, the real 779c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // part of the value is returned in %st0 and the imaginary part in 780c450357c436c05aa02ef88d406de962d98ac50beDaniel Dunbar // %st1. 7816f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case ComplexX87: 7826e53e9b8795022ed08d5e59b8d78b2c616c2ef9aDaniel Dunbar assert(Hi == ComplexX87 && "Unexpected ComplexX87 classification."); 7833e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar ResType = llvm::StructType::get(llvm::Type::X86_FP80Ty, 7843e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar llvm::Type::X86_FP80Ty, 7853e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar NULL); 7866f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar break; 7876f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar } 7886f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 7896f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar switch (Hi) { 7906e53e9b8795022ed08d5e59b8d78b2c616c2ef9aDaniel Dunbar // Memory was handled previously and X87 should 7916e53e9b8795022ed08d5e59b8d78b2c616c2ef9aDaniel Dunbar // never occur as a hi class. 7926f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case Memory: 7936f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case X87: 7946f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar assert(0 && "Invalid classification for hi word."); 7956f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 7966e53e9b8795022ed08d5e59b8d78b2c616c2ef9aDaniel Dunbar case ComplexX87: // Previously handled. 7976f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case NoClass: break; 7986e53e9b8795022ed08d5e59b8d78b2c616c2ef9aDaniel Dunbar 7996f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case Integer: 800b0e14f2a878c1a823341d34ca8f8fe60419fb9efDaniel Dunbar ResType = llvm::StructType::get(ResType, llvm::Type::Int64Ty, NULL); 801b0e14f2a878c1a823341d34ca8f8fe60419fb9efDaniel Dunbar break; 8026f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case SSE: 803b0e14f2a878c1a823341d34ca8f8fe60419fb9efDaniel Dunbar ResType = llvm::StructType::get(ResType, llvm::Type::DoubleTy, NULL); 804b0e14f2a878c1a823341d34ca8f8fe60419fb9efDaniel Dunbar break; 8056f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 8066f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // AMD64-ABI 3.2.3p4: Rule 5. If the class is SSEUP, the eightbyte 8076f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // is passed in the upper half of the last used SSE register. 8086f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // 8096f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // SSEUP should always be preceeded by SSE, just widen. 8106f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case SSEUp: 8116f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar assert(Lo == SSE && "Unexpected SSEUp classification."); 8126f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar ResType = llvm::VectorType::get(llvm::Type::DoubleTy, 2); 8136f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar break; 8146f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 8156f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar // AMD64-ABI 3.2.3p4: Rule 7. If the class is X87UP, the value is 816b0e14f2a878c1a823341d34ca8f8fe60419fb9efDaniel Dunbar // returned together with the previous X87 value in %st0. 8176f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar case X87Up: 818100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar // If X87Up is preceeded by X87, we don't need to do 819100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar // anything. However, in some cases with unions it may not be 820100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar // preceeded by X87. In such situations we follow gcc and pass the 821100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar // extra bits in an SSE reg. 822100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar if (Lo != X87) 823100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar ResType = llvm::StructType::get(ResType, llvm::Type::DoubleTy, NULL); 8246f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar break; 8256f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar } 8266f3e7fac422fb0c50e1579edf49a797797c821ccDaniel Dunbar 827644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar return getCoerceResult(RetTy, ResType, Context); 828d4edfe4746c66d2ac452c8a8d7cac17192283e75Daniel Dunbar} 829d4edfe4746c66d2ac452c8a8d7cac17192283e75Daniel Dunbar 83059e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel DunbarABIArgInfo X86_64ABIInfo::classifyArgumentType(QualType Ty, ASTContext &Context, 8313b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar unsigned &neededInt, 8323b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar unsigned &neededSSE) const { 83359e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar X86_64ABIInfo::Class Lo, Hi; 83459e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar classify(Ty, Context, 0, Lo, Hi); 83559e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 83659e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // Check some invariants. 83759e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // FIXME: Enforce these by construction. 83859e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar assert((Hi != Memory || Lo == Memory) && "Invalid memory classification."); 83959e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar assert((Lo != NoClass || Hi == NoClass) && "Invalid null classification."); 84059e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar assert((Hi != SSEUp || Lo == SSE) && "Invalid SSEUp classification."); 84159e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 8423b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar neededInt = 0; 8433b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar neededSSE = 0; 84459e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar const llvm::Type *ResType = 0; 84559e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar switch (Lo) { 84659e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case NoClass: 84759e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar return ABIArgInfo::getIgnore(); 84859e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 84959e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // AMD64-ABI 3.2.3p3: Rule 1. If the class is MEMORY, pass the argument 85059e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // on the stack. 85159e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case Memory: 85259e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 85359e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // AMD64-ABI 3.2.3p3: Rule 5. If the class is X87, X87UP or 85459e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // COMPLEX_X87, it is passed in memory. 85559e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case X87: 85659e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case ComplexX87: 857245f5534a520c23e703fd239632273c551be50b3Daniel Dunbar return ABIArgInfo::getIndirect(0); 85859e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 85959e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case SSEUp: 86059e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case X87Up: 86159e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar assert(0 && "Invalid classification for lo word."); 86259e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 86359e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // AMD64-ABI 3.2.3p3: Rule 2. If the class is INTEGER, the next 86459e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // available register of the sequence %rdi, %rsi, %rdx, %rcx, %r8 86559e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // and %r9 is used. 86659e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case Integer: 86759e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar ++neededInt; 86859e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar ResType = llvm::Type::Int64Ty; 86959e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar break; 87059e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 87159e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // AMD64-ABI 3.2.3p3: Rule 3. If the class is SSE, the next 87259e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // available SSE register is used, the registers are taken in the 87359e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // order from %xmm0 to %xmm7. 87459e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case SSE: 87559e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar ++neededSSE; 87659e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar ResType = llvm::Type::DoubleTy; 87759e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar break; 87859e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar } 87959e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 88059e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar switch (Hi) { 88159e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // Memory was handled previously, ComplexX87 and X87 should 88259e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // never occur as hi classes, and X87Up must be preceed by X87, 88359e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // which is passed in memory. 88459e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case Memory: 88559e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case X87: 88659e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case ComplexX87: 88759e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar assert(0 && "Invalid classification for hi word."); 888100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar break; 88959e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 89059e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case NoClass: break; 89159e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case Integer: 89259e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar ResType = llvm::StructType::get(ResType, llvm::Type::Int64Ty, NULL); 89359e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar ++neededInt; 89459e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar break; 895100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar 896100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar // X87Up generally doesn't occur here (long double is passed in 897100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar // memory), except in situations involving unions. 898100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar case X87Up: 899100f402451da96f74ea58b1f49fc53b4fa149a57Daniel Dunbar case SSE: 90059e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar ResType = llvm::StructType::get(ResType, llvm::Type::DoubleTy, NULL); 90159e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar ++neededSSE; 90259e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar break; 90359e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 90459e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // AMD64-ABI 3.2.3p3: Rule 4. If the class is SSEUP, the 90559e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // eightbyte is passed in the upper half of the last used SSE 90659e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // register. 90759e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar case SSEUp: 90859e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar assert(Lo == SSE && "Unexpected SSEUp classification."); 90959e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar ResType = llvm::VectorType::get(llvm::Type::DoubleTy, 2); 91059e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar break; 91159e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar } 91259e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 913644f4c3fe4130c7be75d6191340ba8d857ba0730Daniel Dunbar return getCoerceResult(Ty, ResType, Context); 914d4edfe4746c66d2ac452c8a8d7cac17192283e75Daniel Dunbar} 915d4edfe4746c66d2ac452c8a8d7cac17192283e75Daniel Dunbar 91659e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbarvoid X86_64ABIInfo::computeInfo(CGFunctionInfo &FI, ASTContext &Context) const { 91759e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar FI.getReturnInfo() = classifyReturnType(FI.getReturnType(), Context); 91859e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 91959e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // Keep track of the number of assigned registers. 92059e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar unsigned freeIntRegs = 6, freeSSERegs = 8; 92159e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 92259e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // AMD64-ABI 3.2.3p3: Once arguments are classified, the registers 92359e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // get assigned (in left-to-right order) for passing as follows... 92459e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end(); 9253b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar it != ie; ++it) { 9263b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar unsigned neededInt, neededSSE; 9273b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar it->info = classifyArgumentType(it->type, Context, neededInt, neededSSE); 9283b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar 9293b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar // AMD64-ABI 3.2.3p3: If there are no registers available for any 9303b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar // eightbyte of an argument, the whole argument is passed on the 9313b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar // stack. If registers have already been assigned for some 9323b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar // eightbytes of such an argument, the assignments get reverted. 9333b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar if (freeIntRegs >= neededInt && freeSSERegs >= neededSSE) { 9343b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar freeIntRegs -= neededInt; 9353b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar freeSSERegs -= neededSSE; 9363b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar } else { 937245f5534a520c23e703fd239632273c551be50b3Daniel Dunbar it->info = ABIArgInfo::getIndirect(0); 9383b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar } 9393b4e9cd0655467f66332575b816a958d319e8ca6Daniel Dunbar } 94059e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar} 94159e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar 942be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbarstatic llvm::Value *EmitVAArgFromMemory(llvm::Value *VAListAddr, 943be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar QualType Ty, 944be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CodeGenFunction &CGF) { 945be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::Value *overflow_arg_area_p = 946be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.Builder.CreateStructGEP(VAListAddr, 2, "overflow_arg_area_p"); 947be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::Value *overflow_arg_area = 948be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.Builder.CreateLoad(overflow_arg_area_p, "overflow_arg_area"); 949be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 950be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // AMD64-ABI 3.5.7p5: Step 7. Align l->overflow_arg_area upwards to a 16 951be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // byte boundary if alignment needed by type exceeds 8 byte boundary. 952c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar uint64_t Align = CGF.getContext().getTypeAlign(Ty) / 8; 953be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar if (Align > 8) { 954c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar // Note that we follow the ABI & gcc here, even though the type 955c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar // could in theory have an alignment greater than 16. This case 956c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar // shouldn't ever matter in practice. 957c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar 958c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar // overflow_arg_area = (overflow_arg_area + 15) & ~15; 959c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar llvm::Value *Offset = llvm::ConstantInt::get(llvm::Type::Int32Ty, 15); 960c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar overflow_arg_area = CGF.Builder.CreateGEP(overflow_arg_area, Offset); 961c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar llvm::Value *AsInt = CGF.Builder.CreatePtrToInt(overflow_arg_area, 962c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar llvm::Type::Int64Ty); 963c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar llvm::Value *Mask = llvm::ConstantInt::get(llvm::Type::Int64Ty, ~15LL); 964c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar overflow_arg_area = 965c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar CGF.Builder.CreateIntToPtr(CGF.Builder.CreateAnd(AsInt, Mask), 966c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar overflow_arg_area->getType(), 967c5bcee4dce79458c4f490490c71619e06cbde357Daniel Dunbar "overflow_arg_area.align"); 968be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar } 969be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 970be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // AMD64-ABI 3.5.7p5: Step 8. Fetch type from l->overflow_arg_area. 971be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar const llvm::Type *LTy = CGF.ConvertTypeForMem(Ty); 972be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::Value *Res = 973be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.Builder.CreateBitCast(overflow_arg_area, 974be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::PointerType::getUnqual(LTy)); 975be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 976be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // AMD64-ABI 3.5.7p5: Step 9. Set l->overflow_arg_area to: 977be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // l->overflow_arg_area + sizeof(type). 978be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // AMD64-ABI 3.5.7p5: Step 10. Align l->overflow_arg_area upwards to 979be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // an 8 byte boundary. 980be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 981be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar uint64_t SizeInBytes = (CGF.getContext().getTypeSize(Ty) + 7) / 8; 982be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::Value *Offset = llvm::ConstantInt::get(llvm::Type::Int32Ty, 983be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar (SizeInBytes + 7) & ~7); 984be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar overflow_arg_area = CGF.Builder.CreateGEP(overflow_arg_area, Offset, 985be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar "overflow_arg_area.next"); 986be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.Builder.CreateStore(overflow_arg_area, overflow_arg_area_p); 987be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 988be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // AMD64-ABI 3.5.7p5: Step 11. Return the fetched type. 989be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar return Res; 990be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar} 991be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 992b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbarllvm::Value *X86_64ABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty, 993b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar CodeGenFunction &CGF) const { 994be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // Assume that va_list type is correct; should be pointer to LLVM type: 995be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // struct { 996be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // i32 gp_offset; 997be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // i32 fp_offset; 998be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // i8* overflow_arg_area; 999be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // i8* reg_save_area; 1000be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // }; 1001be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar unsigned neededInt, neededSSE; 1002be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar ABIArgInfo AI = classifyArgumentType(Ty, CGF.getContext(), 1003be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar neededInt, neededSSE); 1004be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1005be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // AMD64-ABI 3.5.7p5: Step 1. Determine whether type may be passed 1006be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // in the registers. If not go to step 7. 1007be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar if (!neededInt && !neededSSE) 1008be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar return EmitVAArgFromMemory(VAListAddr, Ty, CGF); 1009be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1010be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // AMD64-ABI 3.5.7p5: Step 2. Compute num_gp to hold the number of 1011be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // general purpose registers needed to pass type and num_fp to hold 1012be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // the number of floating point registers needed. 1013be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1014be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // AMD64-ABI 3.5.7p5: Step 3. Verify whether arguments fit into 1015be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // registers. In the case: l->gp_offset > 48 - num_gp * 8 or 1016be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // l->fp_offset > 304 - num_fp * 16 go to step 7. 1017be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // 1018be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // NOTE: 304 is a typo, there are (6 * 8 + 8 * 16) = 176 bytes of 1019be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // register save space). 1020be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1021be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::Value *InRegs = 0; 1022be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::Value *gp_offset_p = 0, *gp_offset = 0; 1023be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::Value *fp_offset_p = 0, *fp_offset = 0; 1024be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar if (neededInt) { 1025be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar gp_offset_p = CGF.Builder.CreateStructGEP(VAListAddr, 0, "gp_offset_p"); 1026be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar gp_offset = CGF.Builder.CreateLoad(gp_offset_p, "gp_offset"); 1027be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar InRegs = 1028be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.Builder.CreateICmpULE(gp_offset, 1029be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::ConstantInt::get(llvm::Type::Int32Ty, 1030be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 48 - neededInt * 8), 1031be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar "fits_in_gp"); 1032be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar } 1033be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1034be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar if (neededSSE) { 1035be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar fp_offset_p = CGF.Builder.CreateStructGEP(VAListAddr, 1, "fp_offset_p"); 1036be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar fp_offset = CGF.Builder.CreateLoad(fp_offset_p, "fp_offset"); 1037be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::Value *FitsInFP = 1038be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.Builder.CreateICmpULE(fp_offset, 1039be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::ConstantInt::get(llvm::Type::Int32Ty, 104090dafa1638edaffbba4b50f504d1470428a2d25dDaniel Dunbar 176 - neededSSE * 16), 1041be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar "fits_in_fp"); 1042f231346438e61e59ff7b72d5ecbd58b6ae484211Daniel Dunbar InRegs = InRegs ? CGF.Builder.CreateAnd(InRegs, FitsInFP) : FitsInFP; 1043be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar } 1044be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1045be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::BasicBlock *InRegBlock = CGF.createBasicBlock("vaarg.in_reg"); 1046be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::BasicBlock *InMemBlock = CGF.createBasicBlock("vaarg.in_mem"); 1047be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("vaarg.end"); 1048be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.Builder.CreateCondBr(InRegs, InRegBlock, InMemBlock); 1049be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1050be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // Emit code to load the value if it was passed in registers. 1051be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1052be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.EmitBlock(InRegBlock); 1053be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1054be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // AMD64-ABI 3.5.7p5: Step 4. Fetch type from l->reg_save_area with 1055be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // an offset of l->gp_offset and/or l->fp_offset. This may require 1056be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // copying to a temporary location in case the parameter is passed 1057be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // in different register classes or requires an alignment greater 1058be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // than 8 for general purpose registers and 16 for XMM registers. 10593e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar // 10603e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar // FIXME: This really results in shameful code when we end up 10613e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar // needing to collect arguments from different places; often what 10623e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar // should result in a simple assembling of a structure from 10633e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar // scattered addresses has many more loads than necessary. Can we 10643e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar // clean this up? 1065be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar const llvm::Type *LTy = CGF.ConvertTypeForMem(Ty); 1066be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::Value *RegAddr = 1067be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.Builder.CreateLoad(CGF.Builder.CreateStructGEP(VAListAddr, 3), 1068be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar "reg_save_area"); 1069be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar if (neededInt && neededSSE) { 107055e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar // FIXME: Cleanup. 107155e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar assert(AI.isCoerce() && "Unexpected ABI info for mixed regs"); 107255e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar const llvm::StructType *ST = cast<llvm::StructType>(AI.getCoerceToType()); 107355e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar llvm::Value *Tmp = CGF.CreateTempAlloca(ST); 107455e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar assert(ST->getNumElements() == 2 && "Unexpected ABI info for mixed regs"); 107555e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar const llvm::Type *TyLo = ST->getElementType(0); 107655e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar const llvm::Type *TyHi = ST->getElementType(1); 107755e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar assert((TyLo->isFloatingPoint() ^ TyHi->isFloatingPoint()) && 107855e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar "Unexpected ABI info for mixed regs"); 107955e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar const llvm::Type *PTyLo = llvm::PointerType::getUnqual(TyLo); 108055e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar const llvm::Type *PTyHi = llvm::PointerType::getUnqual(TyHi); 108155e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar llvm::Value *GPAddr = CGF.Builder.CreateGEP(RegAddr, gp_offset); 108255e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar llvm::Value *FPAddr = CGF.Builder.CreateGEP(RegAddr, fp_offset); 108355e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar llvm::Value *RegLoAddr = TyLo->isFloatingPoint() ? FPAddr : GPAddr; 108455e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar llvm::Value *RegHiAddr = TyLo->isFloatingPoint() ? GPAddr : FPAddr; 108555e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar llvm::Value *V = 108655e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegLoAddr, PTyLo)); 108755e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 0)); 108855e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar V = CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegHiAddr, PTyHi)); 108955e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 1)); 109055e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar 109155e5d8956be516d66db2196bd0ce3c30ebf5fbf0Daniel Dunbar RegAddr = CGF.Builder.CreateBitCast(Tmp, llvm::PointerType::getUnqual(LTy)); 1092be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar } else if (neededInt) { 1093be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar RegAddr = CGF.Builder.CreateGEP(RegAddr, gp_offset); 1094be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar RegAddr = CGF.Builder.CreateBitCast(RegAddr, 1095be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::PointerType::getUnqual(LTy)); 1096be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar } else { 10973e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar if (neededSSE == 1) { 10983e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar RegAddr = CGF.Builder.CreateGEP(RegAddr, fp_offset); 10993e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar RegAddr = CGF.Builder.CreateBitCast(RegAddr, 11003e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar llvm::PointerType::getUnqual(LTy)); 11013e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar } else { 11023e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar assert(neededSSE == 2 && "Invalid number of needed registers!"); 11033e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar // SSE registers are spaced 16 bytes apart in the register save 11043e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar // area, we need to collect the two eightbytes together. 11053e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar llvm::Value *RegAddrLo = CGF.Builder.CreateGEP(RegAddr, fp_offset); 11063e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar llvm::Value *RegAddrHi = 11073e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar CGF.Builder.CreateGEP(RegAddrLo, 11083e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar llvm::ConstantInt::get(llvm::Type::Int32Ty, 16)); 11093e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar const llvm::Type *DblPtrTy = 11103e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar llvm::PointerType::getUnqual(llvm::Type::DoubleTy); 11113e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar const llvm::StructType *ST = llvm::StructType::get(llvm::Type::DoubleTy, 11123e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar llvm::Type::DoubleTy, 11133e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar NULL); 11143e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar llvm::Value *V, *Tmp = CGF.CreateTempAlloca(ST); 11153e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar V = CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegAddrLo, 11163e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar DblPtrTy)); 11173e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 0)); 11183e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar V = CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegAddrHi, 11193e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar DblPtrTy)); 11203e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 1)); 11213e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar RegAddr = CGF.Builder.CreateBitCast(Tmp, 11223e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar llvm::PointerType::getUnqual(LTy)); 11233e030b4c04546229c81449fde66f71b23b3fc550Daniel Dunbar } 1124be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar } 1125be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1126be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // AMD64-ABI 3.5.7p5: Step 5. Set: 1127be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // l->gp_offset = l->gp_offset + num_gp * 8 1128be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // l->fp_offset = l->fp_offset + num_fp * 16. 1129be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar if (neededInt) { 1130be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::Value *Offset = llvm::ConstantInt::get(llvm::Type::Int32Ty, 1131be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar neededInt * 8); 1132be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.Builder.CreateStore(CGF.Builder.CreateAdd(gp_offset, Offset), 1133be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar gp_offset_p); 1134be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar } 1135be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar if (neededSSE) { 1136be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::Value *Offset = llvm::ConstantInt::get(llvm::Type::Int32Ty, 1137be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar neededSSE * 16); 1138be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.Builder.CreateStore(CGF.Builder.CreateAdd(fp_offset, Offset), 1139be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar fp_offset_p); 1140be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar } 1141be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.EmitBranch(ContBlock); 1142be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1143be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // Emit code to load the value if it was passed in memory. 1144be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1145be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.EmitBlock(InMemBlock); 1146be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::Value *MemAddr = EmitVAArgFromMemory(VAListAddr, Ty, CGF); 1147be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1148be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar // Return the appropriate result. 1149be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1150be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar CGF.EmitBlock(ContBlock); 1151be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar llvm::PHINode *ResAddr = CGF.Builder.CreatePHI(RegAddr->getType(), 1152be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar "vaarg.addr"); 1153be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar ResAddr->reserveOperandSpace(2); 1154be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar ResAddr->addIncoming(RegAddr, InRegBlock); 1155be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar ResAddr->addIncoming(MemAddr, InMemBlock); 1156be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar 1157be9eb0937c667e2823971966adf960f86d3985d6Daniel Dunbar return ResAddr; 1158b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar} 1159b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar 1160a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedmanclass ARMABIInfo : public ABIInfo { 1161a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman ABIArgInfo classifyReturnType(QualType RetTy, 1162a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman ASTContext &Context) const; 1163a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman 1164a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman ABIArgInfo classifyArgumentType(QualType RetTy, 1165a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman ASTContext &Context) const; 1166a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman 1167a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman virtual void computeInfo(CGFunctionInfo &FI, ASTContext &Context) const; 1168a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman 1169a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty, 1170a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman CodeGenFunction &CGF) const; 1171a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman}; 1172a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman 1173a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedmanvoid ARMABIInfo::computeInfo(CGFunctionInfo &FI, ASTContext &Context) const { 1174a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman FI.getReturnInfo() = classifyReturnType(FI.getReturnType(), Context); 1175a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end(); 1176a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman it != ie; ++it) { 1177a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman it->info = classifyArgumentType(it->type, Context); 1178a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman } 1179a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman} 1180a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman 1181a027ea94d6e4f501f9fa690ac728f68c62612a7dEli FriedmanABIArgInfo ARMABIInfo::classifyArgumentType(QualType Ty, 1182a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman ASTContext &Context) const { 1183a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman if (!CodeGenFunction::hasAggregateLLVMType(Ty)) { 1184a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman return ABIArgInfo::getDirect(); 1185a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman } 1186a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman // FIXME: This is kind of nasty... but there isn't much choice 1187a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman // because the ARM backend doesn't support byval. 1188a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman // FIXME: This doesn't handle alignment > 64 bits. 1189a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman const llvm::Type* ElemTy; 1190a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman unsigned SizeRegs; 1191a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman if (Context.getTypeAlign(Ty) > 32) { 1192a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman ElemTy = llvm::Type::Int64Ty; 1193a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman SizeRegs = (Context.getTypeSize(Ty) + 63) / 64; 1194a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman } else { 1195a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman ElemTy = llvm::Type::Int32Ty; 1196a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman SizeRegs = (Context.getTypeSize(Ty) + 31) / 32; 1197a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman } 1198a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman std::vector<const llvm::Type*> LLVMFields; 1199a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman LLVMFields.push_back(llvm::ArrayType::get(ElemTy, SizeRegs)); 1200a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman const llvm::Type* STy = llvm::StructType::get(LLVMFields, true); 1201a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman return ABIArgInfo::getCoerce(STy); 1202a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman} 1203a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman 1204a027ea94d6e4f501f9fa690ac728f68c62612a7dEli FriedmanABIArgInfo ARMABIInfo::classifyReturnType(QualType RetTy, 1205a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman ASTContext &Context) const { 1206a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman if (RetTy->isVoidType()) { 1207a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman return ABIArgInfo::getIgnore(); 1208a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman } else if (CodeGenFunction::hasAggregateLLVMType(RetTy)) { 1209a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman // Aggregates <= 4 bytes are returned in r0; other aggregates 1210a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman // are returned indirectly. 1211a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman uint64_t Size = Context.getTypeSize(RetTy); 1212a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman if (Size <= 32) 1213a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman return ABIArgInfo::getCoerce(llvm::Type::Int32Ty); 1214a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman return ABIArgInfo::getIndirect(0); 1215a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman } else { 1216a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman return ABIArgInfo::getDirect(); 1217a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman } 1218a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman} 1219a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman 1220a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedmanllvm::Value *ARMABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty, 1221a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman CodeGenFunction &CGF) const { 1222a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman // FIXME: Need to handle alignment 1223a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 1224a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman const llvm::Type *BPP = llvm::PointerType::getUnqual(BP); 1225a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman 1226a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman CGBuilderTy &Builder = CGF.Builder; 1227a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman llvm::Value *VAListAddrAsBPP = Builder.CreateBitCast(VAListAddr, BPP, 1228a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman "ap"); 1229a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman llvm::Value *Addr = Builder.CreateLoad(VAListAddrAsBPP, "ap.cur"); 1230a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman llvm::Type *PTy = 1231a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman llvm::PointerType::getUnqual(CGF.ConvertType(Ty)); 1232a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman llvm::Value *AddrTyped = Builder.CreateBitCast(Addr, PTy); 1233a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman 1234a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman uint64_t Offset = 1235a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman llvm::RoundUpToAlignment(CGF.getContext().getTypeSize(Ty) / 8, 4); 1236a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman llvm::Value *NextAddr = 1237a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman Builder.CreateGEP(Addr, 1238a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman llvm::ConstantInt::get(llvm::Type::Int32Ty, Offset), 1239a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman "ap.next"); 1240a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman Builder.CreateStore(NextAddr, VAListAddrAsBPP); 1241a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman 1242a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman return AddrTyped; 1243a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman} 1244a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman 12456b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel DunbarABIArgInfo DefaultABIInfo::classifyReturnType(QualType RetTy, 1246b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar ASTContext &Context) const { 12470bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar if (RetTy->isVoidType()) { 12480bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar return ABIArgInfo::getIgnore(); 12490bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar } else if (CodeGenFunction::hasAggregateLLVMType(RetTy)) { 125011e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar return ABIArgInfo::getIndirect(0); 12510bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar } else { 12520bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar return ABIArgInfo::getDirect(); 12530bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar } 12546b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar} 12556b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar 12566b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel DunbarABIArgInfo DefaultABIInfo::classifyArgumentType(QualType Ty, 1257b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar ASTContext &Context) const { 12580bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar if (CodeGenFunction::hasAggregateLLVMType(Ty)) { 125911e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar return ABIArgInfo::getIndirect(0); 12600bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar } else { 12610bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar return ABIArgInfo::getDirect(); 12620bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar } 12636b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar} 12646b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar 1265b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbarllvm::Value *DefaultABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty, 1266b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar CodeGenFunction &CGF) const { 1267b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar return 0; 1268b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar} 1269b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar 12706b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbarconst ABIInfo &CodeGenTypes::getABIInfo() const { 12716b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar if (TheABIInfo) 12726b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar return *TheABIInfo; 12736b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar 12746b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar // For now we just cache this in the CodeGenTypes and don't bother 12756b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar // to free it. 12766b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar const char *TargetPrefix = getContext().Target.getTargetPrefix(); 12776b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar if (strcmp(TargetPrefix, "x86") == 0) { 12789fd58e85d59f8244c7ba289ae4f9b4f5e0b4c98fEli Friedman bool IsDarwin = strstr(getContext().Target.getTargetTriple(), "darwin"); 1279d4edfe4746c66d2ac452c8a8d7cac17192283e75Daniel Dunbar switch (getContext().Target.getPointerWidth(0)) { 1280d4edfe4746c66d2ac452c8a8d7cac17192283e75Daniel Dunbar case 32: 12819fd58e85d59f8244c7ba289ae4f9b4f5e0b4c98fEli Friedman return *(TheABIInfo = new X86_32ABIInfo(IsDarwin)); 1282d4edfe4746c66d2ac452c8a8d7cac17192283e75Daniel Dunbar case 64: 128311a76ed8e34901f2b997896a8c0833c6c17bc586Daniel Dunbar return *(TheABIInfo = new X86_64ABIInfo()); 1284d4edfe4746c66d2ac452c8a8d7cac17192283e75Daniel Dunbar } 1285a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman } else if (strcmp(TargetPrefix, "arm") == 0) { 1286a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman // FIXME: Support for OABI? 1287a027ea94d6e4f501f9fa690ac728f68c62612a7dEli Friedman return *(TheABIInfo = new ARMABIInfo()); 12886b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar } 12896b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar 12906b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar return *(TheABIInfo = new DefaultABIInfo); 12916b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar} 12926b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar 12932c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar/***/ 12942c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar 129588c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel DunbarCGFunctionInfo::CGFunctionInfo(QualType ResTy, 129688c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar const llvm::SmallVector<QualType, 16> &ArgTys) { 129788c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar NumArgs = ArgTys.size(); 129888c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar Args = new ArgInfo[1 + NumArgs]; 129988c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar Args[0].type = ResTy; 130088c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar for (unsigned i = 0; i < NumArgs; ++i) 130188c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar Args[1 + i].type = ArgTys[i]; 130288c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar} 130388c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar 130488c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar/***/ 130588c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar 13065627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbarvoid CodeGenTypes::GetExpandedTypes(QualType Ty, 13075627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar std::vector<const llvm::Type*> &ArgTys) { 13085627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar const RecordType *RT = Ty->getAsStructureType(); 13095627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar assert(RT && "Can only expand structure types."); 13105627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar const RecordDecl *RD = RT->getDecl(); 13115627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar assert(!RD->hasFlexibleArrayMember() && 13125627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar "Cannot expand structure with flexible array."); 13135627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 1314f8d49f64ef6ab7e632717a31631fc289aab69428Douglas Gregor for (RecordDecl::field_iterator i = RD->field_begin(), 13155627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar e = RD->field_end(); i != e; ++i) { 13165627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar const FieldDecl *FD = *i; 13175627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar assert(!FD->isBitField() && 13185627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar "Cannot expand structure with bit-field members."); 13195627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 13205627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar QualType FT = FD->getType(); 13215627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar if (CodeGenFunction::hasAggregateLLVMType(FT)) { 13225627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar GetExpandedTypes(FT, ArgTys); 13235627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } else { 13245627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar ArgTys.push_back(ConvertType(FT)); 13255627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } 13265627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } 13275627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar} 13285627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 13295627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbarllvm::Function::arg_iterator 13305627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel DunbarCodeGenFunction::ExpandTypeFromArgs(QualType Ty, LValue LV, 13315627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar llvm::Function::arg_iterator AI) { 13325627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar const RecordType *RT = Ty->getAsStructureType(); 13335627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar assert(RT && "Can only expand structure types."); 13345627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 13355627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar RecordDecl *RD = RT->getDecl(); 13365627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar assert(LV.isSimple() && 13375627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar "Unexpected non-simple lvalue during struct expansion."); 13385627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar llvm::Value *Addr = LV.getAddress(); 13395627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar for (RecordDecl::field_iterator i = RD->field_begin(), 13405627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar e = RD->field_end(); i != e; ++i) { 13415627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar FieldDecl *FD = *i; 13425627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar QualType FT = FD->getType(); 13435627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 13445627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar // FIXME: What are the right qualifiers here? 13455627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar LValue LV = EmitLValueForField(Addr, FD, false, 0); 13465627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar if (CodeGenFunction::hasAggregateLLVMType(FT)) { 13475627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar AI = ExpandTypeFromArgs(FT, LV, AI); 13485627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } else { 13495627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar EmitStoreThroughLValue(RValue::get(AI), LV, FT); 13505627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar ++AI; 13515627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } 13525627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } 13535627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 13545627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar return AI; 13555627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar} 13565627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 13575627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbarvoid 13585627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel DunbarCodeGenFunction::ExpandTypeToArgs(QualType Ty, RValue RV, 13595627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar llvm::SmallVector<llvm::Value*, 16> &Args) { 13605627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar const RecordType *RT = Ty->getAsStructureType(); 13615627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar assert(RT && "Can only expand structure types."); 13625627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 13635627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar RecordDecl *RD = RT->getDecl(); 13645627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar assert(RV.isAggregate() && "Unexpected rvalue during struct expansion"); 13655627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar llvm::Value *Addr = RV.getAggregateAddr(); 13665627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar for (RecordDecl::field_iterator i = RD->field_begin(), 13675627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar e = RD->field_end(); i != e; ++i) { 13685627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar FieldDecl *FD = *i; 13695627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar QualType FT = FD->getType(); 13705627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 13715627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar // FIXME: What are the right qualifiers here? 13725627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar LValue LV = EmitLValueForField(Addr, FD, false, 0); 13735627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar if (CodeGenFunction::hasAggregateLLVMType(FT)) { 13745627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar ExpandTypeToArgs(FT, RValue::getAggregate(LV.getAddress()), Args); 13755627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } else { 13765627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar RValue RV = EmitLoadOfLValue(LV, FT); 13775627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar assert(RV.isScalar() && 13785627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar "Unexpected non-scalar rvalue during struct expansion."); 13795627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar Args.push_back(RV.getScalarVal()); 13805627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } 13815627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } 13825627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar} 13835627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 1384275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar/// CreateCoercedLoad - Create a load from \arg SrcPtr interpreted as 1385275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar/// a pointer to an object of type \arg Ty. 1386275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar/// 1387275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar/// This safely handles the case when the src type is smaller than the 1388275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar/// destination type; in this situation the values of bits which not 1389275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar/// present in the src are undefined. 1390275e10d62af4a129a8559253958296d8659684c9Daniel Dunbarstatic llvm::Value *CreateCoercedLoad(llvm::Value *SrcPtr, 1391275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar const llvm::Type *Ty, 1392275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar CodeGenFunction &CGF) { 1393275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar const llvm::Type *SrcTy = 1394275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar cast<llvm::PointerType>(SrcPtr->getType())->getElementType(); 1395275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar uint64_t SrcSize = CGF.CGM.getTargetData().getTypePaddedSize(SrcTy); 1396275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar uint64_t DstSize = CGF.CGM.getTargetData().getTypePaddedSize(Ty); 1397275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar 1398b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar // If load is legal, just bitcast the src pointer. 1399275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar if (SrcSize == DstSize) { 1400275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar llvm::Value *Casted = 1401275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar CGF.Builder.CreateBitCast(SrcPtr, llvm::PointerType::getUnqual(Ty)); 1402386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar llvm::LoadInst *Load = CGF.Builder.CreateLoad(Casted); 1403386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar // FIXME: Use better alignment / avoid requiring aligned load. 1404386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar Load->setAlignment(1); 1405386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar return Load; 1406275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar } else { 1407275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar assert(SrcSize < DstSize && "Coercion is losing source bits!"); 1408275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar 1409275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar // Otherwise do coercion through memory. This is stupid, but 1410275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar // simple. 1411275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar llvm::Value *Tmp = CGF.CreateTempAlloca(Ty); 1412275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar llvm::Value *Casted = 1413275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar CGF.Builder.CreateBitCast(Tmp, llvm::PointerType::getUnqual(SrcTy)); 1414386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar llvm::StoreInst *Store = 1415386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar CGF.Builder.CreateStore(CGF.Builder.CreateLoad(SrcPtr), Casted); 1416386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar // FIXME: Use better alignment / avoid requiring aligned store. 1417386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar Store->setAlignment(1); 1418275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar return CGF.Builder.CreateLoad(Tmp); 1419275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar } 1420275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar} 1421275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar 1422275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar/// CreateCoercedStore - Create a store to \arg DstPtr from \arg Src, 1423275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar/// where the source and destination may have different types. 1424275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar/// 1425275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar/// This safely handles the case when the src type is larger than the 1426275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar/// destination type; the upper bits of the src will be lost. 1427275e10d62af4a129a8559253958296d8659684c9Daniel Dunbarstatic void CreateCoercedStore(llvm::Value *Src, 1428275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar llvm::Value *DstPtr, 1429275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar CodeGenFunction &CGF) { 1430275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar const llvm::Type *SrcTy = Src->getType(); 1431275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar const llvm::Type *DstTy = 1432275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar cast<llvm::PointerType>(DstPtr->getType())->getElementType(); 1433275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar 1434275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar uint64_t SrcSize = CGF.CGM.getTargetData().getTypePaddedSize(SrcTy); 1435275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar uint64_t DstSize = CGF.CGM.getTargetData().getTypePaddedSize(DstTy); 1436275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar 143788c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar // If store is legal, just bitcast the src pointer. 1438275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar if (SrcSize == DstSize) { 1439275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar llvm::Value *Casted = 1440275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar CGF.Builder.CreateBitCast(DstPtr, llvm::PointerType::getUnqual(SrcTy)); 1441386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar // FIXME: Use better alignment / avoid requiring aligned store. 1442386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar CGF.Builder.CreateStore(Src, Casted)->setAlignment(1); 1443275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar } else { 1444275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar assert(SrcSize > DstSize && "Coercion is missing bits!"); 1445275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar 1446275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar // Otherwise do coercion through memory. This is stupid, but 1447275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar // simple. 1448275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar llvm::Value *Tmp = CGF.CreateTempAlloca(SrcTy); 1449275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar CGF.Builder.CreateStore(Src, Tmp); 1450275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar llvm::Value *Casted = 1451275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar CGF.Builder.CreateBitCast(Tmp, llvm::PointerType::getUnqual(DstTy)); 1452386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar llvm::LoadInst *Load = CGF.Builder.CreateLoad(Casted); 1453386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar // FIXME: Use better alignment / avoid requiring aligned load. 1454386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar Load->setAlignment(1); 1455386621f5e12f5db95af3b82250b08fdae3e3d321Daniel Dunbar CGF.Builder.CreateStore(Load, DstPtr); 1456275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar } 1457275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar} 1458275e10d62af4a129a8559253958296d8659684c9Daniel Dunbar 14595627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar/***/ 14605627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 146188b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbarbool CodeGenModule::ReturnTypeUsesSret(const CGFunctionInfo &FI) { 146211e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar return FI.getReturnInfo().isIndirect(); 1463bb36d331f439f49859efcfb4435c61762fbba6f9Daniel Dunbar} 1464bb36d331f439f49859efcfb4435c61762fbba6f9Daniel Dunbar 146545c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbarconst llvm::FunctionType * 1466bb36d331f439f49859efcfb4435c61762fbba6f9Daniel DunbarCodeGenTypes::GetFunctionType(const CGFunctionInfo &FI, bool IsVariadic) { 146745c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar std::vector<const llvm::Type*> ArgTys; 146845c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar 146945c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar const llvm::Type *ResultType = 0; 147045c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar 1471a0a99e02f5b2de3817706071077298ef040634feDaniel Dunbar QualType RetTy = FI.getReturnType(); 1472b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar const ABIArgInfo &RetAI = FI.getReturnInfo(); 14738951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar switch (RetAI.getKind()) { 14748951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar case ABIArgInfo::Expand: 14758951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar assert(0 && "Invalid ABI kind for return argument"); 14768951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 147746327aaf031529be2cf8bb21bc76d7a5ae0d43cdDaniel Dunbar case ABIArgInfo::Direct: 147846327aaf031529be2cf8bb21bc76d7a5ae0d43cdDaniel Dunbar ResultType = ConvertType(RetTy); 147946327aaf031529be2cf8bb21bc76d7a5ae0d43cdDaniel Dunbar break; 148046327aaf031529be2cf8bb21bc76d7a5ae0d43cdDaniel Dunbar 148111e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar case ABIArgInfo::Indirect: { 148211e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar assert(!RetAI.getIndirectAlign() && "Align unused on indirect return."); 148345c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar ResultType = llvm::Type::VoidTy; 148462d5c1b5038cdaa4a887a03c37fe1e8d00166ea0Daniel Dunbar const llvm::Type *STy = ConvertType(RetTy); 148545c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar ArgTys.push_back(llvm::PointerType::get(STy, RetTy.getAddressSpace())); 148645c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar break; 148745c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar } 148845c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar 148911434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar case ABIArgInfo::Ignore: 149011434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar ResultType = llvm::Type::VoidTy; 149111434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar break; 149211434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar 149345c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar case ABIArgInfo::Coerce: 1494639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar ResultType = RetAI.getCoerceToType(); 149545c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar break; 149645c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar } 149745c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar 149888c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar for (CGFunctionInfo::const_arg_iterator it = FI.arg_begin(), 149988c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar ie = FI.arg_end(); it != ie; ++it) { 150088c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar const ABIArgInfo &AI = it->info; 15018951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 15028951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar switch (AI.getKind()) { 150311434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar case ABIArgInfo::Ignore: 150411434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar break; 150511434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar 15065627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar case ABIArgInfo::Coerce: 150789c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar ArgTys.push_back(AI.getCoerceToType()); 150889c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar break; 150989c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar 1510adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar case ABIArgInfo::Indirect: { 151111e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar // indirect arguments are always on the stack, which is addr space #0. 1512adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar const llvm::Type *LTy = ConvertTypeForMem(it->type); 1513adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar ArgTys.push_back(llvm::PointerType::getUnqual(LTy)); 15148951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar break; 1515adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar } 15168951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 151746327aaf031529be2cf8bb21bc76d7a5ae0d43cdDaniel Dunbar case ABIArgInfo::Direct: 15181f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar ArgTys.push_back(ConvertType(it->type)); 15198951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar break; 15208951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 15218951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar case ABIArgInfo::Expand: 152288c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar GetExpandedTypes(it->type, ArgTys); 15238951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar break; 15248951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar } 152545c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar } 152645c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar 1527bb36d331f439f49859efcfb4435c61762fbba6f9Daniel Dunbar return llvm::FunctionType::get(ResultType, ArgTys, IsVariadic); 15283913f184c84135fb4612743f1faa6c1edd2dd055Daniel Dunbar} 15293913f184c84135fb4612743f1faa6c1edd2dd055Daniel Dunbar 1530a0a99e02f5b2de3817706071077298ef040634feDaniel Dunbarvoid CodeGenModule::ConstructAttributeList(const CGFunctionInfo &FI, 153188b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbar const Decl *TargetDecl, 1532761d7f78e2dac7ea5f35828c2271e60d91e106ceDevang Patel AttributeListType &PAL) { 15335323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar unsigned FuncAttrs = 0; 1534a2c6912c416c2d9f79d18f3a88ab0ae2609286c3Devang Patel unsigned RetAttrs = 0; 15355323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar 15365323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar if (TargetDecl) { 15375323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar if (TargetDecl->getAttr<NoThrowAttr>()) 1538761d7f78e2dac7ea5f35828c2271e60d91e106ceDevang Patel FuncAttrs |= llvm::Attribute::NoUnwind; 15395323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar if (TargetDecl->getAttr<NoReturnAttr>()) 1540761d7f78e2dac7ea5f35828c2271e60d91e106ceDevang Patel FuncAttrs |= llvm::Attribute::NoReturn; 1541232eb7d33b96ad8f99de3b5ae840421b3a7c6cb7Anders Carlsson if (TargetDecl->getAttr<PureAttr>()) 1542232eb7d33b96ad8f99de3b5ae840421b3a7c6cb7Anders Carlsson FuncAttrs |= llvm::Attribute::ReadOnly; 1543232eb7d33b96ad8f99de3b5ae840421b3a7c6cb7Anders Carlsson if (TargetDecl->getAttr<ConstAttr>()) 1544232eb7d33b96ad8f99de3b5ae840421b3a7c6cb7Anders Carlsson FuncAttrs |= llvm::Attribute::ReadNone; 15455323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar } 15465323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar 1547a0a99e02f5b2de3817706071077298ef040634feDaniel Dunbar QualType RetTy = FI.getReturnType(); 15485323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar unsigned Index = 1; 1549b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar const ABIArgInfo &RetAI = FI.getReturnInfo(); 155045c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar switch (RetAI.getKind()) { 155146327aaf031529be2cf8bb21bc76d7a5ae0d43cdDaniel Dunbar case ABIArgInfo::Direct: 15522c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar if (RetTy->isPromotableIntegerType()) { 15532c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar if (RetTy->isSignedIntegerType()) { 1554a2c6912c416c2d9f79d18f3a88ab0ae2609286c3Devang Patel RetAttrs |= llvm::Attribute::SExt; 15552c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar } else if (RetTy->isUnsignedIntegerType()) { 1556a2c6912c416c2d9f79d18f3a88ab0ae2609286c3Devang Patel RetAttrs |= llvm::Attribute::ZExt; 15572c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar } 15582c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar } 15592c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar break; 15602c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar 156111e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar case ABIArgInfo::Indirect: 1562761d7f78e2dac7ea5f35828c2271e60d91e106ceDevang Patel PAL.push_back(llvm::AttributeWithIndex::get(Index, 1563725ad31086e3d6c41afa10c43db44f2e7060a961Daniel Dunbar llvm::Attribute::StructRet | 1564725ad31086e3d6c41afa10c43db44f2e7060a961Daniel Dunbar llvm::Attribute::NoAlias)); 15655323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar ++Index; 15660ac86f0821a2ba7ae09793fee4451bef99e9b2f3Daniel Dunbar // sret disables readnone and readonly 15670ac86f0821a2ba7ae09793fee4451bef99e9b2f3Daniel Dunbar FuncAttrs &= ~(llvm::Attribute::ReadOnly | 15680ac86f0821a2ba7ae09793fee4451bef99e9b2f3Daniel Dunbar llvm::Attribute::ReadNone); 15692c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar break; 15702c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar 157111434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar case ABIArgInfo::Ignore: 15722c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar case ABIArgInfo::Coerce: 15732c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar break; 15748951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 15758951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar case ABIArgInfo::Expand: 15768951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar assert(0 && "Invalid ABI kind for return argument"); 15775323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar } 15782c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar 1579a2c6912c416c2d9f79d18f3a88ab0ae2609286c3Devang Patel if (RetAttrs) 1580a2c6912c416c2d9f79d18f3a88ab0ae2609286c3Devang Patel PAL.push_back(llvm::AttributeWithIndex::get(0, RetAttrs)); 158188c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar for (CGFunctionInfo::const_arg_iterator it = FI.arg_begin(), 158288c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar ie = FI.arg_end(); it != ie; ++it) { 158388c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar QualType ParamType = it->type; 158488c2fa96be989571b4afb6229f0ef5a3ef4450cbDaniel Dunbar const ABIArgInfo &AI = it->info; 1585761d7f78e2dac7ea5f35828c2271e60d91e106ceDevang Patel unsigned Attributes = 0; 15868951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 15878951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar switch (AI.getKind()) { 158889c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar case ABIArgInfo::Coerce: 158989c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar break; 159089c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar 159111e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar case ABIArgInfo::Indirect: 1592761d7f78e2dac7ea5f35828c2271e60d91e106ceDevang Patel Attributes |= llvm::Attribute::ByVal; 1593ca008822e8ad5dd8b3ff598cf62e909966847a67Daniel Dunbar Attributes |= 159411e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar llvm::Attribute::constructAlignmentFromInt(AI.getIndirectAlign()); 15950ac86f0821a2ba7ae09793fee4451bef99e9b2f3Daniel Dunbar // byval disables readnone and readonly. 15960ac86f0821a2ba7ae09793fee4451bef99e9b2f3Daniel Dunbar FuncAttrs &= ~(llvm::Attribute::ReadOnly | 15970ac86f0821a2ba7ae09793fee4451bef99e9b2f3Daniel Dunbar llvm::Attribute::ReadNone); 15988951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar break; 15998951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 160046327aaf031529be2cf8bb21bc76d7a5ae0d43cdDaniel Dunbar case ABIArgInfo::Direct: 16018951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar if (ParamType->isPromotableIntegerType()) { 16028951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar if (ParamType->isSignedIntegerType()) { 1603761d7f78e2dac7ea5f35828c2271e60d91e106ceDevang Patel Attributes |= llvm::Attribute::SExt; 16048951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar } else if (ParamType->isUnsignedIntegerType()) { 1605761d7f78e2dac7ea5f35828c2271e60d91e106ceDevang Patel Attributes |= llvm::Attribute::ZExt; 16068951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar } 16075323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar } 16088951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar break; 16098951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 161011434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar case ABIArgInfo::Ignore: 161111434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar // Skip increment, no matching LLVM parameter. 161211434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar continue; 161311434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar 16145627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar case ABIArgInfo::Expand: { 16155627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar std::vector<const llvm::Type*> Tys; 16165627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar // FIXME: This is rather inefficient. Do we ever actually need 16175627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar // to do anything here? The result should be just reconstructed 16185627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar // on the other side, so extension should be a non-issue. 16195627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar getTypes().GetExpandedTypes(ParamType, Tys); 16205627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar Index += Tys.size(); 16215627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar continue; 16225627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } 16235323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar } 16248951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 1625761d7f78e2dac7ea5f35828c2271e60d91e106ceDevang Patel if (Attributes) 1626761d7f78e2dac7ea5f35828c2271e60d91e106ceDevang Patel PAL.push_back(llvm::AttributeWithIndex::get(Index, Attributes)); 16275627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar ++Index; 16285323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar } 1629a2c6912c416c2d9f79d18f3a88ab0ae2609286c3Devang Patel if (FuncAttrs) 1630a2c6912c416c2d9f79d18f3a88ab0ae2609286c3Devang Patel PAL.push_back(llvm::AttributeWithIndex::get(~0, FuncAttrs)); 16315323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar} 16325323a4b0a1c248fa2ffdf886bb41a5d8fba71d2dDaniel Dunbar 163388b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbarvoid CodeGenFunction::EmitFunctionProlog(const CGFunctionInfo &FI, 163488b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbar llvm::Function *Fn, 163517b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar const FunctionArgList &Args) { 16365251afa21d3583f2740fd4f83659d008625a7260Daniel Dunbar // FIXME: We no longer need the types from FunctionArgList; lift up 16375251afa21d3583f2740fd4f83659d008625a7260Daniel Dunbar // and simplify. 16385251afa21d3583f2740fd4f83659d008625a7260Daniel Dunbar 163917b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar // Emit allocs for param decls. Give the LLVM Argument nodes names. 164017b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar llvm::Function::arg_iterator AI = Fn->arg_begin(); 164117b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar 164217b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar // Name the struct return argument. 164388b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbar if (CGM.ReturnTypeUsesSret(FI)) { 164417b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar AI->setName("agg.result"); 164517b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar ++AI; 164617b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar } 1647b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar 16484b5f0a4bd6645e87e5feae4be4675ce87d97b4a5Daniel Dunbar assert(FI.arg_size() == Args.size() && 16494b5f0a4bd6645e87e5feae4be4675ce87d97b4a5Daniel Dunbar "Mismatch between function signature & arguments."); 1650b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar CGFunctionInfo::const_arg_iterator info_it = FI.arg_begin(); 165117b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar for (FunctionArgList::const_iterator i = Args.begin(), e = Args.end(); 1652b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar i != e; ++i, ++info_it) { 165317b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar const VarDecl *Arg = i->first; 1654b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar QualType Ty = info_it->type; 1655b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar const ABIArgInfo &ArgI = info_it->info; 16568951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 16578951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar switch (ArgI.getKind()) { 16581f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar case ABIArgInfo::Indirect: { 16591f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar llvm::Value* V = AI; 16601f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar if (hasAggregateLLVMType(Ty)) { 16611f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar // Do nothing, aggregates and complex variables are accessed by 16621f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar // reference. 16631f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar } else { 16641f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar // Load scalar value from indirect argument. 1665adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar V = EmitLoadOfScalar(V, false, Ty); 16661f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar if (!getContext().typesAreCompatible(Ty, Arg->getType())) { 16671f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar // This must be a promotion, for something like 16681f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar // "void a(x) short x; {..." 16691f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar V = EmitScalarConversion(V, Ty, Arg->getType()); 16701f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar } 16711f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar } 16721f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar EmitParmDecl(*Arg, V); 16731f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar break; 16741f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar } 16751f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar 167646327aaf031529be2cf8bb21bc76d7a5ae0d43cdDaniel Dunbar case ABIArgInfo::Direct: { 16778951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar assert(AI != Fn->arg_end() && "Argument mismatch!"); 16788951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar llvm::Value* V = AI; 16792fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar if (hasAggregateLLVMType(Ty)) { 16802fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar // Create a temporary alloca to hold the argument; the rest of 16812fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar // codegen expects to access aggregates & complex values by 16822fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar // reference. 1683adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar V = CreateTempAlloca(ConvertTypeForMem(Ty)); 16842fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar Builder.CreateStore(AI, V); 16852fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar } else { 16862fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar if (!getContext().typesAreCompatible(Ty, Arg->getType())) { 16872fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar // This must be a promotion, for something like 16882fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar // "void a(x) short x; {..." 16892fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar V = EmitScalarConversion(V, Ty, Arg->getType()); 16902fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar } 169117b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar } 16928951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar EmitParmDecl(*Arg, V); 16938951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar break; 16948951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar } 16958951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 16965627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar case ABIArgInfo::Expand: { 1697b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar // If this structure was expanded into multiple arguments then 16985627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar // we need to create a temporary and reconstruct it from the 16995627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar // arguments. 170039f34e97d6a468f0a7dfa5664c61217cffc65b74Chris Lattner std::string Name = Arg->getNameAsString(); 1701adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar llvm::Value *Temp = CreateTempAlloca(ConvertTypeForMem(Ty), 17025627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar (Name + ".addr").c_str()); 17035627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar // FIXME: What are the right qualifiers here? 17045627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar llvm::Function::arg_iterator End = 17055627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar ExpandTypeFromArgs(Ty, LValue::MakeAddr(Temp,0), AI); 17065627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar EmitParmDecl(*Arg, Temp); 17075627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 17085627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar // Name the arguments used in expansion and increment AI. 17095627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar unsigned Index = 0; 17105627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar for (; AI != End; ++AI, ++Index) 17115627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar AI->setName(Name + "." + llvm::utostr(Index)); 17125627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar continue; 17135627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } 171411434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar 171511434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar case ABIArgInfo::Ignore: 17168b979d9e4c41fb67eb276996bdaa608fb4b11ccdDaniel Dunbar // Initialize the local variable appropriately. 17178b979d9e4c41fb67eb276996bdaa608fb4b11ccdDaniel Dunbar if (hasAggregateLLVMType(Ty)) { 1718adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar EmitParmDecl(*Arg, CreateTempAlloca(ConvertTypeForMem(Ty))); 17198b979d9e4c41fb67eb276996bdaa608fb4b11ccdDaniel Dunbar } else { 17208b979d9e4c41fb67eb276996bdaa608fb4b11ccdDaniel Dunbar EmitParmDecl(*Arg, llvm::UndefValue::get(ConvertType(Arg->getType()))); 17218b979d9e4c41fb67eb276996bdaa608fb4b11ccdDaniel Dunbar } 17228b979d9e4c41fb67eb276996bdaa608fb4b11ccdDaniel Dunbar 172359e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar // Skip increment, no matching LLVM parameter. 172459e5a0e4f1b3a6f4ddcb0e902e98d8b3c9d10799Daniel Dunbar continue; 172511434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar 172689c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar case ABIArgInfo::Coerce: { 172789c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar assert(AI != Fn->arg_end() && "Argument mismatch!"); 172889c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar // FIXME: This is very wasteful; EmitParmDecl is just going to 172989c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar // drop the result in a new alloca anyway, so we could just 173089c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar // store into that directly if we broke the abstraction down 173189c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar // more. 1732adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar llvm::Value *V = CreateTempAlloca(ConvertTypeForMem(Ty), "coerce"); 173389c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar CreateCoercedStore(AI, V, *this); 173489c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar // Match to what EmitParmDecl is expecting for this type. 17358b29a387788bbb7a7c3b64c37473bc46299d2132Daniel Dunbar if (!CodeGenFunction::hasAggregateLLVMType(Ty)) { 1736adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar V = EmitLoadOfScalar(V, false, Ty); 17378b29a387788bbb7a7c3b64c37473bc46299d2132Daniel Dunbar if (!getContext().typesAreCompatible(Ty, Arg->getType())) { 17388b29a387788bbb7a7c3b64c37473bc46299d2132Daniel Dunbar // This must be a promotion, for something like 17398b29a387788bbb7a7c3b64c37473bc46299d2132Daniel Dunbar // "void a(x) short x; {..." 17408b29a387788bbb7a7c3b64c37473bc46299d2132Daniel Dunbar V = EmitScalarConversion(V, Ty, Arg->getType()); 17418b29a387788bbb7a7c3b64c37473bc46299d2132Daniel Dunbar } 17428b29a387788bbb7a7c3b64c37473bc46299d2132Daniel Dunbar } 174389c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar EmitParmDecl(*Arg, V); 174489c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar break; 174589c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar } 17468951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar } 17475627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 17485627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar ++AI; 174917b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar } 175017b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar assert(AI == Fn->arg_end() && "Argument mismatch!"); 175117b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar} 175217b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar 175388b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbarvoid CodeGenFunction::EmitFunctionEpilog(const CGFunctionInfo &FI, 175417b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar llvm::Value *ReturnValue) { 17552c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar llvm::Value *RV = 0; 17562c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar 17572c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar // Functions with no result always return void. 17582c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar if (ReturnValue) { 175988b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbar QualType RetTy = FI.getReturnType(); 1760b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar const ABIArgInfo &RetAI = FI.getReturnInfo(); 17612c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar 17622c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar switch (RetAI.getKind()) { 176311e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar case ABIArgInfo::Indirect: 17643aea8cac3ec9ad03b1d2b002f38a0d42a70483c8Daniel Dunbar if (RetTy->isAnyComplexType()) { 17653aea8cac3ec9ad03b1d2b002f38a0d42a70483c8Daniel Dunbar ComplexPairTy RT = LoadComplexFromAddr(ReturnValue, false); 17663aea8cac3ec9ad03b1d2b002f38a0d42a70483c8Daniel Dunbar StoreComplexToAddr(RT, CurFn->arg_begin(), false); 17673aea8cac3ec9ad03b1d2b002f38a0d42a70483c8Daniel Dunbar } else if (CodeGenFunction::hasAggregateLLVMType(RetTy)) { 17683aea8cac3ec9ad03b1d2b002f38a0d42a70483c8Daniel Dunbar EmitAggregateCopy(CurFn->arg_begin(), ReturnValue, RetTy); 17693aea8cac3ec9ad03b1d2b002f38a0d42a70483c8Daniel Dunbar } else { 1770adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar EmitStoreOfScalar(Builder.CreateLoad(ReturnValue), CurFn->arg_begin(), 1771adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar false); 17723aea8cac3ec9ad03b1d2b002f38a0d42a70483c8Daniel Dunbar } 17732c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar break; 17748951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 177546327aaf031529be2cf8bb21bc76d7a5ae0d43cdDaniel Dunbar case ABIArgInfo::Direct: 17762fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar // The internal return value temp always will have 17772fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar // pointer-to-return-type type. 17782c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar RV = Builder.CreateLoad(ReturnValue); 17792c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar break; 17802c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar 178111434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar case ABIArgInfo::Ignore: 178211434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar break; 178311434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar 1784adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar case ABIArgInfo::Coerce: 178554d1ccbfcf19ddf39444f1b4018dd79487cc847bDaniel Dunbar RV = CreateCoercedLoad(ReturnValue, RetAI.getCoerceToType(), *this); 17868951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar break; 17878951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 17888951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar case ABIArgInfo::Expand: 17898951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar assert(0 && "Invalid ABI kind for return argument"); 179017b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar } 179117b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar } 17922c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar 17932c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar if (RV) { 17942c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar Builder.CreateRet(RV); 17952c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar } else { 17962c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar Builder.CreateRetVoid(); 17972c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar } 179817b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar} 179917b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar 180088b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel DunbarRValue CodeGenFunction::EmitCall(const CGFunctionInfo &CallInfo, 180188b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbar llvm::Value *Callee, 1802c0ef9f59937c3971c48b6fed37cf5bd8985c024bDaniel Dunbar const CallArgList &CallArgs, 1803c0ef9f59937c3971c48b6fed37cf5bd8985c024bDaniel Dunbar const Decl *TargetDecl) { 18045251afa21d3583f2740fd4f83659d008625a7260Daniel Dunbar // FIXME: We no longer need the types from CallArgs; lift up and 18055251afa21d3583f2740fd4f83659d008625a7260Daniel Dunbar // simplify. 180617b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar llvm::SmallVector<llvm::Value*, 16> Args; 180717b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar 180817b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar // Handle struct-return functions by passing a pointer to the 180917b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar // location that we would like to return into. 1810bb36d331f439f49859efcfb4435c61762fbba6f9Daniel Dunbar QualType RetTy = CallInfo.getReturnType(); 1811b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar const ABIArgInfo &RetAI = CallInfo.getReturnInfo(); 18122969a0243b0939286a45d0ba58dd3e1de226ac60Daniel Dunbar if (CGM.ReturnTypeUsesSret(CallInfo)) { 181317b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar // Create a temporary alloca to hold the result of the call. :( 1814adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar Args.push_back(CreateTempAlloca(ConvertTypeForMem(RetTy))); 181517b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar } 181617b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar 18174b5f0a4bd6645e87e5feae4be4675ce87d97b4a5Daniel Dunbar assert(CallInfo.arg_size() == CallArgs.size() && 18184b5f0a4bd6645e87e5feae4be4675ce87d97b4a5Daniel Dunbar "Mismatch between function signature & arguments."); 1819b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar CGFunctionInfo::const_arg_iterator info_it = CallInfo.arg_begin(); 182017b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar for (CallArgList::const_iterator I = CallArgs.begin(), E = CallArgs.end(); 1821b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar I != E; ++I, ++info_it) { 1822b225be44aaab85a603e80dbe0eb3d81638b20d23Daniel Dunbar const ABIArgInfo &ArgInfo = info_it->info; 182317b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar RValue RV = I->first; 18245627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 18255627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar switch (ArgInfo.getKind()) { 182611e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar case ABIArgInfo::Indirect: 18271f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar if (RV.isScalar() || RV.isComplex()) { 18281f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar // Make a temporary alloca to pass the argument. 1829adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar Args.push_back(CreateTempAlloca(ConvertTypeForMem(I->second))); 18301f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar if (RV.isScalar()) 1831adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar EmitStoreOfScalar(RV.getScalarVal(), Args.back(), false); 18321f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar else 18331f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar StoreComplexToAddr(RV.getComplexVal(), Args.back(), false); 18341f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar } else { 18351f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar Args.push_back(RV.getAggregateAddr()); 18361f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar } 18371f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar break; 18381f7459814ed78067a8f0db3e1082b45ec89c16abDaniel Dunbar 183946327aaf031529be2cf8bb21bc76d7a5ae0d43cdDaniel Dunbar case ABIArgInfo::Direct: 18405627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar if (RV.isScalar()) { 18415627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar Args.push_back(RV.getScalarVal()); 18425627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } else if (RV.isComplex()) { 18432fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar llvm::Value *Tmp = llvm::UndefValue::get(ConvertType(I->second)); 18442fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar Tmp = Builder.CreateInsertValue(Tmp, RV.getComplexVal().first, 0); 18452fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar Tmp = Builder.CreateInsertValue(Tmp, RV.getComplexVal().second, 1); 18462fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar Args.push_back(Tmp); 18475627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } else { 18482fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar Args.push_back(Builder.CreateLoad(RV.getAggregateAddr())); 18495627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar } 18505627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar break; 18515627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar 185211434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar case ABIArgInfo::Ignore: 185311434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar break; 185411434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar 185589c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar case ABIArgInfo::Coerce: { 185689c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar // FIXME: Avoid the conversion through memory if possible. 185789c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar llvm::Value *SrcPtr; 185889c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar if (RV.isScalar()) { 18595a1be6e16ba306c349a3c3f80e9dce800976bc24Daniel Dunbar SrcPtr = CreateTempAlloca(ConvertTypeForMem(I->second), "coerce"); 1860adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar EmitStoreOfScalar(RV.getScalarVal(), SrcPtr, false); 186189c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar } else if (RV.isComplex()) { 1862adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar SrcPtr = CreateTempAlloca(ConvertTypeForMem(I->second), "coerce"); 186389c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar StoreComplexToAddr(RV.getComplexVal(), SrcPtr, false); 186489c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar } else 186589c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar SrcPtr = RV.getAggregateAddr(); 186689c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar Args.push_back(CreateCoercedLoad(SrcPtr, ArgInfo.getCoerceToType(), 186789c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar *this)); 186889c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar break; 186989c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar } 187089c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar 18715627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar case ABIArgInfo::Expand: 18725627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar ExpandTypeToArgs(I->second, RV, Args); 18735627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar break; 187417b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar } 187517b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar } 187617b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar 18779834ffbe54788239c8361d3cfe5826fd277ddfb2Daniel Dunbar llvm::BasicBlock *InvokeDest = getInvokeDest(); 1878761d7f78e2dac7ea5f35828c2271e60d91e106ceDevang Patel CodeGen::AttributeListType AttributeList; 1879c0ef9f59937c3971c48b6fed37cf5bd8985c024bDaniel Dunbar CGM.ConstructAttributeList(CallInfo, TargetDecl, AttributeList); 18809834ffbe54788239c8361d3cfe5826fd277ddfb2Daniel Dunbar llvm::AttrListPtr Attrs = llvm::AttrListPtr::get(AttributeList.begin(), 18819834ffbe54788239c8361d3cfe5826fd277ddfb2Daniel Dunbar AttributeList.end()); 1882725ad31086e3d6c41afa10c43db44f2e7060a961Daniel Dunbar 1883d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar llvm::CallSite CS; 1884d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar if (!InvokeDest || (Attrs.getFnAttributes() & llvm::Attribute::NoUnwind)) { 1885d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar CS = Builder.CreateCall(Callee, &Args[0], &Args[0]+Args.size()); 18869834ffbe54788239c8361d3cfe5826fd277ddfb2Daniel Dunbar } else { 18879834ffbe54788239c8361d3cfe5826fd277ddfb2Daniel Dunbar llvm::BasicBlock *Cont = createBasicBlock("invoke.cont"); 1888d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar CS = Builder.CreateInvoke(Callee, Cont, InvokeDest, 1889d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar &Args[0], &Args[0]+Args.size()); 18909834ffbe54788239c8361d3cfe5826fd277ddfb2Daniel Dunbar EmitBlock(Cont); 1891f4fe0f082f21048c0777ad5aeac04a5a94db1f46Daniel Dunbar } 1892f4fe0f082f21048c0777ad5aeac04a5a94db1f46Daniel Dunbar 1893d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar CS.setAttributes(Attrs); 1894d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar if (const llvm::Function *F = dyn_cast<llvm::Function>(Callee)) 1895d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar CS.setCallingConv(F->getCallingConv()); 1896d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar 1897d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar // If the call doesn't return, finish the basic block and clear the 1898d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar // insertion point; this allows the rest of IRgen to discard 1899d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar // unreachable code. 1900d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar if (CS.doesNotReturn()) { 1901d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar Builder.CreateUnreachable(); 1902d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar Builder.ClearInsertionPoint(); 1903d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar 1904d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar // FIXME: For now, emit a dummy basic block because expr 1905d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar // emitters in generally are not ready to handle emitting 1906d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar // expressions at unreachable points. 1907d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar EnsureInsertPoint(); 1908d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar 1909d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar // Return a reasonable RValue. 1910d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar return GetUndefRValue(RetTy); 1911d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar } 1912d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar 1913d14151d5f52fa9048d41d7539299243e05755ec4Daniel Dunbar llvm::Instruction *CI = CS.getInstruction(); 19143403084886b3d0fc23eee2b5708f0ac0329423e0Chris Lattner if (Builder.isNamePreserving() && CI->getType() != llvm::Type::VoidTy) 191517b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar CI->setName("call"); 19162c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar 19172c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar switch (RetAI.getKind()) { 191811e383aa491a23ebd4a49688a09984c5e16a2e34Daniel Dunbar case ABIArgInfo::Indirect: 19192c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar if (RetTy->isAnyComplexType()) 19205627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar return RValue::getComplex(LoadComplexFromAddr(Args[0], false)); 19213403084886b3d0fc23eee2b5708f0ac0329423e0Chris Lattner if (CodeGenFunction::hasAggregateLLVMType(RetTy)) 19225627377df5439a1d3d46a4e4cef4ae44f84a322bDaniel Dunbar return RValue::getAggregate(Args[0]); 19233403084886b3d0fc23eee2b5708f0ac0329423e0Chris Lattner return RValue::get(EmitLoadOfScalar(Args[0], false, RetTy)); 19248951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 192546327aaf031529be2cf8bb21bc76d7a5ae0d43cdDaniel Dunbar case ABIArgInfo::Direct: 19262fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar if (RetTy->isAnyComplexType()) { 19272fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar llvm::Value *Real = Builder.CreateExtractValue(CI, 0); 19282fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar llvm::Value *Imag = Builder.CreateExtractValue(CI, 1); 19292fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar return RValue::getComplex(std::make_pair(Real, Imag)); 19303403084886b3d0fc23eee2b5708f0ac0329423e0Chris Lattner } 19313403084886b3d0fc23eee2b5708f0ac0329423e0Chris Lattner if (CodeGenFunction::hasAggregateLLVMType(RetTy)) { 1932adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar llvm::Value *V = CreateTempAlloca(ConvertTypeForMem(RetTy), "agg.tmp"); 19332fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar Builder.CreateStore(CI, V); 19342fbf2f547cf23c0dd89719c2b5c5d6c6f0fa469cDaniel Dunbar return RValue::getAggregate(V); 19353403084886b3d0fc23eee2b5708f0ac0329423e0Chris Lattner } 19363403084886b3d0fc23eee2b5708f0ac0329423e0Chris Lattner return RValue::get(CI); 19372c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar 193811434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar case ABIArgInfo::Ignore: 19390bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar // If we are ignoring an argument that had a result, make sure to 19400bcc52114e37a8d152d9a05095ee7f7687c9aa94Daniel Dunbar // construct the appropriate return value for our caller. 194113e81737a433b23f8c662d10d1d57356122a8caaDaniel Dunbar return GetUndefRValue(RetTy); 194211434925bf81c932c6c8fe3533bc0ba900d50dc2Daniel Dunbar 1943639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar case ABIArgInfo::Coerce: { 194489c9d8e7f0700d27b1d93dc3832eb1af9b92c221Daniel Dunbar // FIXME: Avoid the conversion through memory if possible. 1945adc8bdd6ab6f4f90d16f696f16948e46acf66267Daniel Dunbar llvm::Value *V = CreateTempAlloca(ConvertTypeForMem(RetTy), "coerce"); 194654d1ccbfcf19ddf39444f1b4018dd79487cc847bDaniel Dunbar CreateCoercedStore(CI, V, *this); 1947ad3d6917dabbdab3399ff8307240aad58247d2e3Anders Carlsson if (RetTy->isAnyComplexType()) 1948ad3d6917dabbdab3399ff8307240aad58247d2e3Anders Carlsson return RValue::getComplex(LoadComplexFromAddr(V, false)); 19493403084886b3d0fc23eee2b5708f0ac0329423e0Chris Lattner if (CodeGenFunction::hasAggregateLLVMType(RetTy)) 1950ad3d6917dabbdab3399ff8307240aad58247d2e3Anders Carlsson return RValue::getAggregate(V); 19513403084886b3d0fc23eee2b5708f0ac0329423e0Chris Lattner return RValue::get(EmitLoadOfScalar(V, false, RetTy)); 1952639ffe47097d01249b98b7acd102aaad6697b43aDaniel Dunbar } 19538951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar 19548951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar case ABIArgInfo::Expand: 19558951dbd225580173193ec9db503d9d9844ff97d6Daniel Dunbar assert(0 && "Invalid ABI kind for return argument"); 195617b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar } 19572c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar 19582c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar assert(0 && "Unhandled ABIArgInfo::Kind"); 19592c8e0f32b9c33686be23c70add0b97490903de9fDaniel Dunbar return RValue::get(0); 196017b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar} 1961b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar 1962b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar/* VarArg handling */ 1963b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar 1964b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbarllvm::Value *CodeGenFunction::EmitVAArg(llvm::Value *VAListAddr, QualType Ty) { 1965b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar return CGM.getTypes().getABIInfo().EmitVAArg(VAListAddr, Ty, *this); 1966b4094ea09eee7d3a847cadf181a81efc99003dafDaniel Dunbar} 1967