blob: e3b93a3f4587645fcb4ce21da42af316740b412c [file] [log] [blame]
Chris Lattner9cbe4f02011-07-09 17:41:47 +00001//===--- CGCall.cpp - Encapsulate calling convention details ----*- C++ -*-===//
Daniel Dunbar0dbe2272008-09-08 21:33:45 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// These classes wrap the information about a call or function
11// definition used to handle ABI compliancy.
12//
13//===----------------------------------------------------------------------===//
14
15#include "CGCall.h"
John McCall4c40d982010-08-31 07:33:07 +000016#include "CGCXXABI.h"
Chris Lattnerce933992010-06-29 16:40:28 +000017#include "ABIInfo.h"
Daniel Dunbar0dbe2272008-09-08 21:33:45 +000018#include "CodeGenFunction.h"
Daniel Dunbarb7688072008-09-10 00:41:16 +000019#include "CodeGenModule.h"
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +000020#include "clang/Basic/TargetInfo.h"
Daniel Dunbar0dbe2272008-09-08 21:33:45 +000021#include "clang/AST/Decl.h"
Anders Carlssonf6f8ae52009-04-03 22:48:58 +000022#include "clang/AST/DeclCXX.h"
Daniel Dunbar0dbe2272008-09-08 21:33:45 +000023#include "clang/AST/DeclObjC.h"
Chandler Carruth06057ce2010-06-15 23:19:56 +000024#include "clang/Frontend/CodeGenOptions.h"
Devang Pateld0646bd2008-09-24 01:01:36 +000025#include "llvm/Attributes.h"
Daniel Dunbard14151d2009-03-02 04:32:35 +000026#include "llvm/Support/CallSite.h"
Daniel Dunbar54d1ccb2009-01-27 01:36:03 +000027#include "llvm/Target/TargetData.h"
John McCallf85e1932011-06-15 23:02:42 +000028#include "llvm/InlineAsm.h"
Eli Friedman97cb5a42011-06-15 22:09:18 +000029#include "llvm/Transforms/Utils/Local.h"
Daniel Dunbar0dbe2272008-09-08 21:33:45 +000030using namespace clang;
31using namespace CodeGen;
32
33/***/
34
John McCall04a67a62010-02-05 21:31:56 +000035static unsigned ClangCallConvToLLVMCallConv(CallingConv CC) {
36 switch (CC) {
37 default: return llvm::CallingConv::C;
38 case CC_X86StdCall: return llvm::CallingConv::X86_StdCall;
39 case CC_X86FastCall: return llvm::CallingConv::X86_FastCall;
Douglas Gregorf813a2c2010-05-18 16:57:00 +000040 case CC_X86ThisCall: return llvm::CallingConv::X86_ThisCall;
Anton Korobeynikov414d8962011-04-14 20:06:49 +000041 case CC_AAPCS: return llvm::CallingConv::ARM_AAPCS;
42 case CC_AAPCS_VFP: return llvm::CallingConv::ARM_AAPCS_VFP;
Dawn Perchik52fc3142010-09-03 01:29:35 +000043 // TODO: add support for CC_X86Pascal to llvm
John McCall04a67a62010-02-05 21:31:56 +000044 }
45}
46
John McCall0b0ef0a2010-02-24 07:14:12 +000047/// Derives the 'this' type for codegen purposes, i.e. ignoring method
48/// qualification.
49/// FIXME: address space qualification?
John McCallead608a2010-02-26 00:48:12 +000050static CanQualType GetThisType(ASTContext &Context, const CXXRecordDecl *RD) {
51 QualType RecTy = Context.getTagDeclType(RD)->getCanonicalTypeInternal();
52 return Context.getPointerType(CanQualType::CreateUnsafe(RecTy));
Daniel Dunbar45c25ba2008-09-10 04:01:49 +000053}
54
John McCall0b0ef0a2010-02-24 07:14:12 +000055/// Returns the canonical formal type of the given C++ method.
John McCallead608a2010-02-26 00:48:12 +000056static CanQual<FunctionProtoType> GetFormalType(const CXXMethodDecl *MD) {
57 return MD->getType()->getCanonicalTypeUnqualified()
58 .getAs<FunctionProtoType>();
John McCall0b0ef0a2010-02-24 07:14:12 +000059}
60
61/// Returns the "extra-canonicalized" return type, which discards
62/// qualifiers on the return type. Codegen doesn't care about them,
63/// and it makes ABI code a little easier to be able to assume that
64/// all parameter and return types are top-level unqualified.
John McCallead608a2010-02-26 00:48:12 +000065static CanQualType GetReturnType(QualType RetTy) {
66 return RetTy->getCanonicalTypeUnqualified().getUnqualifiedType();
John McCall0b0ef0a2010-02-24 07:14:12 +000067}
68
69const CGFunctionInfo &
Chris Lattner9cbe4f02011-07-09 17:41:47 +000070CodeGenTypes::getFunctionInfo(CanQual<FunctionNoProtoType> FTNP) {
John McCallead608a2010-02-26 00:48:12 +000071 return getFunctionInfo(FTNP->getResultType().getUnqualifiedType(),
72 llvm::SmallVector<CanQualType, 16>(),
Chris Lattner9cbe4f02011-07-09 17:41:47 +000073 FTNP->getExtInfo());
John McCall0b0ef0a2010-02-24 07:14:12 +000074}
75
76/// \param Args - contains any initial parameters besides those
77/// in the formal type
78static const CGFunctionInfo &getFunctionInfo(CodeGenTypes &CGT,
John McCallead608a2010-02-26 00:48:12 +000079 llvm::SmallVectorImpl<CanQualType> &ArgTys,
Chris Lattner9cbe4f02011-07-09 17:41:47 +000080 CanQual<FunctionProtoType> FTP) {
Daniel Dunbar541b63b2009-02-02 23:23:47 +000081 // FIXME: Kill copy.
Daniel Dunbar45c25ba2008-09-10 04:01:49 +000082 for (unsigned i = 0, e = FTP->getNumArgs(); i != e; ++i)
Daniel Dunbar541b63b2009-02-02 23:23:47 +000083 ArgTys.push_back(FTP->getArgType(i));
John McCallead608a2010-02-26 00:48:12 +000084 CanQualType ResTy = FTP->getResultType().getUnqualifiedType();
Chris Lattner9cbe4f02011-07-09 17:41:47 +000085 return CGT.getFunctionInfo(ResTy, ArgTys, FTP->getExtInfo());
John McCall0b0ef0a2010-02-24 07:14:12 +000086}
87
88const CGFunctionInfo &
Chris Lattner9cbe4f02011-07-09 17:41:47 +000089CodeGenTypes::getFunctionInfo(CanQual<FunctionProtoType> FTP) {
John McCallead608a2010-02-26 00:48:12 +000090 llvm::SmallVector<CanQualType, 16> ArgTys;
Chris Lattner9cbe4f02011-07-09 17:41:47 +000091 return ::getFunctionInfo(*this, ArgTys, FTP);
Daniel Dunbarbac7c252009-09-11 22:24:53 +000092}
93
John McCall04a67a62010-02-05 21:31:56 +000094static CallingConv getCallingConventionForDecl(const Decl *D) {
Daniel Dunbarbac7c252009-09-11 22:24:53 +000095 // Set the appropriate calling convention for the Function.
96 if (D->hasAttr<StdCallAttr>())
John McCall04a67a62010-02-05 21:31:56 +000097 return CC_X86StdCall;
Daniel Dunbarbac7c252009-09-11 22:24:53 +000098
99 if (D->hasAttr<FastCallAttr>())
John McCall04a67a62010-02-05 21:31:56 +0000100 return CC_X86FastCall;
Daniel Dunbarbac7c252009-09-11 22:24:53 +0000101
Douglas Gregorf813a2c2010-05-18 16:57:00 +0000102 if (D->hasAttr<ThisCallAttr>())
103 return CC_X86ThisCall;
104
Dawn Perchik52fc3142010-09-03 01:29:35 +0000105 if (D->hasAttr<PascalAttr>())
106 return CC_X86Pascal;
107
Anton Korobeynikov414d8962011-04-14 20:06:49 +0000108 if (PcsAttr *PCS = D->getAttr<PcsAttr>())
109 return (PCS->getPCS() == PcsAttr::AAPCS ? CC_AAPCS : CC_AAPCS_VFP);
110
John McCall04a67a62010-02-05 21:31:56 +0000111 return CC_C;
Daniel Dunbar45c25ba2008-09-10 04:01:49 +0000112}
113
Anders Carlsson375c31c2009-10-03 19:43:08 +0000114const CGFunctionInfo &CodeGenTypes::getFunctionInfo(const CXXRecordDecl *RD,
115 const FunctionProtoType *FTP) {
John McCallead608a2010-02-26 00:48:12 +0000116 llvm::SmallVector<CanQualType, 16> ArgTys;
John McCall0b0ef0a2010-02-24 07:14:12 +0000117
Anders Carlsson375c31c2009-10-03 19:43:08 +0000118 // Add the 'this' pointer.
John McCall0b0ef0a2010-02-24 07:14:12 +0000119 ArgTys.push_back(GetThisType(Context, RD));
120
121 return ::getFunctionInfo(*this, ArgTys,
Tilmann Scheller9c6082f2011-03-02 21:36:49 +0000122 FTP->getCanonicalTypeUnqualified().getAs<FunctionProtoType>());
Anders Carlsson375c31c2009-10-03 19:43:08 +0000123}
124
Anders Carlssonf6f8ae52009-04-03 22:48:58 +0000125const CGFunctionInfo &CodeGenTypes::getFunctionInfo(const CXXMethodDecl *MD) {
John McCallead608a2010-02-26 00:48:12 +0000126 llvm::SmallVector<CanQualType, 16> ArgTys;
John McCall0b0ef0a2010-02-24 07:14:12 +0000127
John McCallfc400282010-09-03 01:26:39 +0000128 assert(!isa<CXXConstructorDecl>(MD) && "wrong method for contructors!");
129 assert(!isa<CXXDestructorDecl>(MD) && "wrong method for destructors!");
130
Chris Lattner3eb67ca2009-05-12 20:27:19 +0000131 // Add the 'this' pointer unless this is a static method.
132 if (MD->isInstance())
John McCall0b0ef0a2010-02-24 07:14:12 +0000133 ArgTys.push_back(GetThisType(Context, MD->getParent()));
Mike Stump1eb44332009-09-09 15:08:12 +0000134
Tilmann Scheller9c6082f2011-03-02 21:36:49 +0000135 return ::getFunctionInfo(*this, ArgTys, GetFormalType(MD));
Anders Carlssonf6f8ae52009-04-03 22:48:58 +0000136}
137
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000138const CGFunctionInfo &CodeGenTypes::getFunctionInfo(const CXXConstructorDecl *D,
Anders Carlssonf6c56e22009-11-25 03:15:49 +0000139 CXXCtorType Type) {
John McCallead608a2010-02-26 00:48:12 +0000140 llvm::SmallVector<CanQualType, 16> ArgTys;
John McCall0b0ef0a2010-02-24 07:14:12 +0000141 ArgTys.push_back(GetThisType(Context, D->getParent()));
John McCall4c40d982010-08-31 07:33:07 +0000142 CanQualType ResTy = Context.VoidTy;
Anders Carlssonf6c56e22009-11-25 03:15:49 +0000143
John McCall4c40d982010-08-31 07:33:07 +0000144 TheCXXABI.BuildConstructorSignature(D, Type, ResTy, ArgTys);
John McCall0b0ef0a2010-02-24 07:14:12 +0000145
John McCall4c40d982010-08-31 07:33:07 +0000146 CanQual<FunctionProtoType> FTP = GetFormalType(D);
147
148 // Add the formal parameters.
149 for (unsigned i = 0, e = FTP->getNumArgs(); i != e; ++i)
150 ArgTys.push_back(FTP->getArgType(i));
151
Tilmann Scheller9c6082f2011-03-02 21:36:49 +0000152 return getFunctionInfo(ResTy, ArgTys, FTP->getExtInfo());
Anders Carlssonf6c56e22009-11-25 03:15:49 +0000153}
154
155const CGFunctionInfo &CodeGenTypes::getFunctionInfo(const CXXDestructorDecl *D,
156 CXXDtorType Type) {
John McCall4c40d982010-08-31 07:33:07 +0000157 llvm::SmallVector<CanQualType, 2> ArgTys;
John McCallead608a2010-02-26 00:48:12 +0000158 ArgTys.push_back(GetThisType(Context, D->getParent()));
John McCall4c40d982010-08-31 07:33:07 +0000159 CanQualType ResTy = Context.VoidTy;
John McCall0b0ef0a2010-02-24 07:14:12 +0000160
John McCall4c40d982010-08-31 07:33:07 +0000161 TheCXXABI.BuildDestructorSignature(D, Type, ResTy, ArgTys);
162
163 CanQual<FunctionProtoType> FTP = GetFormalType(D);
164 assert(FTP->getNumArgs() == 0 && "dtor with formal parameters");
165
Tilmann Scheller9c6082f2011-03-02 21:36:49 +0000166 return getFunctionInfo(ResTy, ArgTys, FTP->getExtInfo());
Anders Carlssonf6c56e22009-11-25 03:15:49 +0000167}
168
Daniel Dunbar541b63b2009-02-02 23:23:47 +0000169const CGFunctionInfo &CodeGenTypes::getFunctionInfo(const FunctionDecl *FD) {
Chris Lattner3eb67ca2009-05-12 20:27:19 +0000170 if (const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(FD))
Anders Carlssonf6f8ae52009-04-03 22:48:58 +0000171 if (MD->isInstance())
172 return getFunctionInfo(MD);
Mike Stump1eb44332009-09-09 15:08:12 +0000173
John McCallead608a2010-02-26 00:48:12 +0000174 CanQualType FTy = FD->getType()->getCanonicalTypeUnqualified();
175 assert(isa<FunctionType>(FTy));
John McCall0b0ef0a2010-02-24 07:14:12 +0000176 if (isa<FunctionNoProtoType>(FTy))
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000177 return getFunctionInfo(FTy.getAs<FunctionNoProtoType>());
John McCallead608a2010-02-26 00:48:12 +0000178 assert(isa<FunctionProtoType>(FTy));
179 return getFunctionInfo(FTy.getAs<FunctionProtoType>());
Daniel Dunbar0dbe2272008-09-08 21:33:45 +0000180}
181
Daniel Dunbar541b63b2009-02-02 23:23:47 +0000182const CGFunctionInfo &CodeGenTypes::getFunctionInfo(const ObjCMethodDecl *MD) {
John McCallead608a2010-02-26 00:48:12 +0000183 llvm::SmallVector<CanQualType, 16> ArgTys;
184 ArgTys.push_back(Context.getCanonicalParamType(MD->getSelfDecl()->getType()));
185 ArgTys.push_back(Context.getCanonicalParamType(Context.getObjCSelType()));
Daniel Dunbar541b63b2009-02-02 23:23:47 +0000186 // FIXME: Kill copy?
Chris Lattner20732162009-02-20 06:23:21 +0000187 for (ObjCMethodDecl::param_iterator i = MD->param_begin(),
John McCall0b0ef0a2010-02-24 07:14:12 +0000188 e = MD->param_end(); i != e; ++i) {
189 ArgTys.push_back(Context.getCanonicalParamType((*i)->getType()));
190 }
John McCallf85e1932011-06-15 23:02:42 +0000191
192 FunctionType::ExtInfo einfo;
193 einfo = einfo.withCallingConv(getCallingConventionForDecl(MD));
194
195 if (getContext().getLangOptions().ObjCAutoRefCount &&
196 MD->hasAttr<NSReturnsRetainedAttr>())
197 einfo = einfo.withProducesResult(true);
198
199 return getFunctionInfo(GetReturnType(MD->getResultType()), ArgTys, einfo);
Daniel Dunbar0dbe2272008-09-08 21:33:45 +0000200}
201
Anders Carlssonb2bcf1c2010-02-06 02:44:09 +0000202const CGFunctionInfo &CodeGenTypes::getFunctionInfo(GlobalDecl GD) {
203 // FIXME: Do we need to handle ObjCMethodDecl?
204 const FunctionDecl *FD = cast<FunctionDecl>(GD.getDecl());
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000205
Anders Carlssonb2bcf1c2010-02-06 02:44:09 +0000206 if (const CXXConstructorDecl *CD = dyn_cast<CXXConstructorDecl>(FD))
207 return getFunctionInfo(CD, GD.getCtorType());
208
209 if (const CXXDestructorDecl *DD = dyn_cast<CXXDestructorDecl>(FD))
210 return getFunctionInfo(DD, GD.getDtorType());
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000211
Anders Carlssonb2bcf1c2010-02-06 02:44:09 +0000212 return getFunctionInfo(FD);
213}
214
Mike Stump1eb44332009-09-09 15:08:12 +0000215const CGFunctionInfo &CodeGenTypes::getFunctionInfo(QualType ResTy,
Daniel Dunbarbac7c252009-09-11 22:24:53 +0000216 const CallArgList &Args,
Rafael Espindola264ba482010-03-30 20:24:48 +0000217 const FunctionType::ExtInfo &Info) {
Daniel Dunbar541b63b2009-02-02 23:23:47 +0000218 // FIXME: Kill copy.
John McCallead608a2010-02-26 00:48:12 +0000219 llvm::SmallVector<CanQualType, 16> ArgTys;
Mike Stump1eb44332009-09-09 15:08:12 +0000220 for (CallArgList::const_iterator i = Args.begin(), e = Args.end();
Daniel Dunbar725ad312009-01-31 02:19:00 +0000221 i != e; ++i)
Eli Friedmanc6d07822011-05-02 18:05:27 +0000222 ArgTys.push_back(Context.getCanonicalParamType(i->Ty));
Rafael Espindola264ba482010-03-30 20:24:48 +0000223 return getFunctionInfo(GetReturnType(ResTy), ArgTys, Info);
Daniel Dunbar725ad312009-01-31 02:19:00 +0000224}
225
Mike Stump1eb44332009-09-09 15:08:12 +0000226const CGFunctionInfo &CodeGenTypes::getFunctionInfo(QualType ResTy,
Daniel Dunbarbac7c252009-09-11 22:24:53 +0000227 const FunctionArgList &Args,
Rafael Espindola264ba482010-03-30 20:24:48 +0000228 const FunctionType::ExtInfo &Info) {
Daniel Dunbar541b63b2009-02-02 23:23:47 +0000229 // FIXME: Kill copy.
John McCallead608a2010-02-26 00:48:12 +0000230 llvm::SmallVector<CanQualType, 16> ArgTys;
Mike Stump1eb44332009-09-09 15:08:12 +0000231 for (FunctionArgList::const_iterator i = Args.begin(), e = Args.end();
Daniel Dunbarbb36d332009-02-02 21:43:58 +0000232 i != e; ++i)
John McCalld26bc762011-03-09 04:27:21 +0000233 ArgTys.push_back(Context.getCanonicalParamType((*i)->getType()));
Rafael Espindola264ba482010-03-30 20:24:48 +0000234 return getFunctionInfo(GetReturnType(ResTy), ArgTys, Info);
Daniel Dunbar541b63b2009-02-02 23:23:47 +0000235}
236
John McCalld26bc762011-03-09 04:27:21 +0000237const CGFunctionInfo &CodeGenTypes::getNullaryFunctionInfo() {
238 llvm::SmallVector<CanQualType, 1> args;
239 return getFunctionInfo(getContext().VoidTy, args, FunctionType::ExtInfo());
240}
241
John McCallead608a2010-02-26 00:48:12 +0000242const CGFunctionInfo &CodeGenTypes::getFunctionInfo(CanQualType ResTy,
243 const llvm::SmallVectorImpl<CanQualType> &ArgTys,
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000244 const FunctionType::ExtInfo &Info) {
John McCallead608a2010-02-26 00:48:12 +0000245#ifndef NDEBUG
246 for (llvm::SmallVectorImpl<CanQualType>::const_iterator
247 I = ArgTys.begin(), E = ArgTys.end(); I != E; ++I)
248 assert(I->isCanonicalAsParam());
249#endif
250
Rafael Espindola425ef722010-03-30 22:15:11 +0000251 unsigned CC = ClangCallConvToLLVMCallConv(Info.getCC());
John McCall04a67a62010-02-05 21:31:56 +0000252
Daniel Dunbar40a6be62009-02-03 00:07:12 +0000253 // Lookup or create unique function info.
254 llvm::FoldingSetNodeID ID;
Chris Lattnerbe5f3322011-07-10 01:10:18 +0000255 CGFunctionInfo::Profile(ID, Info, ResTy, ArgTys.begin(), ArgTys.end());
Daniel Dunbar40a6be62009-02-03 00:07:12 +0000256
257 void *InsertPos = 0;
258 CGFunctionInfo *FI = FunctionInfos.FindNodeOrInsertPos(ID, InsertPos);
259 if (FI)
260 return *FI;
261
Daniel Dunbar88c2fa92009-02-03 05:31:23 +0000262 // Construct the function info.
John McCallf85e1932011-06-15 23:02:42 +0000263 FI = new CGFunctionInfo(CC, Info.getNoReturn(), Info.getProducesResult(),
264 Info.getHasRegParm(), Info.getRegParm(), ResTy,
Tilmann Scheller9c6082f2011-03-02 21:36:49 +0000265 ArgTys.data(), ArgTys.size());
Daniel Dunbar35e67d42009-02-05 00:00:23 +0000266 FunctionInfos.InsertNode(FI, InsertPos);
Daniel Dunbar88c2fa92009-02-03 05:31:23 +0000267
Chris Lattner71305cc2011-07-15 05:16:14 +0000268 bool Inserted = FunctionsBeingProcessed.insert(FI); (void)Inserted;
269 assert(Inserted && "Recursively being processed?");
270
Daniel Dunbar88c2fa92009-02-03 05:31:23 +0000271 // Compute ABI information.
Chris Lattneree5dcd02010-07-29 02:31:05 +0000272 getABIInfo().computeInfo(*FI);
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000273
Chris Lattner800588f2010-07-29 06:26:06 +0000274 // Loop over all of the computed argument and return value info. If any of
275 // them are direct or extend without a specified coerce type, specify the
276 // default now.
277 ABIArgInfo &RetInfo = FI->getReturnInfo();
278 if (RetInfo.canHaveCoerceToType() && RetInfo.getCoerceToType() == 0)
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000279 RetInfo.setCoerceToType(ConvertType(FI->getReturnType()));
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000280
Chris Lattner800588f2010-07-29 06:26:06 +0000281 for (CGFunctionInfo::arg_iterator I = FI->arg_begin(), E = FI->arg_end();
282 I != E; ++I)
283 if (I->info.canHaveCoerceToType() && I->info.getCoerceToType() == 0)
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000284 I->info.setCoerceToType(ConvertType(I->type));
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000285
Chris Lattnerd26c0712011-07-15 06:41:05 +0000286 bool Erased = FunctionsBeingProcessed.erase(FI); (void)Erased;
287 assert(Erased && "Not in set?");
288
Daniel Dunbar40a6be62009-02-03 00:07:12 +0000289 return *FI;
Daniel Dunbar541b63b2009-02-02 23:23:47 +0000290}
291
Daniel Dunbarbac7c252009-09-11 22:24:53 +0000292CGFunctionInfo::CGFunctionInfo(unsigned _CallingConvention,
John McCallf85e1932011-06-15 23:02:42 +0000293 bool _NoReturn, bool returnsRetained,
294 bool _HasRegParm, unsigned _RegParm,
John McCallead608a2010-02-26 00:48:12 +0000295 CanQualType ResTy,
Chris Lattnerbb521142010-06-29 18:13:52 +0000296 const CanQualType *ArgTys,
297 unsigned NumArgTys)
Daniel Dunbarca6408c2009-09-12 00:59:20 +0000298 : CallingConvention(_CallingConvention),
John McCall04a67a62010-02-05 21:31:56 +0000299 EffectiveCallingConvention(_CallingConvention),
John McCallf85e1932011-06-15 23:02:42 +0000300 NoReturn(_NoReturn), ReturnsRetained(returnsRetained),
301 HasRegParm(_HasRegParm), RegParm(_RegParm)
Daniel Dunbarbac7c252009-09-11 22:24:53 +0000302{
Chris Lattnerbb521142010-06-29 18:13:52 +0000303 NumArgs = NumArgTys;
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000304
Chris Lattnerce700162010-06-28 23:44:11 +0000305 // FIXME: Coallocate with the CGFunctionInfo object.
Chris Lattnerbb521142010-06-29 18:13:52 +0000306 Args = new ArgInfo[1 + NumArgTys];
Daniel Dunbar88c2fa92009-02-03 05:31:23 +0000307 Args[0].type = ResTy;
Chris Lattnerbb521142010-06-29 18:13:52 +0000308 for (unsigned i = 0; i != NumArgTys; ++i)
Daniel Dunbar88c2fa92009-02-03 05:31:23 +0000309 Args[1 + i].type = ArgTys[i];
310}
311
312/***/
313
John McCall42e06112011-05-15 02:19:42 +0000314void CodeGenTypes::GetExpandedTypes(QualType type,
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000315 llvm::SmallVectorImpl<llvm::Type*> &expandedTypes) {
John McCall42e06112011-05-15 02:19:42 +0000316 const RecordType *RT = type->getAsStructureType();
Daniel Dunbar56273772008-09-17 00:51:38 +0000317 assert(RT && "Can only expand structure types.");
318 const RecordDecl *RD = RT->getDecl();
Mike Stump1eb44332009-09-09 15:08:12 +0000319 assert(!RD->hasFlexibleArrayMember() &&
Daniel Dunbar56273772008-09-17 00:51:38 +0000320 "Cannot expand structure with flexible array.");
Mike Stump1eb44332009-09-09 15:08:12 +0000321
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000322 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
323 i != e; ++i) {
Daniel Dunbar56273772008-09-17 00:51:38 +0000324 const FieldDecl *FD = *i;
Mike Stump1eb44332009-09-09 15:08:12 +0000325 assert(!FD->isBitField() &&
Daniel Dunbar56273772008-09-17 00:51:38 +0000326 "Cannot expand structure with bit-field members.");
Mike Stump1eb44332009-09-09 15:08:12 +0000327
John McCall42e06112011-05-15 02:19:42 +0000328 QualType fieldType = FD->getType();
329 if (fieldType->isRecordType())
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000330 GetExpandedTypes(fieldType, expandedTypes);
Chris Lattnerdeabde22010-07-28 18:24:28 +0000331 else
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000332 expandedTypes.push_back(ConvertType(fieldType));
Daniel Dunbar56273772008-09-17 00:51:38 +0000333 }
334}
335
Mike Stump1eb44332009-09-09 15:08:12 +0000336llvm::Function::arg_iterator
Daniel Dunbar56273772008-09-17 00:51:38 +0000337CodeGenFunction::ExpandTypeFromArgs(QualType Ty, LValue LV,
338 llvm::Function::arg_iterator AI) {
339 const RecordType *RT = Ty->getAsStructureType();
340 assert(RT && "Can only expand structure types.");
341
342 RecordDecl *RD = RT->getDecl();
Mike Stump1eb44332009-09-09 15:08:12 +0000343 assert(LV.isSimple() &&
344 "Unexpected non-simple lvalue during struct expansion.");
Daniel Dunbar56273772008-09-17 00:51:38 +0000345 llvm::Value *Addr = LV.getAddress();
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000346 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
347 i != e; ++i) {
Mike Stump1eb44332009-09-09 15:08:12 +0000348 FieldDecl *FD = *i;
Daniel Dunbar56273772008-09-17 00:51:38 +0000349 QualType FT = FD->getType();
350
351 // FIXME: What are the right qualifiers here?
Anders Carlssone6d2a532010-01-29 05:05:36 +0000352 LValue LV = EmitLValueForField(Addr, FD, 0);
Daniel Dunbar56273772008-09-17 00:51:38 +0000353 if (CodeGenFunction::hasAggregateLLVMType(FT)) {
354 AI = ExpandTypeFromArgs(FT, LV, AI);
355 } else {
John McCall545d9962011-06-25 02:11:03 +0000356 EmitStoreThroughLValue(RValue::get(AI), LV);
Daniel Dunbar56273772008-09-17 00:51:38 +0000357 ++AI;
358 }
359 }
360
361 return AI;
362}
363
Chris Lattnere7bb7772010-06-27 06:04:18 +0000364/// EnterStructPointerForCoercedAccess - Given a struct pointer that we are
Chris Lattner08dd2a02010-06-27 05:56:15 +0000365/// accessing some number of bytes out of it, try to gep into the struct to get
366/// at its inner goodness. Dive as deep as possible without entering an element
367/// with an in-memory size smaller than DstSize.
368static llvm::Value *
Chris Lattnere7bb7772010-06-27 06:04:18 +0000369EnterStructPointerForCoercedAccess(llvm::Value *SrcPtr,
Chris Lattner2acc6e32011-07-18 04:24:23 +0000370 llvm::StructType *SrcSTy,
Chris Lattnere7bb7772010-06-27 06:04:18 +0000371 uint64_t DstSize, CodeGenFunction &CGF) {
Chris Lattner08dd2a02010-06-27 05:56:15 +0000372 // We can't dive into a zero-element struct.
373 if (SrcSTy->getNumElements() == 0) return SrcPtr;
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000374
Chris Lattner2acc6e32011-07-18 04:24:23 +0000375 llvm::Type *FirstElt = SrcSTy->getElementType(0);
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000376
Chris Lattner08dd2a02010-06-27 05:56:15 +0000377 // If the first elt is at least as large as what we're looking for, or if the
378 // first element is the same size as the whole struct, we can enter it.
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000379 uint64_t FirstEltSize =
Chris Lattner08dd2a02010-06-27 05:56:15 +0000380 CGF.CGM.getTargetData().getTypeAllocSize(FirstElt);
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000381 if (FirstEltSize < DstSize &&
Chris Lattner08dd2a02010-06-27 05:56:15 +0000382 FirstEltSize < CGF.CGM.getTargetData().getTypeAllocSize(SrcSTy))
383 return SrcPtr;
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000384
Chris Lattner08dd2a02010-06-27 05:56:15 +0000385 // GEP into the first element.
386 SrcPtr = CGF.Builder.CreateConstGEP2_32(SrcPtr, 0, 0, "coerce.dive");
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000387
Chris Lattner08dd2a02010-06-27 05:56:15 +0000388 // If the first element is a struct, recurse.
Chris Lattner2acc6e32011-07-18 04:24:23 +0000389 llvm::Type *SrcTy =
Chris Lattner08dd2a02010-06-27 05:56:15 +0000390 cast<llvm::PointerType>(SrcPtr->getType())->getElementType();
Chris Lattner2acc6e32011-07-18 04:24:23 +0000391 if (llvm::StructType *SrcSTy = dyn_cast<llvm::StructType>(SrcTy))
Chris Lattnere7bb7772010-06-27 06:04:18 +0000392 return EnterStructPointerForCoercedAccess(SrcPtr, SrcSTy, DstSize, CGF);
Chris Lattner08dd2a02010-06-27 05:56:15 +0000393
394 return SrcPtr;
395}
396
Chris Lattner6d11cdb2010-06-27 06:26:04 +0000397/// CoerceIntOrPtrToIntOrPtr - Convert a value Val to the specific Ty where both
398/// are either integers or pointers. This does a truncation of the value if it
399/// is too large or a zero extension if it is too small.
400static llvm::Value *CoerceIntOrPtrToIntOrPtr(llvm::Value *Val,
Chris Lattner2acc6e32011-07-18 04:24:23 +0000401 llvm::Type *Ty,
Chris Lattner6d11cdb2010-06-27 06:26:04 +0000402 CodeGenFunction &CGF) {
403 if (Val->getType() == Ty)
404 return Val;
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000405
Chris Lattner6d11cdb2010-06-27 06:26:04 +0000406 if (isa<llvm::PointerType>(Val->getType())) {
407 // If this is Pointer->Pointer avoid conversion to and from int.
408 if (isa<llvm::PointerType>(Ty))
409 return CGF.Builder.CreateBitCast(Val, Ty, "coerce.val");
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000410
Chris Lattner6d11cdb2010-06-27 06:26:04 +0000411 // Convert the pointer to an integer so we can play with its width.
Chris Lattner77b89b82010-06-27 07:15:29 +0000412 Val = CGF.Builder.CreatePtrToInt(Val, CGF.IntPtrTy, "coerce.val.pi");
Chris Lattner6d11cdb2010-06-27 06:26:04 +0000413 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000414
Chris Lattner2acc6e32011-07-18 04:24:23 +0000415 llvm::Type *DestIntTy = Ty;
Chris Lattner6d11cdb2010-06-27 06:26:04 +0000416 if (isa<llvm::PointerType>(DestIntTy))
Chris Lattner77b89b82010-06-27 07:15:29 +0000417 DestIntTy = CGF.IntPtrTy;
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000418
Chris Lattner6d11cdb2010-06-27 06:26:04 +0000419 if (Val->getType() != DestIntTy)
420 Val = CGF.Builder.CreateIntCast(Val, DestIntTy, false, "coerce.val.ii");
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000421
Chris Lattner6d11cdb2010-06-27 06:26:04 +0000422 if (isa<llvm::PointerType>(Ty))
423 Val = CGF.Builder.CreateIntToPtr(Val, Ty, "coerce.val.ip");
424 return Val;
425}
426
Chris Lattner08dd2a02010-06-27 05:56:15 +0000427
428
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000429/// CreateCoercedLoad - Create a load from \arg SrcPtr interpreted as
430/// a pointer to an object of type \arg Ty.
431///
432/// This safely handles the case when the src type is smaller than the
433/// destination type; in this situation the values of bits which not
434/// present in the src are undefined.
435static llvm::Value *CreateCoercedLoad(llvm::Value *SrcPtr,
Chris Lattner2acc6e32011-07-18 04:24:23 +0000436 llvm::Type *Ty,
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000437 CodeGenFunction &CGF) {
Chris Lattner2acc6e32011-07-18 04:24:23 +0000438 llvm::Type *SrcTy =
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000439 cast<llvm::PointerType>(SrcPtr->getType())->getElementType();
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000440
Chris Lattner6ae00692010-06-28 22:51:39 +0000441 // If SrcTy and Ty are the same, just do a load.
442 if (SrcTy == Ty)
443 return CGF.Builder.CreateLoad(SrcPtr);
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000444
Duncan Sands9408c452009-05-09 07:08:47 +0000445 uint64_t DstSize = CGF.CGM.getTargetData().getTypeAllocSize(Ty);
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000446
Chris Lattner2acc6e32011-07-18 04:24:23 +0000447 if (llvm::StructType *SrcSTy = dyn_cast<llvm::StructType>(SrcTy)) {
Chris Lattnere7bb7772010-06-27 06:04:18 +0000448 SrcPtr = EnterStructPointerForCoercedAccess(SrcPtr, SrcSTy, DstSize, CGF);
Chris Lattner08dd2a02010-06-27 05:56:15 +0000449 SrcTy = cast<llvm::PointerType>(SrcPtr->getType())->getElementType();
450 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000451
Chris Lattner08dd2a02010-06-27 05:56:15 +0000452 uint64_t SrcSize = CGF.CGM.getTargetData().getTypeAllocSize(SrcTy);
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000453
Chris Lattner6d11cdb2010-06-27 06:26:04 +0000454 // If the source and destination are integer or pointer types, just do an
455 // extension or truncation to the desired type.
456 if ((isa<llvm::IntegerType>(Ty) || isa<llvm::PointerType>(Ty)) &&
457 (isa<llvm::IntegerType>(SrcTy) || isa<llvm::PointerType>(SrcTy))) {
458 llvm::LoadInst *Load = CGF.Builder.CreateLoad(SrcPtr);
459 return CoerceIntOrPtrToIntOrPtr(Load, Ty, CGF);
460 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000461
Daniel Dunbarb225be42009-02-03 05:59:18 +0000462 // If load is legal, just bitcast the src pointer.
Daniel Dunbar7ef455b2009-05-13 18:54:26 +0000463 if (SrcSize >= DstSize) {
Mike Stumpf5408fe2009-05-16 07:57:57 +0000464 // Generally SrcSize is never greater than DstSize, since this means we are
465 // losing bits. However, this can happen in cases where the structure has
466 // additional padding, for example due to a user specified alignment.
Daniel Dunbar7ef455b2009-05-13 18:54:26 +0000467 //
Mike Stumpf5408fe2009-05-16 07:57:57 +0000468 // FIXME: Assert that we aren't truncating non-padding bits when have access
469 // to that information.
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000470 llvm::Value *Casted =
471 CGF.Builder.CreateBitCast(SrcPtr, llvm::PointerType::getUnqual(Ty));
Daniel Dunbar386621f2009-02-07 02:46:03 +0000472 llvm::LoadInst *Load = CGF.Builder.CreateLoad(Casted);
473 // FIXME: Use better alignment / avoid requiring aligned load.
474 Load->setAlignment(1);
475 return Load;
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000476 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000477
Chris Lattner35b21b82010-06-27 01:06:27 +0000478 // Otherwise do coercion through memory. This is stupid, but
479 // simple.
480 llvm::Value *Tmp = CGF.CreateTempAlloca(Ty);
481 llvm::Value *Casted =
482 CGF.Builder.CreateBitCast(Tmp, llvm::PointerType::getUnqual(SrcTy));
483 llvm::StoreInst *Store =
484 CGF.Builder.CreateStore(CGF.Builder.CreateLoad(SrcPtr), Casted);
485 // FIXME: Use better alignment / avoid requiring aligned store.
486 Store->setAlignment(1);
487 return CGF.Builder.CreateLoad(Tmp);
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000488}
489
Eli Friedmanbadea572011-05-17 21:08:01 +0000490// Function to store a first-class aggregate into memory. We prefer to
491// store the elements rather than the aggregate to be more friendly to
492// fast-isel.
493// FIXME: Do we need to recurse here?
494static void BuildAggStore(CodeGenFunction &CGF, llvm::Value *Val,
495 llvm::Value *DestPtr, bool DestIsVolatile,
496 bool LowAlignment) {
497 // Prefer scalar stores to first-class aggregate stores.
Chris Lattner2acc6e32011-07-18 04:24:23 +0000498 if (llvm::StructType *STy =
Eli Friedmanbadea572011-05-17 21:08:01 +0000499 dyn_cast<llvm::StructType>(Val->getType())) {
500 for (unsigned i = 0, e = STy->getNumElements(); i != e; ++i) {
501 llvm::Value *EltPtr = CGF.Builder.CreateConstGEP2_32(DestPtr, 0, i);
502 llvm::Value *Elt = CGF.Builder.CreateExtractValue(Val, i);
503 llvm::StoreInst *SI = CGF.Builder.CreateStore(Elt, EltPtr,
504 DestIsVolatile);
505 if (LowAlignment)
506 SI->setAlignment(1);
507 }
508 } else {
509 CGF.Builder.CreateStore(Val, DestPtr, DestIsVolatile);
510 }
511}
512
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000513/// CreateCoercedStore - Create a store to \arg DstPtr from \arg Src,
514/// where the source and destination may have different types.
515///
516/// This safely handles the case when the src type is larger than the
517/// destination type; the upper bits of the src will be lost.
518static void CreateCoercedStore(llvm::Value *Src,
519 llvm::Value *DstPtr,
Anders Carlssond2490a92009-12-24 20:40:36 +0000520 bool DstIsVolatile,
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000521 CodeGenFunction &CGF) {
Chris Lattner2acc6e32011-07-18 04:24:23 +0000522 llvm::Type *SrcTy = Src->getType();
523 llvm::Type *DstTy =
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000524 cast<llvm::PointerType>(DstPtr->getType())->getElementType();
Chris Lattner6ae00692010-06-28 22:51:39 +0000525 if (SrcTy == DstTy) {
526 CGF.Builder.CreateStore(Src, DstPtr, DstIsVolatile);
527 return;
528 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000529
Chris Lattner6ae00692010-06-28 22:51:39 +0000530 uint64_t SrcSize = CGF.CGM.getTargetData().getTypeAllocSize(SrcTy);
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000531
Chris Lattner2acc6e32011-07-18 04:24:23 +0000532 if (llvm::StructType *DstSTy = dyn_cast<llvm::StructType>(DstTy)) {
Chris Lattnere7bb7772010-06-27 06:04:18 +0000533 DstPtr = EnterStructPointerForCoercedAccess(DstPtr, DstSTy, SrcSize, CGF);
534 DstTy = cast<llvm::PointerType>(DstPtr->getType())->getElementType();
535 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000536
Chris Lattner6d11cdb2010-06-27 06:26:04 +0000537 // If the source and destination are integer or pointer types, just do an
538 // extension or truncation to the desired type.
539 if ((isa<llvm::IntegerType>(SrcTy) || isa<llvm::PointerType>(SrcTy)) &&
540 (isa<llvm::IntegerType>(DstTy) || isa<llvm::PointerType>(DstTy))) {
541 Src = CoerceIntOrPtrToIntOrPtr(Src, DstTy, CGF);
542 CGF.Builder.CreateStore(Src, DstPtr, DstIsVolatile);
543 return;
544 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000545
Duncan Sands9408c452009-05-09 07:08:47 +0000546 uint64_t DstSize = CGF.CGM.getTargetData().getTypeAllocSize(DstTy);
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000547
Daniel Dunbar88c2fa92009-02-03 05:31:23 +0000548 // If store is legal, just bitcast the src pointer.
Daniel Dunbarfdf49862009-06-05 07:58:54 +0000549 if (SrcSize <= DstSize) {
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000550 llvm::Value *Casted =
551 CGF.Builder.CreateBitCast(DstPtr, llvm::PointerType::getUnqual(SrcTy));
Daniel Dunbar386621f2009-02-07 02:46:03 +0000552 // FIXME: Use better alignment / avoid requiring aligned store.
Eli Friedmanbadea572011-05-17 21:08:01 +0000553 BuildAggStore(CGF, Src, Casted, DstIsVolatile, true);
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000554 } else {
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000555 // Otherwise do coercion through memory. This is stupid, but
556 // simple.
Daniel Dunbarfdf49862009-06-05 07:58:54 +0000557
558 // Generally SrcSize is never greater than DstSize, since this means we are
559 // losing bits. However, this can happen in cases where the structure has
560 // additional padding, for example due to a user specified alignment.
561 //
562 // FIXME: Assert that we aren't truncating non-padding bits when have access
563 // to that information.
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000564 llvm::Value *Tmp = CGF.CreateTempAlloca(SrcTy);
565 CGF.Builder.CreateStore(Src, Tmp);
Mike Stump1eb44332009-09-09 15:08:12 +0000566 llvm::Value *Casted =
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000567 CGF.Builder.CreateBitCast(Tmp, llvm::PointerType::getUnqual(DstTy));
Daniel Dunbar386621f2009-02-07 02:46:03 +0000568 llvm::LoadInst *Load = CGF.Builder.CreateLoad(Casted);
569 // FIXME: Use better alignment / avoid requiring aligned load.
570 Load->setAlignment(1);
Anders Carlssond2490a92009-12-24 20:40:36 +0000571 CGF.Builder.CreateStore(Load, DstPtr, DstIsVolatile);
Daniel Dunbar275e10d2009-02-02 19:06:38 +0000572 }
573}
574
Daniel Dunbar56273772008-09-17 00:51:38 +0000575/***/
576
Daniel Dunbardacf9dd2010-07-14 23:39:36 +0000577bool CodeGenModule::ReturnTypeUsesSRet(const CGFunctionInfo &FI) {
Daniel Dunbar11e383a2009-02-05 08:00:50 +0000578 return FI.getReturnInfo().isIndirect();
Daniel Dunbarbb36d332009-02-02 21:43:58 +0000579}
580
Daniel Dunbardacf9dd2010-07-14 23:39:36 +0000581bool CodeGenModule::ReturnTypeUsesFPRet(QualType ResultType) {
582 if (const BuiltinType *BT = ResultType->getAs<BuiltinType>()) {
583 switch (BT->getKind()) {
584 default:
585 return false;
586 case BuiltinType::Float:
587 return getContext().Target.useObjCFPRetForRealType(TargetInfo::Float);
588 case BuiltinType::Double:
589 return getContext().Target.useObjCFPRetForRealType(TargetInfo::Double);
590 case BuiltinType::LongDouble:
591 return getContext().Target.useObjCFPRetForRealType(
592 TargetInfo::LongDouble);
593 }
594 }
595
596 return false;
597}
598
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000599llvm::FunctionType *CodeGenTypes::GetFunctionType(GlobalDecl GD) {
John McCallc0bf4622010-02-23 00:48:20 +0000600 const CGFunctionInfo &FI = getFunctionInfo(GD);
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000601
John McCallc0bf4622010-02-23 00:48:20 +0000602 // For definition purposes, don't consider a K&R function variadic.
603 bool Variadic = false;
604 if (const FunctionProtoType *FPT =
605 cast<FunctionDecl>(GD.getDecl())->getType()->getAs<FunctionProtoType>())
606 Variadic = FPT->isVariadic();
607
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000608 return GetFunctionType(FI, Variadic);
John McCallc0bf4622010-02-23 00:48:20 +0000609}
610
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000611llvm::FunctionType *
612CodeGenTypes::GetFunctionType(const CGFunctionInfo &FI, bool isVariadic) {
Chris Lattner71305cc2011-07-15 05:16:14 +0000613
614 bool Inserted = FunctionsBeingProcessed.insert(&FI); (void)Inserted;
615 assert(Inserted && "Recursively being processed?");
616
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000617 llvm::SmallVector<llvm::Type*, 8> argTypes;
Chris Lattner2acc6e32011-07-18 04:24:23 +0000618 llvm::Type *resultType = 0;
Daniel Dunbar45c25ba2008-09-10 04:01:49 +0000619
John McCall42e06112011-05-15 02:19:42 +0000620 const ABIArgInfo &retAI = FI.getReturnInfo();
621 switch (retAI.getKind()) {
Daniel Dunbar8951dbd2008-09-11 01:48:57 +0000622 case ABIArgInfo::Expand:
John McCall42e06112011-05-15 02:19:42 +0000623 llvm_unreachable("Invalid ABI kind for return argument");
Daniel Dunbar8951dbd2008-09-11 01:48:57 +0000624
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +0000625 case ABIArgInfo::Extend:
Daniel Dunbar46327aa2009-02-03 06:17:37 +0000626 case ABIArgInfo::Direct:
John McCall42e06112011-05-15 02:19:42 +0000627 resultType = retAI.getCoerceToType();
Daniel Dunbar46327aa2009-02-03 06:17:37 +0000628 break;
629
Daniel Dunbar11e383a2009-02-05 08:00:50 +0000630 case ABIArgInfo::Indirect: {
John McCall42e06112011-05-15 02:19:42 +0000631 assert(!retAI.getIndirectAlign() && "Align unused on indirect return.");
632 resultType = llvm::Type::getVoidTy(getLLVMContext());
633
634 QualType ret = FI.getReturnType();
Chris Lattner2acc6e32011-07-18 04:24:23 +0000635 llvm::Type *ty = ConvertType(ret);
John McCall42e06112011-05-15 02:19:42 +0000636 unsigned addressSpace = Context.getTargetAddressSpace(ret);
637 argTypes.push_back(llvm::PointerType::get(ty, addressSpace));
Daniel Dunbar45c25ba2008-09-10 04:01:49 +0000638 break;
639 }
640
Daniel Dunbar11434922009-01-26 21:26:08 +0000641 case ABIArgInfo::Ignore:
John McCall42e06112011-05-15 02:19:42 +0000642 resultType = llvm::Type::getVoidTy(getLLVMContext());
Daniel Dunbar11434922009-01-26 21:26:08 +0000643 break;
Daniel Dunbar45c25ba2008-09-10 04:01:49 +0000644 }
Mike Stump1eb44332009-09-09 15:08:12 +0000645
646 for (CGFunctionInfo::const_arg_iterator it = FI.arg_begin(),
Daniel Dunbar88c2fa92009-02-03 05:31:23 +0000647 ie = FI.arg_end(); it != ie; ++it) {
John McCall42e06112011-05-15 02:19:42 +0000648 const ABIArgInfo &argAI = it->info;
Mike Stump1eb44332009-09-09 15:08:12 +0000649
John McCall42e06112011-05-15 02:19:42 +0000650 switch (argAI.getKind()) {
Daniel Dunbar11434922009-01-26 21:26:08 +0000651 case ABIArgInfo::Ignore:
652 break;
653
Chris Lattner800588f2010-07-29 06:26:06 +0000654 case ABIArgInfo::Indirect: {
655 // indirect arguments are always on the stack, which is addr space #0.
Chris Lattner2acc6e32011-07-18 04:24:23 +0000656 llvm::Type *LTy = ConvertTypeForMem(it->type);
John McCall42e06112011-05-15 02:19:42 +0000657 argTypes.push_back(LTy->getPointerTo());
Chris Lattner800588f2010-07-29 06:26:06 +0000658 break;
659 }
660
661 case ABIArgInfo::Extend:
Chris Lattner1ed72672010-07-29 06:44:09 +0000662 case ABIArgInfo::Direct: {
Chris Lattnerce700162010-06-28 23:44:11 +0000663 // If the coerce-to type is a first class aggregate, flatten it. Either
664 // way is semantically identical, but fast-isel and the optimizer
665 // generally likes scalar values better than FCAs.
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000666 llvm::Type *argType = argAI.getCoerceToType();
Chris Lattner2acc6e32011-07-18 04:24:23 +0000667 if (llvm::StructType *st = dyn_cast<llvm::StructType>(argType)) {
John McCall42e06112011-05-15 02:19:42 +0000668 for (unsigned i = 0, e = st->getNumElements(); i != e; ++i)
669 argTypes.push_back(st->getElementType(i));
Chris Lattnerce700162010-06-28 23:44:11 +0000670 } else {
John McCall42e06112011-05-15 02:19:42 +0000671 argTypes.push_back(argType);
Chris Lattnerce700162010-06-28 23:44:11 +0000672 }
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +0000673 break;
Chris Lattner1ed72672010-07-29 06:44:09 +0000674 }
Mike Stump1eb44332009-09-09 15:08:12 +0000675
Daniel Dunbar8951dbd2008-09-11 01:48:57 +0000676 case ABIArgInfo::Expand:
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000677 GetExpandedTypes(it->type, argTypes);
Daniel Dunbar8951dbd2008-09-11 01:48:57 +0000678 break;
679 }
Daniel Dunbar45c25ba2008-09-10 04:01:49 +0000680 }
681
Chris Lattner71305cc2011-07-15 05:16:14 +0000682 bool Erased = FunctionsBeingProcessed.erase(&FI); (void)Erased;
683 assert(Erased && "Not in set?");
684
John McCall42e06112011-05-15 02:19:42 +0000685 return llvm::FunctionType::get(resultType, argTypes, isVariadic);
Daniel Dunbar3913f182008-09-09 23:48:28 +0000686}
687
Chris Lattner2acc6e32011-07-18 04:24:23 +0000688llvm::Type *CodeGenTypes::GetFunctionTypeForVTable(GlobalDecl GD) {
John McCall4c40d982010-08-31 07:33:07 +0000689 const CXXMethodDecl *MD = cast<CXXMethodDecl>(GD.getDecl());
Anders Carlssonecf282b2009-11-24 05:08:52 +0000690 const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>();
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000691
Chris Lattnerf742eb02011-07-10 00:18:59 +0000692 if (!isFuncTypeConvertible(FPT))
693 return llvm::StructType::get(getLLVMContext());
694
695 const CGFunctionInfo *Info;
696 if (isa<CXXDestructorDecl>(MD))
697 Info = &getFunctionInfo(cast<CXXDestructorDecl>(MD), GD.getDtorType());
698 else
699 Info = &getFunctionInfo(MD);
700 return GetFunctionType(*Info, FPT->isVariadic());
Anders Carlssonecf282b2009-11-24 05:08:52 +0000701}
702
Daniel Dunbara0a99e02009-02-02 23:43:58 +0000703void CodeGenModule::ConstructAttributeList(const CGFunctionInfo &FI,
Daniel Dunbar88b53962009-02-02 22:03:45 +0000704 const Decl *TargetDecl,
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000705 AttributeListType &PAL,
Daniel Dunbarca6408c2009-09-12 00:59:20 +0000706 unsigned &CallingConv) {
Daniel Dunbar5323a4b2008-09-10 00:32:18 +0000707 unsigned FuncAttrs = 0;
Devang Patela2c69122008-09-26 22:53:57 +0000708 unsigned RetAttrs = 0;
Daniel Dunbar5323a4b2008-09-10 00:32:18 +0000709
Daniel Dunbarca6408c2009-09-12 00:59:20 +0000710 CallingConv = FI.getEffectiveCallingConvention();
711
John McCall04a67a62010-02-05 21:31:56 +0000712 if (FI.isNoReturn())
713 FuncAttrs |= llvm::Attribute::NoReturn;
714
Anton Korobeynikov1102f422009-04-04 00:49:24 +0000715 // FIXME: handle sseregparm someday...
Daniel Dunbar5323a4b2008-09-10 00:32:18 +0000716 if (TargetDecl) {
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000717 if (TargetDecl->hasAttr<NoThrowAttr>())
Devang Patel761d7f72008-09-25 21:02:23 +0000718 FuncAttrs |= llvm::Attribute::NoUnwind;
John McCall9c0c1f32010-07-08 06:48:12 +0000719 else if (const FunctionDecl *Fn = dyn_cast<FunctionDecl>(TargetDecl)) {
720 const FunctionProtoType *FPT = Fn->getType()->getAs<FunctionProtoType>();
Sebastian Redl8026f6d2011-03-13 17:09:40 +0000721 if (FPT && FPT->isNothrow(getContext()))
John McCall9c0c1f32010-07-08 06:48:12 +0000722 FuncAttrs |= llvm::Attribute::NoUnwind;
723 }
724
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000725 if (TargetDecl->hasAttr<NoReturnAttr>())
Devang Patel761d7f72008-09-25 21:02:23 +0000726 FuncAttrs |= llvm::Attribute::NoReturn;
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000727 if (TargetDecl->hasAttr<ConstAttr>())
Anders Carlsson232eb7d2008-10-05 23:32:53 +0000728 FuncAttrs |= llvm::Attribute::ReadNone;
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000729 else if (TargetDecl->hasAttr<PureAttr>())
Daniel Dunbar64c2e072009-04-10 22:14:52 +0000730 FuncAttrs |= llvm::Attribute::ReadOnly;
Ryan Flynn76168e22009-08-09 20:07:29 +0000731 if (TargetDecl->hasAttr<MallocAttr>())
732 RetAttrs |= llvm::Attribute::NoAlias;
Daniel Dunbar5323a4b2008-09-10 00:32:18 +0000733 }
734
Chandler Carruth2811ccf2009-11-12 17:24:48 +0000735 if (CodeGenOpts.OptimizeSize)
Daniel Dunbar7ab1c3e2009-10-27 19:48:08 +0000736 FuncAttrs |= llvm::Attribute::OptimizeForSize;
Chandler Carruth2811ccf2009-11-12 17:24:48 +0000737 if (CodeGenOpts.DisableRedZone)
Devang Patel24095da2009-06-04 23:32:02 +0000738 FuncAttrs |= llvm::Attribute::NoRedZone;
Chandler Carruth2811ccf2009-11-12 17:24:48 +0000739 if (CodeGenOpts.NoImplicitFloat)
Devang Patelacebb392009-06-05 22:05:48 +0000740 FuncAttrs |= llvm::Attribute::NoImplicitFloat;
Devang Patel24095da2009-06-04 23:32:02 +0000741
Daniel Dunbara0a99e02009-02-02 23:43:58 +0000742 QualType RetTy = FI.getReturnType();
Daniel Dunbar5323a4b2008-09-10 00:32:18 +0000743 unsigned Index = 1;
Daniel Dunbarb225be42009-02-03 05:59:18 +0000744 const ABIArgInfo &RetAI = FI.getReturnInfo();
Daniel Dunbar45c25ba2008-09-10 04:01:49 +0000745 switch (RetAI.getKind()) {
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +0000746 case ABIArgInfo::Extend:
Chris Lattner2eb9cdd2010-07-28 23:46:15 +0000747 if (RetTy->hasSignedIntegerRepresentation())
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +0000748 RetAttrs |= llvm::Attribute::SExt;
Chris Lattner2eb9cdd2010-07-28 23:46:15 +0000749 else if (RetTy->hasUnsignedIntegerRepresentation())
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +0000750 RetAttrs |= llvm::Attribute::ZExt;
Chris Lattner800588f2010-07-29 06:26:06 +0000751 break;
Daniel Dunbar46327aa2009-02-03 06:17:37 +0000752 case ABIArgInfo::Direct:
Chris Lattner800588f2010-07-29 06:26:06 +0000753 case ABIArgInfo::Ignore:
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +0000754 break;
755
Daniel Dunbar11e383a2009-02-05 08:00:50 +0000756 case ABIArgInfo::Indirect:
Mike Stump1eb44332009-09-09 15:08:12 +0000757 PAL.push_back(llvm::AttributeWithIndex::get(Index,
Chris Lattnerfb97cf22010-04-20 05:44:43 +0000758 llvm::Attribute::StructRet));
Daniel Dunbar5323a4b2008-09-10 00:32:18 +0000759 ++Index;
Daniel Dunbar0ac86f02009-03-18 19:51:01 +0000760 // sret disables readnone and readonly
761 FuncAttrs &= ~(llvm::Attribute::ReadOnly |
762 llvm::Attribute::ReadNone);
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +0000763 break;
764
Daniel Dunbar8951dbd2008-09-11 01:48:57 +0000765 case ABIArgInfo::Expand:
Mike Stump1eb44332009-09-09 15:08:12 +0000766 assert(0 && "Invalid ABI kind for return argument");
Daniel Dunbar5323a4b2008-09-10 00:32:18 +0000767 }
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +0000768
Devang Patela2c69122008-09-26 22:53:57 +0000769 if (RetAttrs)
770 PAL.push_back(llvm::AttributeWithIndex::get(0, RetAttrs));
Anton Korobeynikov1102f422009-04-04 00:49:24 +0000771
Daniel Dunbar17d3fea2011-02-09 17:54:19 +0000772 // FIXME: RegParm should be reduced in case of global register variable.
Eli Friedmana49218e2011-04-09 08:18:08 +0000773 signed RegParm;
774 if (FI.getHasRegParm())
775 RegParm = FI.getRegParm();
776 else
Daniel Dunbar17d3fea2011-02-09 17:54:19 +0000777 RegParm = CodeGenOpts.NumRegisterParameters;
Anton Korobeynikov1102f422009-04-04 00:49:24 +0000778
779 unsigned PointerWidth = getContext().Target.getPointerWidth(0);
Mike Stump1eb44332009-09-09 15:08:12 +0000780 for (CGFunctionInfo::const_arg_iterator it = FI.arg_begin(),
Daniel Dunbar88c2fa92009-02-03 05:31:23 +0000781 ie = FI.arg_end(); it != ie; ++it) {
782 QualType ParamType = it->type;
783 const ABIArgInfo &AI = it->info;
Devang Patel761d7f72008-09-25 21:02:23 +0000784 unsigned Attributes = 0;
Anton Korobeynikov1102f422009-04-04 00:49:24 +0000785
John McCalld8e10d22010-03-27 00:47:27 +0000786 // 'restrict' -> 'noalias' is done in EmitFunctionProlog when we
787 // have the corresponding parameter variable. It doesn't make
Daniel Dunbar7f6890e2011-02-10 18:10:07 +0000788 // sense to do it here because parameters are so messed up.
Daniel Dunbar8951dbd2008-09-11 01:48:57 +0000789 switch (AI.getKind()) {
Chris Lattner800588f2010-07-29 06:26:06 +0000790 case ABIArgInfo::Extend:
Douglas Gregor575a1c92011-05-20 16:38:50 +0000791 if (ParamType->isSignedIntegerOrEnumerationType())
Chris Lattner800588f2010-07-29 06:26:06 +0000792 Attributes |= llvm::Attribute::SExt;
Douglas Gregor575a1c92011-05-20 16:38:50 +0000793 else if (ParamType->isUnsignedIntegerOrEnumerationType())
Chris Lattner800588f2010-07-29 06:26:06 +0000794 Attributes |= llvm::Attribute::ZExt;
795 // FALL THROUGH
796 case ABIArgInfo::Direct:
797 if (RegParm > 0 &&
798 (ParamType->isIntegerType() || ParamType->isPointerType())) {
799 RegParm -=
800 (Context.getTypeSize(ParamType) + PointerWidth - 1) / PointerWidth;
801 if (RegParm >= 0)
802 Attributes |= llvm::Attribute::InReg;
803 }
804 // FIXME: handle sseregparm someday...
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000805
Chris Lattner2acc6e32011-07-18 04:24:23 +0000806 if (llvm::StructType *STy =
Chris Lattner800588f2010-07-29 06:26:06 +0000807 dyn_cast<llvm::StructType>(AI.getCoerceToType()))
808 Index += STy->getNumElements()-1; // 1 will be added below.
809 break;
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +0000810
Daniel Dunbar11e383a2009-02-05 08:00:50 +0000811 case ABIArgInfo::Indirect:
Anders Carlsson0a8f8472009-09-16 15:53:40 +0000812 if (AI.getIndirectByVal())
813 Attributes |= llvm::Attribute::ByVal;
814
Anton Korobeynikov1102f422009-04-04 00:49:24 +0000815 Attributes |=
Daniel Dunbar11e383a2009-02-05 08:00:50 +0000816 llvm::Attribute::constructAlignmentFromInt(AI.getIndirectAlign());
Daniel Dunbar0ac86f02009-03-18 19:51:01 +0000817 // byval disables readnone and readonly.
818 FuncAttrs &= ~(llvm::Attribute::ReadOnly |
819 llvm::Attribute::ReadNone);
Daniel Dunbar8951dbd2008-09-11 01:48:57 +0000820 break;
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +0000821
Daniel Dunbar11434922009-01-26 21:26:08 +0000822 case ABIArgInfo::Ignore:
823 // Skip increment, no matching LLVM parameter.
Mike Stump1eb44332009-09-09 15:08:12 +0000824 continue;
Daniel Dunbar11434922009-01-26 21:26:08 +0000825
Daniel Dunbar56273772008-09-17 00:51:38 +0000826 case ABIArgInfo::Expand: {
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000827 llvm::SmallVector<llvm::Type*, 8> types;
Mike Stumpf5408fe2009-05-16 07:57:57 +0000828 // FIXME: This is rather inefficient. Do we ever actually need to do
829 // anything here? The result should be just reconstructed on the other
830 // side, so extension should be a non-issue.
Chris Lattner9cbe4f02011-07-09 17:41:47 +0000831 getTypes().GetExpandedTypes(ParamType, types);
John McCall42e06112011-05-15 02:19:42 +0000832 Index += types.size();
Daniel Dunbar56273772008-09-17 00:51:38 +0000833 continue;
834 }
Daniel Dunbar5323a4b2008-09-10 00:32:18 +0000835 }
Mike Stump1eb44332009-09-09 15:08:12 +0000836
Devang Patel761d7f72008-09-25 21:02:23 +0000837 if (Attributes)
838 PAL.push_back(llvm::AttributeWithIndex::get(Index, Attributes));
Daniel Dunbar56273772008-09-17 00:51:38 +0000839 ++Index;
Daniel Dunbar5323a4b2008-09-10 00:32:18 +0000840 }
Devang Patela2c69122008-09-26 22:53:57 +0000841 if (FuncAttrs)
842 PAL.push_back(llvm::AttributeWithIndex::get(~0, FuncAttrs));
Daniel Dunbar5323a4b2008-09-10 00:32:18 +0000843}
844
John McCalld26bc762011-03-09 04:27:21 +0000845/// An argument came in as a promoted argument; demote it back to its
846/// declared type.
847static llvm::Value *emitArgumentDemotion(CodeGenFunction &CGF,
848 const VarDecl *var,
849 llvm::Value *value) {
Chris Lattner2acc6e32011-07-18 04:24:23 +0000850 llvm::Type *varType = CGF.ConvertType(var->getType());
John McCalld26bc762011-03-09 04:27:21 +0000851
852 // This can happen with promotions that actually don't change the
853 // underlying type, like the enum promotions.
854 if (value->getType() == varType) return value;
855
856 assert((varType->isIntegerTy() || varType->isFloatingPointTy())
857 && "unexpected promotion type");
858
859 if (isa<llvm::IntegerType>(varType))
860 return CGF.Builder.CreateTrunc(value, varType, "arg.unpromote");
861
862 return CGF.Builder.CreateFPCast(value, varType, "arg.unpromote");
863}
864
Daniel Dunbar88b53962009-02-02 22:03:45 +0000865void CodeGenFunction::EmitFunctionProlog(const CGFunctionInfo &FI,
866 llvm::Function *Fn,
Daniel Dunbar17b708d2008-09-09 23:27:19 +0000867 const FunctionArgList &Args) {
John McCall0cfeb632009-07-28 01:00:58 +0000868 // If this is an implicit-return-zero function, go ahead and
869 // initialize the return value. TODO: it might be nice to have
870 // a more general mechanism for this that didn't require synthesized
871 // return statements.
Chris Lattner121b3fa2010-07-05 20:21:00 +0000872 if (const FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(CurFuncDecl)) {
John McCall0cfeb632009-07-28 01:00:58 +0000873 if (FD->hasImplicitReturnZero()) {
874 QualType RetTy = FD->getResultType().getUnqualifiedType();
Chris Lattner2acc6e32011-07-18 04:24:23 +0000875 llvm::Type* LLVMTy = CGM.getTypes().ConvertType(RetTy);
Owen Andersonc9c88b42009-07-31 20:28:54 +0000876 llvm::Constant* Zero = llvm::Constant::getNullValue(LLVMTy);
John McCall0cfeb632009-07-28 01:00:58 +0000877 Builder.CreateStore(Zero, ReturnValue);
878 }
879 }
880
Mike Stumpf5408fe2009-05-16 07:57:57 +0000881 // FIXME: We no longer need the types from FunctionArgList; lift up and
882 // simplify.
Daniel Dunbar5251afa2009-02-03 06:02:10 +0000883
Daniel Dunbar17b708d2008-09-09 23:27:19 +0000884 // Emit allocs for param decls. Give the LLVM Argument nodes names.
885 llvm::Function::arg_iterator AI = Fn->arg_begin();
Mike Stump1eb44332009-09-09 15:08:12 +0000886
Daniel Dunbar17b708d2008-09-09 23:27:19 +0000887 // Name the struct return argument.
Daniel Dunbardacf9dd2010-07-14 23:39:36 +0000888 if (CGM.ReturnTypeUsesSRet(FI)) {
Daniel Dunbar17b708d2008-09-09 23:27:19 +0000889 AI->setName("agg.result");
890 ++AI;
891 }
Mike Stump1eb44332009-09-09 15:08:12 +0000892
Daniel Dunbar4b5f0a42009-02-04 21:17:21 +0000893 assert(FI.arg_size() == Args.size() &&
894 "Mismatch between function signature & arguments.");
Devang Patel093ac462011-03-03 20:13:15 +0000895 unsigned ArgNo = 1;
Daniel Dunbarb225be42009-02-03 05:59:18 +0000896 CGFunctionInfo::const_arg_iterator info_it = FI.arg_begin();
Devang Patel093ac462011-03-03 20:13:15 +0000897 for (FunctionArgList::const_iterator i = Args.begin(), e = Args.end();
898 i != e; ++i, ++info_it, ++ArgNo) {
John McCalld26bc762011-03-09 04:27:21 +0000899 const VarDecl *Arg = *i;
Daniel Dunbarb225be42009-02-03 05:59:18 +0000900 QualType Ty = info_it->type;
901 const ABIArgInfo &ArgI = info_it->info;
Daniel Dunbar8951dbd2008-09-11 01:48:57 +0000902
John McCalld26bc762011-03-09 04:27:21 +0000903 bool isPromoted =
904 isa<ParmVarDecl>(Arg) && cast<ParmVarDecl>(Arg)->isKNRPromoted();
905
Daniel Dunbar8951dbd2008-09-11 01:48:57 +0000906 switch (ArgI.getKind()) {
Daniel Dunbar1f745982009-02-05 09:16:39 +0000907 case ABIArgInfo::Indirect: {
Chris Lattnerce700162010-06-28 23:44:11 +0000908 llvm::Value *V = AI;
Daniel Dunbarcf3b6f22010-09-16 20:42:02 +0000909
Daniel Dunbar1f745982009-02-05 09:16:39 +0000910 if (hasAggregateLLVMType(Ty)) {
Daniel Dunbarcf3b6f22010-09-16 20:42:02 +0000911 // Aggregates and complex variables are accessed by reference. All we
912 // need to do is realign the value, if requested
913 if (ArgI.getIndirectRealign()) {
914 llvm::Value *AlignedTemp = CreateMemTemp(Ty, "coerce");
915
916 // Copy from the incoming argument pointer to the temporary with the
917 // appropriate alignment.
918 //
919 // FIXME: We should have a common utility for generating an aggregate
920 // copy.
Chris Lattner2acc6e32011-07-18 04:24:23 +0000921 llvm::Type *I8PtrTy = Builder.getInt8PtrTy();
Ken Dyckfe710082011-01-19 01:58:38 +0000922 CharUnits Size = getContext().getTypeSizeInChars(Ty);
NAKAMURA Takumic95a8fc2011-03-10 14:02:21 +0000923 llvm::Value *Dst = Builder.CreateBitCast(AlignedTemp, I8PtrTy);
924 llvm::Value *Src = Builder.CreateBitCast(V, I8PtrTy);
925 Builder.CreateMemCpy(Dst,
926 Src,
Ken Dyckfe710082011-01-19 01:58:38 +0000927 llvm::ConstantInt::get(IntPtrTy,
928 Size.getQuantity()),
Benjamin Kramer9f0c7cc2010-12-30 00:13:21 +0000929 ArgI.getIndirectAlign(),
930 false);
Daniel Dunbarcf3b6f22010-09-16 20:42:02 +0000931 V = AlignedTemp;
932 }
Daniel Dunbar1f745982009-02-05 09:16:39 +0000933 } else {
934 // Load scalar value from indirect argument.
Ken Dyckfe710082011-01-19 01:58:38 +0000935 CharUnits Alignment = getContext().getTypeAlignInChars(Ty);
936 V = EmitLoadOfScalar(V, false, Alignment.getQuantity(), Ty);
John McCalld26bc762011-03-09 04:27:21 +0000937
938 if (isPromoted)
939 V = emitArgumentDemotion(*this, Arg, V);
Daniel Dunbar1f745982009-02-05 09:16:39 +0000940 }
Devang Patel093ac462011-03-03 20:13:15 +0000941 EmitParmDecl(*Arg, V, ArgNo);
Daniel Dunbar1f745982009-02-05 09:16:39 +0000942 break;
943 }
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +0000944
945 case ABIArgInfo::Extend:
Daniel Dunbar46327aa2009-02-03 06:17:37 +0000946 case ABIArgInfo::Direct: {
Chris Lattner800588f2010-07-29 06:26:06 +0000947 // If we have the trivial case, handle it with no muss and fuss.
948 if (!isa<llvm::StructType>(ArgI.getCoerceToType()) &&
Chris Lattner117e3f42010-07-30 04:02:24 +0000949 ArgI.getCoerceToType() == ConvertType(Ty) &&
950 ArgI.getDirectOffset() == 0) {
Chris Lattner800588f2010-07-29 06:26:06 +0000951 assert(AI != Fn->arg_end() && "Argument mismatch!");
952 llvm::Value *V = AI;
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000953
John McCalld8e10d22010-03-27 00:47:27 +0000954 if (Arg->getType().isRestrictQualified())
955 AI->addAttr(llvm::Attribute::NoAlias);
956
Chris Lattnerb13eab92011-07-20 06:29:00 +0000957 // Ensure the argument is the correct type.
958 if (V->getType() != ArgI.getCoerceToType())
959 V = Builder.CreateBitCast(V, ArgI.getCoerceToType());
960
John McCalld26bc762011-03-09 04:27:21 +0000961 if (isPromoted)
962 V = emitArgumentDemotion(*this, Arg, V);
Chris Lattnerb13eab92011-07-20 06:29:00 +0000963
Devang Patel093ac462011-03-03 20:13:15 +0000964 EmitParmDecl(*Arg, V, ArgNo);
Chris Lattner800588f2010-07-29 06:26:06 +0000965 break;
Daniel Dunbar8b979d92009-02-10 00:06:49 +0000966 }
Mike Stump1eb44332009-09-09 15:08:12 +0000967
Chris Lattner121b3fa2010-07-05 20:21:00 +0000968 llvm::AllocaInst *Alloca = CreateMemTemp(Ty, "coerce");
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000969
Chris Lattnerdeabde22010-07-28 18:24:28 +0000970 // The alignment we need to use is the max of the requested alignment for
971 // the argument plus the alignment required by our access code below.
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000972 unsigned AlignmentToUse =
John McCalld16c2cf2011-02-08 08:22:06 +0000973 CGM.getTargetData().getABITypeAlignment(ArgI.getCoerceToType());
Chris Lattnerdeabde22010-07-28 18:24:28 +0000974 AlignmentToUse = std::max(AlignmentToUse,
975 (unsigned)getContext().getDeclAlign(Arg).getQuantity());
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000976
Chris Lattnerdeabde22010-07-28 18:24:28 +0000977 Alloca->setAlignment(AlignmentToUse);
Chris Lattner121b3fa2010-07-05 20:21:00 +0000978 llvm::Value *V = Alloca;
Chris Lattner117e3f42010-07-30 04:02:24 +0000979 llvm::Value *Ptr = V; // Pointer to store into.
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000980
Chris Lattner117e3f42010-07-30 04:02:24 +0000981 // If the value is offset in memory, apply the offset now.
982 if (unsigned Offs = ArgI.getDirectOffset()) {
983 Ptr = Builder.CreateBitCast(Ptr, Builder.getInt8PtrTy());
984 Ptr = Builder.CreateConstGEP1_32(Ptr, Offs);
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000985 Ptr = Builder.CreateBitCast(Ptr,
Chris Lattner117e3f42010-07-30 04:02:24 +0000986 llvm::PointerType::getUnqual(ArgI.getCoerceToType()));
987 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000988
Chris Lattner309c59f2010-06-29 00:06:42 +0000989 // If the coerce-to type is a first class aggregate, we flatten it and
990 // pass the elements. Either way is semantically identical, but fast-isel
991 // and the optimizer generally likes scalar values better than FCAs.
Chris Lattner2acc6e32011-07-18 04:24:23 +0000992 if (llvm::StructType *STy =
Chris Lattner309c59f2010-06-29 00:06:42 +0000993 dyn_cast<llvm::StructType>(ArgI.getCoerceToType())) {
Chris Lattner92826882010-07-05 20:41:41 +0000994 Ptr = Builder.CreateBitCast(Ptr, llvm::PointerType::getUnqual(STy));
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000995
Chris Lattner92826882010-07-05 20:41:41 +0000996 for (unsigned i = 0, e = STy->getNumElements(); i != e; ++i) {
997 assert(AI != Fn->arg_end() && "Argument mismatch!");
998 AI->setName(Arg->getName() + ".coerce" + llvm::Twine(i));
999 llvm::Value *EltPtr = Builder.CreateConstGEP2_32(Ptr, 0, i);
1000 Builder.CreateStore(AI++, EltPtr);
Chris Lattner309c59f2010-06-29 00:06:42 +00001001 }
1002 } else {
1003 // Simple case, just do a coerced store of the argument into the alloca.
1004 assert(AI != Fn->arg_end() && "Argument mismatch!");
Chris Lattner225e2862010-06-29 00:14:52 +00001005 AI->setName(Arg->getName() + ".coerce");
Chris Lattner117e3f42010-07-30 04:02:24 +00001006 CreateCoercedStore(AI++, Ptr, /*DestIsVolatile=*/false, *this);
Chris Lattner309c59f2010-06-29 00:06:42 +00001007 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001008
1009
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00001010 // Match to what EmitParmDecl is expecting for this type.
Daniel Dunbar8b29a382009-02-04 07:22:24 +00001011 if (!CodeGenFunction::hasAggregateLLVMType(Ty)) {
Daniel Dunbar91a16fa2010-08-21 02:24:36 +00001012 V = EmitLoadOfScalar(V, false, AlignmentToUse, Ty);
John McCalld26bc762011-03-09 04:27:21 +00001013 if (isPromoted)
1014 V = emitArgumentDemotion(*this, Arg, V);
Daniel Dunbar8b29a382009-02-04 07:22:24 +00001015 }
Devang Patel093ac462011-03-03 20:13:15 +00001016 EmitParmDecl(*Arg, V, ArgNo);
Chris Lattnerce700162010-06-28 23:44:11 +00001017 continue; // Skip ++AI increment, already done.
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00001018 }
Chris Lattner800588f2010-07-29 06:26:06 +00001019
1020 case ABIArgInfo::Expand: {
1021 // If this structure was expanded into multiple arguments then
1022 // we need to create a temporary and reconstruct it from the
1023 // arguments.
1024 llvm::Value *Temp = CreateMemTemp(Ty, Arg->getName() + ".addr");
Chris Lattner800588f2010-07-29 06:26:06 +00001025 llvm::Function::arg_iterator End =
Daniel Dunbar79c39282010-08-21 03:15:20 +00001026 ExpandTypeFromArgs(Ty, MakeAddrLValue(Temp, Ty), AI);
Devang Patel093ac462011-03-03 20:13:15 +00001027 EmitParmDecl(*Arg, Temp, ArgNo);
Chris Lattner800588f2010-07-29 06:26:06 +00001028
1029 // Name the arguments used in expansion and increment AI.
1030 unsigned Index = 0;
1031 for (; AI != End; ++AI, ++Index)
1032 AI->setName(Arg->getName() + "." + llvm::Twine(Index));
1033 continue;
1034 }
1035
1036 case ABIArgInfo::Ignore:
1037 // Initialize the local variable appropriately.
1038 if (hasAggregateLLVMType(Ty))
Devang Patel093ac462011-03-03 20:13:15 +00001039 EmitParmDecl(*Arg, CreateMemTemp(Ty), ArgNo);
Chris Lattner800588f2010-07-29 06:26:06 +00001040 else
Devang Patel093ac462011-03-03 20:13:15 +00001041 EmitParmDecl(*Arg, llvm::UndefValue::get(ConvertType(Arg->getType())),
1042 ArgNo);
Chris Lattner800588f2010-07-29 06:26:06 +00001043
1044 // Skip increment, no matching LLVM parameter.
1045 continue;
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001046 }
Daniel Dunbar56273772008-09-17 00:51:38 +00001047
1048 ++AI;
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001049 }
1050 assert(AI == Fn->arg_end() && "Argument mismatch!");
1051}
1052
John McCallf85e1932011-06-15 23:02:42 +00001053/// Try to emit a fused autorelease of a return result.
1054static llvm::Value *tryEmitFusedAutoreleaseOfResult(CodeGenFunction &CGF,
1055 llvm::Value *result) {
1056 // We must be immediately followed the cast.
1057 llvm::BasicBlock *BB = CGF.Builder.GetInsertBlock();
1058 if (BB->empty()) return 0;
1059 if (&BB->back() != result) return 0;
1060
Chris Lattner2acc6e32011-07-18 04:24:23 +00001061 llvm::Type *resultType = result->getType();
John McCallf85e1932011-06-15 23:02:42 +00001062
1063 // result is in a BasicBlock and is therefore an Instruction.
1064 llvm::Instruction *generator = cast<llvm::Instruction>(result);
1065
1066 llvm::SmallVector<llvm::Instruction*,4> insnsToKill;
1067
1068 // Look for:
1069 // %generator = bitcast %type1* %generator2 to %type2*
1070 while (llvm::BitCastInst *bitcast = dyn_cast<llvm::BitCastInst>(generator)) {
1071 // We would have emitted this as a constant if the operand weren't
1072 // an Instruction.
1073 generator = cast<llvm::Instruction>(bitcast->getOperand(0));
1074
1075 // Require the generator to be immediately followed by the cast.
1076 if (generator->getNextNode() != bitcast)
1077 return 0;
1078
1079 insnsToKill.push_back(bitcast);
1080 }
1081
1082 // Look for:
1083 // %generator = call i8* @objc_retain(i8* %originalResult)
1084 // or
1085 // %generator = call i8* @objc_retainAutoreleasedReturnValue(i8* %originalResult)
1086 llvm::CallInst *call = dyn_cast<llvm::CallInst>(generator);
1087 if (!call) return 0;
1088
1089 bool doRetainAutorelease;
1090
1091 if (call->getCalledValue() == CGF.CGM.getARCEntrypoints().objc_retain) {
1092 doRetainAutorelease = true;
1093 } else if (call->getCalledValue() == CGF.CGM.getARCEntrypoints()
1094 .objc_retainAutoreleasedReturnValue) {
1095 doRetainAutorelease = false;
1096
1097 // Look for an inline asm immediately preceding the call and kill it, too.
1098 llvm::Instruction *prev = call->getPrevNode();
1099 if (llvm::CallInst *asmCall = dyn_cast_or_null<llvm::CallInst>(prev))
1100 if (asmCall->getCalledValue()
1101 == CGF.CGM.getARCEntrypoints().retainAutoreleasedReturnValueMarker)
1102 insnsToKill.push_back(prev);
1103 } else {
1104 return 0;
1105 }
1106
1107 result = call->getArgOperand(0);
1108 insnsToKill.push_back(call);
1109
1110 // Keep killing bitcasts, for sanity. Note that we no longer care
1111 // about precise ordering as long as there's exactly one use.
1112 while (llvm::BitCastInst *bitcast = dyn_cast<llvm::BitCastInst>(result)) {
1113 if (!bitcast->hasOneUse()) break;
1114 insnsToKill.push_back(bitcast);
1115 result = bitcast->getOperand(0);
1116 }
1117
1118 // Delete all the unnecessary instructions, from latest to earliest.
1119 for (llvm::SmallVectorImpl<llvm::Instruction*>::iterator
1120 i = insnsToKill.begin(), e = insnsToKill.end(); i != e; ++i)
1121 (*i)->eraseFromParent();
1122
1123 // Do the fused retain/autorelease if we were asked to.
1124 if (doRetainAutorelease)
1125 result = CGF.EmitARCRetainAutoreleaseReturnValue(result);
1126
1127 // Cast back to the result type.
1128 return CGF.Builder.CreateBitCast(result, resultType);
1129}
1130
1131/// Emit an ARC autorelease of the result of a function.
1132static llvm::Value *emitAutoreleaseOfResult(CodeGenFunction &CGF,
1133 llvm::Value *result) {
1134 // At -O0, try to emit a fused retain/autorelease.
1135 if (CGF.shouldUseFusedARCCalls())
1136 if (llvm::Value *fused = tryEmitFusedAutoreleaseOfResult(CGF, result))
1137 return fused;
1138
1139 return CGF.EmitARCAutoreleaseReturnValue(result);
1140}
1141
Chris Lattner35b21b82010-06-27 01:06:27 +00001142void CodeGenFunction::EmitFunctionEpilog(const CGFunctionInfo &FI) {
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001143 // Functions with no result always return void.
Chris Lattnerc6e6dd22010-06-26 23:13:19 +00001144 if (ReturnValue == 0) {
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001145 Builder.CreateRetVoid();
Chris Lattnerc6e6dd22010-06-26 23:13:19 +00001146 return;
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001147 }
Daniel Dunbar21fcc8f2010-06-30 21:27:58 +00001148
Dan Gohman4751a532010-07-20 20:13:52 +00001149 llvm::DebugLoc RetDbgLoc;
Chris Lattnerc6e6dd22010-06-26 23:13:19 +00001150 llvm::Value *RV = 0;
1151 QualType RetTy = FI.getReturnType();
1152 const ABIArgInfo &RetAI = FI.getReturnInfo();
1153
1154 switch (RetAI.getKind()) {
Daniel Dunbar91a16fa2010-08-21 02:24:36 +00001155 case ABIArgInfo::Indirect: {
1156 unsigned Alignment = getContext().getTypeAlignInChars(RetTy).getQuantity();
Chris Lattnerc6e6dd22010-06-26 23:13:19 +00001157 if (RetTy->isAnyComplexType()) {
1158 ComplexPairTy RT = LoadComplexFromAddr(ReturnValue, false);
1159 StoreComplexToAddr(RT, CurFn->arg_begin(), false);
1160 } else if (CodeGenFunction::hasAggregateLLVMType(RetTy)) {
1161 // Do nothing; aggregrates get evaluated directly into the destination.
1162 } else {
1163 EmitStoreOfScalar(Builder.CreateLoad(ReturnValue), CurFn->arg_begin(),
Daniel Dunbar91a16fa2010-08-21 02:24:36 +00001164 false, Alignment, RetTy);
Chris Lattnerc6e6dd22010-06-26 23:13:19 +00001165 }
1166 break;
Daniel Dunbar91a16fa2010-08-21 02:24:36 +00001167 }
Chris Lattnerc6e6dd22010-06-26 23:13:19 +00001168
1169 case ABIArgInfo::Extend:
Chris Lattner800588f2010-07-29 06:26:06 +00001170 case ABIArgInfo::Direct:
Chris Lattner117e3f42010-07-30 04:02:24 +00001171 if (RetAI.getCoerceToType() == ConvertType(RetTy) &&
1172 RetAI.getDirectOffset() == 0) {
Chris Lattner800588f2010-07-29 06:26:06 +00001173 // The internal return value temp always will have pointer-to-return-type
1174 // type, just do a load.
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001175
Chris Lattner800588f2010-07-29 06:26:06 +00001176 // If the instruction right before the insertion point is a store to the
1177 // return value, we can elide the load, zap the store, and usually zap the
1178 // alloca.
1179 llvm::BasicBlock *InsertBB = Builder.GetInsertBlock();
1180 llvm::StoreInst *SI = 0;
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001181 if (InsertBB->empty() ||
Chris Lattner800588f2010-07-29 06:26:06 +00001182 !(SI = dyn_cast<llvm::StoreInst>(&InsertBB->back())) ||
1183 SI->getPointerOperand() != ReturnValue || SI->isVolatile()) {
1184 RV = Builder.CreateLoad(ReturnValue);
1185 } else {
1186 // Get the stored value and nuke the now-dead store.
1187 RetDbgLoc = SI->getDebugLoc();
1188 RV = SI->getValueOperand();
1189 SI->eraseFromParent();
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001190
Chris Lattner800588f2010-07-29 06:26:06 +00001191 // If that was the only use of the return value, nuke it as well now.
1192 if (ReturnValue->use_empty() && isa<llvm::AllocaInst>(ReturnValue)) {
1193 cast<llvm::AllocaInst>(ReturnValue)->eraseFromParent();
1194 ReturnValue = 0;
1195 }
Chris Lattner35b21b82010-06-27 01:06:27 +00001196 }
Chris Lattner800588f2010-07-29 06:26:06 +00001197 } else {
Chris Lattner117e3f42010-07-30 04:02:24 +00001198 llvm::Value *V = ReturnValue;
1199 // If the value is offset in memory, apply the offset now.
1200 if (unsigned Offs = RetAI.getDirectOffset()) {
1201 V = Builder.CreateBitCast(V, Builder.getInt8PtrTy());
1202 V = Builder.CreateConstGEP1_32(V, Offs);
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001203 V = Builder.CreateBitCast(V,
Chris Lattner117e3f42010-07-30 04:02:24 +00001204 llvm::PointerType::getUnqual(RetAI.getCoerceToType()));
1205 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001206
Chris Lattner117e3f42010-07-30 04:02:24 +00001207 RV = CreateCoercedLoad(V, RetAI.getCoerceToType(), *this);
Chris Lattner35b21b82010-06-27 01:06:27 +00001208 }
John McCallf85e1932011-06-15 23:02:42 +00001209
1210 // In ARC, end functions that return a retainable type with a call
1211 // to objc_autoreleaseReturnValue.
1212 if (AutoreleaseResult) {
1213 assert(getLangOptions().ObjCAutoRefCount &&
1214 !FI.isReturnsRetained() &&
1215 RetTy->isObjCRetainableType());
1216 RV = emitAutoreleaseOfResult(*this, RV);
1217 }
1218
Chris Lattnerc6e6dd22010-06-26 23:13:19 +00001219 break;
Chris Lattnerc6e6dd22010-06-26 23:13:19 +00001220
Chris Lattner800588f2010-07-29 06:26:06 +00001221 case ABIArgInfo::Ignore:
Chris Lattnerc6e6dd22010-06-26 23:13:19 +00001222 break;
1223
1224 case ABIArgInfo::Expand:
1225 assert(0 && "Invalid ABI kind for return argument");
1226 }
1227
Daniel Dunbar21fcc8f2010-06-30 21:27:58 +00001228 llvm::Instruction *Ret = RV ? Builder.CreateRet(RV) : Builder.CreateRetVoid();
Devang Pateld3f265d2010-07-21 18:08:50 +00001229 if (!RetDbgLoc.isUnknown())
1230 Ret->setDebugLoc(RetDbgLoc);
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001231}
1232
John McCall413ebdb2011-03-11 20:59:21 +00001233void CodeGenFunction::EmitDelegateCallArg(CallArgList &args,
1234 const VarDecl *param) {
John McCall27360712010-05-26 22:34:26 +00001235 // StartFunction converted the ABI-lowered parameter(s) into a
1236 // local alloca. We need to turn that into an r-value suitable
1237 // for EmitCall.
John McCall413ebdb2011-03-11 20:59:21 +00001238 llvm::Value *local = GetAddrOfLocalVar(param);
John McCall27360712010-05-26 22:34:26 +00001239
John McCall413ebdb2011-03-11 20:59:21 +00001240 QualType type = param->getType();
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001241
John McCall27360712010-05-26 22:34:26 +00001242 // For the most part, we just need to load the alloca, except:
1243 // 1) aggregate r-values are actually pointers to temporaries, and
1244 // 2) references to aggregates are pointers directly to the aggregate.
1245 // I don't know why references to non-aggregates are different here.
John McCall413ebdb2011-03-11 20:59:21 +00001246 if (const ReferenceType *ref = type->getAs<ReferenceType>()) {
1247 if (hasAggregateLLVMType(ref->getPointeeType()))
1248 return args.add(RValue::getAggregate(local), type);
John McCall27360712010-05-26 22:34:26 +00001249
1250 // Locals which are references to scalars are represented
1251 // with allocas holding the pointer.
John McCall413ebdb2011-03-11 20:59:21 +00001252 return args.add(RValue::get(Builder.CreateLoad(local)), type);
John McCall27360712010-05-26 22:34:26 +00001253 }
1254
John McCall413ebdb2011-03-11 20:59:21 +00001255 if (type->isAnyComplexType()) {
1256 ComplexPairTy complex = LoadComplexFromAddr(local, /*volatile*/ false);
1257 return args.add(RValue::getComplex(complex), type);
1258 }
John McCall27360712010-05-26 22:34:26 +00001259
John McCall413ebdb2011-03-11 20:59:21 +00001260 if (hasAggregateLLVMType(type))
1261 return args.add(RValue::getAggregate(local), type);
John McCall27360712010-05-26 22:34:26 +00001262
John McCall413ebdb2011-03-11 20:59:21 +00001263 unsigned alignment = getContext().getDeclAlign(param).getQuantity();
1264 llvm::Value *value = EmitLoadOfScalar(local, false, alignment, type);
1265 return args.add(RValue::get(value), type);
John McCall27360712010-05-26 22:34:26 +00001266}
1267
John McCallf85e1932011-06-15 23:02:42 +00001268static bool isProvablyNull(llvm::Value *addr) {
1269 return isa<llvm::ConstantPointerNull>(addr);
1270}
1271
1272static bool isProvablyNonNull(llvm::Value *addr) {
1273 return isa<llvm::AllocaInst>(addr);
1274}
1275
1276/// Emit the actual writing-back of a writeback.
1277static void emitWriteback(CodeGenFunction &CGF,
1278 const CallArgList::Writeback &writeback) {
1279 llvm::Value *srcAddr = writeback.Address;
1280 assert(!isProvablyNull(srcAddr) &&
1281 "shouldn't have writeback for provably null argument");
1282
1283 llvm::BasicBlock *contBB = 0;
1284
1285 // If the argument wasn't provably non-null, we need to null check
1286 // before doing the store.
1287 bool provablyNonNull = isProvablyNonNull(srcAddr);
1288 if (!provablyNonNull) {
1289 llvm::BasicBlock *writebackBB = CGF.createBasicBlock("icr.writeback");
1290 contBB = CGF.createBasicBlock("icr.done");
1291
1292 llvm::Value *isNull = CGF.Builder.CreateIsNull(srcAddr, "icr.isnull");
1293 CGF.Builder.CreateCondBr(isNull, contBB, writebackBB);
1294 CGF.EmitBlock(writebackBB);
1295 }
1296
1297 // Load the value to writeback.
1298 llvm::Value *value = CGF.Builder.CreateLoad(writeback.Temporary);
1299
1300 // Cast it back, in case we're writing an id to a Foo* or something.
1301 value = CGF.Builder.CreateBitCast(value,
1302 cast<llvm::PointerType>(srcAddr->getType())->getElementType(),
1303 "icr.writeback-cast");
1304
1305 // Perform the writeback.
1306 QualType srcAddrType = writeback.AddressType;
1307 CGF.EmitStoreThroughLValue(RValue::get(value),
John McCall545d9962011-06-25 02:11:03 +00001308 CGF.MakeAddrLValue(srcAddr, srcAddrType));
John McCallf85e1932011-06-15 23:02:42 +00001309
1310 // Jump to the continuation block.
1311 if (!provablyNonNull)
1312 CGF.EmitBlock(contBB);
1313}
1314
1315static void emitWritebacks(CodeGenFunction &CGF,
1316 const CallArgList &args) {
1317 for (CallArgList::writeback_iterator
1318 i = args.writeback_begin(), e = args.writeback_end(); i != e; ++i)
1319 emitWriteback(CGF, *i);
1320}
1321
1322/// Emit an argument that's being passed call-by-writeback. That is,
1323/// we are passing the address of
1324static void emitWritebackArg(CodeGenFunction &CGF, CallArgList &args,
1325 const ObjCIndirectCopyRestoreExpr *CRE) {
1326 llvm::Value *srcAddr = CGF.EmitScalarExpr(CRE->getSubExpr());
1327
1328 // The dest and src types don't necessarily match in LLVM terms
1329 // because of the crazy ObjC compatibility rules.
1330
Chris Lattner2acc6e32011-07-18 04:24:23 +00001331 llvm::PointerType *destType =
John McCallf85e1932011-06-15 23:02:42 +00001332 cast<llvm::PointerType>(CGF.ConvertType(CRE->getType()));
1333
1334 // If the address is a constant null, just pass the appropriate null.
1335 if (isProvablyNull(srcAddr)) {
1336 args.add(RValue::get(llvm::ConstantPointerNull::get(destType)),
1337 CRE->getType());
1338 return;
1339 }
1340
1341 QualType srcAddrType =
1342 CRE->getSubExpr()->getType()->castAs<PointerType>()->getPointeeType();
1343
1344 // Create the temporary.
1345 llvm::Value *temp = CGF.CreateTempAlloca(destType->getElementType(),
1346 "icr.temp");
1347
1348 // Zero-initialize it if we're not doing a copy-initialization.
1349 bool shouldCopy = CRE->shouldCopy();
1350 if (!shouldCopy) {
1351 llvm::Value *null =
1352 llvm::ConstantPointerNull::get(
1353 cast<llvm::PointerType>(destType->getElementType()));
1354 CGF.Builder.CreateStore(null, temp);
1355 }
1356
1357 llvm::BasicBlock *contBB = 0;
1358
1359 // If the address is *not* known to be non-null, we need to switch.
1360 llvm::Value *finalArgument;
1361
1362 bool provablyNonNull = isProvablyNonNull(srcAddr);
1363 if (provablyNonNull) {
1364 finalArgument = temp;
1365 } else {
1366 llvm::Value *isNull = CGF.Builder.CreateIsNull(srcAddr, "icr.isnull");
1367
1368 finalArgument = CGF.Builder.CreateSelect(isNull,
1369 llvm::ConstantPointerNull::get(destType),
1370 temp, "icr.argument");
1371
1372 // If we need to copy, then the load has to be conditional, which
1373 // means we need control flow.
1374 if (shouldCopy) {
1375 contBB = CGF.createBasicBlock("icr.cont");
1376 llvm::BasicBlock *copyBB = CGF.createBasicBlock("icr.copy");
1377 CGF.Builder.CreateCondBr(isNull, contBB, copyBB);
1378 CGF.EmitBlock(copyBB);
1379 }
1380 }
1381
1382 // Perform a copy if necessary.
1383 if (shouldCopy) {
1384 LValue srcLV = CGF.MakeAddrLValue(srcAddr, srcAddrType);
John McCall545d9962011-06-25 02:11:03 +00001385 RValue srcRV = CGF.EmitLoadOfLValue(srcLV);
John McCallf85e1932011-06-15 23:02:42 +00001386 assert(srcRV.isScalar());
1387
1388 llvm::Value *src = srcRV.getScalarVal();
1389 src = CGF.Builder.CreateBitCast(src, destType->getElementType(),
1390 "icr.cast");
1391
1392 // Use an ordinary store, not a store-to-lvalue.
1393 CGF.Builder.CreateStore(src, temp);
1394 }
1395
1396 // Finish the control flow if we needed it.
1397 if (shouldCopy && !provablyNonNull)
1398 CGF.EmitBlock(contBB);
1399
1400 args.addWriteback(srcAddr, srcAddrType, temp);
1401 args.add(RValue::get(finalArgument), CRE->getType());
1402}
1403
John McCall413ebdb2011-03-11 20:59:21 +00001404void CodeGenFunction::EmitCallArg(CallArgList &args, const Expr *E,
1405 QualType type) {
John McCallf85e1932011-06-15 23:02:42 +00001406 if (const ObjCIndirectCopyRestoreExpr *CRE
1407 = dyn_cast<ObjCIndirectCopyRestoreExpr>(E)) {
1408 assert(getContext().getLangOptions().ObjCAutoRefCount);
1409 assert(getContext().hasSameType(E->getType(), type));
1410 return emitWritebackArg(*this, args, CRE);
1411 }
1412
John McCall413ebdb2011-03-11 20:59:21 +00001413 if (type->isReferenceType())
1414 return args.add(EmitReferenceBindingToExpr(E, /*InitializedDecl=*/0),
1415 type);
Mike Stump1eb44332009-09-09 15:08:12 +00001416
Eli Friedman70cbd2a2011-06-15 18:26:32 +00001417 if (hasAggregateLLVMType(type) && !E->getType()->isAnyComplexType() &&
1418 isa<ImplicitCastExpr>(E) &&
Eli Friedman55d48482011-05-26 00:10:27 +00001419 cast<CastExpr>(E)->getCastKind() == CK_LValueToRValue) {
1420 LValue L = EmitLValue(cast<CastExpr>(E)->getSubExpr());
1421 assert(L.isSimple());
1422 args.add(RValue::getAggregate(L.getAddress(), L.isVolatileQualified()),
1423 type, /*NeedsCopy*/true);
1424 return;
1425 }
1426
John McCall413ebdb2011-03-11 20:59:21 +00001427 args.add(EmitAnyExprToTemp(E), type);
Anders Carlsson0139bb92009-04-08 20:47:54 +00001428}
1429
John McCallf1549f62010-07-06 01:34:17 +00001430/// Emits a call or invoke instruction to the given function, depending
1431/// on the current state of the EH stack.
1432llvm::CallSite
1433CodeGenFunction::EmitCallOrInvoke(llvm::Value *Callee,
Jay Foad4c7d9f12011-07-15 08:37:34 +00001434 llvm::ArrayRef<llvm::Value *> Args,
John McCallf1549f62010-07-06 01:34:17 +00001435 const llvm::Twine &Name) {
1436 llvm::BasicBlock *InvokeDest = getInvokeDest();
1437 if (!InvokeDest)
Jay Foad4c7d9f12011-07-15 08:37:34 +00001438 return Builder.CreateCall(Callee, Args, Name);
John McCallf1549f62010-07-06 01:34:17 +00001439
1440 llvm::BasicBlock *ContBB = createBasicBlock("invoke.cont");
1441 llvm::InvokeInst *Invoke = Builder.CreateInvoke(Callee, ContBB, InvokeDest,
Jay Foad4c7d9f12011-07-15 08:37:34 +00001442 Args, Name);
John McCallf1549f62010-07-06 01:34:17 +00001443 EmitBlock(ContBB);
1444 return Invoke;
1445}
1446
Jay Foad4c7d9f12011-07-15 08:37:34 +00001447llvm::CallSite
1448CodeGenFunction::EmitCallOrInvoke(llvm::Value *Callee,
1449 const llvm::Twine &Name) {
1450 return EmitCallOrInvoke(Callee, llvm::ArrayRef<llvm::Value *>(), Name);
1451}
1452
Chris Lattner70855442011-07-12 04:46:18 +00001453static void checkArgMatches(llvm::Value *Elt, unsigned &ArgNo,
1454 llvm::FunctionType *FTy) {
1455 if (ArgNo < FTy->getNumParams())
1456 assert(Elt->getType() == FTy->getParamType(ArgNo));
1457 else
1458 assert(FTy->isVarArg());
1459 ++ArgNo;
1460}
1461
Chris Lattner811bf362011-07-12 06:29:11 +00001462void CodeGenFunction::ExpandTypeToArgs(QualType Ty, RValue RV,
1463 llvm::SmallVector<llvm::Value*,16> &Args,
1464 llvm::FunctionType *IRFuncTy) {
1465 const RecordType *RT = Ty->getAsStructureType();
1466 assert(RT && "Can only expand structure types.");
1467
1468 RecordDecl *RD = RT->getDecl();
1469 assert(RV.isAggregate() && "Unexpected rvalue during struct expansion");
1470 llvm::Value *Addr = RV.getAggregateAddr();
1471 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
1472 i != e; ++i) {
1473 FieldDecl *FD = *i;
1474 QualType FT = FD->getType();
1475
1476 // FIXME: What are the right qualifiers here?
1477 LValue LV = EmitLValueForField(Addr, FD, 0);
1478 if (CodeGenFunction::hasAggregateLLVMType(FT)) {
1479 ExpandTypeToArgs(FT, RValue::getAggregate(LV.getAddress()),
1480 Args, IRFuncTy);
1481 continue;
1482 }
1483
1484 RValue RV = EmitLoadOfLValue(LV);
1485 assert(RV.isScalar() &&
1486 "Unexpected non-scalar rvalue during struct expansion.");
1487
1488 // Insert a bitcast as needed.
1489 llvm::Value *V = RV.getScalarVal();
1490 if (Args.size() < IRFuncTy->getNumParams() &&
1491 V->getType() != IRFuncTy->getParamType(Args.size()))
1492 V = Builder.CreateBitCast(V, IRFuncTy->getParamType(Args.size()));
1493
1494 Args.push_back(V);
1495 }
1496}
1497
1498
Daniel Dunbar88b53962009-02-02 22:03:45 +00001499RValue CodeGenFunction::EmitCall(const CGFunctionInfo &CallInfo,
Mike Stump1eb44332009-09-09 15:08:12 +00001500 llvm::Value *Callee,
Anders Carlssonf3c47c92009-12-24 19:25:24 +00001501 ReturnValueSlot ReturnValue,
Daniel Dunbarc0ef9f52009-02-20 18:06:48 +00001502 const CallArgList &CallArgs,
David Chisnalldd5c98f2010-05-01 11:15:56 +00001503 const Decl *TargetDecl,
David Chisnall4b02afc2010-05-02 13:41:58 +00001504 llvm::Instruction **callOrInvoke) {
Mike Stumpf5408fe2009-05-16 07:57:57 +00001505 // FIXME: We no longer need the types from CallArgs; lift up and simplify.
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001506 llvm::SmallVector<llvm::Value*, 16> Args;
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001507
1508 // Handle struct-return functions by passing a pointer to the
1509 // location that we would like to return into.
Daniel Dunbarbb36d332009-02-02 21:43:58 +00001510 QualType RetTy = CallInfo.getReturnType();
Daniel Dunbarb225be42009-02-03 05:59:18 +00001511 const ABIArgInfo &RetAI = CallInfo.getReturnInfo();
Mike Stump1eb44332009-09-09 15:08:12 +00001512
Chris Lattner70855442011-07-12 04:46:18 +00001513 // IRArgNo - Keep track of the argument number in the callee we're looking at.
1514 unsigned IRArgNo = 0;
1515 llvm::FunctionType *IRFuncTy =
1516 cast<llvm::FunctionType>(
1517 cast<llvm::PointerType>(Callee->getType())->getElementType());
Mike Stump1eb44332009-09-09 15:08:12 +00001518
Chris Lattner5db7ae52009-06-13 00:26:38 +00001519 // If the call returns a temporary with struct return, create a temporary
Anders Carlssond2490a92009-12-24 20:40:36 +00001520 // alloca to hold the result, unless one is given to us.
Daniel Dunbardacf9dd2010-07-14 23:39:36 +00001521 if (CGM.ReturnTypeUsesSRet(CallInfo)) {
Anders Carlssond2490a92009-12-24 20:40:36 +00001522 llvm::Value *Value = ReturnValue.getValue();
1523 if (!Value)
Daniel Dunbar195337d2010-02-09 02:48:28 +00001524 Value = CreateMemTemp(RetTy);
Anders Carlssond2490a92009-12-24 20:40:36 +00001525 Args.push_back(Value);
Chris Lattner70855442011-07-12 04:46:18 +00001526 checkArgMatches(Value, IRArgNo, IRFuncTy);
Anders Carlssond2490a92009-12-24 20:40:36 +00001527 }
Mike Stump1eb44332009-09-09 15:08:12 +00001528
Daniel Dunbar4b5f0a42009-02-04 21:17:21 +00001529 assert(CallInfo.arg_size() == CallArgs.size() &&
1530 "Mismatch between function signature & arguments.");
Daniel Dunbarb225be42009-02-03 05:59:18 +00001531 CGFunctionInfo::const_arg_iterator info_it = CallInfo.arg_begin();
Mike Stump1eb44332009-09-09 15:08:12 +00001532 for (CallArgList::const_iterator I = CallArgs.begin(), E = CallArgs.end();
Daniel Dunbarb225be42009-02-03 05:59:18 +00001533 I != E; ++I, ++info_it) {
1534 const ABIArgInfo &ArgInfo = info_it->info;
Eli Friedmanc6d07822011-05-02 18:05:27 +00001535 RValue RV = I->RV;
Daniel Dunbar56273772008-09-17 00:51:38 +00001536
Eli Friedman97cb5a42011-06-15 22:09:18 +00001537 unsigned TypeAlign =
Eli Friedmanc6d07822011-05-02 18:05:27 +00001538 getContext().getTypeAlignInChars(I->Ty).getQuantity();
Daniel Dunbar56273772008-09-17 00:51:38 +00001539 switch (ArgInfo.getKind()) {
Daniel Dunbar91a16fa2010-08-21 02:24:36 +00001540 case ABIArgInfo::Indirect: {
Daniel Dunbar1f745982009-02-05 09:16:39 +00001541 if (RV.isScalar() || RV.isComplex()) {
1542 // Make a temporary alloca to pass the argument.
Eli Friedman70cbd2a2011-06-15 18:26:32 +00001543 llvm::AllocaInst *AI = CreateMemTemp(I->Ty);
1544 if (ArgInfo.getIndirectAlign() > AI->getAlignment())
1545 AI->setAlignment(ArgInfo.getIndirectAlign());
1546 Args.push_back(AI);
Chris Lattner70855442011-07-12 04:46:18 +00001547
Daniel Dunbar1f745982009-02-05 09:16:39 +00001548 if (RV.isScalar())
Daniel Dunbar91a16fa2010-08-21 02:24:36 +00001549 EmitStoreOfScalar(RV.getScalarVal(), Args.back(), false,
Eli Friedman97cb5a42011-06-15 22:09:18 +00001550 TypeAlign, I->Ty);
Daniel Dunbar1f745982009-02-05 09:16:39 +00001551 else
Mike Stump1eb44332009-09-09 15:08:12 +00001552 StoreComplexToAddr(RV.getComplexVal(), Args.back(), false);
Chris Lattner70855442011-07-12 04:46:18 +00001553
1554 // Validate argument match.
1555 checkArgMatches(AI, IRArgNo, IRFuncTy);
Daniel Dunbar1f745982009-02-05 09:16:39 +00001556 } else {
Eli Friedmanea5e4da2011-06-14 01:37:52 +00001557 // We want to avoid creating an unnecessary temporary+copy here;
1558 // however, we need one in two cases:
1559 // 1. If the argument is not byval, and we are required to copy the
1560 // source. (This case doesn't occur on any common architecture.)
1561 // 2. If the argument is byval, RV is not sufficiently aligned, and
1562 // we cannot force it to be sufficiently aligned.
Eli Friedman97cb5a42011-06-15 22:09:18 +00001563 llvm::Value *Addr = RV.getAggregateAddr();
1564 unsigned Align = ArgInfo.getIndirectAlign();
1565 const llvm::TargetData *TD = &CGM.getTargetData();
1566 if ((!ArgInfo.getIndirectByVal() && I->NeedsCopy) ||
1567 (ArgInfo.getIndirectByVal() && TypeAlign < Align &&
1568 llvm::getOrEnforceKnownAlignment(Addr, Align, TD) < Align)) {
Eli Friedmanea5e4da2011-06-14 01:37:52 +00001569 // Create an aligned temporary, and copy to it.
Eli Friedman97cb5a42011-06-15 22:09:18 +00001570 llvm::AllocaInst *AI = CreateMemTemp(I->Ty);
1571 if (Align > AI->getAlignment())
1572 AI->setAlignment(Align);
Eli Friedmanea5e4da2011-06-14 01:37:52 +00001573 Args.push_back(AI);
Eli Friedman97cb5a42011-06-15 22:09:18 +00001574 EmitAggregateCopy(AI, Addr, I->Ty, RV.isVolatileQualified());
Chris Lattner70855442011-07-12 04:46:18 +00001575
1576 // Validate argument match.
1577 checkArgMatches(AI, IRArgNo, IRFuncTy);
Eli Friedmanea5e4da2011-06-14 01:37:52 +00001578 } else {
1579 // Skip the extra memcpy call.
Eli Friedman97cb5a42011-06-15 22:09:18 +00001580 Args.push_back(Addr);
Chris Lattner70855442011-07-12 04:46:18 +00001581
1582 // Validate argument match.
1583 checkArgMatches(Addr, IRArgNo, IRFuncTy);
Eli Friedmanea5e4da2011-06-14 01:37:52 +00001584 }
Daniel Dunbar1f745982009-02-05 09:16:39 +00001585 }
1586 break;
Daniel Dunbar91a16fa2010-08-21 02:24:36 +00001587 }
Daniel Dunbar1f745982009-02-05 09:16:39 +00001588
Daniel Dunbar11434922009-01-26 21:26:08 +00001589 case ABIArgInfo::Ignore:
1590 break;
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001591
Chris Lattner800588f2010-07-29 06:26:06 +00001592 case ABIArgInfo::Extend:
1593 case ABIArgInfo::Direct: {
1594 if (!isa<llvm::StructType>(ArgInfo.getCoerceToType()) &&
Chris Lattner117e3f42010-07-30 04:02:24 +00001595 ArgInfo.getCoerceToType() == ConvertType(info_it->type) &&
1596 ArgInfo.getDirectOffset() == 0) {
Chris Lattner70855442011-07-12 04:46:18 +00001597 llvm::Value *V;
Chris Lattner800588f2010-07-29 06:26:06 +00001598 if (RV.isScalar())
Chris Lattner70855442011-07-12 04:46:18 +00001599 V = RV.getScalarVal();
Chris Lattner800588f2010-07-29 06:26:06 +00001600 else
Chris Lattner70855442011-07-12 04:46:18 +00001601 V = Builder.CreateLoad(RV.getAggregateAddr());
1602
Chris Lattner21ca1fd2011-07-12 04:53:39 +00001603 // If the argument doesn't match, perform a bitcast to coerce it. This
1604 // can happen due to trivial type mismatches.
1605 if (IRArgNo < IRFuncTy->getNumParams() &&
1606 V->getType() != IRFuncTy->getParamType(IRArgNo))
1607 V = Builder.CreateBitCast(V, IRFuncTy->getParamType(IRArgNo));
Chris Lattner70855442011-07-12 04:46:18 +00001608 Args.push_back(V);
1609
Chris Lattner70855442011-07-12 04:46:18 +00001610 checkArgMatches(V, IRArgNo, IRFuncTy);
Chris Lattner800588f2010-07-29 06:26:06 +00001611 break;
1612 }
Daniel Dunbar11434922009-01-26 21:26:08 +00001613
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00001614 // FIXME: Avoid the conversion through memory if possible.
1615 llvm::Value *SrcPtr;
1616 if (RV.isScalar()) {
Eli Friedmanc6d07822011-05-02 18:05:27 +00001617 SrcPtr = CreateMemTemp(I->Ty, "coerce");
Eli Friedman97cb5a42011-06-15 22:09:18 +00001618 EmitStoreOfScalar(RV.getScalarVal(), SrcPtr, false, TypeAlign, I->Ty);
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00001619 } else if (RV.isComplex()) {
Eli Friedmanc6d07822011-05-02 18:05:27 +00001620 SrcPtr = CreateMemTemp(I->Ty, "coerce");
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00001621 StoreComplexToAddr(RV.getComplexVal(), SrcPtr, false);
Mike Stump1eb44332009-09-09 15:08:12 +00001622 } else
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00001623 SrcPtr = RV.getAggregateAddr();
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001624
Chris Lattner117e3f42010-07-30 04:02:24 +00001625 // If the value is offset in memory, apply the offset now.
1626 if (unsigned Offs = ArgInfo.getDirectOffset()) {
1627 SrcPtr = Builder.CreateBitCast(SrcPtr, Builder.getInt8PtrTy());
1628 SrcPtr = Builder.CreateConstGEP1_32(SrcPtr, Offs);
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001629 SrcPtr = Builder.CreateBitCast(SrcPtr,
Chris Lattner117e3f42010-07-30 04:02:24 +00001630 llvm::PointerType::getUnqual(ArgInfo.getCoerceToType()));
1631
1632 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001633
Chris Lattnerce700162010-06-28 23:44:11 +00001634 // If the coerce-to type is a first class aggregate, we flatten it and
1635 // pass the elements. Either way is semantically identical, but fast-isel
1636 // and the optimizer generally likes scalar values better than FCAs.
Chris Lattner2acc6e32011-07-18 04:24:23 +00001637 if (llvm::StructType *STy =
Chris Lattner309c59f2010-06-29 00:06:42 +00001638 dyn_cast<llvm::StructType>(ArgInfo.getCoerceToType())) {
Chris Lattner92826882010-07-05 20:41:41 +00001639 SrcPtr = Builder.CreateBitCast(SrcPtr,
1640 llvm::PointerType::getUnqual(STy));
1641 for (unsigned i = 0, e = STy->getNumElements(); i != e; ++i) {
1642 llvm::Value *EltPtr = Builder.CreateConstGEP2_32(SrcPtr, 0, i);
Chris Lattnerdeabde22010-07-28 18:24:28 +00001643 llvm::LoadInst *LI = Builder.CreateLoad(EltPtr);
1644 // We don't know what we're loading from.
1645 LI->setAlignment(1);
1646 Args.push_back(LI);
Chris Lattner70855442011-07-12 04:46:18 +00001647
1648 // Validate argument match.
1649 checkArgMatches(LI, IRArgNo, IRFuncTy);
Chris Lattner309c59f2010-06-29 00:06:42 +00001650 }
Chris Lattnerce700162010-06-28 23:44:11 +00001651 } else {
Chris Lattner309c59f2010-06-29 00:06:42 +00001652 // In the simple case, just pass the coerced loaded value.
1653 Args.push_back(CreateCoercedLoad(SrcPtr, ArgInfo.getCoerceToType(),
1654 *this));
Chris Lattner70855442011-07-12 04:46:18 +00001655
1656 // Validate argument match.
1657 checkArgMatches(Args.back(), IRArgNo, IRFuncTy);
Chris Lattnerce700162010-06-28 23:44:11 +00001658 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001659
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00001660 break;
1661 }
1662
Daniel Dunbar56273772008-09-17 00:51:38 +00001663 case ABIArgInfo::Expand:
Chris Lattner811bf362011-07-12 06:29:11 +00001664 ExpandTypeToArgs(I->Ty, RV, Args, IRFuncTy);
Chris Lattner70855442011-07-12 04:46:18 +00001665 IRArgNo = Args.size();
Daniel Dunbar56273772008-09-17 00:51:38 +00001666 break;
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001667 }
1668 }
Mike Stump1eb44332009-09-09 15:08:12 +00001669
Chris Lattner5db7ae52009-06-13 00:26:38 +00001670 // If the callee is a bitcast of a function to a varargs pointer to function
1671 // type, check to see if we can remove the bitcast. This handles some cases
1672 // with unprototyped functions.
1673 if (llvm::ConstantExpr *CE = dyn_cast<llvm::ConstantExpr>(Callee))
1674 if (llvm::Function *CalleeF = dyn_cast<llvm::Function>(CE->getOperand(0))) {
Chris Lattner2acc6e32011-07-18 04:24:23 +00001675 llvm::PointerType *CurPT=cast<llvm::PointerType>(Callee->getType());
1676 llvm::FunctionType *CurFT =
Chris Lattner5db7ae52009-06-13 00:26:38 +00001677 cast<llvm::FunctionType>(CurPT->getElementType());
Chris Lattner2acc6e32011-07-18 04:24:23 +00001678 llvm::FunctionType *ActualFT = CalleeF->getFunctionType();
Mike Stump1eb44332009-09-09 15:08:12 +00001679
Chris Lattner5db7ae52009-06-13 00:26:38 +00001680 if (CE->getOpcode() == llvm::Instruction::BitCast &&
1681 ActualFT->getReturnType() == CurFT->getReturnType() &&
Chris Lattnerd6bebbf2009-06-23 01:38:41 +00001682 ActualFT->getNumParams() == CurFT->getNumParams() &&
Fariborz Jahanianc0ddef22011-03-01 17:28:13 +00001683 ActualFT->getNumParams() == Args.size() &&
1684 (CurFT->isVarArg() || !ActualFT->isVarArg())) {
Chris Lattner5db7ae52009-06-13 00:26:38 +00001685 bool ArgsMatch = true;
1686 for (unsigned i = 0, e = ActualFT->getNumParams(); i != e; ++i)
1687 if (ActualFT->getParamType(i) != CurFT->getParamType(i)) {
1688 ArgsMatch = false;
1689 break;
1690 }
Mike Stump1eb44332009-09-09 15:08:12 +00001691
Chris Lattner5db7ae52009-06-13 00:26:38 +00001692 // Strip the cast if we can get away with it. This is a nice cleanup,
1693 // but also allows us to inline the function at -O0 if it is marked
1694 // always_inline.
1695 if (ArgsMatch)
1696 Callee = CalleeF;
1697 }
1698 }
Mike Stump1eb44332009-09-09 15:08:12 +00001699
Daniel Dunbarca6408c2009-09-12 00:59:20 +00001700 unsigned CallingConv;
Devang Patel761d7f72008-09-25 21:02:23 +00001701 CodeGen::AttributeListType AttributeList;
Daniel Dunbarca6408c2009-09-12 00:59:20 +00001702 CGM.ConstructAttributeList(CallInfo, TargetDecl, AttributeList, CallingConv);
Daniel Dunbar9834ffb2009-02-23 17:26:39 +00001703 llvm::AttrListPtr Attrs = llvm::AttrListPtr::get(AttributeList.begin(),
1704 AttributeList.end());
Mike Stump1eb44332009-09-09 15:08:12 +00001705
John McCallf1549f62010-07-06 01:34:17 +00001706 llvm::BasicBlock *InvokeDest = 0;
1707 if (!(Attrs.getFnAttributes() & llvm::Attribute::NoUnwind))
1708 InvokeDest = getInvokeDest();
1709
Daniel Dunbard14151d2009-03-02 04:32:35 +00001710 llvm::CallSite CS;
John McCallf1549f62010-07-06 01:34:17 +00001711 if (!InvokeDest) {
Jay Foad4c7d9f12011-07-15 08:37:34 +00001712 CS = Builder.CreateCall(Callee, Args);
Daniel Dunbar9834ffb2009-02-23 17:26:39 +00001713 } else {
1714 llvm::BasicBlock *Cont = createBasicBlock("invoke.cont");
Jay Foad4c7d9f12011-07-15 08:37:34 +00001715 CS = Builder.CreateInvoke(Callee, Cont, InvokeDest, Args);
Daniel Dunbar9834ffb2009-02-23 17:26:39 +00001716 EmitBlock(Cont);
Daniel Dunbarf4fe0f02009-02-20 18:54:31 +00001717 }
Chris Lattnerce933992010-06-29 16:40:28 +00001718 if (callOrInvoke)
David Chisnall4b02afc2010-05-02 13:41:58 +00001719 *callOrInvoke = CS.getInstruction();
Daniel Dunbarf4fe0f02009-02-20 18:54:31 +00001720
Daniel Dunbard14151d2009-03-02 04:32:35 +00001721 CS.setAttributes(Attrs);
Daniel Dunbarca6408c2009-09-12 00:59:20 +00001722 CS.setCallingConv(static_cast<llvm::CallingConv::ID>(CallingConv));
Daniel Dunbard14151d2009-03-02 04:32:35 +00001723
1724 // If the call doesn't return, finish the basic block and clear the
1725 // insertion point; this allows the rest of IRgen to discard
1726 // unreachable code.
1727 if (CS.doesNotReturn()) {
1728 Builder.CreateUnreachable();
1729 Builder.ClearInsertionPoint();
Mike Stump1eb44332009-09-09 15:08:12 +00001730
Mike Stumpf5408fe2009-05-16 07:57:57 +00001731 // FIXME: For now, emit a dummy basic block because expr emitters in
1732 // generally are not ready to handle emitting expressions at unreachable
1733 // points.
Daniel Dunbard14151d2009-03-02 04:32:35 +00001734 EnsureInsertPoint();
Mike Stump1eb44332009-09-09 15:08:12 +00001735
Daniel Dunbard14151d2009-03-02 04:32:35 +00001736 // Return a reasonable RValue.
1737 return GetUndefRValue(RetTy);
Mike Stump1eb44332009-09-09 15:08:12 +00001738 }
Daniel Dunbard14151d2009-03-02 04:32:35 +00001739
1740 llvm::Instruction *CI = CS.getInstruction();
Benjamin Kramerffbb15e2009-10-05 13:47:21 +00001741 if (Builder.isNamePreserving() && !CI->getType()->isVoidTy())
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001742 CI->setName("call");
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001743
John McCallf85e1932011-06-15 23:02:42 +00001744 // Emit any writebacks immediately. Arguably this should happen
1745 // after any return-value munging.
1746 if (CallArgs.hasWritebacks())
1747 emitWritebacks(*this, CallArgs);
1748
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001749 switch (RetAI.getKind()) {
Daniel Dunbar91a16fa2010-08-21 02:24:36 +00001750 case ABIArgInfo::Indirect: {
1751 unsigned Alignment = getContext().getTypeAlignInChars(RetTy).getQuantity();
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001752 if (RetTy->isAnyComplexType())
Daniel Dunbar56273772008-09-17 00:51:38 +00001753 return RValue::getComplex(LoadComplexFromAddr(Args[0], false));
Chris Lattner34030842009-03-22 00:32:22 +00001754 if (CodeGenFunction::hasAggregateLLVMType(RetTy))
Daniel Dunbar56273772008-09-17 00:51:38 +00001755 return RValue::getAggregate(Args[0]);
Daniel Dunbar91a16fa2010-08-21 02:24:36 +00001756 return RValue::get(EmitLoadOfScalar(Args[0], false, Alignment, RetTy));
1757 }
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001758
Daniel Dunbar11434922009-01-26 21:26:08 +00001759 case ABIArgInfo::Ignore:
Daniel Dunbar0bcc5212009-02-03 06:30:17 +00001760 // If we are ignoring an argument that had a result, make sure to
1761 // construct the appropriate return value for our caller.
Daniel Dunbar13e81732009-02-05 07:09:07 +00001762 return GetUndefRValue(RetTy);
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001763
Chris Lattner800588f2010-07-29 06:26:06 +00001764 case ABIArgInfo::Extend:
1765 case ABIArgInfo::Direct: {
Chris Lattner6af13f32011-07-13 03:59:32 +00001766 llvm::Type *RetIRTy = ConvertType(RetTy);
1767 if (RetAI.getCoerceToType() == RetIRTy && RetAI.getDirectOffset() == 0) {
Chris Lattner800588f2010-07-29 06:26:06 +00001768 if (RetTy->isAnyComplexType()) {
1769 llvm::Value *Real = Builder.CreateExtractValue(CI, 0);
1770 llvm::Value *Imag = Builder.CreateExtractValue(CI, 1);
1771 return RValue::getComplex(std::make_pair(Real, Imag));
1772 }
1773 if (CodeGenFunction::hasAggregateLLVMType(RetTy)) {
1774 llvm::Value *DestPtr = ReturnValue.getValue();
1775 bool DestIsVolatile = ReturnValue.isVolatile();
Daniel Dunbar11434922009-01-26 21:26:08 +00001776
Chris Lattner800588f2010-07-29 06:26:06 +00001777 if (!DestPtr) {
1778 DestPtr = CreateMemTemp(RetTy, "agg.tmp");
1779 DestIsVolatile = false;
1780 }
Eli Friedmanbadea572011-05-17 21:08:01 +00001781 BuildAggStore(*this, CI, DestPtr, DestIsVolatile, false);
Chris Lattner800588f2010-07-29 06:26:06 +00001782 return RValue::getAggregate(DestPtr);
1783 }
Chris Lattner6af13f32011-07-13 03:59:32 +00001784
1785 // If the argument doesn't match, perform a bitcast to coerce it. This
1786 // can happen due to trivial type mismatches.
1787 llvm::Value *V = CI;
1788 if (V->getType() != RetIRTy)
1789 V = Builder.CreateBitCast(V, RetIRTy);
1790 return RValue::get(V);
Chris Lattner800588f2010-07-29 06:26:06 +00001791 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001792
Anders Carlssond2490a92009-12-24 20:40:36 +00001793 llvm::Value *DestPtr = ReturnValue.getValue();
1794 bool DestIsVolatile = ReturnValue.isVolatile();
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001795
Anders Carlssond2490a92009-12-24 20:40:36 +00001796 if (!DestPtr) {
Daniel Dunbar195337d2010-02-09 02:48:28 +00001797 DestPtr = CreateMemTemp(RetTy, "coerce");
Anders Carlssond2490a92009-12-24 20:40:36 +00001798 DestIsVolatile = false;
1799 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001800
Chris Lattner117e3f42010-07-30 04:02:24 +00001801 // If the value is offset in memory, apply the offset now.
1802 llvm::Value *StorePtr = DestPtr;
1803 if (unsigned Offs = RetAI.getDirectOffset()) {
1804 StorePtr = Builder.CreateBitCast(StorePtr, Builder.getInt8PtrTy());
1805 StorePtr = Builder.CreateConstGEP1_32(StorePtr, Offs);
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001806 StorePtr = Builder.CreateBitCast(StorePtr,
Chris Lattner117e3f42010-07-30 04:02:24 +00001807 llvm::PointerType::getUnqual(RetAI.getCoerceToType()));
1808 }
1809 CreateCoercedStore(CI, StorePtr, DestIsVolatile, *this);
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001810
Daniel Dunbar91a16fa2010-08-21 02:24:36 +00001811 unsigned Alignment = getContext().getTypeAlignInChars(RetTy).getQuantity();
Anders Carlssonad3d6912008-11-25 22:21:48 +00001812 if (RetTy->isAnyComplexType())
Anders Carlssond2490a92009-12-24 20:40:36 +00001813 return RValue::getComplex(LoadComplexFromAddr(DestPtr, false));
Chris Lattner34030842009-03-22 00:32:22 +00001814 if (CodeGenFunction::hasAggregateLLVMType(RetTy))
Anders Carlssond2490a92009-12-24 20:40:36 +00001815 return RValue::getAggregate(DestPtr);
Daniel Dunbar91a16fa2010-08-21 02:24:36 +00001816 return RValue::get(EmitLoadOfScalar(DestPtr, false, Alignment, RetTy));
Daniel Dunbar639ffe42008-09-10 07:04:09 +00001817 }
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001818
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001819 case ABIArgInfo::Expand:
Mike Stump1eb44332009-09-09 15:08:12 +00001820 assert(0 && "Invalid ABI kind for return argument");
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001821 }
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001822
1823 assert(0 && "Unhandled ABIArgInfo::Kind");
1824 return RValue::get(0);
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001825}
Daniel Dunbarb4094ea2009-02-10 20:44:09 +00001826
1827/* VarArg handling */
1828
1829llvm::Value *CodeGenFunction::EmitVAArg(llvm::Value *VAListAddr, QualType Ty) {
1830 return CGM.getTypes().getABIInfo().EmitVAArg(VAListAddr, Ty, *this);
1831}