blob: 22a234fea99724d79f200a1aa51328fc9e2b497d [file] [log] [blame]
Daniel Dunbar0dbe2272008-09-08 21:33:45 +00001//===----- CGCall.h - Encapsulate calling convention details ----*- C++ -*-===//
2//
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"
16#include "CodeGenFunction.h"
Daniel Dunbarb7688072008-09-10 00:41:16 +000017#include "CodeGenModule.h"
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +000018#include "clang/Basic/TargetInfo.h"
Daniel Dunbar0dbe2272008-09-08 21:33:45 +000019#include "clang/AST/ASTContext.h"
20#include "clang/AST/Decl.h"
Anders Carlssonf6f8ae52009-04-03 22:48:58 +000021#include "clang/AST/DeclCXX.h"
Daniel Dunbar0dbe2272008-09-08 21:33:45 +000022#include "clang/AST/DeclObjC.h"
Daniel Dunbar99037e52009-01-29 08:13:58 +000023#include "clang/AST/RecordLayout.h"
Daniel Dunbar56273772008-09-17 00:51:38 +000024#include "llvm/ADT/StringExtras.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 Dunbarbe9eb092009-02-12 09:04:14 +000027#include "llvm/Support/MathExtras.h"
Daniel Dunbar54d1ccb2009-01-27 01:36:03 +000028#include "llvm/Target/TargetData.h"
Daniel Dunbar9eb5c6d2009-02-03 01:05:53 +000029
30#include "ABIInfo.h"
31
Daniel Dunbar0dbe2272008-09-08 21:33:45 +000032using namespace clang;
33using namespace CodeGen;
34
35/***/
36
Daniel Dunbar0dbe2272008-09-08 21:33:45 +000037// FIXME: Use iterator and sidestep silly type array creation.
38
Daniel Dunbar541b63b2009-02-02 23:23:47 +000039const
Douglas Gregor72564e72009-02-26 23:50:07 +000040CGFunctionInfo &CodeGenTypes::getFunctionInfo(const FunctionNoProtoType *FTNP) {
Daniel Dunbar541b63b2009-02-02 23:23:47 +000041 return getFunctionInfo(FTNP->getResultType(),
42 llvm::SmallVector<QualType, 16>());
Daniel Dunbar45c25ba2008-09-10 04:01:49 +000043}
44
Daniel Dunbar541b63b2009-02-02 23:23:47 +000045const
Douglas Gregor72564e72009-02-26 23:50:07 +000046CGFunctionInfo &CodeGenTypes::getFunctionInfo(const FunctionProtoType *FTP) {
Daniel Dunbar541b63b2009-02-02 23:23:47 +000047 llvm::SmallVector<QualType, 16> ArgTys;
48 // FIXME: Kill copy.
Daniel Dunbar45c25ba2008-09-10 04:01:49 +000049 for (unsigned i = 0, e = FTP->getNumArgs(); i != e; ++i)
Daniel Dunbar541b63b2009-02-02 23:23:47 +000050 ArgTys.push_back(FTP->getArgType(i));
51 return getFunctionInfo(FTP->getResultType(), ArgTys);
Daniel Dunbar45c25ba2008-09-10 04:01:49 +000052}
53
Anders Carlssonf6f8ae52009-04-03 22:48:58 +000054const CGFunctionInfo &CodeGenTypes::getFunctionInfo(const CXXMethodDecl *MD) {
55 llvm::SmallVector<QualType, 16> ArgTys;
Chris Lattner3eb67ca2009-05-12 20:27:19 +000056 // Add the 'this' pointer unless this is a static method.
57 if (MD->isInstance())
58 ArgTys.push_back(MD->getThisType(Context));
Anders Carlssonf6f8ae52009-04-03 22:48:58 +000059
60 const FunctionProtoType *FTP = MD->getType()->getAsFunctionProtoType();
61 for (unsigned i = 0, e = FTP->getNumArgs(); i != e; ++i)
62 ArgTys.push_back(FTP->getArgType(i));
63 return getFunctionInfo(FTP->getResultType(), ArgTys);
64}
65
Daniel Dunbar541b63b2009-02-02 23:23:47 +000066const CGFunctionInfo &CodeGenTypes::getFunctionInfo(const FunctionDecl *FD) {
Chris Lattner3eb67ca2009-05-12 20:27:19 +000067 if (const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(FD))
Anders Carlssonf6f8ae52009-04-03 22:48:58 +000068 if (MD->isInstance())
69 return getFunctionInfo(MD);
Anders Carlssonf6f8ae52009-04-03 22:48:58 +000070
Daniel Dunbar0dbe2272008-09-08 21:33:45 +000071 const FunctionType *FTy = FD->getType()->getAsFunctionType();
Douglas Gregor72564e72009-02-26 23:50:07 +000072 if (const FunctionProtoType *FTP = dyn_cast<FunctionProtoType>(FTy))
Daniel Dunbar541b63b2009-02-02 23:23:47 +000073 return getFunctionInfo(FTP);
Douglas Gregor72564e72009-02-26 23:50:07 +000074 return getFunctionInfo(cast<FunctionNoProtoType>(FTy));
Daniel Dunbar0dbe2272008-09-08 21:33:45 +000075}
76
Daniel Dunbar541b63b2009-02-02 23:23:47 +000077const CGFunctionInfo &CodeGenTypes::getFunctionInfo(const ObjCMethodDecl *MD) {
78 llvm::SmallVector<QualType, 16> ArgTys;
79 ArgTys.push_back(MD->getSelfDecl()->getType());
80 ArgTys.push_back(Context.getObjCSelType());
81 // FIXME: Kill copy?
Chris Lattner20732162009-02-20 06:23:21 +000082 for (ObjCMethodDecl::param_iterator i = MD->param_begin(),
Daniel Dunbar0dbe2272008-09-08 21:33:45 +000083 e = MD->param_end(); i != e; ++i)
Daniel Dunbar541b63b2009-02-02 23:23:47 +000084 ArgTys.push_back((*i)->getType());
85 return getFunctionInfo(MD->getResultType(), ArgTys);
Daniel Dunbar0dbe2272008-09-08 21:33:45 +000086}
87
Daniel Dunbar541b63b2009-02-02 23:23:47 +000088const CGFunctionInfo &CodeGenTypes::getFunctionInfo(QualType ResTy,
89 const CallArgList &Args) {
90 // FIXME: Kill copy.
91 llvm::SmallVector<QualType, 16> ArgTys;
Daniel Dunbar725ad312009-01-31 02:19:00 +000092 for (CallArgList::const_iterator i = Args.begin(), e = Args.end();
93 i != e; ++i)
Daniel Dunbar541b63b2009-02-02 23:23:47 +000094 ArgTys.push_back(i->second);
95 return getFunctionInfo(ResTy, ArgTys);
Daniel Dunbar725ad312009-01-31 02:19:00 +000096}
97
Daniel Dunbar541b63b2009-02-02 23:23:47 +000098const CGFunctionInfo &CodeGenTypes::getFunctionInfo(QualType ResTy,
99 const FunctionArgList &Args) {
100 // FIXME: Kill copy.
101 llvm::SmallVector<QualType, 16> ArgTys;
Daniel Dunbarbb36d332009-02-02 21:43:58 +0000102 for (FunctionArgList::const_iterator i = Args.begin(), e = Args.end();
103 i != e; ++i)
Daniel Dunbar541b63b2009-02-02 23:23:47 +0000104 ArgTys.push_back(i->second);
105 return getFunctionInfo(ResTy, ArgTys);
106}
107
108const CGFunctionInfo &CodeGenTypes::getFunctionInfo(QualType ResTy,
109 const llvm::SmallVector<QualType, 16> &ArgTys) {
Daniel Dunbar40a6be62009-02-03 00:07:12 +0000110 // Lookup or create unique function info.
111 llvm::FoldingSetNodeID ID;
112 CGFunctionInfo::Profile(ID, ResTy, ArgTys.begin(), ArgTys.end());
113
114 void *InsertPos = 0;
115 CGFunctionInfo *FI = FunctionInfos.FindNodeOrInsertPos(ID, InsertPos);
116 if (FI)
117 return *FI;
118
Daniel Dunbar88c2fa92009-02-03 05:31:23 +0000119 // Construct the function info.
Daniel Dunbar40a6be62009-02-03 00:07:12 +0000120 FI = new CGFunctionInfo(ResTy, ArgTys);
Daniel Dunbar35e67d42009-02-05 00:00:23 +0000121 FunctionInfos.InsertNode(FI, InsertPos);
Daniel Dunbar88c2fa92009-02-03 05:31:23 +0000122
123 // Compute ABI information.
Daniel Dunbar6bad2652009-02-03 06:51:18 +0000124 getABIInfo().computeInfo(*FI, getContext());
Daniel Dunbar88c2fa92009-02-03 05:31:23 +0000125
Daniel Dunbar40a6be62009-02-03 00:07:12 +0000126 return *FI;
Daniel Dunbar541b63b2009-02-02 23:23:47 +0000127}
128
129/***/
130
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +0000131ABIInfo::~ABIInfo() {}
132
Daniel Dunbar6f7279b2009-02-04 23:24:38 +0000133void ABIArgInfo::dump() const {
134 fprintf(stderr, "(ABIArgInfo Kind=");
135 switch (TheKind) {
136 case Direct:
137 fprintf(stderr, "Direct");
138 break;
Daniel Dunbar6f7279b2009-02-04 23:24:38 +0000139 case Ignore:
140 fprintf(stderr, "Ignore");
141 break;
142 case Coerce:
143 fprintf(stderr, "Coerce Type=");
144 getCoerceToType()->print(llvm::errs());
Daniel Dunbar6f7279b2009-02-04 23:24:38 +0000145 break;
Daniel Dunbar11e383a2009-02-05 08:00:50 +0000146 case Indirect:
147 fprintf(stderr, "Indirect Align=%d", getIndirectAlign());
Daniel Dunbar6f7279b2009-02-04 23:24:38 +0000148 break;
149 case Expand:
150 fprintf(stderr, "Expand");
151 break;
152 }
153 fprintf(stderr, ")\n");
154}
155
156/***/
157
Daniel Dunbar573b9072009-05-11 18:58:49 +0000158static bool isEmptyRecord(ASTContext &Context, QualType T);
159
160/// isEmptyField - Return true iff a the field is "empty", that is it
161/// is an unnamed bit-field or an (array of) empty record(s).
162static bool isEmptyField(ASTContext &Context, const FieldDecl *FD) {
163 if (FD->isUnnamedBitfield())
164 return true;
165
166 QualType FT = FD->getType();
Daniel Dunbarcc401dc2009-05-11 23:01:34 +0000167 // Constant arrays of empty records count as empty, strip them off.
168 while (const ConstantArrayType *AT = Context.getAsConstantArrayType(FT))
169 FT = AT->getElementType();
Daniel Dunbar573b9072009-05-11 18:58:49 +0000170
171 return isEmptyRecord(Context, FT);
172}
173
174/// isEmptyRecord - Return true iff a structure contains only empty
175/// fields. Note that a structure with a flexible array member is not
Daniel Dunbar834af452008-09-17 21:22:33 +0000176/// considered empty.
Douglas Gregor6ab35242009-04-09 21:40:53 +0000177static bool isEmptyRecord(ASTContext &Context, QualType T) {
Daniel Dunbar5bde6f42009-03-31 19:01:39 +0000178 const RecordType *RT = T->getAsRecordType();
Daniel Dunbar834af452008-09-17 21:22:33 +0000179 if (!RT)
180 return 0;
181 const RecordDecl *RD = RT->getDecl();
182 if (RD->hasFlexibleArrayMember())
183 return false;
Douglas Gregor6ab35242009-04-09 21:40:53 +0000184 for (RecordDecl::field_iterator i = RD->field_begin(Context),
Daniel Dunbar573b9072009-05-11 18:58:49 +0000185 e = RD->field_end(Context); i != e; ++i)
186 if (!isEmptyField(Context, *i))
Daniel Dunbar834af452008-09-17 21:22:33 +0000187 return false;
Daniel Dunbar834af452008-09-17 21:22:33 +0000188 return true;
189}
190
191/// isSingleElementStruct - Determine if a structure is a "single
192/// element struct", i.e. it has exactly one non-empty field or
193/// exactly one field which is itself a single element
194/// struct. Structures with flexible array members are never
195/// considered single element structs.
196///
197/// \return The field declaration for the single non-empty field, if
198/// it exists.
Daniel Dunbardfc6b802009-04-01 07:08:38 +0000199static const Type *isSingleElementStruct(QualType T, ASTContext &Context) {
Daniel Dunbar834af452008-09-17 21:22:33 +0000200 const RecordType *RT = T->getAsStructureType();
201 if (!RT)
202 return 0;
203
204 const RecordDecl *RD = RT->getDecl();
205 if (RD->hasFlexibleArrayMember())
206 return 0;
207
Daniel Dunbardfc6b802009-04-01 07:08:38 +0000208 const Type *Found = 0;
Douglas Gregor6ab35242009-04-09 21:40:53 +0000209 for (RecordDecl::field_iterator i = RD->field_begin(Context),
210 e = RD->field_end(Context); i != e; ++i) {
Daniel Dunbar834af452008-09-17 21:22:33 +0000211 const FieldDecl *FD = *i;
212 QualType FT = FD->getType();
213
Daniel Dunbar573b9072009-05-11 18:58:49 +0000214 // Ignore empty fields.
215 if (isEmptyField(Context, FD))
216 continue;
217
Daniel Dunbarcc401dc2009-05-11 23:01:34 +0000218 // If we already found an element then this isn't a single-element
219 // struct.
Daniel Dunbarfcab2ca2009-05-08 21:04:47 +0000220 if (Found)
Daniel Dunbar834af452008-09-17 21:22:33 +0000221 return 0;
Daniel Dunbarfcab2ca2009-05-08 21:04:47 +0000222
Daniel Dunbarcc401dc2009-05-11 23:01:34 +0000223 // Treat single element arrays as the element.
224 while (const ConstantArrayType *AT = Context.getAsConstantArrayType(FT)) {
225 if (AT->getSize().getZExtValue() != 1)
226 break;
227 FT = AT->getElementType();
228 }
229
Daniel Dunbarfcab2ca2009-05-08 21:04:47 +0000230 if (!CodeGenFunction::hasAggregateLLVMType(FT)) {
Daniel Dunbardfc6b802009-04-01 07:08:38 +0000231 Found = FT.getTypePtr();
Daniel Dunbar834af452008-09-17 21:22:33 +0000232 } else {
Daniel Dunbardfc6b802009-04-01 07:08:38 +0000233 Found = isSingleElementStruct(FT, Context);
Daniel Dunbar834af452008-09-17 21:22:33 +0000234 if (!Found)
235 return 0;
236 }
237 }
238
239 return Found;
240}
241
242static bool is32Or64BitBasicType(QualType Ty, ASTContext &Context) {
243 if (!Ty->getAsBuiltinType() && !Ty->isPointerType())
244 return false;
245
246 uint64_t Size = Context.getTypeSize(Ty);
247 return Size == 32 || Size == 64;
248}
249
250static bool areAllFields32Or64BitBasicType(const RecordDecl *RD,
251 ASTContext &Context) {
Douglas Gregor6ab35242009-04-09 21:40:53 +0000252 for (RecordDecl::field_iterator i = RD->field_begin(Context),
253 e = RD->field_end(Context); i != e; ++i) {
Daniel Dunbar834af452008-09-17 21:22:33 +0000254 const FieldDecl *FD = *i;
255
256 if (!is32Or64BitBasicType(FD->getType(), Context))
257 return false;
258
Mike Stumpf5408fe2009-05-16 07:57:57 +0000259 // FIXME: Reject bit-fields wholesale; there are two problems, we don't know
260 // how to expand them yet, and the predicate for telling if a bitfield still
261 // counts as "basic" is more complicated than what we were doing previously.
Daniel Dunbare06a75f2009-03-11 22:05:26 +0000262 if (FD->isBitField())
263 return false;
Daniel Dunbar834af452008-09-17 21:22:33 +0000264 }
Daniel Dunbare06a75f2009-03-11 22:05:26 +0000265
Daniel Dunbar834af452008-09-17 21:22:33 +0000266 return true;
267}
268
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +0000269namespace {
270/// DefaultABIInfo - The default implementation for ABI specific
271/// details. This implementation provides information which results in
Daniel Dunbar6bad2652009-02-03 06:51:18 +0000272/// self-consistent and sensible LLVM IR generation, but does not
273/// conform to any particular ABI.
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +0000274class DefaultABIInfo : public ABIInfo {
Daniel Dunbar6bad2652009-02-03 06:51:18 +0000275 ABIArgInfo classifyReturnType(QualType RetTy,
276 ASTContext &Context) const;
277
278 ABIArgInfo classifyArgumentType(QualType RetTy,
279 ASTContext &Context) const;
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +0000280
Daniel Dunbar6bad2652009-02-03 06:51:18 +0000281 virtual void computeInfo(CGFunctionInfo &FI, ASTContext &Context) const {
282 FI.getReturnInfo() = classifyReturnType(FI.getReturnType(), Context);
283 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
284 it != ie; ++it)
285 it->info = classifyArgumentType(it->type, Context);
286 }
Daniel Dunbarb4094ea2009-02-10 20:44:09 +0000287
288 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
289 CodeGenFunction &CGF) const;
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +0000290};
291
292/// X86_32ABIInfo - The X86-32 ABI information.
293class X86_32ABIInfo : public ABIInfo {
Douglas Gregor6ab35242009-04-09 21:40:53 +0000294 ASTContext &Context;
Eli Friedman9fd58e82009-03-23 23:26:24 +0000295 bool IsDarwin;
296
Daniel Dunbardfc6b802009-04-01 07:08:38 +0000297 static bool isRegisterSize(unsigned Size) {
298 return (Size == 8 || Size == 16 || Size == 32 || Size == 64);
299 }
300
Daniel Dunbarcf6bde32009-04-01 07:45:00 +0000301 static bool shouldReturnTypeInRegister(QualType Ty, ASTContext &Context);
302
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +0000303public:
Daniel Dunbar6bad2652009-02-03 06:51:18 +0000304 ABIArgInfo classifyReturnType(QualType RetTy,
305 ASTContext &Context) const;
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +0000306
Daniel Dunbar6bad2652009-02-03 06:51:18 +0000307 ABIArgInfo classifyArgumentType(QualType RetTy,
308 ASTContext &Context) const;
309
310 virtual void computeInfo(CGFunctionInfo &FI, ASTContext &Context) const {
311 FI.getReturnInfo() = classifyReturnType(FI.getReturnType(), Context);
312 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
313 it != ie; ++it)
314 it->info = classifyArgumentType(it->type, Context);
315 }
Daniel Dunbarb4094ea2009-02-10 20:44:09 +0000316
317 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
318 CodeGenFunction &CGF) const;
Eli Friedman9fd58e82009-03-23 23:26:24 +0000319
Douglas Gregor6ab35242009-04-09 21:40:53 +0000320 X86_32ABIInfo(ASTContext &Context, bool d)
321 : ABIInfo(), Context(Context), IsDarwin(d) {}
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +0000322};
323}
324
Daniel Dunbarcf6bde32009-04-01 07:45:00 +0000325
326/// shouldReturnTypeInRegister - Determine if the given type should be
327/// passed in a register (for the Darwin ABI).
328bool X86_32ABIInfo::shouldReturnTypeInRegister(QualType Ty,
329 ASTContext &Context) {
330 uint64_t Size = Context.getTypeSize(Ty);
331
332 // Type must be register sized.
333 if (!isRegisterSize(Size))
334 return false;
335
336 if (Ty->isVectorType()) {
337 // 64- and 128- bit vectors inside structures are not returned in
338 // registers.
339 if (Size == 64 || Size == 128)
340 return false;
341
342 return true;
343 }
344
345 // If this is a builtin, pointer, or complex type, it is ok.
346 if (Ty->getAsBuiltinType() || Ty->isPointerType() || Ty->isAnyComplexType())
347 return true;
348
349 // Arrays are treated like records.
350 if (const ConstantArrayType *AT = Context.getAsConstantArrayType(Ty))
351 return shouldReturnTypeInRegister(AT->getElementType(), Context);
352
353 // Otherwise, it must be a record type.
354 const RecordType *RT = Ty->getAsRecordType();
355 if (!RT) return false;
356
357 // Structure types are passed in register if all fields would be
358 // passed in a register.
Douglas Gregor6ab35242009-04-09 21:40:53 +0000359 for (RecordDecl::field_iterator i = RT->getDecl()->field_begin(Context),
360 e = RT->getDecl()->field_end(Context); i != e; ++i) {
Daniel Dunbarcf6bde32009-04-01 07:45:00 +0000361 const FieldDecl *FD = *i;
362
Daniel Dunbar573b9072009-05-11 18:58:49 +0000363 // Empty fields are ignored.
364 if (isEmptyField(Context, FD))
Daniel Dunbarcf6bde32009-04-01 07:45:00 +0000365 continue;
366
367 // Check fields recursively.
368 if (!shouldReturnTypeInRegister(FD->getType(), Context))
369 return false;
370 }
371
372 return true;
373}
374
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +0000375ABIArgInfo X86_32ABIInfo::classifyReturnType(QualType RetTy,
376 ASTContext &Context) const {
Daniel Dunbar0bcc5212009-02-03 06:30:17 +0000377 if (RetTy->isVoidType()) {
378 return ABIArgInfo::getIgnore();
Daniel Dunbar36043162009-04-01 06:13:08 +0000379 } else if (const VectorType *VT = RetTy->getAsVectorType()) {
380 // On Darwin, some vectors are returned in registers.
381 if (IsDarwin) {
382 uint64_t Size = Context.getTypeSize(RetTy);
383
384 // 128-bit vectors are a special case; they are returned in
385 // registers and we need to make sure to pick a type the LLVM
386 // backend will like.
387 if (Size == 128)
388 return ABIArgInfo::getCoerce(llvm::VectorType::get(llvm::Type::Int64Ty,
389 2));
390
391 // Always return in register if it fits in a general purpose
392 // register, or if it is 64 bits and has a single element.
393 if ((Size == 8 || Size == 16 || Size == 32) ||
394 (Size == 64 && VT->getNumElements() == 1))
395 return ABIArgInfo::getCoerce(llvm::IntegerType::get(Size));
396
397 return ABIArgInfo::getIndirect(0);
398 }
399
400 return ABIArgInfo::getDirect();
Daniel Dunbar0bcc5212009-02-03 06:30:17 +0000401 } else if (CodeGenFunction::hasAggregateLLVMType(RetTy)) {
Daniel Dunbar8e034442009-04-27 18:31:32 +0000402 // Structures with flexible arrays are always indirect.
403 if (const RecordType *RT = RetTy->getAsStructureType())
404 if (RT->getDecl()->hasFlexibleArrayMember())
405 return ABIArgInfo::getIndirect(0);
406
Eli Friedman9fd58e82009-03-23 23:26:24 +0000407 // Outside of Darwin, structs and unions are always indirect.
408 if (!IsDarwin && !RetTy->isAnyComplexType())
409 return ABIArgInfo::getIndirect(0);
Daniel Dunbar8e034442009-04-27 18:31:32 +0000410
Daniel Dunbar834af452008-09-17 21:22:33 +0000411 // Classify "single element" structs as their element type.
Daniel Dunbardfc6b802009-04-01 07:08:38 +0000412 if (const Type *SeltTy = isSingleElementStruct(RetTy, Context)) {
Daniel Dunbar834af452008-09-17 21:22:33 +0000413 if (const BuiltinType *BT = SeltTy->getAsBuiltinType()) {
Daniel Dunbar834af452008-09-17 21:22:33 +0000414 if (BT->isIntegerType()) {
Daniel Dunbar2e001162009-05-08 21:30:11 +0000415 // We need to use the size of the structure, padding
416 // bit-fields can adjust that to be larger than the single
417 // element type.
418 uint64_t Size = Context.getTypeSize(RetTy);
Daniel Dunbar834af452008-09-17 21:22:33 +0000419 return ABIArgInfo::getCoerce(llvm::IntegerType::get((unsigned) Size));
420 } else if (BT->getKind() == BuiltinType::Float) {
Daniel Dunbar2e001162009-05-08 21:30:11 +0000421 assert(Context.getTypeSize(RetTy) == Context.getTypeSize(SeltTy) &&
422 "Unexpect single element structure size!");
Daniel Dunbar834af452008-09-17 21:22:33 +0000423 return ABIArgInfo::getCoerce(llvm::Type::FloatTy);
424 } else if (BT->getKind() == BuiltinType::Double) {
Daniel Dunbar2e001162009-05-08 21:30:11 +0000425 assert(Context.getTypeSize(RetTy) == Context.getTypeSize(SeltTy) &&
426 "Unexpect single element structure size!");
Daniel Dunbar834af452008-09-17 21:22:33 +0000427 return ABIArgInfo::getCoerce(llvm::Type::DoubleTy);
428 }
429 } else if (SeltTy->isPointerType()) {
Mike Stumpf5408fe2009-05-16 07:57:57 +0000430 // FIXME: It would be really nice if this could come out as the proper
431 // pointer type.
Daniel Dunbar834af452008-09-17 21:22:33 +0000432 llvm::Type *PtrTy =
433 llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
434 return ABIArgInfo::getCoerce(PtrTy);
Daniel Dunbardfc6b802009-04-01 07:08:38 +0000435 } else if (SeltTy->isVectorType()) {
436 // 64- and 128-bit vectors are never returned in a
437 // register when inside a structure.
438 uint64_t Size = Context.getTypeSize(RetTy);
439 if (Size == 64 || Size == 128)
440 return ABIArgInfo::getIndirect(0);
441
442 return classifyReturnType(QualType(SeltTy, 0), Context);
Daniel Dunbar834af452008-09-17 21:22:33 +0000443 }
444 }
445
Daniel Dunbar836a0642009-05-12 17:00:20 +0000446 // Small structures which are register sized are generally returned
447 // in a register.
448 if (X86_32ABIInfo::shouldReturnTypeInRegister(RetTy, Context)) {
449 uint64_t Size = Context.getTypeSize(RetTy);
450 return ABIArgInfo::getCoerce(llvm::IntegerType::get(Size));
Daniel Dunbarcf6bde32009-04-01 07:45:00 +0000451 }
Daniel Dunbardfc6b802009-04-01 07:08:38 +0000452
453 return ABIArgInfo::getIndirect(0);
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +0000454 } else {
Daniel Dunbar0bcc5212009-02-03 06:30:17 +0000455 return ABIArgInfo::getDirect();
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +0000456 }
457}
458
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +0000459ABIArgInfo X86_32ABIInfo::classifyArgumentType(QualType Ty,
Daniel Dunbarb4094ea2009-02-10 20:44:09 +0000460 ASTContext &Context) const {
Daniel Dunbar11e383a2009-02-05 08:00:50 +0000461 // FIXME: Set alignment on indirect arguments.
Daniel Dunbarf0357382008-09-17 20:11:04 +0000462 if (CodeGenFunction::hasAggregateLLVMType(Ty)) {
Daniel Dunbar11e383a2009-02-05 08:00:50 +0000463 // Structures with flexible arrays are always indirect.
Daniel Dunbar834af452008-09-17 21:22:33 +0000464 if (const RecordType *RT = Ty->getAsStructureType())
465 if (RT->getDecl()->hasFlexibleArrayMember())
Daniel Dunbar11e383a2009-02-05 08:00:50 +0000466 return ABIArgInfo::getIndirect(0);
Daniel Dunbar834af452008-09-17 21:22:33 +0000467
Daniel Dunbar3170c932009-02-05 01:50:07 +0000468 // Ignore empty structs.
Daniel Dunbar834af452008-09-17 21:22:33 +0000469 uint64_t Size = Context.getTypeSize(Ty);
470 if (Ty->isStructureType() && Size == 0)
Daniel Dunbar3170c932009-02-05 01:50:07 +0000471 return ABIArgInfo::getIgnore();
Daniel Dunbar834af452008-09-17 21:22:33 +0000472
473 // Expand structs with size <= 128-bits which consist only of
474 // basic types (int, long long, float, double, xxx*). This is
475 // non-recursive and does not ignore empty fields.
476 if (const RecordType *RT = Ty->getAsStructureType()) {
477 if (Context.getTypeSize(Ty) <= 4*32 &&
478 areAllFields32Or64BitBasicType(RT->getDecl(), Context))
479 return ABIArgInfo::getExpand();
480 }
481
Daniel Dunbar11e383a2009-02-05 08:00:50 +0000482 return ABIArgInfo::getIndirect(0);
Daniel Dunbar8951dbd2008-09-11 01:48:57 +0000483 } else {
Daniel Dunbar0bcc5212009-02-03 06:30:17 +0000484 return ABIArgInfo::getDirect();
Daniel Dunbar8951dbd2008-09-11 01:48:57 +0000485 }
486}
487
Daniel Dunbarb4094ea2009-02-10 20:44:09 +0000488llvm::Value *X86_32ABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
489 CodeGenFunction &CGF) const {
490 const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
491 const llvm::Type *BPP = llvm::PointerType::getUnqual(BP);
492
493 CGBuilderTy &Builder = CGF.Builder;
494 llvm::Value *VAListAddrAsBPP = Builder.CreateBitCast(VAListAddr, BPP,
495 "ap");
496 llvm::Value *Addr = Builder.CreateLoad(VAListAddrAsBPP, "ap.cur");
497 llvm::Type *PTy =
498 llvm::PointerType::getUnqual(CGF.ConvertType(Ty));
499 llvm::Value *AddrTyped = Builder.CreateBitCast(Addr, PTy);
500
Daniel Dunbar570f0cf2009-02-18 22:28:45 +0000501 uint64_t Offset =
502 llvm::RoundUpToAlignment(CGF.getContext().getTypeSize(Ty) / 8, 4);
Daniel Dunbarb4094ea2009-02-10 20:44:09 +0000503 llvm::Value *NextAddr =
504 Builder.CreateGEP(Addr,
Daniel Dunbar570f0cf2009-02-18 22:28:45 +0000505 llvm::ConstantInt::get(llvm::Type::Int32Ty, Offset),
Daniel Dunbarb4094ea2009-02-10 20:44:09 +0000506 "ap.next");
507 Builder.CreateStore(NextAddr, VAListAddrAsBPP);
508
509 return AddrTyped;
510}
511
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000512namespace {
Daniel Dunbarc4503572009-01-31 00:06:58 +0000513/// X86_64ABIInfo - The X86_64 ABI information.
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000514class X86_64ABIInfo : public ABIInfo {
515 enum Class {
516 Integer = 0,
517 SSE,
518 SSEUp,
519 X87,
520 X87Up,
521 ComplexX87,
522 NoClass,
523 Memory
524 };
525
Daniel Dunbar8562ae72009-01-30 08:09:32 +0000526 /// merge - Implement the X86_64 ABI merging algorithm.
527 ///
Daniel Dunbarc4503572009-01-31 00:06:58 +0000528 /// Merge an accumulating classification \arg Accum with a field
529 /// classification \arg Field.
530 ///
531 /// \param Accum - The accumulating classification. This should
532 /// always be either NoClass or the result of a previous merge
533 /// call. In addition, this should never be Memory (the caller
534 /// should just return Memory for the aggregate).
535 Class merge(Class Accum, Class Field) const;
Daniel Dunbar8562ae72009-01-30 08:09:32 +0000536
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000537 /// classify - Determine the x86_64 register classes in which the
538 /// given type T should be passed.
539 ///
Daniel Dunbarc4503572009-01-31 00:06:58 +0000540 /// \param Lo - The classification for the parts of the type
541 /// residing in the low word of the containing object.
542 ///
543 /// \param Hi - The classification for the parts of the type
544 /// residing in the high word of the containing object.
545 ///
546 /// \param OffsetBase - The bit offset of this type in the
Daniel Dunbarcdf920e2009-01-30 22:40:15 +0000547 /// containing object. Some parameters are classified different
548 /// depending on whether they straddle an eightbyte boundary.
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000549 ///
550 /// If a word is unused its result will be NoClass; if a type should
551 /// be passed in Memory then at least the classification of \arg Lo
552 /// will be Memory.
553 ///
554 /// The \arg Lo class will be NoClass iff the argument is ignored.
555 ///
556 /// If the \arg Lo class is ComplexX87, then the \arg Hi class will
Daniel Dunbar6e53e9b2009-02-17 07:55:55 +0000557 /// also be ComplexX87.
Daniel Dunbare620ecd2009-01-30 00:47:38 +0000558 void classify(QualType T, ASTContext &Context, uint64_t OffsetBase,
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000559 Class &Lo, Class &Hi) const;
Daniel Dunbarc4503572009-01-31 00:06:58 +0000560
Daniel Dunbar644f4c32009-02-14 02:09:24 +0000561 /// getCoerceResult - Given a source type \arg Ty and an LLVM type
562 /// to coerce to, chose the best way to pass Ty in the same place
563 /// that \arg CoerceTo would be passed, but while keeping the
564 /// emitted code as simple as possible.
565 ///
Mike Stumpf5408fe2009-05-16 07:57:57 +0000566 /// FIXME: Note, this should be cleaned up to just take an enumeration of all
567 /// the ways we might want to pass things, instead of constructing an LLVM
568 /// type. This makes this code more explicit, and it makes it clearer that we
569 /// are also doing this for correctness in the case of passing scalar types.
Daniel Dunbar644f4c32009-02-14 02:09:24 +0000570 ABIArgInfo getCoerceResult(QualType Ty,
571 const llvm::Type *CoerceTo,
572 ASTContext &Context) const;
573
Daniel Dunbar6bad2652009-02-03 06:51:18 +0000574 ABIArgInfo classifyReturnType(QualType RetTy,
Daniel Dunbar59e5a0e2009-02-03 20:00:13 +0000575 ASTContext &Context) const;
576
577 ABIArgInfo classifyArgumentType(QualType Ty,
578 ASTContext &Context,
Daniel Dunbar3b4e9cd2009-02-10 17:06:09 +0000579 unsigned &neededInt,
580 unsigned &neededSSE) const;
Daniel Dunbar59e5a0e2009-02-03 20:00:13 +0000581
582public:
583 virtual void computeInfo(CGFunctionInfo &FI, ASTContext &Context) const;
Daniel Dunbarb4094ea2009-02-10 20:44:09 +0000584
585 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
586 CodeGenFunction &CGF) const;
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000587};
588}
589
Daniel Dunbarc4503572009-01-31 00:06:58 +0000590X86_64ABIInfo::Class X86_64ABIInfo::merge(Class Accum,
591 Class Field) const {
Daniel Dunbar8562ae72009-01-30 08:09:32 +0000592 // AMD64-ABI 3.2.3p2: Rule 4. Each field of an object is
593 // classified recursively so that always two fields are
594 // considered. The resulting class is calculated according to
595 // the classes of the fields in the eightbyte:
596 //
597 // (a) If both classes are equal, this is the resulting class.
598 //
599 // (b) If one of the classes is NO_CLASS, the resulting class is
600 // the other class.
601 //
602 // (c) If one of the classes is MEMORY, the result is the MEMORY
603 // class.
604 //
605 // (d) If one of the classes is INTEGER, the result is the
606 // INTEGER.
607 //
608 // (e) If one of the classes is X87, X87UP, COMPLEX_X87 class,
609 // MEMORY is used as class.
610 //
611 // (f) Otherwise class SSE is used.
Daniel Dunbar100f4022009-03-06 17:50:25 +0000612
613 // Accum should never be memory (we should have returned) or
614 // ComplexX87 (because this cannot be passed in a structure).
615 assert((Accum != Memory && Accum != ComplexX87) &&
Daniel Dunbarc4503572009-01-31 00:06:58 +0000616 "Invalid accumulated classification during merge.");
617 if (Accum == Field || Field == NoClass)
618 return Accum;
619 else if (Field == Memory)
620 return Memory;
621 else if (Accum == NoClass)
622 return Field;
623 else if (Accum == Integer || Field == Integer)
624 return Integer;
Daniel Dunbar20e95c52009-05-12 15:22:40 +0000625 else if (Field == X87 || Field == X87Up || Field == ComplexX87 ||
626 Accum == X87 || Accum == X87Up)
Daniel Dunbarc4503572009-01-31 00:06:58 +0000627 return Memory;
Daniel Dunbar8562ae72009-01-30 08:09:32 +0000628 else
Daniel Dunbarc4503572009-01-31 00:06:58 +0000629 return SSE;
Daniel Dunbar8562ae72009-01-30 08:09:32 +0000630}
631
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000632void X86_64ABIInfo::classify(QualType Ty,
633 ASTContext &Context,
Daniel Dunbare620ecd2009-01-30 00:47:38 +0000634 uint64_t OffsetBase,
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000635 Class &Lo, Class &Hi) const {
Mike Stumpf5408fe2009-05-16 07:57:57 +0000636 // FIXME: This code can be simplified by introducing a simple value class for
637 // Class pairs with appropriate constructor methods for the various
638 // situations.
Daniel Dunbar9a82b522009-02-02 18:06:39 +0000639
Mike Stumpf5408fe2009-05-16 07:57:57 +0000640 // FIXME: Some of the split computations are wrong; unaligned vectors
641 // shouldn't be passed in registers for example, so there is no chance they
642 // can straddle an eightbyte. Verify & simplify.
Daniel Dunbare28099b2009-02-22 04:48:22 +0000643
Daniel Dunbarc4503572009-01-31 00:06:58 +0000644 Lo = Hi = NoClass;
645
646 Class &Current = OffsetBase < 64 ? Lo : Hi;
647 Current = Memory;
648
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000649 if (const BuiltinType *BT = Ty->getAsBuiltinType()) {
650 BuiltinType::Kind k = BT->getKind();
651
Daniel Dunbar11434922009-01-26 21:26:08 +0000652 if (k == BuiltinType::Void) {
Daniel Dunbarc4503572009-01-31 00:06:58 +0000653 Current = NoClass;
Chris Lattner2df9ced2009-04-30 02:43:43 +0000654 } else if (k == BuiltinType::Int128 || k == BuiltinType::UInt128) {
Chris Lattnerae69e002009-04-30 06:22:07 +0000655 Lo = Integer;
656 Hi = Integer;
Daniel Dunbar11434922009-01-26 21:26:08 +0000657 } else if (k >= BuiltinType::Bool && k <= BuiltinType::LongLong) {
Daniel Dunbarc4503572009-01-31 00:06:58 +0000658 Current = Integer;
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000659 } else if (k == BuiltinType::Float || k == BuiltinType::Double) {
Daniel Dunbarc4503572009-01-31 00:06:58 +0000660 Current = SSE;
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000661 } else if (k == BuiltinType::LongDouble) {
662 Lo = X87;
663 Hi = X87Up;
664 }
Daniel Dunbar7a6605d2009-01-27 02:01:34 +0000665 // FIXME: _Decimal32 and _Decimal64 are SSE.
666 // FIXME: _float128 and _Decimal128 are (SSE, SSEUp).
Anders Carlsson708762b2009-02-26 17:31:15 +0000667 } else if (const EnumType *ET = Ty->getAsEnumType()) {
668 // Classify the underlying integer type.
669 classify(ET->getDecl()->getIntegerType(), Context, OffsetBase, Lo, Hi);
Daniel Dunbar89588912009-02-26 20:52:22 +0000670 } else if (Ty->hasPointerRepresentation()) {
Daniel Dunbarc4503572009-01-31 00:06:58 +0000671 Current = Integer;
Daniel Dunbar7a6605d2009-01-27 02:01:34 +0000672 } else if (const VectorType *VT = Ty->getAsVectorType()) {
Daniel Dunbare620ecd2009-01-30 00:47:38 +0000673 uint64_t Size = Context.getTypeSize(VT);
Daniel Dunbare28099b2009-02-22 04:48:22 +0000674 if (Size == 32) {
675 // gcc passes all <4 x char>, <2 x short>, <1 x int>, <1 x
676 // float> as integer.
677 Current = Integer;
678
679 // If this type crosses an eightbyte boundary, it should be
680 // split.
681 uint64_t EB_Real = (OffsetBase) / 64;
682 uint64_t EB_Imag = (OffsetBase + Size - 1) / 64;
683 if (EB_Real != EB_Imag)
684 Hi = Lo;
685 } else if (Size == 64) {
Daniel Dunbar0af99292009-02-22 04:16:10 +0000686 // gcc passes <1 x double> in memory. :(
687 if (VT->getElementType()->isSpecificBuiltinType(BuiltinType::Double))
Daniel Dunbard4cd1b02009-01-30 19:38:39 +0000688 return;
Daniel Dunbar0af99292009-02-22 04:16:10 +0000689
690 // gcc passes <1 x long long> as INTEGER.
691 if (VT->getElementType()->isSpecificBuiltinType(BuiltinType::LongLong))
692 Current = Integer;
693 else
694 Current = SSE;
Daniel Dunbare33edf12009-01-30 18:40:10 +0000695
696 // If this type crosses an eightbyte boundary, it should be
697 // split.
Daniel Dunbarcdf920e2009-01-30 22:40:15 +0000698 if (OffsetBase && OffsetBase != 64)
Daniel Dunbare33edf12009-01-30 18:40:10 +0000699 Hi = Lo;
Daniel Dunbar7a6605d2009-01-27 02:01:34 +0000700 } else if (Size == 128) {
701 Lo = SSE;
702 Hi = SSEUp;
703 }
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000704 } else if (const ComplexType *CT = Ty->getAsComplexType()) {
Daniel Dunbar3327f6e2009-02-14 02:45:45 +0000705 QualType ET = Context.getCanonicalType(CT->getElementType());
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000706
Daniel Dunbare33edf12009-01-30 18:40:10 +0000707 uint64_t Size = Context.getTypeSize(Ty);
Daniel Dunbar0af99292009-02-22 04:16:10 +0000708 if (ET->isIntegralType()) {
Daniel Dunbareac48dc2009-01-29 07:22:20 +0000709 if (Size <= 64)
Daniel Dunbarc4503572009-01-31 00:06:58 +0000710 Current = Integer;
Daniel Dunbareac48dc2009-01-29 07:22:20 +0000711 else if (Size <= 128)
712 Lo = Hi = Integer;
713 } else if (ET == Context.FloatTy)
Daniel Dunbarc4503572009-01-31 00:06:58 +0000714 Current = SSE;
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000715 else if (ET == Context.DoubleTy)
716 Lo = Hi = SSE;
717 else if (ET == Context.LongDoubleTy)
Daniel Dunbarc4503572009-01-31 00:06:58 +0000718 Current = ComplexX87;
Daniel Dunbarf04d69b2009-01-29 09:42:07 +0000719
720 // If this complex type crosses an eightbyte boundary then it
721 // should be split.
Daniel Dunbarcdf920e2009-01-30 22:40:15 +0000722 uint64_t EB_Real = (OffsetBase) / 64;
723 uint64_t EB_Imag = (OffsetBase + Context.getTypeSize(ET)) / 64;
Daniel Dunbarf04d69b2009-01-29 09:42:07 +0000724 if (Hi == NoClass && EB_Real != EB_Imag)
725 Hi = Lo;
Daniel Dunbar8562ae72009-01-30 08:09:32 +0000726 } else if (const ConstantArrayType *AT = Context.getAsConstantArrayType(Ty)) {
727 // Arrays are treated like structures.
728
729 uint64_t Size = Context.getTypeSize(Ty);
730
731 // AMD64-ABI 3.2.3p2: Rule 1. If the size of an object is larger
732 // than two eightbytes, ..., it has class MEMORY.
733 if (Size > 128)
734 return;
735
736 // AMD64-ABI 3.2.3p2: Rule 1. If ..., or it contains unaligned
737 // fields, it has class MEMORY.
738 //
739 // Only need to check alignment of array base.
Daniel Dunbarc4503572009-01-31 00:06:58 +0000740 if (OffsetBase % Context.getTypeAlign(AT->getElementType()))
Daniel Dunbar8562ae72009-01-30 08:09:32 +0000741 return;
Daniel Dunbar8562ae72009-01-30 08:09:32 +0000742
743 // Otherwise implement simplified merge. We could be smarter about
744 // this, but it isn't worth it and would be harder to verify.
Daniel Dunbarc4503572009-01-31 00:06:58 +0000745 Current = NoClass;
Daniel Dunbar8562ae72009-01-30 08:09:32 +0000746 uint64_t EltSize = Context.getTypeSize(AT->getElementType());
747 uint64_t ArraySize = AT->getSize().getZExtValue();
748 for (uint64_t i=0, Offset=OffsetBase; i<ArraySize; ++i, Offset += EltSize) {
749 Class FieldLo, FieldHi;
750 classify(AT->getElementType(), Context, Offset, FieldLo, FieldHi);
Daniel Dunbarc4503572009-01-31 00:06:58 +0000751 Lo = merge(Lo, FieldLo);
752 Hi = merge(Hi, FieldHi);
753 if (Lo == Memory || Hi == Memory)
754 break;
Daniel Dunbar8562ae72009-01-30 08:09:32 +0000755 }
Daniel Dunbarc4503572009-01-31 00:06:58 +0000756
757 // Do post merger cleanup (see below). Only case we worry about is Memory.
758 if (Hi == Memory)
759 Lo = Memory;
760 assert((Hi != SSEUp || Lo == SSE) && "Invalid SSEUp array classification.");
Daniel Dunbar99037e52009-01-29 08:13:58 +0000761 } else if (const RecordType *RT = Ty->getAsRecordType()) {
Daniel Dunbare620ecd2009-01-30 00:47:38 +0000762 uint64_t Size = Context.getTypeSize(Ty);
Daniel Dunbar99037e52009-01-29 08:13:58 +0000763
764 // AMD64-ABI 3.2.3p2: Rule 1. If the size of an object is larger
765 // than two eightbytes, ..., it has class MEMORY.
766 if (Size > 128)
767 return;
768
769 const RecordDecl *RD = RT->getDecl();
770
771 // Assume variable sized types are passed in memory.
772 if (RD->hasFlexibleArrayMember())
773 return;
774
775 const ASTRecordLayout &Layout = Context.getASTRecordLayout(RD);
776
777 // Reset Lo class, this will be recomputed.
Daniel Dunbarc4503572009-01-31 00:06:58 +0000778 Current = NoClass;
Daniel Dunbar99037e52009-01-29 08:13:58 +0000779 unsigned idx = 0;
Douglas Gregor6ab35242009-04-09 21:40:53 +0000780 for (RecordDecl::field_iterator i = RD->field_begin(Context),
781 e = RD->field_end(Context); i != e; ++i, ++idx) {
Daniel Dunbar8562ae72009-01-30 08:09:32 +0000782 uint64_t Offset = OffsetBase + Layout.getFieldOffset(idx);
Daniel Dunbardd81d442009-02-17 02:45:44 +0000783 bool BitField = i->isBitField();
Daniel Dunbar99037e52009-01-29 08:13:58 +0000784
Daniel Dunbar8562ae72009-01-30 08:09:32 +0000785 // AMD64-ABI 3.2.3p2: Rule 1. If ..., or it contains unaligned
786 // fields, it has class MEMORY.
Daniel Dunbardd81d442009-02-17 02:45:44 +0000787 //
Daniel Dunbar8e034442009-04-27 18:31:32 +0000788 // Note, skip this test for bit-fields, see below.
Daniel Dunbardd81d442009-02-17 02:45:44 +0000789 if (!BitField && Offset % Context.getTypeAlign(i->getType())) {
Daniel Dunbar99037e52009-01-29 08:13:58 +0000790 Lo = Memory;
791 return;
792 }
793
Daniel Dunbar99037e52009-01-29 08:13:58 +0000794 // Classify this field.
Daniel Dunbarc4503572009-01-31 00:06:58 +0000795 //
796 // AMD64-ABI 3.2.3p2: Rule 3. If the size of the aggregate
797 // exceeds a single eightbyte, each is classified
798 // separately. Each eightbyte gets initialized to class
799 // NO_CLASS.
Daniel Dunbar99037e52009-01-29 08:13:58 +0000800 Class FieldLo, FieldHi;
Daniel Dunbardd81d442009-02-17 02:45:44 +0000801
Daniel Dunbar8e034442009-04-27 18:31:32 +0000802 // Bit-fields require special handling, they do not force the
Daniel Dunbardd81d442009-02-17 02:45:44 +0000803 // structure to be passed in memory even if unaligned, and
804 // therefore they can straddle an eightbyte.
805 if (BitField) {
Daniel Dunbar8236bf12009-05-08 22:26:44 +0000806 // Ignore padding bit-fields.
807 if (i->isUnnamedBitfield())
808 continue;
809
Daniel Dunbardd81d442009-02-17 02:45:44 +0000810 uint64_t Offset = OffsetBase + Layout.getFieldOffset(idx);
Eli Friedman9a901bb2009-04-26 19:19:15 +0000811 uint64_t Size = i->getBitWidth()->EvaluateAsInt(Context).getZExtValue();
Daniel Dunbardd81d442009-02-17 02:45:44 +0000812
813 uint64_t EB_Lo = Offset / 64;
814 uint64_t EB_Hi = (Offset + Size - 1) / 64;
815 FieldLo = FieldHi = NoClass;
816 if (EB_Lo) {
817 assert(EB_Hi == EB_Lo && "Invalid classification, type > 16 bytes.");
818 FieldLo = NoClass;
819 FieldHi = Integer;
820 } else {
821 FieldLo = Integer;
822 FieldHi = EB_Hi ? Integer : NoClass;
823 }
824 } else
825 classify(i->getType(), Context, Offset, FieldLo, FieldHi);
Daniel Dunbarc4503572009-01-31 00:06:58 +0000826 Lo = merge(Lo, FieldLo);
827 Hi = merge(Hi, FieldHi);
828 if (Lo == Memory || Hi == Memory)
829 break;
Daniel Dunbar99037e52009-01-29 08:13:58 +0000830 }
831
832 // AMD64-ABI 3.2.3p2: Rule 5. Then a post merger cleanup is done:
833 //
834 // (a) If one of the classes is MEMORY, the whole argument is
835 // passed in memory.
836 //
837 // (b) If SSEUP is not preceeded by SSE, it is converted to SSE.
838
839 // The first of these conditions is guaranteed by how we implement
Daniel Dunbarc4503572009-01-31 00:06:58 +0000840 // the merge (just bail).
841 //
842 // The second condition occurs in the case of unions; for example
843 // union { _Complex double; unsigned; }.
844 if (Hi == Memory)
845 Lo = Memory;
Daniel Dunbar99037e52009-01-29 08:13:58 +0000846 if (Hi == SSEUp && Lo != SSE)
Daniel Dunbarc4503572009-01-31 00:06:58 +0000847 Hi = SSE;
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000848 }
849}
850
Daniel Dunbar644f4c32009-02-14 02:09:24 +0000851ABIArgInfo X86_64ABIInfo::getCoerceResult(QualType Ty,
852 const llvm::Type *CoerceTo,
853 ASTContext &Context) const {
854 if (CoerceTo == llvm::Type::Int64Ty) {
855 // Integer and pointer types will end up in a general purpose
856 // register.
Daniel Dunbar0af99292009-02-22 04:16:10 +0000857 if (Ty->isIntegralType() || Ty->isPointerType())
Daniel Dunbar644f4c32009-02-14 02:09:24 +0000858 return ABIArgInfo::getDirect();
Daniel Dunbar0af99292009-02-22 04:16:10 +0000859
Daniel Dunbar644f4c32009-02-14 02:09:24 +0000860 } else if (CoerceTo == llvm::Type::DoubleTy) {
Mike Stumpf5408fe2009-05-16 07:57:57 +0000861 // FIXME: It would probably be better to make CGFunctionInfo only map using
862 // canonical types than to canonize here.
Daniel Dunbar3327f6e2009-02-14 02:45:45 +0000863 QualType CTy = Context.getCanonicalType(Ty);
864
Daniel Dunbar644f4c32009-02-14 02:09:24 +0000865 // Float and double end up in a single SSE reg.
Daniel Dunbar3327f6e2009-02-14 02:45:45 +0000866 if (CTy == Context.FloatTy || CTy == Context.DoubleTy)
Daniel Dunbar644f4c32009-02-14 02:09:24 +0000867 return ABIArgInfo::getDirect();
Daniel Dunbar0af99292009-02-22 04:16:10 +0000868
Daniel Dunbar644f4c32009-02-14 02:09:24 +0000869 }
870
871 return ABIArgInfo::getCoerce(CoerceTo);
872}
Daniel Dunbarc4503572009-01-31 00:06:58 +0000873
Daniel Dunbard4edfe42009-01-15 18:18:40 +0000874ABIArgInfo X86_64ABIInfo::classifyReturnType(QualType RetTy,
875 ASTContext &Context) const {
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000876 // AMD64-ABI 3.2.3p4: Rule 1. Classify the return type with the
877 // classification algorithm.
878 X86_64ABIInfo::Class Lo, Hi;
Daniel Dunbarf04d69b2009-01-29 09:42:07 +0000879 classify(RetTy, Context, 0, Lo, Hi);
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000880
Daniel Dunbarc4503572009-01-31 00:06:58 +0000881 // Check some invariants.
882 assert((Hi != Memory || Lo == Memory) && "Invalid memory classification.");
883 assert((Lo != NoClass || Hi == NoClass) && "Invalid null classification.");
884 assert((Hi != SSEUp || Lo == SSE) && "Invalid SSEUp classification.");
885
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000886 const llvm::Type *ResType = 0;
887 switch (Lo) {
888 case NoClass:
Daniel Dunbar11434922009-01-26 21:26:08 +0000889 return ABIArgInfo::getIgnore();
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000890
891 case SSEUp:
892 case X87Up:
893 assert(0 && "Invalid classification for lo word.");
894
Daniel Dunbarc4503572009-01-31 00:06:58 +0000895 // AMD64-ABI 3.2.3p4: Rule 2. Types of class memory are returned via
Daniel Dunbar11e383a2009-02-05 08:00:50 +0000896 // hidden argument.
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000897 case Memory:
Daniel Dunbar11e383a2009-02-05 08:00:50 +0000898 return ABIArgInfo::getIndirect(0);
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000899
900 // AMD64-ABI 3.2.3p4: Rule 3. If the class is INTEGER, the next
901 // available register of the sequence %rax, %rdx is used.
902 case Integer:
903 ResType = llvm::Type::Int64Ty; break;
904
905 // AMD64-ABI 3.2.3p4: Rule 4. If the class is SSE, the next
906 // available SSE register of the sequence %xmm0, %xmm1 is used.
907 case SSE:
908 ResType = llvm::Type::DoubleTy; break;
909
910 // AMD64-ABI 3.2.3p4: Rule 6. If the class is X87, the value is
911 // returned on the X87 stack in %st0 as 80-bit x87 number.
912 case X87:
913 ResType = llvm::Type::X86_FP80Ty; break;
914
Daniel Dunbarc4503572009-01-31 00:06:58 +0000915 // AMD64-ABI 3.2.3p4: Rule 8. If the class is COMPLEX_X87, the real
916 // part of the value is returned in %st0 and the imaginary part in
917 // %st1.
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000918 case ComplexX87:
Daniel Dunbar6e53e9b2009-02-17 07:55:55 +0000919 assert(Hi == ComplexX87 && "Unexpected ComplexX87 classification.");
Daniel Dunbar3e030b42009-02-18 03:44:19 +0000920 ResType = llvm::StructType::get(llvm::Type::X86_FP80Ty,
921 llvm::Type::X86_FP80Ty,
922 NULL);
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000923 break;
924 }
925
926 switch (Hi) {
Daniel Dunbar6e53e9b2009-02-17 07:55:55 +0000927 // Memory was handled previously and X87 should
928 // never occur as a hi class.
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000929 case Memory:
930 case X87:
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000931 assert(0 && "Invalid classification for hi word.");
932
Daniel Dunbar6e53e9b2009-02-17 07:55:55 +0000933 case ComplexX87: // Previously handled.
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000934 case NoClass: break;
Daniel Dunbar6e53e9b2009-02-17 07:55:55 +0000935
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000936 case Integer:
Daniel Dunbarb0e14f22009-01-29 07:36:07 +0000937 ResType = llvm::StructType::get(ResType, llvm::Type::Int64Ty, NULL);
938 break;
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000939 case SSE:
Daniel Dunbarb0e14f22009-01-29 07:36:07 +0000940 ResType = llvm::StructType::get(ResType, llvm::Type::DoubleTy, NULL);
941 break;
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000942
943 // AMD64-ABI 3.2.3p4: Rule 5. If the class is SSEUP, the eightbyte
944 // is passed in the upper half of the last used SSE register.
945 //
946 // SSEUP should always be preceeded by SSE, just widen.
947 case SSEUp:
948 assert(Lo == SSE && "Unexpected SSEUp classification.");
949 ResType = llvm::VectorType::get(llvm::Type::DoubleTy, 2);
950 break;
951
952 // AMD64-ABI 3.2.3p4: Rule 7. If the class is X87UP, the value is
Daniel Dunbarb0e14f22009-01-29 07:36:07 +0000953 // returned together with the previous X87 value in %st0.
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000954 case X87Up:
Daniel Dunbar100f4022009-03-06 17:50:25 +0000955 // If X87Up is preceeded by X87, we don't need to do
956 // anything. However, in some cases with unions it may not be
957 // preceeded by X87. In such situations we follow gcc and pass the
958 // extra bits in an SSE reg.
959 if (Lo != X87)
960 ResType = llvm::StructType::get(ResType, llvm::Type::DoubleTy, NULL);
Daniel Dunbar6f3e7fa2009-01-24 08:32:22 +0000961 break;
962 }
963
Daniel Dunbar644f4c32009-02-14 02:09:24 +0000964 return getCoerceResult(RetTy, ResType, Context);
Daniel Dunbard4edfe42009-01-15 18:18:40 +0000965}
966
Daniel Dunbar59e5a0e2009-02-03 20:00:13 +0000967ABIArgInfo X86_64ABIInfo::classifyArgumentType(QualType Ty, ASTContext &Context,
Daniel Dunbar3b4e9cd2009-02-10 17:06:09 +0000968 unsigned &neededInt,
969 unsigned &neededSSE) const {
Daniel Dunbar59e5a0e2009-02-03 20:00:13 +0000970 X86_64ABIInfo::Class Lo, Hi;
971 classify(Ty, Context, 0, Lo, Hi);
972
973 // Check some invariants.
974 // FIXME: Enforce these by construction.
975 assert((Hi != Memory || Lo == Memory) && "Invalid memory classification.");
976 assert((Lo != NoClass || Hi == NoClass) && "Invalid null classification.");
977 assert((Hi != SSEUp || Lo == SSE) && "Invalid SSEUp classification.");
978
Daniel Dunbar3b4e9cd2009-02-10 17:06:09 +0000979 neededInt = 0;
980 neededSSE = 0;
Daniel Dunbar59e5a0e2009-02-03 20:00:13 +0000981 const llvm::Type *ResType = 0;
982 switch (Lo) {
983 case NoClass:
984 return ABIArgInfo::getIgnore();
985
986 // AMD64-ABI 3.2.3p3: Rule 1. If the class is MEMORY, pass the argument
987 // on the stack.
988 case Memory:
989
990 // AMD64-ABI 3.2.3p3: Rule 5. If the class is X87, X87UP or
991 // COMPLEX_X87, it is passed in memory.
992 case X87:
993 case ComplexX87:
Daniel Dunbar245f5532009-02-22 08:17:51 +0000994 return ABIArgInfo::getIndirect(0);
Daniel Dunbar59e5a0e2009-02-03 20:00:13 +0000995
996 case SSEUp:
997 case X87Up:
998 assert(0 && "Invalid classification for lo word.");
999
1000 // AMD64-ABI 3.2.3p3: Rule 2. If the class is INTEGER, the next
1001 // available register of the sequence %rdi, %rsi, %rdx, %rcx, %r8
1002 // and %r9 is used.
1003 case Integer:
1004 ++neededInt;
1005 ResType = llvm::Type::Int64Ty;
1006 break;
1007
1008 // AMD64-ABI 3.2.3p3: Rule 3. If the class is SSE, the next
1009 // available SSE register is used, the registers are taken in the
1010 // order from %xmm0 to %xmm7.
1011 case SSE:
1012 ++neededSSE;
1013 ResType = llvm::Type::DoubleTy;
1014 break;
Daniel Dunbar0bcc5212009-02-03 06:30:17 +00001015 }
Daniel Dunbar59e5a0e2009-02-03 20:00:13 +00001016
1017 switch (Hi) {
1018 // Memory was handled previously, ComplexX87 and X87 should
1019 // never occur as hi classes, and X87Up must be preceed by X87,
1020 // which is passed in memory.
1021 case Memory:
1022 case X87:
Daniel Dunbar59e5a0e2009-02-03 20:00:13 +00001023 case ComplexX87:
1024 assert(0 && "Invalid classification for hi word.");
Daniel Dunbar100f4022009-03-06 17:50:25 +00001025 break;
Daniel Dunbar59e5a0e2009-02-03 20:00:13 +00001026
1027 case NoClass: break;
1028 case Integer:
1029 ResType = llvm::StructType::get(ResType, llvm::Type::Int64Ty, NULL);
1030 ++neededInt;
1031 break;
Daniel Dunbar100f4022009-03-06 17:50:25 +00001032
1033 // X87Up generally doesn't occur here (long double is passed in
1034 // memory), except in situations involving unions.
1035 case X87Up:
1036 case SSE:
Daniel Dunbar59e5a0e2009-02-03 20:00:13 +00001037 ResType = llvm::StructType::get(ResType, llvm::Type::DoubleTy, NULL);
1038 ++neededSSE;
1039 break;
1040
1041 // AMD64-ABI 3.2.3p3: Rule 4. If the class is SSEUP, the
1042 // eightbyte is passed in the upper half of the last used SSE
1043 // register.
1044 case SSEUp:
1045 assert(Lo == SSE && "Unexpected SSEUp classification.");
1046 ResType = llvm::VectorType::get(llvm::Type::DoubleTy, 2);
1047 break;
1048 }
1049
Daniel Dunbar644f4c32009-02-14 02:09:24 +00001050 return getCoerceResult(Ty, ResType, Context);
Daniel Dunbar59e5a0e2009-02-03 20:00:13 +00001051}
1052
1053void X86_64ABIInfo::computeInfo(CGFunctionInfo &FI, ASTContext &Context) const {
1054 FI.getReturnInfo() = classifyReturnType(FI.getReturnType(), Context);
1055
1056 // Keep track of the number of assigned registers.
1057 unsigned freeIntRegs = 6, freeSSERegs = 8;
1058
1059 // AMD64-ABI 3.2.3p3: Once arguments are classified, the registers
1060 // get assigned (in left-to-right order) for passing as follows...
1061 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
Daniel Dunbar3b4e9cd2009-02-10 17:06:09 +00001062 it != ie; ++it) {
1063 unsigned neededInt, neededSSE;
1064 it->info = classifyArgumentType(it->type, Context, neededInt, neededSSE);
1065
1066 // AMD64-ABI 3.2.3p3: If there are no registers available for any
1067 // eightbyte of an argument, the whole argument is passed on the
1068 // stack. If registers have already been assigned for some
1069 // eightbytes of such an argument, the assignments get reverted.
1070 if (freeIntRegs >= neededInt && freeSSERegs >= neededSSE) {
1071 freeIntRegs -= neededInt;
1072 freeSSERegs -= neededSSE;
1073 } else {
Daniel Dunbar245f5532009-02-22 08:17:51 +00001074 it->info = ABIArgInfo::getIndirect(0);
Daniel Dunbar3b4e9cd2009-02-10 17:06:09 +00001075 }
1076 }
Daniel Dunbard4edfe42009-01-15 18:18:40 +00001077}
1078
Daniel Dunbarbe9eb092009-02-12 09:04:14 +00001079static llvm::Value *EmitVAArgFromMemory(llvm::Value *VAListAddr,
1080 QualType Ty,
1081 CodeGenFunction &CGF) {
1082 llvm::Value *overflow_arg_area_p =
1083 CGF.Builder.CreateStructGEP(VAListAddr, 2, "overflow_arg_area_p");
1084 llvm::Value *overflow_arg_area =
1085 CGF.Builder.CreateLoad(overflow_arg_area_p, "overflow_arg_area");
1086
1087 // AMD64-ABI 3.5.7p5: Step 7. Align l->overflow_arg_area upwards to a 16
1088 // byte boundary if alignment needed by type exceeds 8 byte boundary.
Daniel Dunbarc5bcee42009-02-16 23:38:56 +00001089 uint64_t Align = CGF.getContext().getTypeAlign(Ty) / 8;
Daniel Dunbarbe9eb092009-02-12 09:04:14 +00001090 if (Align > 8) {
Daniel Dunbarc5bcee42009-02-16 23:38:56 +00001091 // Note that we follow the ABI & gcc here, even though the type
1092 // could in theory have an alignment greater than 16. This case
1093 // shouldn't ever matter in practice.
Daniel Dunbarbe9eb092009-02-12 09:04:14 +00001094
Daniel Dunbarc5bcee42009-02-16 23:38:56 +00001095 // overflow_arg_area = (overflow_arg_area + 15) & ~15;
1096 llvm::Value *Offset = llvm::ConstantInt::get(llvm::Type::Int32Ty, 15);
1097 overflow_arg_area = CGF.Builder.CreateGEP(overflow_arg_area, Offset);
1098 llvm::Value *AsInt = CGF.Builder.CreatePtrToInt(overflow_arg_area,
1099 llvm::Type::Int64Ty);
1100 llvm::Value *Mask = llvm::ConstantInt::get(llvm::Type::Int64Ty, ~15LL);
1101 overflow_arg_area =
1102 CGF.Builder.CreateIntToPtr(CGF.Builder.CreateAnd(AsInt, Mask),
1103 overflow_arg_area->getType(),
1104 "overflow_arg_area.align");
Daniel Dunbarbe9eb092009-02-12 09:04:14 +00001105 }
1106
1107 // AMD64-ABI 3.5.7p5: Step 8. Fetch type from l->overflow_arg_area.
1108 const llvm::Type *LTy = CGF.ConvertTypeForMem(Ty);
1109 llvm::Value *Res =
1110 CGF.Builder.CreateBitCast(overflow_arg_area,
1111 llvm::PointerType::getUnqual(LTy));
1112
1113 // AMD64-ABI 3.5.7p5: Step 9. Set l->overflow_arg_area to:
1114 // l->overflow_arg_area + sizeof(type).
1115 // AMD64-ABI 3.5.7p5: Step 10. Align l->overflow_arg_area upwards to
1116 // an 8 byte boundary.
1117
1118 uint64_t SizeInBytes = (CGF.getContext().getTypeSize(Ty) + 7) / 8;
1119 llvm::Value *Offset = llvm::ConstantInt::get(llvm::Type::Int32Ty,
1120 (SizeInBytes + 7) & ~7);
1121 overflow_arg_area = CGF.Builder.CreateGEP(overflow_arg_area, Offset,
1122 "overflow_arg_area.next");
1123 CGF.Builder.CreateStore(overflow_arg_area, overflow_arg_area_p);
1124
1125 // AMD64-ABI 3.5.7p5: Step 11. Return the fetched type.
1126 return Res;
1127}
1128
Daniel Dunbarb4094ea2009-02-10 20:44:09 +00001129llvm::Value *X86_64ABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
1130 CodeGenFunction &CGF) const {
Daniel Dunbarbe9eb092009-02-12 09:04:14 +00001131 // Assume that va_list type is correct; should be pointer to LLVM type:
1132 // struct {
1133 // i32 gp_offset;
1134 // i32 fp_offset;
1135 // i8* overflow_arg_area;
1136 // i8* reg_save_area;
1137 // };
1138 unsigned neededInt, neededSSE;
1139 ABIArgInfo AI = classifyArgumentType(Ty, CGF.getContext(),
1140 neededInt, neededSSE);
1141
1142 // AMD64-ABI 3.5.7p5: Step 1. Determine whether type may be passed
1143 // in the registers. If not go to step 7.
1144 if (!neededInt && !neededSSE)
1145 return EmitVAArgFromMemory(VAListAddr, Ty, CGF);
1146
1147 // AMD64-ABI 3.5.7p5: Step 2. Compute num_gp to hold the number of
1148 // general purpose registers needed to pass type and num_fp to hold
1149 // the number of floating point registers needed.
1150
1151 // AMD64-ABI 3.5.7p5: Step 3. Verify whether arguments fit into
1152 // registers. In the case: l->gp_offset > 48 - num_gp * 8 or
1153 // l->fp_offset > 304 - num_fp * 16 go to step 7.
1154 //
1155 // NOTE: 304 is a typo, there are (6 * 8 + 8 * 16) = 176 bytes of
1156 // register save space).
1157
1158 llvm::Value *InRegs = 0;
1159 llvm::Value *gp_offset_p = 0, *gp_offset = 0;
1160 llvm::Value *fp_offset_p = 0, *fp_offset = 0;
1161 if (neededInt) {
1162 gp_offset_p = CGF.Builder.CreateStructGEP(VAListAddr, 0, "gp_offset_p");
1163 gp_offset = CGF.Builder.CreateLoad(gp_offset_p, "gp_offset");
1164 InRegs =
1165 CGF.Builder.CreateICmpULE(gp_offset,
1166 llvm::ConstantInt::get(llvm::Type::Int32Ty,
1167 48 - neededInt * 8),
1168 "fits_in_gp");
1169 }
1170
1171 if (neededSSE) {
1172 fp_offset_p = CGF.Builder.CreateStructGEP(VAListAddr, 1, "fp_offset_p");
1173 fp_offset = CGF.Builder.CreateLoad(fp_offset_p, "fp_offset");
1174 llvm::Value *FitsInFP =
1175 CGF.Builder.CreateICmpULE(fp_offset,
1176 llvm::ConstantInt::get(llvm::Type::Int32Ty,
Daniel Dunbar90dafa12009-02-18 22:19:44 +00001177 176 - neededSSE * 16),
Daniel Dunbarbe9eb092009-02-12 09:04:14 +00001178 "fits_in_fp");
Daniel Dunbarf2313462009-02-18 22:05:01 +00001179 InRegs = InRegs ? CGF.Builder.CreateAnd(InRegs, FitsInFP) : FitsInFP;
Daniel Dunbarbe9eb092009-02-12 09:04:14 +00001180 }
1181
1182 llvm::BasicBlock *InRegBlock = CGF.createBasicBlock("vaarg.in_reg");
1183 llvm::BasicBlock *InMemBlock = CGF.createBasicBlock("vaarg.in_mem");
1184 llvm::BasicBlock *ContBlock = CGF.createBasicBlock("vaarg.end");
1185 CGF.Builder.CreateCondBr(InRegs, InRegBlock, InMemBlock);
1186
1187 // Emit code to load the value if it was passed in registers.
1188
1189 CGF.EmitBlock(InRegBlock);
1190
1191 // AMD64-ABI 3.5.7p5: Step 4. Fetch type from l->reg_save_area with
1192 // an offset of l->gp_offset and/or l->fp_offset. This may require
1193 // copying to a temporary location in case the parameter is passed
1194 // in different register classes or requires an alignment greater
1195 // than 8 for general purpose registers and 16 for XMM registers.
Daniel Dunbar3e030b42009-02-18 03:44:19 +00001196 //
Mike Stumpf5408fe2009-05-16 07:57:57 +00001197 // FIXME: This really results in shameful code when we end up needing to
1198 // collect arguments from different places; often what should result in a
1199 // simple assembling of a structure from scattered addresses has many more
1200 // loads than necessary. Can we clean this up?
Daniel Dunbarbe9eb092009-02-12 09:04:14 +00001201 const llvm::Type *LTy = CGF.ConvertTypeForMem(Ty);
1202 llvm::Value *RegAddr =
1203 CGF.Builder.CreateLoad(CGF.Builder.CreateStructGEP(VAListAddr, 3),
1204 "reg_save_area");
1205 if (neededInt && neededSSE) {
Daniel Dunbar55e5d892009-02-13 17:46:31 +00001206 // FIXME: Cleanup.
1207 assert(AI.isCoerce() && "Unexpected ABI info for mixed regs");
1208 const llvm::StructType *ST = cast<llvm::StructType>(AI.getCoerceToType());
1209 llvm::Value *Tmp = CGF.CreateTempAlloca(ST);
1210 assert(ST->getNumElements() == 2 && "Unexpected ABI info for mixed regs");
1211 const llvm::Type *TyLo = ST->getElementType(0);
1212 const llvm::Type *TyHi = ST->getElementType(1);
1213 assert((TyLo->isFloatingPoint() ^ TyHi->isFloatingPoint()) &&
1214 "Unexpected ABI info for mixed regs");
1215 const llvm::Type *PTyLo = llvm::PointerType::getUnqual(TyLo);
1216 const llvm::Type *PTyHi = llvm::PointerType::getUnqual(TyHi);
1217 llvm::Value *GPAddr = CGF.Builder.CreateGEP(RegAddr, gp_offset);
1218 llvm::Value *FPAddr = CGF.Builder.CreateGEP(RegAddr, fp_offset);
1219 llvm::Value *RegLoAddr = TyLo->isFloatingPoint() ? FPAddr : GPAddr;
1220 llvm::Value *RegHiAddr = TyLo->isFloatingPoint() ? GPAddr : FPAddr;
1221 llvm::Value *V =
1222 CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegLoAddr, PTyLo));
1223 CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 0));
1224 V = CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegHiAddr, PTyHi));
1225 CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 1));
1226
1227 RegAddr = CGF.Builder.CreateBitCast(Tmp, llvm::PointerType::getUnqual(LTy));
Daniel Dunbarbe9eb092009-02-12 09:04:14 +00001228 } else if (neededInt) {
1229 RegAddr = CGF.Builder.CreateGEP(RegAddr, gp_offset);
1230 RegAddr = CGF.Builder.CreateBitCast(RegAddr,
1231 llvm::PointerType::getUnqual(LTy));
1232 } else {
Daniel Dunbar3e030b42009-02-18 03:44:19 +00001233 if (neededSSE == 1) {
1234 RegAddr = CGF.Builder.CreateGEP(RegAddr, fp_offset);
1235 RegAddr = CGF.Builder.CreateBitCast(RegAddr,
1236 llvm::PointerType::getUnqual(LTy));
1237 } else {
1238 assert(neededSSE == 2 && "Invalid number of needed registers!");
1239 // SSE registers are spaced 16 bytes apart in the register save
1240 // area, we need to collect the two eightbytes together.
1241 llvm::Value *RegAddrLo = CGF.Builder.CreateGEP(RegAddr, fp_offset);
1242 llvm::Value *RegAddrHi =
1243 CGF.Builder.CreateGEP(RegAddrLo,
1244 llvm::ConstantInt::get(llvm::Type::Int32Ty, 16));
1245 const llvm::Type *DblPtrTy =
1246 llvm::PointerType::getUnqual(llvm::Type::DoubleTy);
1247 const llvm::StructType *ST = llvm::StructType::get(llvm::Type::DoubleTy,
1248 llvm::Type::DoubleTy,
1249 NULL);
1250 llvm::Value *V, *Tmp = CGF.CreateTempAlloca(ST);
1251 V = CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegAddrLo,
1252 DblPtrTy));
1253 CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 0));
1254 V = CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegAddrHi,
1255 DblPtrTy));
1256 CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 1));
1257 RegAddr = CGF.Builder.CreateBitCast(Tmp,
1258 llvm::PointerType::getUnqual(LTy));
1259 }
Daniel Dunbarbe9eb092009-02-12 09:04:14 +00001260 }
1261
1262 // AMD64-ABI 3.5.7p5: Step 5. Set:
1263 // l->gp_offset = l->gp_offset + num_gp * 8
1264 // l->fp_offset = l->fp_offset + num_fp * 16.
1265 if (neededInt) {
1266 llvm::Value *Offset = llvm::ConstantInt::get(llvm::Type::Int32Ty,
1267 neededInt * 8);
1268 CGF.Builder.CreateStore(CGF.Builder.CreateAdd(gp_offset, Offset),
1269 gp_offset_p);
1270 }
1271 if (neededSSE) {
1272 llvm::Value *Offset = llvm::ConstantInt::get(llvm::Type::Int32Ty,
1273 neededSSE * 16);
1274 CGF.Builder.CreateStore(CGF.Builder.CreateAdd(fp_offset, Offset),
1275 fp_offset_p);
1276 }
1277 CGF.EmitBranch(ContBlock);
1278
1279 // Emit code to load the value if it was passed in memory.
1280
1281 CGF.EmitBlock(InMemBlock);
1282 llvm::Value *MemAddr = EmitVAArgFromMemory(VAListAddr, Ty, CGF);
1283
1284 // Return the appropriate result.
1285
1286 CGF.EmitBlock(ContBlock);
1287 llvm::PHINode *ResAddr = CGF.Builder.CreatePHI(RegAddr->getType(),
1288 "vaarg.addr");
1289 ResAddr->reserveOperandSpace(2);
1290 ResAddr->addIncoming(RegAddr, InRegBlock);
1291 ResAddr->addIncoming(MemAddr, InMemBlock);
1292
1293 return ResAddr;
Daniel Dunbarb4094ea2009-02-10 20:44:09 +00001294}
1295
Sanjiv Gupta70aa5f92009-04-21 06:01:16 +00001296// ABI Info for PIC16
1297class PIC16ABIInfo : public ABIInfo {
1298 ABIArgInfo classifyReturnType(QualType RetTy,
1299 ASTContext &Context) const;
1300
1301 ABIArgInfo classifyArgumentType(QualType RetTy,
1302 ASTContext &Context) const;
1303
1304 virtual void computeInfo(CGFunctionInfo &FI, ASTContext &Context) const {
1305 FI.getReturnInfo() = classifyReturnType(FI.getReturnType(), Context);
1306 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
1307 it != ie; ++it)
1308 it->info = classifyArgumentType(it->type, Context);
1309 }
1310
1311 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
1312 CodeGenFunction &CGF) const;
1313
1314};
1315
1316ABIArgInfo PIC16ABIInfo::classifyReturnType(QualType RetTy,
1317 ASTContext &Context) const {
1318 if (RetTy->isVoidType()) {
1319 return ABIArgInfo::getIgnore();
1320 } else {
1321 return ABIArgInfo::getDirect();
1322 }
1323}
1324
1325ABIArgInfo PIC16ABIInfo::classifyArgumentType(QualType Ty,
1326 ASTContext &Context) const {
1327 return ABIArgInfo::getDirect();
1328}
1329
1330llvm::Value *PIC16ABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
1331 CodeGenFunction &CGF) const {
1332 return 0;
1333}
1334
Eli Friedmana027ea92009-03-29 00:15:25 +00001335class ARMABIInfo : public ABIInfo {
1336 ABIArgInfo classifyReturnType(QualType RetTy,
1337 ASTContext &Context) const;
1338
1339 ABIArgInfo classifyArgumentType(QualType RetTy,
1340 ASTContext &Context) const;
1341
1342 virtual void computeInfo(CGFunctionInfo &FI, ASTContext &Context) const;
1343
1344 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
1345 CodeGenFunction &CGF) const;
1346};
1347
1348void ARMABIInfo::computeInfo(CGFunctionInfo &FI, ASTContext &Context) const {
1349 FI.getReturnInfo() = classifyReturnType(FI.getReturnType(), Context);
1350 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
1351 it != ie; ++it) {
1352 it->info = classifyArgumentType(it->type, Context);
1353 }
1354}
1355
1356ABIArgInfo ARMABIInfo::classifyArgumentType(QualType Ty,
1357 ASTContext &Context) const {
1358 if (!CodeGenFunction::hasAggregateLLVMType(Ty)) {
1359 return ABIArgInfo::getDirect();
1360 }
Mike Stumpf5408fe2009-05-16 07:57:57 +00001361 // FIXME: This is kind of nasty... but there isn't much choice because the ARM
1362 // backend doesn't support byval.
Eli Friedmana027ea92009-03-29 00:15:25 +00001363 // FIXME: This doesn't handle alignment > 64 bits.
1364 const llvm::Type* ElemTy;
1365 unsigned SizeRegs;
1366 if (Context.getTypeAlign(Ty) > 32) {
1367 ElemTy = llvm::Type::Int64Ty;
1368 SizeRegs = (Context.getTypeSize(Ty) + 63) / 64;
1369 } else {
1370 ElemTy = llvm::Type::Int32Ty;
1371 SizeRegs = (Context.getTypeSize(Ty) + 31) / 32;
1372 }
1373 std::vector<const llvm::Type*> LLVMFields;
1374 LLVMFields.push_back(llvm::ArrayType::get(ElemTy, SizeRegs));
1375 const llvm::Type* STy = llvm::StructType::get(LLVMFields, true);
1376 return ABIArgInfo::getCoerce(STy);
1377}
1378
1379ABIArgInfo ARMABIInfo::classifyReturnType(QualType RetTy,
1380 ASTContext &Context) const {
1381 if (RetTy->isVoidType()) {
1382 return ABIArgInfo::getIgnore();
1383 } else if (CodeGenFunction::hasAggregateLLVMType(RetTy)) {
1384 // Aggregates <= 4 bytes are returned in r0; other aggregates
1385 // are returned indirectly.
1386 uint64_t Size = Context.getTypeSize(RetTy);
1387 if (Size <= 32)
1388 return ABIArgInfo::getCoerce(llvm::Type::Int32Ty);
1389 return ABIArgInfo::getIndirect(0);
1390 } else {
1391 return ABIArgInfo::getDirect();
1392 }
1393}
1394
1395llvm::Value *ARMABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
1396 CodeGenFunction &CGF) const {
1397 // FIXME: Need to handle alignment
1398 const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
1399 const llvm::Type *BPP = llvm::PointerType::getUnqual(BP);
1400
1401 CGBuilderTy &Builder = CGF.Builder;
1402 llvm::Value *VAListAddrAsBPP = Builder.CreateBitCast(VAListAddr, BPP,
1403 "ap");
1404 llvm::Value *Addr = Builder.CreateLoad(VAListAddrAsBPP, "ap.cur");
1405 llvm::Type *PTy =
1406 llvm::PointerType::getUnqual(CGF.ConvertType(Ty));
1407 llvm::Value *AddrTyped = Builder.CreateBitCast(Addr, PTy);
1408
1409 uint64_t Offset =
1410 llvm::RoundUpToAlignment(CGF.getContext().getTypeSize(Ty) / 8, 4);
1411 llvm::Value *NextAddr =
1412 Builder.CreateGEP(Addr,
1413 llvm::ConstantInt::get(llvm::Type::Int32Ty, Offset),
1414 "ap.next");
1415 Builder.CreateStore(NextAddr, VAListAddrAsBPP);
1416
1417 return AddrTyped;
1418}
1419
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +00001420ABIArgInfo DefaultABIInfo::classifyReturnType(QualType RetTy,
Daniel Dunbarb4094ea2009-02-10 20:44:09 +00001421 ASTContext &Context) const {
Daniel Dunbar0bcc5212009-02-03 06:30:17 +00001422 if (RetTy->isVoidType()) {
1423 return ABIArgInfo::getIgnore();
1424 } else if (CodeGenFunction::hasAggregateLLVMType(RetTy)) {
Daniel Dunbar11e383a2009-02-05 08:00:50 +00001425 return ABIArgInfo::getIndirect(0);
Daniel Dunbar0bcc5212009-02-03 06:30:17 +00001426 } else {
1427 return ABIArgInfo::getDirect();
1428 }
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +00001429}
1430
1431ABIArgInfo DefaultABIInfo::classifyArgumentType(QualType Ty,
Daniel Dunbarb4094ea2009-02-10 20:44:09 +00001432 ASTContext &Context) const {
Daniel Dunbar0bcc5212009-02-03 06:30:17 +00001433 if (CodeGenFunction::hasAggregateLLVMType(Ty)) {
Daniel Dunbar11e383a2009-02-05 08:00:50 +00001434 return ABIArgInfo::getIndirect(0);
Daniel Dunbar0bcc5212009-02-03 06:30:17 +00001435 } else {
1436 return ABIArgInfo::getDirect();
1437 }
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +00001438}
1439
Daniel Dunbarb4094ea2009-02-10 20:44:09 +00001440llvm::Value *DefaultABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
1441 CodeGenFunction &CGF) const {
1442 return 0;
1443}
1444
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +00001445const ABIInfo &CodeGenTypes::getABIInfo() const {
1446 if (TheABIInfo)
1447 return *TheABIInfo;
1448
1449 // For now we just cache this in the CodeGenTypes and don't bother
1450 // to free it.
1451 const char *TargetPrefix = getContext().Target.getTargetPrefix();
1452 if (strcmp(TargetPrefix, "x86") == 0) {
Eli Friedman9fd58e82009-03-23 23:26:24 +00001453 bool IsDarwin = strstr(getContext().Target.getTargetTriple(), "darwin");
Daniel Dunbard4edfe42009-01-15 18:18:40 +00001454 switch (getContext().Target.getPointerWidth(0)) {
1455 case 32:
Douglas Gregor6ab35242009-04-09 21:40:53 +00001456 return *(TheABIInfo = new X86_32ABIInfo(Context, IsDarwin));
Daniel Dunbard4edfe42009-01-15 18:18:40 +00001457 case 64:
Daniel Dunbar11a76ed2009-01-30 18:47:53 +00001458 return *(TheABIInfo = new X86_64ABIInfo());
Daniel Dunbard4edfe42009-01-15 18:18:40 +00001459 }
Eli Friedmana027ea92009-03-29 00:15:25 +00001460 } else if (strcmp(TargetPrefix, "arm") == 0) {
1461 // FIXME: Support for OABI?
1462 return *(TheABIInfo = new ARMABIInfo());
Sanjiv Gupta70aa5f92009-04-21 06:01:16 +00001463 } else if (strcmp(TargetPrefix, "pic16") == 0) {
1464 return *(TheABIInfo = new PIC16ABIInfo());
Daniel Dunbar6b1da0e2008-10-13 17:02:26 +00001465 }
1466
1467 return *(TheABIInfo = new DefaultABIInfo);
1468}
1469
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001470/***/
1471
Daniel Dunbar88c2fa92009-02-03 05:31:23 +00001472CGFunctionInfo::CGFunctionInfo(QualType ResTy,
1473 const llvm::SmallVector<QualType, 16> &ArgTys) {
1474 NumArgs = ArgTys.size();
1475 Args = new ArgInfo[1 + NumArgs];
1476 Args[0].type = ResTy;
1477 for (unsigned i = 0; i < NumArgs; ++i)
1478 Args[1 + i].type = ArgTys[i];
1479}
1480
1481/***/
1482
Daniel Dunbar56273772008-09-17 00:51:38 +00001483void CodeGenTypes::GetExpandedTypes(QualType Ty,
1484 std::vector<const llvm::Type*> &ArgTys) {
1485 const RecordType *RT = Ty->getAsStructureType();
1486 assert(RT && "Can only expand structure types.");
1487 const RecordDecl *RD = RT->getDecl();
1488 assert(!RD->hasFlexibleArrayMember() &&
1489 "Cannot expand structure with flexible array.");
1490
Douglas Gregor6ab35242009-04-09 21:40:53 +00001491 for (RecordDecl::field_iterator i = RD->field_begin(Context),
1492 e = RD->field_end(Context); i != e; ++i) {
Daniel Dunbar56273772008-09-17 00:51:38 +00001493 const FieldDecl *FD = *i;
1494 assert(!FD->isBitField() &&
1495 "Cannot expand structure with bit-field members.");
1496
1497 QualType FT = FD->getType();
1498 if (CodeGenFunction::hasAggregateLLVMType(FT)) {
1499 GetExpandedTypes(FT, ArgTys);
1500 } else {
1501 ArgTys.push_back(ConvertType(FT));
1502 }
1503 }
1504}
1505
1506llvm::Function::arg_iterator
1507CodeGenFunction::ExpandTypeFromArgs(QualType Ty, LValue LV,
1508 llvm::Function::arg_iterator AI) {
1509 const RecordType *RT = Ty->getAsStructureType();
1510 assert(RT && "Can only expand structure types.");
1511
1512 RecordDecl *RD = RT->getDecl();
1513 assert(LV.isSimple() &&
1514 "Unexpected non-simple lvalue during struct expansion.");
1515 llvm::Value *Addr = LV.getAddress();
Douglas Gregor6ab35242009-04-09 21:40:53 +00001516 for (RecordDecl::field_iterator i = RD->field_begin(getContext()),
1517 e = RD->field_end(getContext()); i != e; ++i) {
Daniel Dunbar56273772008-09-17 00:51:38 +00001518 FieldDecl *FD = *i;
1519 QualType FT = FD->getType();
1520
1521 // FIXME: What are the right qualifiers here?
1522 LValue LV = EmitLValueForField(Addr, FD, false, 0);
1523 if (CodeGenFunction::hasAggregateLLVMType(FT)) {
1524 AI = ExpandTypeFromArgs(FT, LV, AI);
1525 } else {
1526 EmitStoreThroughLValue(RValue::get(AI), LV, FT);
1527 ++AI;
1528 }
1529 }
1530
1531 return AI;
1532}
1533
1534void
1535CodeGenFunction::ExpandTypeToArgs(QualType Ty, RValue RV,
1536 llvm::SmallVector<llvm::Value*, 16> &Args) {
1537 const RecordType *RT = Ty->getAsStructureType();
1538 assert(RT && "Can only expand structure types.");
1539
1540 RecordDecl *RD = RT->getDecl();
1541 assert(RV.isAggregate() && "Unexpected rvalue during struct expansion");
1542 llvm::Value *Addr = RV.getAggregateAddr();
Douglas Gregor6ab35242009-04-09 21:40:53 +00001543 for (RecordDecl::field_iterator i = RD->field_begin(getContext()),
1544 e = RD->field_end(getContext()); i != e; ++i) {
Daniel Dunbar56273772008-09-17 00:51:38 +00001545 FieldDecl *FD = *i;
1546 QualType FT = FD->getType();
1547
1548 // FIXME: What are the right qualifiers here?
1549 LValue LV = EmitLValueForField(Addr, FD, false, 0);
1550 if (CodeGenFunction::hasAggregateLLVMType(FT)) {
1551 ExpandTypeToArgs(FT, RValue::getAggregate(LV.getAddress()), Args);
1552 } else {
1553 RValue RV = EmitLoadOfLValue(LV, FT);
1554 assert(RV.isScalar() &&
1555 "Unexpected non-scalar rvalue during struct expansion.");
1556 Args.push_back(RV.getScalarVal());
1557 }
1558 }
1559}
1560
Daniel Dunbar275e10d2009-02-02 19:06:38 +00001561/// CreateCoercedLoad - Create a load from \arg SrcPtr interpreted as
1562/// a pointer to an object of type \arg Ty.
1563///
1564/// This safely handles the case when the src type is smaller than the
1565/// destination type; in this situation the values of bits which not
1566/// present in the src are undefined.
1567static llvm::Value *CreateCoercedLoad(llvm::Value *SrcPtr,
1568 const llvm::Type *Ty,
1569 CodeGenFunction &CGF) {
1570 const llvm::Type *SrcTy =
1571 cast<llvm::PointerType>(SrcPtr->getType())->getElementType();
Duncan Sands9408c452009-05-09 07:08:47 +00001572 uint64_t SrcSize = CGF.CGM.getTargetData().getTypeAllocSize(SrcTy);
1573 uint64_t DstSize = CGF.CGM.getTargetData().getTypeAllocSize(Ty);
Daniel Dunbar275e10d2009-02-02 19:06:38 +00001574
Daniel Dunbarb225be42009-02-03 05:59:18 +00001575 // If load is legal, just bitcast the src pointer.
Daniel Dunbar7ef455b2009-05-13 18:54:26 +00001576 if (SrcSize >= DstSize) {
Mike Stumpf5408fe2009-05-16 07:57:57 +00001577 // Generally SrcSize is never greater than DstSize, since this means we are
1578 // losing bits. However, this can happen in cases where the structure has
1579 // additional padding, for example due to a user specified alignment.
Daniel Dunbar7ef455b2009-05-13 18:54:26 +00001580 //
Mike Stumpf5408fe2009-05-16 07:57:57 +00001581 // FIXME: Assert that we aren't truncating non-padding bits when have access
1582 // to that information.
Daniel Dunbar275e10d2009-02-02 19:06:38 +00001583 llvm::Value *Casted =
1584 CGF.Builder.CreateBitCast(SrcPtr, llvm::PointerType::getUnqual(Ty));
Daniel Dunbar386621f2009-02-07 02:46:03 +00001585 llvm::LoadInst *Load = CGF.Builder.CreateLoad(Casted);
1586 // FIXME: Use better alignment / avoid requiring aligned load.
1587 Load->setAlignment(1);
1588 return Load;
Daniel Dunbar275e10d2009-02-02 19:06:38 +00001589 } else {
Daniel Dunbar275e10d2009-02-02 19:06:38 +00001590 // Otherwise do coercion through memory. This is stupid, but
1591 // simple.
1592 llvm::Value *Tmp = CGF.CreateTempAlloca(Ty);
1593 llvm::Value *Casted =
1594 CGF.Builder.CreateBitCast(Tmp, llvm::PointerType::getUnqual(SrcTy));
Daniel Dunbar386621f2009-02-07 02:46:03 +00001595 llvm::StoreInst *Store =
1596 CGF.Builder.CreateStore(CGF.Builder.CreateLoad(SrcPtr), Casted);
1597 // FIXME: Use better alignment / avoid requiring aligned store.
1598 Store->setAlignment(1);
Daniel Dunbar275e10d2009-02-02 19:06:38 +00001599 return CGF.Builder.CreateLoad(Tmp);
1600 }
1601}
1602
1603/// CreateCoercedStore - Create a store to \arg DstPtr from \arg Src,
1604/// where the source and destination may have different types.
1605///
1606/// This safely handles the case when the src type is larger than the
1607/// destination type; the upper bits of the src will be lost.
1608static void CreateCoercedStore(llvm::Value *Src,
1609 llvm::Value *DstPtr,
1610 CodeGenFunction &CGF) {
1611 const llvm::Type *SrcTy = Src->getType();
1612 const llvm::Type *DstTy =
1613 cast<llvm::PointerType>(DstPtr->getType())->getElementType();
1614
Duncan Sands9408c452009-05-09 07:08:47 +00001615 uint64_t SrcSize = CGF.CGM.getTargetData().getTypeAllocSize(SrcTy);
1616 uint64_t DstSize = CGF.CGM.getTargetData().getTypeAllocSize(DstTy);
Daniel Dunbar275e10d2009-02-02 19:06:38 +00001617
Daniel Dunbar88c2fa92009-02-03 05:31:23 +00001618 // If store is legal, just bitcast the src pointer.
Daniel Dunbar7ef455b2009-05-13 18:54:26 +00001619 if (SrcSize >= DstSize) {
Mike Stumpf5408fe2009-05-16 07:57:57 +00001620 // Generally SrcSize is never greater than DstSize, since this means we are
1621 // losing bits. However, this can happen in cases where the structure has
1622 // additional padding, for example due to a user specified alignment.
Daniel Dunbar7ef455b2009-05-13 18:54:26 +00001623 //
Mike Stumpf5408fe2009-05-16 07:57:57 +00001624 // FIXME: Assert that we aren't truncating non-padding bits when have access
1625 // to that information.
Daniel Dunbar275e10d2009-02-02 19:06:38 +00001626 llvm::Value *Casted =
1627 CGF.Builder.CreateBitCast(DstPtr, llvm::PointerType::getUnqual(SrcTy));
Daniel Dunbar386621f2009-02-07 02:46:03 +00001628 // FIXME: Use better alignment / avoid requiring aligned store.
1629 CGF.Builder.CreateStore(Src, Casted)->setAlignment(1);
Daniel Dunbar275e10d2009-02-02 19:06:38 +00001630 } else {
Daniel Dunbar275e10d2009-02-02 19:06:38 +00001631 // Otherwise do coercion through memory. This is stupid, but
1632 // simple.
1633 llvm::Value *Tmp = CGF.CreateTempAlloca(SrcTy);
1634 CGF.Builder.CreateStore(Src, Tmp);
1635 llvm::Value *Casted =
1636 CGF.Builder.CreateBitCast(Tmp, llvm::PointerType::getUnqual(DstTy));
Daniel Dunbar386621f2009-02-07 02:46:03 +00001637 llvm::LoadInst *Load = CGF.Builder.CreateLoad(Casted);
1638 // FIXME: Use better alignment / avoid requiring aligned load.
1639 Load->setAlignment(1);
1640 CGF.Builder.CreateStore(Load, DstPtr);
Daniel Dunbar275e10d2009-02-02 19:06:38 +00001641 }
1642}
1643
Daniel Dunbar56273772008-09-17 00:51:38 +00001644/***/
1645
Daniel Dunbar88b53962009-02-02 22:03:45 +00001646bool CodeGenModule::ReturnTypeUsesSret(const CGFunctionInfo &FI) {
Daniel Dunbar11e383a2009-02-05 08:00:50 +00001647 return FI.getReturnInfo().isIndirect();
Daniel Dunbarbb36d332009-02-02 21:43:58 +00001648}
1649
Daniel Dunbar45c25ba2008-09-10 04:01:49 +00001650const llvm::FunctionType *
Daniel Dunbarbb36d332009-02-02 21:43:58 +00001651CodeGenTypes::GetFunctionType(const CGFunctionInfo &FI, bool IsVariadic) {
Daniel Dunbar45c25ba2008-09-10 04:01:49 +00001652 std::vector<const llvm::Type*> ArgTys;
1653
1654 const llvm::Type *ResultType = 0;
1655
Daniel Dunbara0a99e02009-02-02 23:43:58 +00001656 QualType RetTy = FI.getReturnType();
Daniel Dunbarb225be42009-02-03 05:59:18 +00001657 const ABIArgInfo &RetAI = FI.getReturnInfo();
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001658 switch (RetAI.getKind()) {
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001659 case ABIArgInfo::Expand:
1660 assert(0 && "Invalid ABI kind for return argument");
1661
Daniel Dunbar46327aa2009-02-03 06:17:37 +00001662 case ABIArgInfo::Direct:
1663 ResultType = ConvertType(RetTy);
1664 break;
1665
Daniel Dunbar11e383a2009-02-05 08:00:50 +00001666 case ABIArgInfo::Indirect: {
1667 assert(!RetAI.getIndirectAlign() && "Align unused on indirect return.");
Daniel Dunbar45c25ba2008-09-10 04:01:49 +00001668 ResultType = llvm::Type::VoidTy;
Daniel Dunbar62d5c1b2008-09-10 07:00:50 +00001669 const llvm::Type *STy = ConvertType(RetTy);
Daniel Dunbar45c25ba2008-09-10 04:01:49 +00001670 ArgTys.push_back(llvm::PointerType::get(STy, RetTy.getAddressSpace()));
1671 break;
1672 }
1673
Daniel Dunbar11434922009-01-26 21:26:08 +00001674 case ABIArgInfo::Ignore:
1675 ResultType = llvm::Type::VoidTy;
1676 break;
1677
Daniel Dunbar45c25ba2008-09-10 04:01:49 +00001678 case ABIArgInfo::Coerce:
Daniel Dunbar639ffe42008-09-10 07:04:09 +00001679 ResultType = RetAI.getCoerceToType();
Daniel Dunbar45c25ba2008-09-10 04:01:49 +00001680 break;
1681 }
1682
Daniel Dunbar88c2fa92009-02-03 05:31:23 +00001683 for (CGFunctionInfo::const_arg_iterator it = FI.arg_begin(),
1684 ie = FI.arg_end(); it != ie; ++it) {
1685 const ABIArgInfo &AI = it->info;
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001686
1687 switch (AI.getKind()) {
Daniel Dunbar11434922009-01-26 21:26:08 +00001688 case ABIArgInfo::Ignore:
1689 break;
1690
Daniel Dunbar56273772008-09-17 00:51:38 +00001691 case ABIArgInfo::Coerce:
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00001692 ArgTys.push_back(AI.getCoerceToType());
1693 break;
1694
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00001695 case ABIArgInfo::Indirect: {
Daniel Dunbar11e383a2009-02-05 08:00:50 +00001696 // indirect arguments are always on the stack, which is addr space #0.
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00001697 const llvm::Type *LTy = ConvertTypeForMem(it->type);
1698 ArgTys.push_back(llvm::PointerType::getUnqual(LTy));
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001699 break;
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00001700 }
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001701
Daniel Dunbar46327aa2009-02-03 06:17:37 +00001702 case ABIArgInfo::Direct:
Daniel Dunbar1f745982009-02-05 09:16:39 +00001703 ArgTys.push_back(ConvertType(it->type));
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001704 break;
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001705
1706 case ABIArgInfo::Expand:
Daniel Dunbar88c2fa92009-02-03 05:31:23 +00001707 GetExpandedTypes(it->type, ArgTys);
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001708 break;
1709 }
Daniel Dunbar45c25ba2008-09-10 04:01:49 +00001710 }
1711
Daniel Dunbarbb36d332009-02-02 21:43:58 +00001712 return llvm::FunctionType::get(ResultType, ArgTys, IsVariadic);
Daniel Dunbar3913f182008-09-09 23:48:28 +00001713}
1714
Daniel Dunbara0a99e02009-02-02 23:43:58 +00001715void CodeGenModule::ConstructAttributeList(const CGFunctionInfo &FI,
Daniel Dunbar88b53962009-02-02 22:03:45 +00001716 const Decl *TargetDecl,
Devang Patel761d7f72008-09-25 21:02:23 +00001717 AttributeListType &PAL) {
Daniel Dunbar5323a4b2008-09-10 00:32:18 +00001718 unsigned FuncAttrs = 0;
Devang Patela2c69122008-09-26 22:53:57 +00001719 unsigned RetAttrs = 0;
Daniel Dunbar5323a4b2008-09-10 00:32:18 +00001720
Anton Korobeynikov1102f422009-04-04 00:49:24 +00001721 // FIXME: handle sseregparm someday...
Daniel Dunbar5323a4b2008-09-10 00:32:18 +00001722 if (TargetDecl) {
Daniel Dunbarb11fa0d2009-04-13 21:08:27 +00001723 if (TargetDecl->hasAttr<NoThrowAttr>())
Devang Patel761d7f72008-09-25 21:02:23 +00001724 FuncAttrs |= llvm::Attribute::NoUnwind;
Daniel Dunbarb11fa0d2009-04-13 21:08:27 +00001725 if (TargetDecl->hasAttr<NoReturnAttr>())
Devang Patel761d7f72008-09-25 21:02:23 +00001726 FuncAttrs |= llvm::Attribute::NoReturn;
Daniel Dunbarb11fa0d2009-04-13 21:08:27 +00001727 if (TargetDecl->hasAttr<ConstAttr>())
Anders Carlsson232eb7d2008-10-05 23:32:53 +00001728 FuncAttrs |= llvm::Attribute::ReadNone;
Daniel Dunbarb11fa0d2009-04-13 21:08:27 +00001729 else if (TargetDecl->hasAttr<PureAttr>())
Daniel Dunbar64c2e072009-04-10 22:14:52 +00001730 FuncAttrs |= llvm::Attribute::ReadOnly;
Daniel Dunbar5323a4b2008-09-10 00:32:18 +00001731 }
1732
Daniel Dunbara0a99e02009-02-02 23:43:58 +00001733 QualType RetTy = FI.getReturnType();
Daniel Dunbar5323a4b2008-09-10 00:32:18 +00001734 unsigned Index = 1;
Daniel Dunbarb225be42009-02-03 05:59:18 +00001735 const ABIArgInfo &RetAI = FI.getReturnInfo();
Daniel Dunbar45c25ba2008-09-10 04:01:49 +00001736 switch (RetAI.getKind()) {
Daniel Dunbar46327aa2009-02-03 06:17:37 +00001737 case ABIArgInfo::Direct:
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001738 if (RetTy->isPromotableIntegerType()) {
1739 if (RetTy->isSignedIntegerType()) {
Devang Patela2c69122008-09-26 22:53:57 +00001740 RetAttrs |= llvm::Attribute::SExt;
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001741 } else if (RetTy->isUnsignedIntegerType()) {
Devang Patela2c69122008-09-26 22:53:57 +00001742 RetAttrs |= llvm::Attribute::ZExt;
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001743 }
1744 }
1745 break;
1746
Daniel Dunbar11e383a2009-02-05 08:00:50 +00001747 case ABIArgInfo::Indirect:
Devang Patel761d7f72008-09-25 21:02:23 +00001748 PAL.push_back(llvm::AttributeWithIndex::get(Index,
Daniel Dunbar725ad312009-01-31 02:19:00 +00001749 llvm::Attribute::StructRet |
1750 llvm::Attribute::NoAlias));
Daniel Dunbar5323a4b2008-09-10 00:32:18 +00001751 ++Index;
Daniel Dunbar0ac86f02009-03-18 19:51:01 +00001752 // sret disables readnone and readonly
1753 FuncAttrs &= ~(llvm::Attribute::ReadOnly |
1754 llvm::Attribute::ReadNone);
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001755 break;
1756
Daniel Dunbar11434922009-01-26 21:26:08 +00001757 case ABIArgInfo::Ignore:
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001758 case ABIArgInfo::Coerce:
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001759 break;
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001760
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001761 case ABIArgInfo::Expand:
1762 assert(0 && "Invalid ABI kind for return argument");
Daniel Dunbar5323a4b2008-09-10 00:32:18 +00001763 }
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001764
Devang Patela2c69122008-09-26 22:53:57 +00001765 if (RetAttrs)
1766 PAL.push_back(llvm::AttributeWithIndex::get(0, RetAttrs));
Anton Korobeynikov1102f422009-04-04 00:49:24 +00001767
1768 // FIXME: we need to honour command line settings also...
1769 // FIXME: RegParm should be reduced in case of nested functions and/or global
1770 // register variable.
1771 signed RegParm = 0;
1772 if (TargetDecl)
1773 if (const RegparmAttr *RegParmAttr = TargetDecl->getAttr<RegparmAttr>())
1774 RegParm = RegParmAttr->getNumParams();
1775
1776 unsigned PointerWidth = getContext().Target.getPointerWidth(0);
Daniel Dunbar88c2fa92009-02-03 05:31:23 +00001777 for (CGFunctionInfo::const_arg_iterator it = FI.arg_begin(),
1778 ie = FI.arg_end(); it != ie; ++it) {
1779 QualType ParamType = it->type;
1780 const ABIArgInfo &AI = it->info;
Devang Patel761d7f72008-09-25 21:02:23 +00001781 unsigned Attributes = 0;
Anton Korobeynikov1102f422009-04-04 00:49:24 +00001782
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001783 switch (AI.getKind()) {
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00001784 case ABIArgInfo::Coerce:
1785 break;
1786
Daniel Dunbar11e383a2009-02-05 08:00:50 +00001787 case ABIArgInfo::Indirect:
Devang Patel761d7f72008-09-25 21:02:23 +00001788 Attributes |= llvm::Attribute::ByVal;
Anton Korobeynikov1102f422009-04-04 00:49:24 +00001789 Attributes |=
Daniel Dunbar11e383a2009-02-05 08:00:50 +00001790 llvm::Attribute::constructAlignmentFromInt(AI.getIndirectAlign());
Daniel Dunbar0ac86f02009-03-18 19:51:01 +00001791 // byval disables readnone and readonly.
1792 FuncAttrs &= ~(llvm::Attribute::ReadOnly |
1793 llvm::Attribute::ReadNone);
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001794 break;
1795
Daniel Dunbar46327aa2009-02-03 06:17:37 +00001796 case ABIArgInfo::Direct:
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001797 if (ParamType->isPromotableIntegerType()) {
1798 if (ParamType->isSignedIntegerType()) {
Devang Patel761d7f72008-09-25 21:02:23 +00001799 Attributes |= llvm::Attribute::SExt;
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001800 } else if (ParamType->isUnsignedIntegerType()) {
Devang Patel761d7f72008-09-25 21:02:23 +00001801 Attributes |= llvm::Attribute::ZExt;
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001802 }
Daniel Dunbar5323a4b2008-09-10 00:32:18 +00001803 }
Anton Korobeynikov1102f422009-04-04 00:49:24 +00001804 if (RegParm > 0 &&
1805 (ParamType->isIntegerType() || ParamType->isPointerType())) {
1806 RegParm -=
1807 (Context.getTypeSize(ParamType) + PointerWidth - 1) / PointerWidth;
1808 if (RegParm >= 0)
1809 Attributes |= llvm::Attribute::InReg;
1810 }
1811 // FIXME: handle sseregparm someday...
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001812 break;
Anton Korobeynikov1102f422009-04-04 00:49:24 +00001813
Daniel Dunbar11434922009-01-26 21:26:08 +00001814 case ABIArgInfo::Ignore:
1815 // Skip increment, no matching LLVM parameter.
1816 continue;
1817
Daniel Dunbar56273772008-09-17 00:51:38 +00001818 case ABIArgInfo::Expand: {
1819 std::vector<const llvm::Type*> Tys;
Mike Stumpf5408fe2009-05-16 07:57:57 +00001820 // FIXME: This is rather inefficient. Do we ever actually need to do
1821 // anything here? The result should be just reconstructed on the other
1822 // side, so extension should be a non-issue.
Daniel Dunbar56273772008-09-17 00:51:38 +00001823 getTypes().GetExpandedTypes(ParamType, Tys);
1824 Index += Tys.size();
1825 continue;
1826 }
Daniel Dunbar5323a4b2008-09-10 00:32:18 +00001827 }
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001828
Devang Patel761d7f72008-09-25 21:02:23 +00001829 if (Attributes)
1830 PAL.push_back(llvm::AttributeWithIndex::get(Index, Attributes));
Daniel Dunbar56273772008-09-17 00:51:38 +00001831 ++Index;
Daniel Dunbar5323a4b2008-09-10 00:32:18 +00001832 }
Devang Patela2c69122008-09-26 22:53:57 +00001833 if (FuncAttrs)
1834 PAL.push_back(llvm::AttributeWithIndex::get(~0, FuncAttrs));
Daniel Dunbar5323a4b2008-09-10 00:32:18 +00001835}
1836
Daniel Dunbar88b53962009-02-02 22:03:45 +00001837void CodeGenFunction::EmitFunctionProlog(const CGFunctionInfo &FI,
1838 llvm::Function *Fn,
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001839 const FunctionArgList &Args) {
Mike Stumpf5408fe2009-05-16 07:57:57 +00001840 // FIXME: We no longer need the types from FunctionArgList; lift up and
1841 // simplify.
Daniel Dunbar5251afa2009-02-03 06:02:10 +00001842
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001843 // Emit allocs for param decls. Give the LLVM Argument nodes names.
1844 llvm::Function::arg_iterator AI = Fn->arg_begin();
1845
1846 // Name the struct return argument.
Daniel Dunbar88b53962009-02-02 22:03:45 +00001847 if (CGM.ReturnTypeUsesSret(FI)) {
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001848 AI->setName("agg.result");
1849 ++AI;
1850 }
Daniel Dunbarb225be42009-02-03 05:59:18 +00001851
Daniel Dunbar4b5f0a42009-02-04 21:17:21 +00001852 assert(FI.arg_size() == Args.size() &&
1853 "Mismatch between function signature & arguments.");
Daniel Dunbarb225be42009-02-03 05:59:18 +00001854 CGFunctionInfo::const_arg_iterator info_it = FI.arg_begin();
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001855 for (FunctionArgList::const_iterator i = Args.begin(), e = Args.end();
Daniel Dunbarb225be42009-02-03 05:59:18 +00001856 i != e; ++i, ++info_it) {
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001857 const VarDecl *Arg = i->first;
Daniel Dunbarb225be42009-02-03 05:59:18 +00001858 QualType Ty = info_it->type;
1859 const ABIArgInfo &ArgI = info_it->info;
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001860
1861 switch (ArgI.getKind()) {
Daniel Dunbar1f745982009-02-05 09:16:39 +00001862 case ABIArgInfo::Indirect: {
1863 llvm::Value* V = AI;
1864 if (hasAggregateLLVMType(Ty)) {
1865 // Do nothing, aggregates and complex variables are accessed by
1866 // reference.
1867 } else {
1868 // Load scalar value from indirect argument.
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00001869 V = EmitLoadOfScalar(V, false, Ty);
Daniel Dunbar1f745982009-02-05 09:16:39 +00001870 if (!getContext().typesAreCompatible(Ty, Arg->getType())) {
1871 // This must be a promotion, for something like
1872 // "void a(x) short x; {..."
1873 V = EmitScalarConversion(V, Ty, Arg->getType());
1874 }
1875 }
1876 EmitParmDecl(*Arg, V);
1877 break;
1878 }
1879
Daniel Dunbar46327aa2009-02-03 06:17:37 +00001880 case ABIArgInfo::Direct: {
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001881 assert(AI != Fn->arg_end() && "Argument mismatch!");
1882 llvm::Value* V = AI;
Daniel Dunbar2fbf2f52009-02-05 11:13:54 +00001883 if (hasAggregateLLVMType(Ty)) {
1884 // Create a temporary alloca to hold the argument; the rest of
1885 // codegen expects to access aggregates & complex values by
1886 // reference.
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00001887 V = CreateTempAlloca(ConvertTypeForMem(Ty));
Daniel Dunbar2fbf2f52009-02-05 11:13:54 +00001888 Builder.CreateStore(AI, V);
1889 } else {
1890 if (!getContext().typesAreCompatible(Ty, Arg->getType())) {
1891 // This must be a promotion, for something like
1892 // "void a(x) short x; {..."
1893 V = EmitScalarConversion(V, Ty, Arg->getType());
1894 }
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001895 }
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001896 EmitParmDecl(*Arg, V);
1897 break;
1898 }
Daniel Dunbar56273772008-09-17 00:51:38 +00001899
1900 case ABIArgInfo::Expand: {
Daniel Dunbarb225be42009-02-03 05:59:18 +00001901 // If this structure was expanded into multiple arguments then
Daniel Dunbar56273772008-09-17 00:51:38 +00001902 // we need to create a temporary and reconstruct it from the
1903 // arguments.
Chris Lattner39f34e92008-11-24 04:00:27 +00001904 std::string Name = Arg->getNameAsString();
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00001905 llvm::Value *Temp = CreateTempAlloca(ConvertTypeForMem(Ty),
Daniel Dunbar56273772008-09-17 00:51:38 +00001906 (Name + ".addr").c_str());
1907 // FIXME: What are the right qualifiers here?
1908 llvm::Function::arg_iterator End =
1909 ExpandTypeFromArgs(Ty, LValue::MakeAddr(Temp,0), AI);
1910 EmitParmDecl(*Arg, Temp);
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001911
Daniel Dunbar56273772008-09-17 00:51:38 +00001912 // Name the arguments used in expansion and increment AI.
1913 unsigned Index = 0;
1914 for (; AI != End; ++AI, ++Index)
1915 AI->setName(Name + "." + llvm::utostr(Index));
1916 continue;
1917 }
Daniel Dunbar11434922009-01-26 21:26:08 +00001918
1919 case ABIArgInfo::Ignore:
Daniel Dunbar8b979d92009-02-10 00:06:49 +00001920 // Initialize the local variable appropriately.
1921 if (hasAggregateLLVMType(Ty)) {
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00001922 EmitParmDecl(*Arg, CreateTempAlloca(ConvertTypeForMem(Ty)));
Daniel Dunbar8b979d92009-02-10 00:06:49 +00001923 } else {
1924 EmitParmDecl(*Arg, llvm::UndefValue::get(ConvertType(Arg->getType())));
1925 }
1926
Daniel Dunbar59e5a0e2009-02-03 20:00:13 +00001927 // Skip increment, no matching LLVM parameter.
1928 continue;
Daniel Dunbar11434922009-01-26 21:26:08 +00001929
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00001930 case ABIArgInfo::Coerce: {
1931 assert(AI != Fn->arg_end() && "Argument mismatch!");
Mike Stumpf5408fe2009-05-16 07:57:57 +00001932 // FIXME: This is very wasteful; EmitParmDecl is just going to drop the
1933 // result in a new alloca anyway, so we could just store into that
1934 // directly if we broke the abstraction down more.
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00001935 llvm::Value *V = CreateTempAlloca(ConvertTypeForMem(Ty), "coerce");
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00001936 CreateCoercedStore(AI, V, *this);
1937 // Match to what EmitParmDecl is expecting for this type.
Daniel Dunbar8b29a382009-02-04 07:22:24 +00001938 if (!CodeGenFunction::hasAggregateLLVMType(Ty)) {
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00001939 V = EmitLoadOfScalar(V, false, Ty);
Daniel Dunbar8b29a382009-02-04 07:22:24 +00001940 if (!getContext().typesAreCompatible(Ty, Arg->getType())) {
1941 // This must be a promotion, for something like
1942 // "void a(x) short x; {..."
1943 V = EmitScalarConversion(V, Ty, Arg->getType());
1944 }
1945 }
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00001946 EmitParmDecl(*Arg, V);
1947 break;
1948 }
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001949 }
Daniel Dunbar56273772008-09-17 00:51:38 +00001950
1951 ++AI;
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001952 }
1953 assert(AI == Fn->arg_end() && "Argument mismatch!");
1954}
1955
Daniel Dunbar88b53962009-02-02 22:03:45 +00001956void CodeGenFunction::EmitFunctionEpilog(const CGFunctionInfo &FI,
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001957 llvm::Value *ReturnValue) {
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001958 llvm::Value *RV = 0;
1959
1960 // Functions with no result always return void.
1961 if (ReturnValue) {
Daniel Dunbar88b53962009-02-02 22:03:45 +00001962 QualType RetTy = FI.getReturnType();
Daniel Dunbarb225be42009-02-03 05:59:18 +00001963 const ABIArgInfo &RetAI = FI.getReturnInfo();
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001964
1965 switch (RetAI.getKind()) {
Daniel Dunbar11e383a2009-02-05 08:00:50 +00001966 case ABIArgInfo::Indirect:
Daniel Dunbar3aea8ca2008-12-18 04:52:14 +00001967 if (RetTy->isAnyComplexType()) {
Daniel Dunbar3aea8ca2008-12-18 04:52:14 +00001968 ComplexPairTy RT = LoadComplexFromAddr(ReturnValue, false);
1969 StoreComplexToAddr(RT, CurFn->arg_begin(), false);
1970 } else if (CodeGenFunction::hasAggregateLLVMType(RetTy)) {
1971 EmitAggregateCopy(CurFn->arg_begin(), ReturnValue, RetTy);
1972 } else {
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00001973 EmitStoreOfScalar(Builder.CreateLoad(ReturnValue), CurFn->arg_begin(),
1974 false);
Daniel Dunbar3aea8ca2008-12-18 04:52:14 +00001975 }
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001976 break;
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001977
Daniel Dunbar46327aa2009-02-03 06:17:37 +00001978 case ABIArgInfo::Direct:
Daniel Dunbar2fbf2f52009-02-05 11:13:54 +00001979 // The internal return value temp always will have
1980 // pointer-to-return-type type.
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001981 RV = Builder.CreateLoad(ReturnValue);
1982 break;
1983
Daniel Dunbar11434922009-01-26 21:26:08 +00001984 case ABIArgInfo::Ignore:
1985 break;
1986
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00001987 case ABIArgInfo::Coerce:
Daniel Dunbar54d1ccb2009-01-27 01:36:03 +00001988 RV = CreateCoercedLoad(ReturnValue, RetAI.getCoerceToType(), *this);
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001989 break;
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001990
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00001991 case ABIArgInfo::Expand:
1992 assert(0 && "Invalid ABI kind for return argument");
Daniel Dunbar17b708d2008-09-09 23:27:19 +00001993 }
1994 }
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00001995
1996 if (RV) {
1997 Builder.CreateRet(RV);
1998 } else {
1999 Builder.CreateRetVoid();
2000 }
Daniel Dunbar17b708d2008-09-09 23:27:19 +00002001}
2002
Anders Carlsson0139bb92009-04-08 20:47:54 +00002003RValue CodeGenFunction::EmitCallArg(const Expr *E, QualType ArgType) {
2004 return EmitAnyExprToTemp(E);
2005}
2006
Daniel Dunbar88b53962009-02-02 22:03:45 +00002007RValue CodeGenFunction::EmitCall(const CGFunctionInfo &CallInfo,
2008 llvm::Value *Callee,
Daniel Dunbarc0ef9f52009-02-20 18:06:48 +00002009 const CallArgList &CallArgs,
2010 const Decl *TargetDecl) {
Mike Stumpf5408fe2009-05-16 07:57:57 +00002011 // FIXME: We no longer need the types from CallArgs; lift up and simplify.
Daniel Dunbar17b708d2008-09-09 23:27:19 +00002012 llvm::SmallVector<llvm::Value*, 16> Args;
Daniel Dunbar17b708d2008-09-09 23:27:19 +00002013
2014 // Handle struct-return functions by passing a pointer to the
2015 // location that we would like to return into.
Daniel Dunbarbb36d332009-02-02 21:43:58 +00002016 QualType RetTy = CallInfo.getReturnType();
Daniel Dunbarb225be42009-02-03 05:59:18 +00002017 const ABIArgInfo &RetAI = CallInfo.getReturnInfo();
Daniel Dunbar2969a022009-02-05 09:24:53 +00002018 if (CGM.ReturnTypeUsesSret(CallInfo)) {
Daniel Dunbar17b708d2008-09-09 23:27:19 +00002019 // Create a temporary alloca to hold the result of the call. :(
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00002020 Args.push_back(CreateTempAlloca(ConvertTypeForMem(RetTy)));
Daniel Dunbar17b708d2008-09-09 23:27:19 +00002021 }
2022
Daniel Dunbar4b5f0a42009-02-04 21:17:21 +00002023 assert(CallInfo.arg_size() == CallArgs.size() &&
2024 "Mismatch between function signature & arguments.");
Daniel Dunbarb225be42009-02-03 05:59:18 +00002025 CGFunctionInfo::const_arg_iterator info_it = CallInfo.arg_begin();
Daniel Dunbar17b708d2008-09-09 23:27:19 +00002026 for (CallArgList::const_iterator I = CallArgs.begin(), E = CallArgs.end();
Daniel Dunbarb225be42009-02-03 05:59:18 +00002027 I != E; ++I, ++info_it) {
2028 const ABIArgInfo &ArgInfo = info_it->info;
Daniel Dunbar17b708d2008-09-09 23:27:19 +00002029 RValue RV = I->first;
Daniel Dunbar56273772008-09-17 00:51:38 +00002030
2031 switch (ArgInfo.getKind()) {
Daniel Dunbar11e383a2009-02-05 08:00:50 +00002032 case ABIArgInfo::Indirect:
Daniel Dunbar1f745982009-02-05 09:16:39 +00002033 if (RV.isScalar() || RV.isComplex()) {
2034 // Make a temporary alloca to pass the argument.
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00002035 Args.push_back(CreateTempAlloca(ConvertTypeForMem(I->second)));
Daniel Dunbar1f745982009-02-05 09:16:39 +00002036 if (RV.isScalar())
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00002037 EmitStoreOfScalar(RV.getScalarVal(), Args.back(), false);
Daniel Dunbar1f745982009-02-05 09:16:39 +00002038 else
2039 StoreComplexToAddr(RV.getComplexVal(), Args.back(), false);
2040 } else {
2041 Args.push_back(RV.getAggregateAddr());
2042 }
2043 break;
2044
Daniel Dunbar46327aa2009-02-03 06:17:37 +00002045 case ABIArgInfo::Direct:
Daniel Dunbar56273772008-09-17 00:51:38 +00002046 if (RV.isScalar()) {
2047 Args.push_back(RV.getScalarVal());
2048 } else if (RV.isComplex()) {
Daniel Dunbar2fbf2f52009-02-05 11:13:54 +00002049 llvm::Value *Tmp = llvm::UndefValue::get(ConvertType(I->second));
2050 Tmp = Builder.CreateInsertValue(Tmp, RV.getComplexVal().first, 0);
2051 Tmp = Builder.CreateInsertValue(Tmp, RV.getComplexVal().second, 1);
2052 Args.push_back(Tmp);
Daniel Dunbar56273772008-09-17 00:51:38 +00002053 } else {
Daniel Dunbar2fbf2f52009-02-05 11:13:54 +00002054 Args.push_back(Builder.CreateLoad(RV.getAggregateAddr()));
Daniel Dunbar56273772008-09-17 00:51:38 +00002055 }
2056 break;
2057
Daniel Dunbar11434922009-01-26 21:26:08 +00002058 case ABIArgInfo::Ignore:
2059 break;
2060
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00002061 case ABIArgInfo::Coerce: {
2062 // FIXME: Avoid the conversion through memory if possible.
2063 llvm::Value *SrcPtr;
2064 if (RV.isScalar()) {
Daniel Dunbar5a1be6e2009-02-03 23:04:57 +00002065 SrcPtr = CreateTempAlloca(ConvertTypeForMem(I->second), "coerce");
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00002066 EmitStoreOfScalar(RV.getScalarVal(), SrcPtr, false);
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00002067 } else if (RV.isComplex()) {
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00002068 SrcPtr = CreateTempAlloca(ConvertTypeForMem(I->second), "coerce");
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00002069 StoreComplexToAddr(RV.getComplexVal(), SrcPtr, false);
2070 } else
2071 SrcPtr = RV.getAggregateAddr();
2072 Args.push_back(CreateCoercedLoad(SrcPtr, ArgInfo.getCoerceToType(),
2073 *this));
2074 break;
2075 }
2076
Daniel Dunbar56273772008-09-17 00:51:38 +00002077 case ABIArgInfo::Expand:
2078 ExpandTypeToArgs(I->second, RV, Args);
2079 break;
Daniel Dunbar17b708d2008-09-09 23:27:19 +00002080 }
2081 }
Daniel Dunbar17b708d2008-09-09 23:27:19 +00002082
Daniel Dunbar9834ffb2009-02-23 17:26:39 +00002083 llvm::BasicBlock *InvokeDest = getInvokeDest();
Devang Patel761d7f72008-09-25 21:02:23 +00002084 CodeGen::AttributeListType AttributeList;
Daniel Dunbarc0ef9f52009-02-20 18:06:48 +00002085 CGM.ConstructAttributeList(CallInfo, TargetDecl, AttributeList);
Daniel Dunbar9834ffb2009-02-23 17:26:39 +00002086 llvm::AttrListPtr Attrs = llvm::AttrListPtr::get(AttributeList.begin(),
2087 AttributeList.end());
Daniel Dunbar725ad312009-01-31 02:19:00 +00002088
Daniel Dunbard14151d2009-03-02 04:32:35 +00002089 llvm::CallSite CS;
2090 if (!InvokeDest || (Attrs.getFnAttributes() & llvm::Attribute::NoUnwind)) {
2091 CS = Builder.CreateCall(Callee, &Args[0], &Args[0]+Args.size());
Daniel Dunbar9834ffb2009-02-23 17:26:39 +00002092 } else {
2093 llvm::BasicBlock *Cont = createBasicBlock("invoke.cont");
Daniel Dunbard14151d2009-03-02 04:32:35 +00002094 CS = Builder.CreateInvoke(Callee, Cont, InvokeDest,
2095 &Args[0], &Args[0]+Args.size());
Daniel Dunbar9834ffb2009-02-23 17:26:39 +00002096 EmitBlock(Cont);
Daniel Dunbarf4fe0f02009-02-20 18:54:31 +00002097 }
2098
Daniel Dunbard14151d2009-03-02 04:32:35 +00002099 CS.setAttributes(Attrs);
2100 if (const llvm::Function *F = dyn_cast<llvm::Function>(Callee))
2101 CS.setCallingConv(F->getCallingConv());
2102
2103 // If the call doesn't return, finish the basic block and clear the
2104 // insertion point; this allows the rest of IRgen to discard
2105 // unreachable code.
2106 if (CS.doesNotReturn()) {
2107 Builder.CreateUnreachable();
2108 Builder.ClearInsertionPoint();
2109
Mike Stumpf5408fe2009-05-16 07:57:57 +00002110 // FIXME: For now, emit a dummy basic block because expr emitters in
2111 // generally are not ready to handle emitting expressions at unreachable
2112 // points.
Daniel Dunbard14151d2009-03-02 04:32:35 +00002113 EnsureInsertPoint();
2114
2115 // Return a reasonable RValue.
2116 return GetUndefRValue(RetTy);
2117 }
2118
2119 llvm::Instruction *CI = CS.getInstruction();
Chris Lattner34030842009-03-22 00:32:22 +00002120 if (Builder.isNamePreserving() && CI->getType() != llvm::Type::VoidTy)
Daniel Dunbar17b708d2008-09-09 23:27:19 +00002121 CI->setName("call");
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00002122
2123 switch (RetAI.getKind()) {
Daniel Dunbar11e383a2009-02-05 08:00:50 +00002124 case ABIArgInfo::Indirect:
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00002125 if (RetTy->isAnyComplexType())
Daniel Dunbar56273772008-09-17 00:51:38 +00002126 return RValue::getComplex(LoadComplexFromAddr(Args[0], false));
Chris Lattner34030842009-03-22 00:32:22 +00002127 if (CodeGenFunction::hasAggregateLLVMType(RetTy))
Daniel Dunbar56273772008-09-17 00:51:38 +00002128 return RValue::getAggregate(Args[0]);
Chris Lattner34030842009-03-22 00:32:22 +00002129 return RValue::get(EmitLoadOfScalar(Args[0], false, RetTy));
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00002130
Daniel Dunbar46327aa2009-02-03 06:17:37 +00002131 case ABIArgInfo::Direct:
Daniel Dunbar2fbf2f52009-02-05 11:13:54 +00002132 if (RetTy->isAnyComplexType()) {
2133 llvm::Value *Real = Builder.CreateExtractValue(CI, 0);
2134 llvm::Value *Imag = Builder.CreateExtractValue(CI, 1);
2135 return RValue::getComplex(std::make_pair(Real, Imag));
Chris Lattner34030842009-03-22 00:32:22 +00002136 }
2137 if (CodeGenFunction::hasAggregateLLVMType(RetTy)) {
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00002138 llvm::Value *V = CreateTempAlloca(ConvertTypeForMem(RetTy), "agg.tmp");
Daniel Dunbar2fbf2f52009-02-05 11:13:54 +00002139 Builder.CreateStore(CI, V);
2140 return RValue::getAggregate(V);
Chris Lattner34030842009-03-22 00:32:22 +00002141 }
2142 return RValue::get(CI);
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00002143
Daniel Dunbar11434922009-01-26 21:26:08 +00002144 case ABIArgInfo::Ignore:
Daniel Dunbar0bcc5212009-02-03 06:30:17 +00002145 // If we are ignoring an argument that had a result, make sure to
2146 // construct the appropriate return value for our caller.
Daniel Dunbar13e81732009-02-05 07:09:07 +00002147 return GetUndefRValue(RetTy);
Daniel Dunbar11434922009-01-26 21:26:08 +00002148
Daniel Dunbar639ffe42008-09-10 07:04:09 +00002149 case ABIArgInfo::Coerce: {
Daniel Dunbar89c9d8e2009-02-03 19:12:28 +00002150 // FIXME: Avoid the conversion through memory if possible.
Daniel Dunbaradc8bdd2009-02-10 01:51:39 +00002151 llvm::Value *V = CreateTempAlloca(ConvertTypeForMem(RetTy), "coerce");
Daniel Dunbar54d1ccb2009-01-27 01:36:03 +00002152 CreateCoercedStore(CI, V, *this);
Anders Carlssonad3d6912008-11-25 22:21:48 +00002153 if (RetTy->isAnyComplexType())
2154 return RValue::getComplex(LoadComplexFromAddr(V, false));
Chris Lattner34030842009-03-22 00:32:22 +00002155 if (CodeGenFunction::hasAggregateLLVMType(RetTy))
Anders Carlssonad3d6912008-11-25 22:21:48 +00002156 return RValue::getAggregate(V);
Chris Lattner34030842009-03-22 00:32:22 +00002157 return RValue::get(EmitLoadOfScalar(V, false, RetTy));
Daniel Dunbar639ffe42008-09-10 07:04:09 +00002158 }
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00002159
Daniel Dunbar8951dbd2008-09-11 01:48:57 +00002160 case ABIArgInfo::Expand:
2161 assert(0 && "Invalid ABI kind for return argument");
Daniel Dunbar17b708d2008-09-09 23:27:19 +00002162 }
Daniel Dunbar2c8e0f32008-09-10 02:41:04 +00002163
2164 assert(0 && "Unhandled ABIArgInfo::Kind");
2165 return RValue::get(0);
Daniel Dunbar17b708d2008-09-09 23:27:19 +00002166}
Daniel Dunbarb4094ea2009-02-10 20:44:09 +00002167
2168/* VarArg handling */
2169
2170llvm::Value *CodeGenFunction::EmitVAArg(llvm::Value *VAListAddr, QualType Ty) {
2171 return CGM.getTypes().getABIInfo().EmitVAArg(VAListAddr, Ty, *this);
2172}