blob: 0b244e8ba1e855fe627b19932e02b0d6b604df73 [file] [log] [blame]
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00001//===---- TargetInfo.cpp - Encapsulate target details -----------*- C++ -*-===//
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// These classes wrap the information about a call or function
11// definition used to handle ABI compliancy.
12//
13//===----------------------------------------------------------------------===//
14
Anton Korobeynikov82d0a412010-01-10 12:58:08 +000015#include "TargetInfo.h"
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000016#include "ABIInfo.h"
17#include "CodeGenFunction.h"
Anders Carlsson19cc4ab2009-07-18 19:43:29 +000018#include "clang/AST/RecordLayout.h"
Sandeep Patel34c1af82011-04-05 00:23:47 +000019#include "clang/Frontend/CodeGenOptions.h"
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000020#include "llvm/Type.h"
Chris Lattner9c254f02010-06-29 06:01:59 +000021#include "llvm/Target/TargetData.h"
Daniel Dunbar2c0843f2009-08-24 08:52:16 +000022#include "llvm/ADT/Triple.h"
Daniel Dunbar28df7a52009-12-03 09:13:49 +000023#include "llvm/Support/raw_ostream.h"
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000024using namespace clang;
25using namespace CodeGen;
26
John McCallaeeb7012010-05-27 06:19:26 +000027static void AssignToArrayRange(CodeGen::CGBuilderTy &Builder,
28 llvm::Value *Array,
29 llvm::Value *Value,
30 unsigned FirstIndex,
31 unsigned LastIndex) {
32 // Alternatively, we could emit this as a loop in the source.
33 for (unsigned I = FirstIndex; I <= LastIndex; ++I) {
34 llvm::Value *Cell = Builder.CreateConstInBoundsGEP1_32(Array, I);
35 Builder.CreateStore(Value, Cell);
36 }
37}
38
John McCalld608cdb2010-08-22 10:59:02 +000039static bool isAggregateTypeForABI(QualType T) {
40 return CodeGenFunction::hasAggregateLLVMType(T) ||
41 T->isMemberFunctionPointerType();
42}
43
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000044ABIInfo::~ABIInfo() {}
45
Chris Lattnerea044322010-07-29 02:01:43 +000046ASTContext &ABIInfo::getContext() const {
47 return CGT.getContext();
48}
49
50llvm::LLVMContext &ABIInfo::getVMContext() const {
51 return CGT.getLLVMContext();
52}
53
54const llvm::TargetData &ABIInfo::getTargetData() const {
55 return CGT.getTargetData();
56}
57
58
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000059void ABIArgInfo::dump() const {
Daniel Dunbar28df7a52009-12-03 09:13:49 +000060 llvm::raw_ostream &OS = llvm::errs();
61 OS << "(ABIArgInfo Kind=";
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000062 switch (TheKind) {
63 case Direct:
Chris Lattner800588f2010-07-29 06:26:06 +000064 OS << "Direct Type=";
65 if (const llvm::Type *Ty = getCoerceToType())
66 Ty->print(OS);
67 else
68 OS << "null";
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000069 break;
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +000070 case Extend:
Daniel Dunbar28df7a52009-12-03 09:13:49 +000071 OS << "Extend";
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +000072 break;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000073 case Ignore:
Daniel Dunbar28df7a52009-12-03 09:13:49 +000074 OS << "Ignore";
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000075 break;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000076 case Indirect:
Daniel Dunbardc6d5742010-04-21 19:10:51 +000077 OS << "Indirect Align=" << getIndirectAlign()
Daniel Dunbarcf3b6f22010-09-16 20:42:02 +000078 << " Byal=" << getIndirectByVal()
79 << " Realign=" << getIndirectRealign();
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000080 break;
81 case Expand:
Daniel Dunbar28df7a52009-12-03 09:13:49 +000082 OS << "Expand";
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000083 break;
84 }
Daniel Dunbar28df7a52009-12-03 09:13:49 +000085 OS << ")\n";
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000086}
87
Anton Korobeynikov82d0a412010-01-10 12:58:08 +000088TargetCodeGenInfo::~TargetCodeGenInfo() { delete Info; }
89
Daniel Dunbar98303b92009-09-13 08:03:58 +000090static bool isEmptyRecord(ASTContext &Context, QualType T, bool AllowArrays);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000091
92/// isEmptyField - Return true iff a the field is "empty", that is it
93/// is an unnamed bit-field or an (array of) empty record(s).
Daniel Dunbar98303b92009-09-13 08:03:58 +000094static bool isEmptyField(ASTContext &Context, const FieldDecl *FD,
95 bool AllowArrays) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000096 if (FD->isUnnamedBitfield())
97 return true;
98
99 QualType FT = FD->getType();
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000100
Daniel Dunbar98303b92009-09-13 08:03:58 +0000101 // Constant arrays of empty records count as empty, strip them off.
102 if (AllowArrays)
103 while (const ConstantArrayType *AT = Context.getAsConstantArrayType(FT))
104 FT = AT->getElementType();
105
Daniel Dunbar5ea68612010-05-17 16:46:00 +0000106 const RecordType *RT = FT->getAs<RecordType>();
107 if (!RT)
108 return false;
109
110 // C++ record fields are never empty, at least in the Itanium ABI.
111 //
112 // FIXME: We should use a predicate for whether this behavior is true in the
113 // current ABI.
114 if (isa<CXXRecordDecl>(RT->getDecl()))
115 return false;
116
Daniel Dunbar98303b92009-09-13 08:03:58 +0000117 return isEmptyRecord(Context, FT, AllowArrays);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000118}
119
120/// isEmptyRecord - Return true iff a structure contains only empty
121/// fields. Note that a structure with a flexible array member is not
122/// considered empty.
Daniel Dunbar98303b92009-09-13 08:03:58 +0000123static bool isEmptyRecord(ASTContext &Context, QualType T, bool AllowArrays) {
Ted Kremenek6217b802009-07-29 21:53:49 +0000124 const RecordType *RT = T->getAs<RecordType>();
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000125 if (!RT)
126 return 0;
127 const RecordDecl *RD = RT->getDecl();
128 if (RD->hasFlexibleArrayMember())
129 return false;
Daniel Dunbar5ea68612010-05-17 16:46:00 +0000130
131 // If this is a C++ record, check the bases first.
132 if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD))
133 for (CXXRecordDecl::base_class_const_iterator i = CXXRD->bases_begin(),
134 e = CXXRD->bases_end(); i != e; ++i)
135 if (!isEmptyRecord(Context, i->getType(), true))
136 return false;
137
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000138 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
139 i != e; ++i)
Daniel Dunbar98303b92009-09-13 08:03:58 +0000140 if (!isEmptyField(Context, *i, AllowArrays))
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000141 return false;
142 return true;
143}
144
Anders Carlsson0a8f8472009-09-16 15:53:40 +0000145/// hasNonTrivialDestructorOrCopyConstructor - Determine if a type has either
146/// a non-trivial destructor or a non-trivial copy constructor.
147static bool hasNonTrivialDestructorOrCopyConstructor(const RecordType *RT) {
148 const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(RT->getDecl());
149 if (!RD)
150 return false;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000151
Anders Carlsson0a8f8472009-09-16 15:53:40 +0000152 return !RD->hasTrivialDestructor() || !RD->hasTrivialCopyConstructor();
153}
154
155/// isRecordWithNonTrivialDestructorOrCopyConstructor - Determine if a type is
156/// a record type with either a non-trivial destructor or a non-trivial copy
157/// constructor.
158static bool isRecordWithNonTrivialDestructorOrCopyConstructor(QualType T) {
159 const RecordType *RT = T->getAs<RecordType>();
160 if (!RT)
161 return false;
162
163 return hasNonTrivialDestructorOrCopyConstructor(RT);
164}
165
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000166/// isSingleElementStruct - Determine if a structure is a "single
167/// element struct", i.e. it has exactly one non-empty field or
168/// exactly one field which is itself a single element
169/// struct. Structures with flexible array members are never
170/// considered single element structs.
171///
172/// \return The field declaration for the single non-empty field, if
173/// it exists.
174static const Type *isSingleElementStruct(QualType T, ASTContext &Context) {
175 const RecordType *RT = T->getAsStructureType();
176 if (!RT)
177 return 0;
178
179 const RecordDecl *RD = RT->getDecl();
180 if (RD->hasFlexibleArrayMember())
181 return 0;
182
183 const Type *Found = 0;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000184
Daniel Dunbar9430d5a2010-05-11 21:15:36 +0000185 // If this is a C++ record, check the bases first.
186 if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD)) {
187 for (CXXRecordDecl::base_class_const_iterator i = CXXRD->bases_begin(),
188 e = CXXRD->bases_end(); i != e; ++i) {
Daniel Dunbar9430d5a2010-05-11 21:15:36 +0000189 // Ignore empty records.
Daniel Dunbar5ea68612010-05-17 16:46:00 +0000190 if (isEmptyRecord(Context, i->getType(), true))
Daniel Dunbar9430d5a2010-05-11 21:15:36 +0000191 continue;
192
193 // If we already found an element then this isn't a single-element struct.
194 if (Found)
195 return 0;
196
197 // If this is non-empty and not a single element struct, the composite
198 // cannot be a single element struct.
199 Found = isSingleElementStruct(i->getType(), Context);
200 if (!Found)
201 return 0;
202 }
203 }
204
205 // Check for single element.
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000206 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
207 i != e; ++i) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000208 const FieldDecl *FD = *i;
209 QualType FT = FD->getType();
210
211 // Ignore empty fields.
Daniel Dunbar98303b92009-09-13 08:03:58 +0000212 if (isEmptyField(Context, FD, true))
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000213 continue;
214
215 // If we already found an element then this isn't a single-element
216 // struct.
217 if (Found)
218 return 0;
219
220 // Treat single element arrays as the element.
221 while (const ConstantArrayType *AT = Context.getAsConstantArrayType(FT)) {
222 if (AT->getSize().getZExtValue() != 1)
223 break;
224 FT = AT->getElementType();
225 }
226
John McCalld608cdb2010-08-22 10:59:02 +0000227 if (!isAggregateTypeForABI(FT)) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000228 Found = FT.getTypePtr();
229 } else {
230 Found = isSingleElementStruct(FT, Context);
231 if (!Found)
232 return 0;
233 }
234 }
235
236 return Found;
237}
238
239static bool is32Or64BitBasicType(QualType Ty, ASTContext &Context) {
Daniel Dunbara1842d32010-05-14 03:40:53 +0000240 if (!Ty->getAs<BuiltinType>() && !Ty->hasPointerRepresentation() &&
Daniel Dunbar55e59e12009-09-24 05:12:36 +0000241 !Ty->isAnyComplexType() && !Ty->isEnumeralType() &&
242 !Ty->isBlockPointerType())
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000243 return false;
244
245 uint64_t Size = Context.getTypeSize(Ty);
246 return Size == 32 || Size == 64;
247}
248
Daniel Dunbar53012f42009-11-09 01:33:53 +0000249/// canExpandIndirectArgument - Test whether an argument type which is to be
250/// passed indirectly (on the stack) would have the equivalent layout if it was
251/// expanded into separate arguments. If so, we prefer to do the latter to avoid
252/// inhibiting optimizations.
253///
254// FIXME: This predicate is missing many cases, currently it just follows
255// llvm-gcc (checks that all fields are 32-bit or 64-bit primitive types). We
256// should probably make this smarter, or better yet make the LLVM backend
257// capable of handling it.
258static bool canExpandIndirectArgument(QualType Ty, ASTContext &Context) {
259 // We can only expand structure types.
260 const RecordType *RT = Ty->getAs<RecordType>();
261 if (!RT)
262 return false;
263
264 // We can only expand (C) structures.
265 //
266 // FIXME: This needs to be generalized to handle classes as well.
267 const RecordDecl *RD = RT->getDecl();
268 if (!RD->isStruct() || isa<CXXRecordDecl>(RD))
269 return false;
270
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000271 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
272 i != e; ++i) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000273 const FieldDecl *FD = *i;
274
275 if (!is32Or64BitBasicType(FD->getType(), Context))
276 return false;
277
278 // FIXME: Reject bit-fields wholesale; there are two problems, we don't know
279 // how to expand them yet, and the predicate for telling if a bitfield still
280 // counts as "basic" is more complicated than what we were doing previously.
281 if (FD->isBitField())
282 return false;
283 }
284
285 return true;
286}
287
288namespace {
289/// DefaultABIInfo - The default implementation for ABI specific
290/// details. This implementation provides information which results in
291/// self-consistent and sensible LLVM IR generation, but does not
292/// conform to any particular ABI.
293class DefaultABIInfo : public ABIInfo {
Chris Lattnerea044322010-07-29 02:01:43 +0000294public:
295 DefaultABIInfo(CodeGen::CodeGenTypes &CGT) : ABIInfo(CGT) {}
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000296
Chris Lattnera3c109b2010-07-29 02:16:43 +0000297 ABIArgInfo classifyReturnType(QualType RetTy) const;
298 ABIArgInfo classifyArgumentType(QualType RetTy) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000299
Chris Lattneree5dcd02010-07-29 02:31:05 +0000300 virtual void computeInfo(CGFunctionInfo &FI) const {
Chris Lattnera3c109b2010-07-29 02:16:43 +0000301 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000302 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
303 it != ie; ++it)
Chris Lattnera3c109b2010-07-29 02:16:43 +0000304 it->info = classifyArgumentType(it->type);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000305 }
306
307 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
308 CodeGenFunction &CGF) const;
309};
310
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000311class DefaultTargetCodeGenInfo : public TargetCodeGenInfo {
312public:
Chris Lattnerea044322010-07-29 02:01:43 +0000313 DefaultTargetCodeGenInfo(CodeGen::CodeGenTypes &CGT)
314 : TargetCodeGenInfo(new DefaultABIInfo(CGT)) {}
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000315};
316
317llvm::Value *DefaultABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
318 CodeGenFunction &CGF) const {
319 return 0;
320}
321
Chris Lattnera3c109b2010-07-29 02:16:43 +0000322ABIArgInfo DefaultABIInfo::classifyArgumentType(QualType Ty) const {
John McCalld608cdb2010-08-22 10:59:02 +0000323 if (isAggregateTypeForABI(Ty))
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000324 return ABIArgInfo::getIndirect(0);
Daniel Dunbardc6d5742010-04-21 19:10:51 +0000325
Chris Lattnera14db752010-03-11 18:19:55 +0000326 // Treat an enum type as its underlying type.
327 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
328 Ty = EnumTy->getDecl()->getIntegerType();
Douglas Gregoraa74a1e2010-02-02 20:10:50 +0000329
Chris Lattnera14db752010-03-11 18:19:55 +0000330 return (Ty->isPromotableIntegerType() ?
331 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000332}
333
Bob Wilson0024f942011-01-10 23:54:17 +0000334ABIArgInfo DefaultABIInfo::classifyReturnType(QualType RetTy) const {
335 if (RetTy->isVoidType())
336 return ABIArgInfo::getIgnore();
337
338 if (isAggregateTypeForABI(RetTy))
339 return ABIArgInfo::getIndirect(0);
340
341 // Treat an enum type as its underlying type.
342 if (const EnumType *EnumTy = RetTy->getAs<EnumType>())
343 RetTy = EnumTy->getDecl()->getIntegerType();
344
345 return (RetTy->isPromotableIntegerType() ?
346 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
347}
348
Bill Wendlingbb465d72010-10-18 03:41:31 +0000349/// UseX86_MMXType - Return true if this is an MMX type that should use the special
350/// x86_mmx type.
351bool UseX86_MMXType(const llvm::Type *IRType) {
352 // If the type is an MMX type <2 x i32>, <4 x i16>, or <8 x i8>, use the
353 // special x86_mmx type.
354 return IRType->isVectorTy() && IRType->getPrimitiveSizeInBits() == 64 &&
355 cast<llvm::VectorType>(IRType)->getElementType()->isIntegerTy() &&
356 IRType->getScalarSizeInBits() != 64;
357}
358
Peter Collingbourne4b93d662011-02-19 23:03:58 +0000359static const llvm::Type* X86AdjustInlineAsmType(CodeGen::CodeGenFunction &CGF,
360 llvm::StringRef Constraint,
361 const llvm::Type* Ty) {
Bill Wendling0507be62011-03-07 22:47:14 +0000362 if ((Constraint == "y" || Constraint == "&y") && Ty->isVectorTy())
Peter Collingbourne4b93d662011-02-19 23:03:58 +0000363 return llvm::Type::getX86_MMXTy(CGF.getLLVMContext());
364 return Ty;
365}
366
Chris Lattnerdce5ad02010-06-28 20:05:43 +0000367//===----------------------------------------------------------------------===//
368// X86-32 ABI Implementation
369//===----------------------------------------------------------------------===//
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000370
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000371/// X86_32ABIInfo - The X86-32 ABI information.
372class X86_32ABIInfo : public ABIInfo {
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000373 static const unsigned MinABIStackAlignInBytes = 4;
374
David Chisnall1e4249c2009-08-17 23:08:21 +0000375 bool IsDarwinVectorABI;
376 bool IsSmallStructInRegABI;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000377
378 static bool isRegisterSize(unsigned Size) {
379 return (Size == 8 || Size == 16 || Size == 32 || Size == 64);
380 }
381
382 static bool shouldReturnTypeInRegister(QualType Ty, ASTContext &Context);
383
Daniel Dunbardc6d5742010-04-21 19:10:51 +0000384 /// getIndirectResult - Give a source type \arg Ty, return a suitable result
385 /// such that the argument will be passed in memory.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000386 ABIArgInfo getIndirectResult(QualType Ty, bool ByVal = true) const;
Daniel Dunbardc6d5742010-04-21 19:10:51 +0000387
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000388 /// \brief Return the alignment to use for the given type on the stack.
Daniel Dunbare59d8582010-09-16 20:42:06 +0000389 unsigned getTypeStackAlignInBytes(QualType Ty, unsigned Align) const;
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000390
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000391public:
Chris Lattnerea044322010-07-29 02:01:43 +0000392
Chris Lattnera3c109b2010-07-29 02:16:43 +0000393 ABIArgInfo classifyReturnType(QualType RetTy) const;
394 ABIArgInfo classifyArgumentType(QualType RetTy) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000395
Chris Lattneree5dcd02010-07-29 02:31:05 +0000396 virtual void computeInfo(CGFunctionInfo &FI) const {
Chris Lattnera3c109b2010-07-29 02:16:43 +0000397 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000398 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
399 it != ie; ++it)
Chris Lattnera3c109b2010-07-29 02:16:43 +0000400 it->info = classifyArgumentType(it->type);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000401 }
402
403 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
404 CodeGenFunction &CGF) const;
405
Chris Lattnerea044322010-07-29 02:01:43 +0000406 X86_32ABIInfo(CodeGen::CodeGenTypes &CGT, bool d, bool p)
407 : ABIInfo(CGT), IsDarwinVectorABI(d), IsSmallStructInRegABI(p) {}
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000408};
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000409
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000410class X86_32TargetCodeGenInfo : public TargetCodeGenInfo {
411public:
Chris Lattnerea044322010-07-29 02:01:43 +0000412 X86_32TargetCodeGenInfo(CodeGen::CodeGenTypes &CGT, bool d, bool p)
413 :TargetCodeGenInfo(new X86_32ABIInfo(CGT, d, p)) {}
Charles Davis74f72932010-02-13 15:54:06 +0000414
415 void SetTargetAttributes(const Decl *D, llvm::GlobalValue *GV,
416 CodeGen::CodeGenModule &CGM) const;
John McCall6374c332010-03-06 00:35:14 +0000417
418 int getDwarfEHStackPointer(CodeGen::CodeGenModule &CGM) const {
419 // Darwin uses different dwarf register numbers for EH.
420 if (CGM.isTargetDarwin()) return 5;
421
422 return 4;
423 }
424
425 bool initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
426 llvm::Value *Address) const;
Peter Collingbourne4b93d662011-02-19 23:03:58 +0000427
428 const llvm::Type* adjustInlineAsmType(CodeGen::CodeGenFunction &CGF,
429 llvm::StringRef Constraint,
430 const llvm::Type* Ty) const {
431 return X86AdjustInlineAsmType(CGF, Constraint, Ty);
432 }
433
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000434};
435
436}
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000437
438/// shouldReturnTypeInRegister - Determine if the given type should be
439/// passed in a register (for the Darwin ABI).
440bool X86_32ABIInfo::shouldReturnTypeInRegister(QualType Ty,
441 ASTContext &Context) {
442 uint64_t Size = Context.getTypeSize(Ty);
443
444 // Type must be register sized.
445 if (!isRegisterSize(Size))
446 return false;
447
448 if (Ty->isVectorType()) {
449 // 64- and 128- bit vectors inside structures are not returned in
450 // registers.
451 if (Size == 64 || Size == 128)
452 return false;
453
454 return true;
455 }
456
Daniel Dunbar77115232010-05-15 00:00:30 +0000457 // If this is a builtin, pointer, enum, complex type, member pointer, or
458 // member function pointer it is ok.
Daniel Dunbara1842d32010-05-14 03:40:53 +0000459 if (Ty->getAs<BuiltinType>() || Ty->hasPointerRepresentation() ||
Daniel Dunbar55e59e12009-09-24 05:12:36 +0000460 Ty->isAnyComplexType() || Ty->isEnumeralType() ||
Daniel Dunbar77115232010-05-15 00:00:30 +0000461 Ty->isBlockPointerType() || Ty->isMemberPointerType())
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000462 return true;
463
464 // Arrays are treated like records.
465 if (const ConstantArrayType *AT = Context.getAsConstantArrayType(Ty))
466 return shouldReturnTypeInRegister(AT->getElementType(), Context);
467
468 // Otherwise, it must be a record type.
Ted Kremenek6217b802009-07-29 21:53:49 +0000469 const RecordType *RT = Ty->getAs<RecordType>();
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000470 if (!RT) return false;
471
Anders Carlssona8874232010-01-27 03:25:19 +0000472 // FIXME: Traverse bases here too.
473
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000474 // Structure types are passed in register if all fields would be
475 // passed in a register.
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000476 for (RecordDecl::field_iterator i = RT->getDecl()->field_begin(),
477 e = RT->getDecl()->field_end(); i != e; ++i) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000478 const FieldDecl *FD = *i;
479
480 // Empty fields are ignored.
Daniel Dunbar98303b92009-09-13 08:03:58 +0000481 if (isEmptyField(Context, FD, true))
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000482 continue;
483
484 // Check fields recursively.
485 if (!shouldReturnTypeInRegister(FD->getType(), Context))
486 return false;
487 }
488
489 return true;
490}
491
Chris Lattnera3c109b2010-07-29 02:16:43 +0000492ABIArgInfo X86_32ABIInfo::classifyReturnType(QualType RetTy) const {
493 if (RetTy->isVoidType())
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000494 return ABIArgInfo::getIgnore();
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000495
Chris Lattnera3c109b2010-07-29 02:16:43 +0000496 if (const VectorType *VT = RetTy->getAs<VectorType>()) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000497 // On Darwin, some vectors are returned in registers.
David Chisnall1e4249c2009-08-17 23:08:21 +0000498 if (IsDarwinVectorABI) {
Chris Lattnera3c109b2010-07-29 02:16:43 +0000499 uint64_t Size = getContext().getTypeSize(RetTy);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000500
501 // 128-bit vectors are a special case; they are returned in
502 // registers and we need to make sure to pick a type the LLVM
503 // backend will like.
504 if (Size == 128)
Chris Lattner800588f2010-07-29 06:26:06 +0000505 return ABIArgInfo::getDirect(llvm::VectorType::get(
Chris Lattnera3c109b2010-07-29 02:16:43 +0000506 llvm::Type::getInt64Ty(getVMContext()), 2));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000507
508 // Always return in register if it fits in a general purpose
509 // register, or if it is 64 bits and has a single element.
510 if ((Size == 8 || Size == 16 || Size == 32) ||
511 (Size == 64 && VT->getNumElements() == 1))
Chris Lattner800588f2010-07-29 06:26:06 +0000512 return ABIArgInfo::getDirect(llvm::IntegerType::get(getVMContext(),
Chris Lattnera3c109b2010-07-29 02:16:43 +0000513 Size));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000514
515 return ABIArgInfo::getIndirect(0);
516 }
517
518 return ABIArgInfo::getDirect();
Chris Lattnera3c109b2010-07-29 02:16:43 +0000519 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000520
John McCalld608cdb2010-08-22 10:59:02 +0000521 if (isAggregateTypeForABI(RetTy)) {
Anders Carlssona8874232010-01-27 03:25:19 +0000522 if (const RecordType *RT = RetTy->getAs<RecordType>()) {
Anders Carlsson40092972009-10-20 22:07:59 +0000523 // Structures with either a non-trivial destructor or a non-trivial
524 // copy constructor are always indirect.
525 if (hasNonTrivialDestructorOrCopyConstructor(RT))
526 return ABIArgInfo::getIndirect(0, /*ByVal=*/false);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000527
Anders Carlsson40092972009-10-20 22:07:59 +0000528 // Structures with flexible arrays are always indirect.
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000529 if (RT->getDecl()->hasFlexibleArrayMember())
530 return ABIArgInfo::getIndirect(0);
Anders Carlsson40092972009-10-20 22:07:59 +0000531 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000532
David Chisnall1e4249c2009-08-17 23:08:21 +0000533 // If specified, structs and unions are always indirect.
534 if (!IsSmallStructInRegABI && !RetTy->isAnyComplexType())
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000535 return ABIArgInfo::getIndirect(0);
536
537 // Classify "single element" structs as their element type.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000538 if (const Type *SeltTy = isSingleElementStruct(RetTy, getContext())) {
John McCall183700f2009-09-21 23:43:11 +0000539 if (const BuiltinType *BT = SeltTy->getAs<BuiltinType>()) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000540 if (BT->isIntegerType()) {
541 // We need to use the size of the structure, padding
542 // bit-fields can adjust that to be larger than the single
543 // element type.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000544 uint64_t Size = getContext().getTypeSize(RetTy);
Chris Lattner800588f2010-07-29 06:26:06 +0000545 return ABIArgInfo::getDirect(
Chris Lattnera3c109b2010-07-29 02:16:43 +0000546 llvm::IntegerType::get(getVMContext(), (unsigned)Size));
547 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000548
Chris Lattnera3c109b2010-07-29 02:16:43 +0000549 if (BT->getKind() == BuiltinType::Float) {
550 assert(getContext().getTypeSize(RetTy) ==
551 getContext().getTypeSize(SeltTy) &&
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000552 "Unexpect single element structure size!");
Chris Lattner800588f2010-07-29 06:26:06 +0000553 return ABIArgInfo::getDirect(llvm::Type::getFloatTy(getVMContext()));
Chris Lattnera3c109b2010-07-29 02:16:43 +0000554 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000555
Chris Lattnera3c109b2010-07-29 02:16:43 +0000556 if (BT->getKind() == BuiltinType::Double) {
557 assert(getContext().getTypeSize(RetTy) ==
558 getContext().getTypeSize(SeltTy) &&
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000559 "Unexpect single element structure size!");
Chris Lattner800588f2010-07-29 06:26:06 +0000560 return ABIArgInfo::getDirect(llvm::Type::getDoubleTy(getVMContext()));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000561 }
562 } else if (SeltTy->isPointerType()) {
563 // FIXME: It would be really nice if this could come out as the proper
564 // pointer type.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000565 const llvm::Type *PtrTy = llvm::Type::getInt8PtrTy(getVMContext());
Chris Lattner800588f2010-07-29 06:26:06 +0000566 return ABIArgInfo::getDirect(PtrTy);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000567 } else if (SeltTy->isVectorType()) {
568 // 64- and 128-bit vectors are never returned in a
569 // register when inside a structure.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000570 uint64_t Size = getContext().getTypeSize(RetTy);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000571 if (Size == 64 || Size == 128)
572 return ABIArgInfo::getIndirect(0);
573
Chris Lattnera3c109b2010-07-29 02:16:43 +0000574 return classifyReturnType(QualType(SeltTy, 0));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000575 }
576 }
577
578 // Small structures which are register sized are generally returned
579 // in a register.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000580 if (X86_32ABIInfo::shouldReturnTypeInRegister(RetTy, getContext())) {
581 uint64_t Size = getContext().getTypeSize(RetTy);
Chris Lattner800588f2010-07-29 06:26:06 +0000582 return ABIArgInfo::getDirect(llvm::IntegerType::get(getVMContext(),Size));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000583 }
584
585 return ABIArgInfo::getIndirect(0);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000586 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000587
Chris Lattnera3c109b2010-07-29 02:16:43 +0000588 // Treat an enum type as its underlying type.
589 if (const EnumType *EnumTy = RetTy->getAs<EnumType>())
590 RetTy = EnumTy->getDecl()->getIntegerType();
591
592 return (RetTy->isPromotableIntegerType() ?
593 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000594}
595
Daniel Dunbar93ae9472010-09-16 20:42:00 +0000596static bool isRecordWithSSEVectorType(ASTContext &Context, QualType Ty) {
597 const RecordType *RT = Ty->getAs<RecordType>();
598 if (!RT)
599 return 0;
600 const RecordDecl *RD = RT->getDecl();
601
602 // If this is a C++ record, check the bases first.
603 if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD))
604 for (CXXRecordDecl::base_class_const_iterator i = CXXRD->bases_begin(),
605 e = CXXRD->bases_end(); i != e; ++i)
606 if (!isRecordWithSSEVectorType(Context, i->getType()))
607 return false;
608
609 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
610 i != e; ++i) {
611 QualType FT = i->getType();
612
613 if (FT->getAs<VectorType>() && Context.getTypeSize(Ty) == 128)
614 return true;
615
616 if (isRecordWithSSEVectorType(Context, FT))
617 return true;
618 }
619
620 return false;
621}
622
Daniel Dunbare59d8582010-09-16 20:42:06 +0000623unsigned X86_32ABIInfo::getTypeStackAlignInBytes(QualType Ty,
624 unsigned Align) const {
625 // Otherwise, if the alignment is less than or equal to the minimum ABI
626 // alignment, just use the default; the backend will handle this.
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000627 if (Align <= MinABIStackAlignInBytes)
Daniel Dunbare59d8582010-09-16 20:42:06 +0000628 return 0; // Use default alignment.
629
630 // On non-Darwin, the stack type alignment is always 4.
631 if (!IsDarwinVectorABI) {
632 // Set explicit alignment, since we may need to realign the top.
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000633 return MinABIStackAlignInBytes;
Daniel Dunbare59d8582010-09-16 20:42:06 +0000634 }
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000635
Daniel Dunbar93ae9472010-09-16 20:42:00 +0000636 // Otherwise, if the type contains an SSE vector type, the alignment is 16.
637 if (isRecordWithSSEVectorType(getContext(), Ty))
638 return 16;
639
640 return MinABIStackAlignInBytes;
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000641}
642
Chris Lattnera3c109b2010-07-29 02:16:43 +0000643ABIArgInfo X86_32ABIInfo::getIndirectResult(QualType Ty, bool ByVal) const {
Daniel Dunbar46c54fb2010-04-21 19:49:55 +0000644 if (!ByVal)
645 return ABIArgInfo::getIndirect(0, false);
646
Daniel Dunbare59d8582010-09-16 20:42:06 +0000647 // Compute the byval alignment.
648 unsigned TypeAlign = getContext().getTypeAlign(Ty) / 8;
649 unsigned StackAlign = getTypeStackAlignInBytes(Ty, TypeAlign);
650 if (StackAlign == 0)
651 return ABIArgInfo::getIndirect(0);
652
653 // If the stack alignment is less than the type alignment, realign the
654 // argument.
655 if (StackAlign < TypeAlign)
656 return ABIArgInfo::getIndirect(StackAlign, /*ByVal=*/true,
657 /*Realign=*/true);
658
659 return ABIArgInfo::getIndirect(StackAlign);
Daniel Dunbardc6d5742010-04-21 19:10:51 +0000660}
661
Chris Lattnera3c109b2010-07-29 02:16:43 +0000662ABIArgInfo X86_32ABIInfo::classifyArgumentType(QualType Ty) const {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000663 // FIXME: Set alignment on indirect arguments.
John McCalld608cdb2010-08-22 10:59:02 +0000664 if (isAggregateTypeForABI(Ty)) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000665 // Structures with flexible arrays are always indirect.
Anders Carlssona8874232010-01-27 03:25:19 +0000666 if (const RecordType *RT = Ty->getAs<RecordType>()) {
667 // Structures with either a non-trivial destructor or a non-trivial
668 // copy constructor are always indirect.
669 if (hasNonTrivialDestructorOrCopyConstructor(RT))
Chris Lattnera3c109b2010-07-29 02:16:43 +0000670 return getIndirectResult(Ty, /*ByVal=*/false);
Daniel Dunbardc6d5742010-04-21 19:10:51 +0000671
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000672 if (RT->getDecl()->hasFlexibleArrayMember())
Chris Lattnera3c109b2010-07-29 02:16:43 +0000673 return getIndirectResult(Ty);
Anders Carlssona8874232010-01-27 03:25:19 +0000674 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000675
676 // Ignore empty structs.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000677 if (Ty->isStructureType() && getContext().getTypeSize(Ty) == 0)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000678 return ABIArgInfo::getIgnore();
679
Daniel Dunbar53012f42009-11-09 01:33:53 +0000680 // Expand small (<= 128-bit) record types when we know that the stack layout
681 // of those arguments will match the struct. This is important because the
682 // LLVM backend isn't smart enough to remove byval, which inhibits many
683 // optimizations.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000684 if (getContext().getTypeSize(Ty) <= 4*32 &&
685 canExpandIndirectArgument(Ty, getContext()))
Daniel Dunbar53012f42009-11-09 01:33:53 +0000686 return ABIArgInfo::getExpand();
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000687
Chris Lattnera3c109b2010-07-29 02:16:43 +0000688 return getIndirectResult(Ty);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000689 }
690
Chris Lattnerbbae8b42010-08-26 20:05:13 +0000691 if (const VectorType *VT = Ty->getAs<VectorType>()) {
Chris Lattner7b733502010-08-26 20:08:43 +0000692 // On Darwin, some vectors are passed in memory, we handle this by passing
693 // it as an i8/i16/i32/i64.
Chris Lattnerbbae8b42010-08-26 20:05:13 +0000694 if (IsDarwinVectorABI) {
695 uint64_t Size = getContext().getTypeSize(Ty);
Chris Lattnerbbae8b42010-08-26 20:05:13 +0000696 if ((Size == 8 || Size == 16 || Size == 32) ||
697 (Size == 64 && VT->getNumElements() == 1))
698 return ABIArgInfo::getDirect(llvm::IntegerType::get(getVMContext(),
699 Size));
Chris Lattnerbbae8b42010-08-26 20:05:13 +0000700 }
Bill Wendlingbb465d72010-10-18 03:41:31 +0000701
702 const llvm::Type *IRType = CGT.ConvertTypeRecursive(Ty);
703 if (UseX86_MMXType(IRType)) {
704 ABIArgInfo AAI = ABIArgInfo::getDirect(IRType);
705 AAI.setCoerceToType(llvm::Type::getX86_MMXTy(getVMContext()));
706 return AAI;
707 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000708
Chris Lattnerbbae8b42010-08-26 20:05:13 +0000709 return ABIArgInfo::getDirect();
710 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000711
712
Chris Lattnera3c109b2010-07-29 02:16:43 +0000713 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
714 Ty = EnumTy->getDecl()->getIntegerType();
Douglas Gregoraa74a1e2010-02-02 20:10:50 +0000715
Chris Lattnera3c109b2010-07-29 02:16:43 +0000716 return (Ty->isPromotableIntegerType() ?
717 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000718}
719
720llvm::Value *X86_32ABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
721 CodeGenFunction &CGF) const {
Benjamin Kramer3c0ef8c2009-10-13 10:07:13 +0000722 const llvm::Type *BP = llvm::Type::getInt8PtrTy(CGF.getLLVMContext());
Owen Anderson96e0fc72009-07-29 22:16:19 +0000723 const llvm::Type *BPP = llvm::PointerType::getUnqual(BP);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000724
725 CGBuilderTy &Builder = CGF.Builder;
726 llvm::Value *VAListAddrAsBPP = Builder.CreateBitCast(VAListAddr, BPP,
727 "ap");
728 llvm::Value *Addr = Builder.CreateLoad(VAListAddrAsBPP, "ap.cur");
729 llvm::Type *PTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000730 llvm::PointerType::getUnqual(CGF.ConvertType(Ty));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000731 llvm::Value *AddrTyped = Builder.CreateBitCast(Addr, PTy);
732
733 uint64_t Offset =
734 llvm::RoundUpToAlignment(CGF.getContext().getTypeSize(Ty) / 8, 4);
735 llvm::Value *NextAddr =
Chris Lattner77b89b82010-06-27 07:15:29 +0000736 Builder.CreateGEP(Addr, llvm::ConstantInt::get(CGF.Int32Ty, Offset),
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000737 "ap.next");
738 Builder.CreateStore(NextAddr, VAListAddrAsBPP);
739
740 return AddrTyped;
741}
742
Charles Davis74f72932010-02-13 15:54:06 +0000743void X86_32TargetCodeGenInfo::SetTargetAttributes(const Decl *D,
744 llvm::GlobalValue *GV,
745 CodeGen::CodeGenModule &CGM) const {
746 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
747 if (FD->hasAttr<X86ForceAlignArgPointerAttr>()) {
748 // Get the LLVM function.
749 llvm::Function *Fn = cast<llvm::Function>(GV);
750
751 // Now add the 'alignstack' attribute with a value of 16.
752 Fn->addFnAttr(llvm::Attribute::constructStackAlignmentFromInt(16));
753 }
754 }
755}
756
John McCall6374c332010-03-06 00:35:14 +0000757bool X86_32TargetCodeGenInfo::initDwarfEHRegSizeTable(
758 CodeGen::CodeGenFunction &CGF,
759 llvm::Value *Address) const {
760 CodeGen::CGBuilderTy &Builder = CGF.Builder;
761 llvm::LLVMContext &Context = CGF.getLLVMContext();
762
763 const llvm::IntegerType *i8 = llvm::Type::getInt8Ty(Context);
764 llvm::Value *Four8 = llvm::ConstantInt::get(i8, 4);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000765
John McCall6374c332010-03-06 00:35:14 +0000766 // 0-7 are the eight integer registers; the order is different
767 // on Darwin (for EH), but the range is the same.
768 // 8 is %eip.
John McCallaeeb7012010-05-27 06:19:26 +0000769 AssignToArrayRange(Builder, Address, Four8, 0, 8);
John McCall6374c332010-03-06 00:35:14 +0000770
771 if (CGF.CGM.isTargetDarwin()) {
772 // 12-16 are st(0..4). Not sure why we stop at 4.
773 // These have size 16, which is sizeof(long double) on
774 // platforms with 8-byte alignment for that type.
775 llvm::Value *Sixteen8 = llvm::ConstantInt::get(i8, 16);
John McCallaeeb7012010-05-27 06:19:26 +0000776 AssignToArrayRange(Builder, Address, Sixteen8, 12, 16);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000777
John McCall6374c332010-03-06 00:35:14 +0000778 } else {
779 // 9 is %eflags, which doesn't get a size on Darwin for some
780 // reason.
781 Builder.CreateStore(Four8, Builder.CreateConstInBoundsGEP1_32(Address, 9));
782
783 // 11-16 are st(0..5). Not sure why we stop at 5.
784 // These have size 12, which is sizeof(long double) on
785 // platforms with 4-byte alignment for that type.
786 llvm::Value *Twelve8 = llvm::ConstantInt::get(i8, 12);
John McCallaeeb7012010-05-27 06:19:26 +0000787 AssignToArrayRange(Builder, Address, Twelve8, 11, 16);
788 }
John McCall6374c332010-03-06 00:35:14 +0000789
790 return false;
791}
792
Chris Lattnerdce5ad02010-06-28 20:05:43 +0000793//===----------------------------------------------------------------------===//
794// X86-64 ABI Implementation
795//===----------------------------------------------------------------------===//
796
797
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000798namespace {
799/// X86_64ABIInfo - The X86_64 ABI information.
800class X86_64ABIInfo : public ABIInfo {
801 enum Class {
802 Integer = 0,
803 SSE,
804 SSEUp,
805 X87,
806 X87Up,
807 ComplexX87,
808 NoClass,
809 Memory
810 };
811
812 /// merge - Implement the X86_64 ABI merging algorithm.
813 ///
814 /// Merge an accumulating classification \arg Accum with a field
815 /// classification \arg Field.
816 ///
817 /// \param Accum - The accumulating classification. This should
818 /// always be either NoClass or the result of a previous merge
819 /// call. In addition, this should never be Memory (the caller
820 /// should just return Memory for the aggregate).
Chris Lattner1090a9b2010-06-28 21:43:59 +0000821 static Class merge(Class Accum, Class Field);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000822
823 /// classify - Determine the x86_64 register classes in which the
824 /// given type T should be passed.
825 ///
826 /// \param Lo - The classification for the parts of the type
827 /// residing in the low word of the containing object.
828 ///
829 /// \param Hi - The classification for the parts of the type
830 /// residing in the high word of the containing object.
831 ///
832 /// \param OffsetBase - The bit offset of this type in the
833 /// containing object. Some parameters are classified different
834 /// depending on whether they straddle an eightbyte boundary.
835 ///
836 /// If a word is unused its result will be NoClass; if a type should
837 /// be passed in Memory then at least the classification of \arg Lo
838 /// will be Memory.
839 ///
840 /// The \arg Lo class will be NoClass iff the argument is ignored.
841 ///
842 /// If the \arg Lo class is ComplexX87, then the \arg Hi class will
843 /// also be ComplexX87.
Chris Lattner9c254f02010-06-29 06:01:59 +0000844 void classify(QualType T, uint64_t OffsetBase, Class &Lo, Class &Hi) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000845
Chris Lattner0f408f52010-07-29 04:56:46 +0000846 const llvm::Type *Get16ByteVectorType(QualType Ty) const;
Chris Lattner603519d2010-07-29 17:49:08 +0000847 const llvm::Type *GetSSETypeAtOffset(const llvm::Type *IRType,
Chris Lattnerf47c9442010-07-29 18:13:09 +0000848 unsigned IROffset, QualType SourceTy,
849 unsigned SourceOffset) const;
Chris Lattner0d2656d2010-07-29 17:40:35 +0000850 const llvm::Type *GetINTEGERTypeAtOffset(const llvm::Type *IRType,
851 unsigned IROffset, QualType SourceTy,
852 unsigned SourceOffset) const;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000853
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000854 /// getIndirectResult - Give a source type \arg Ty, return a suitable result
Daniel Dunbar46c54fb2010-04-21 19:49:55 +0000855 /// such that the argument will be returned in memory.
Chris Lattner9c254f02010-06-29 06:01:59 +0000856 ABIArgInfo getIndirectReturnResult(QualType Ty) const;
Daniel Dunbar46c54fb2010-04-21 19:49:55 +0000857
858 /// getIndirectResult - Give a source type \arg Ty, return a suitable result
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000859 /// such that the argument will be passed in memory.
Chris Lattner9c254f02010-06-29 06:01:59 +0000860 ABIArgInfo getIndirectResult(QualType Ty) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000861
Chris Lattnera3c109b2010-07-29 02:16:43 +0000862 ABIArgInfo classifyReturnType(QualType RetTy) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000863
Bill Wendlingbb465d72010-10-18 03:41:31 +0000864 ABIArgInfo classifyArgumentType(QualType Ty,
865 unsigned &neededInt,
Bill Wendling99aaae82010-10-18 23:51:38 +0000866 unsigned &neededSSE) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000867
John McCall67a57732011-04-21 01:20:55 +0000868 /// The 0.98 ABI revision clarified a lot of ambiguities,
869 /// unfortunately in ways that were not always consistent with
870 /// certain previous compilers. In particular, platforms which
871 /// required strict binary compatibility with older versions of GCC
872 /// may need to exempt themselves.
873 bool honorsRevision0_98() const {
874 return !getContext().Target.getTriple().isOSDarwin();
875 }
876
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000877public:
Chris Lattnerea044322010-07-29 02:01:43 +0000878 X86_64ABIInfo(CodeGen::CodeGenTypes &CGT) : ABIInfo(CGT) {}
Chris Lattner9c254f02010-06-29 06:01:59 +0000879
Chris Lattneree5dcd02010-07-29 02:31:05 +0000880 virtual void computeInfo(CGFunctionInfo &FI) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000881
882 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
883 CodeGenFunction &CGF) const;
884};
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000885
Chris Lattnerf13721d2010-08-31 16:44:54 +0000886/// WinX86_64ABIInfo - The Windows X86_64 ABI information.
NAKAMURA Takumia7573222011-01-17 22:56:31 +0000887class WinX86_64ABIInfo : public ABIInfo {
888
889 ABIArgInfo classify(QualType Ty) const;
890
Chris Lattnerf13721d2010-08-31 16:44:54 +0000891public:
NAKAMURA Takumia7573222011-01-17 22:56:31 +0000892 WinX86_64ABIInfo(CodeGen::CodeGenTypes &CGT) : ABIInfo(CGT) {}
893
894 virtual void computeInfo(CGFunctionInfo &FI) const;
Chris Lattnerf13721d2010-08-31 16:44:54 +0000895
896 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
897 CodeGenFunction &CGF) const;
898};
899
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000900class X86_64TargetCodeGenInfo : public TargetCodeGenInfo {
901public:
Chris Lattnerea044322010-07-29 02:01:43 +0000902 X86_64TargetCodeGenInfo(CodeGen::CodeGenTypes &CGT)
903 : TargetCodeGenInfo(new X86_64ABIInfo(CGT)) {}
John McCall6374c332010-03-06 00:35:14 +0000904
905 int getDwarfEHStackPointer(CodeGen::CodeGenModule &CGM) const {
906 return 7;
907 }
908
909 bool initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
910 llvm::Value *Address) const {
911 CodeGen::CGBuilderTy &Builder = CGF.Builder;
912 llvm::LLVMContext &Context = CGF.getLLVMContext();
913
914 const llvm::IntegerType *i8 = llvm::Type::getInt8Ty(Context);
915 llvm::Value *Eight8 = llvm::ConstantInt::get(i8, 8);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000916
John McCallaeeb7012010-05-27 06:19:26 +0000917 // 0-15 are the 16 integer registers.
918 // 16 is %rip.
919 AssignToArrayRange(Builder, Address, Eight8, 0, 16);
John McCall6374c332010-03-06 00:35:14 +0000920
921 return false;
922 }
Peter Collingbourne4b93d662011-02-19 23:03:58 +0000923
924 const llvm::Type* adjustInlineAsmType(CodeGen::CodeGenFunction &CGF,
925 llvm::StringRef Constraint,
926 const llvm::Type* Ty) const {
927 return X86AdjustInlineAsmType(CGF, Constraint, Ty);
928 }
929
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000930};
931
Chris Lattnerf13721d2010-08-31 16:44:54 +0000932class WinX86_64TargetCodeGenInfo : public TargetCodeGenInfo {
933public:
934 WinX86_64TargetCodeGenInfo(CodeGen::CodeGenTypes &CGT)
935 : TargetCodeGenInfo(new WinX86_64ABIInfo(CGT)) {}
936
937 int getDwarfEHStackPointer(CodeGen::CodeGenModule &CGM) const {
938 return 7;
939 }
940
941 bool initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
942 llvm::Value *Address) const {
943 CodeGen::CGBuilderTy &Builder = CGF.Builder;
944 llvm::LLVMContext &Context = CGF.getLLVMContext();
945
946 const llvm::IntegerType *i8 = llvm::Type::getInt8Ty(Context);
947 llvm::Value *Eight8 = llvm::ConstantInt::get(i8, 8);
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000948
Chris Lattnerf13721d2010-08-31 16:44:54 +0000949 // 0-15 are the 16 integer registers.
950 // 16 is %rip.
951 AssignToArrayRange(Builder, Address, Eight8, 0, 16);
952
953 return false;
954 }
955};
956
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000957}
958
Chris Lattner1090a9b2010-06-28 21:43:59 +0000959X86_64ABIInfo::Class X86_64ABIInfo::merge(Class Accum, Class Field) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000960 // AMD64-ABI 3.2.3p2: Rule 4. Each field of an object is
961 // classified recursively so that always two fields are
962 // considered. The resulting class is calculated according to
963 // the classes of the fields in the eightbyte:
964 //
965 // (a) If both classes are equal, this is the resulting class.
966 //
967 // (b) If one of the classes is NO_CLASS, the resulting class is
968 // the other class.
969 //
970 // (c) If one of the classes is MEMORY, the result is the MEMORY
971 // class.
972 //
973 // (d) If one of the classes is INTEGER, the result is the
974 // INTEGER.
975 //
976 // (e) If one of the classes is X87, X87UP, COMPLEX_X87 class,
977 // MEMORY is used as class.
978 //
979 // (f) Otherwise class SSE is used.
980
981 // Accum should never be memory (we should have returned) or
982 // ComplexX87 (because this cannot be passed in a structure).
983 assert((Accum != Memory && Accum != ComplexX87) &&
984 "Invalid accumulated classification during merge.");
985 if (Accum == Field || Field == NoClass)
986 return Accum;
Chris Lattner1090a9b2010-06-28 21:43:59 +0000987 if (Field == Memory)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000988 return Memory;
Chris Lattner1090a9b2010-06-28 21:43:59 +0000989 if (Accum == NoClass)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000990 return Field;
Chris Lattner1090a9b2010-06-28 21:43:59 +0000991 if (Accum == Integer || Field == Integer)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000992 return Integer;
Chris Lattner1090a9b2010-06-28 21:43:59 +0000993 if (Field == X87 || Field == X87Up || Field == ComplexX87 ||
994 Accum == X87 || Accum == X87Up)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000995 return Memory;
Chris Lattner1090a9b2010-06-28 21:43:59 +0000996 return SSE;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000997}
998
Chris Lattnerbcaedae2010-06-30 19:14:05 +0000999void X86_64ABIInfo::classify(QualType Ty, uint64_t OffsetBase,
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001000 Class &Lo, Class &Hi) const {
1001 // FIXME: This code can be simplified by introducing a simple value class for
1002 // Class pairs with appropriate constructor methods for the various
1003 // situations.
1004
1005 // FIXME: Some of the split computations are wrong; unaligned vectors
1006 // shouldn't be passed in registers for example, so there is no chance they
1007 // can straddle an eightbyte. Verify & simplify.
1008
1009 Lo = Hi = NoClass;
1010
1011 Class &Current = OffsetBase < 64 ? Lo : Hi;
1012 Current = Memory;
1013
John McCall183700f2009-09-21 23:43:11 +00001014 if (const BuiltinType *BT = Ty->getAs<BuiltinType>()) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001015 BuiltinType::Kind k = BT->getKind();
1016
1017 if (k == BuiltinType::Void) {
1018 Current = NoClass;
1019 } else if (k == BuiltinType::Int128 || k == BuiltinType::UInt128) {
1020 Lo = Integer;
1021 Hi = Integer;
1022 } else if (k >= BuiltinType::Bool && k <= BuiltinType::LongLong) {
1023 Current = Integer;
1024 } else if (k == BuiltinType::Float || k == BuiltinType::Double) {
1025 Current = SSE;
1026 } else if (k == BuiltinType::LongDouble) {
1027 Lo = X87;
1028 Hi = X87Up;
1029 }
1030 // FIXME: _Decimal32 and _Decimal64 are SSE.
1031 // FIXME: _float128 and _Decimal128 are (SSE, SSEUp).
Chris Lattner1090a9b2010-06-28 21:43:59 +00001032 return;
1033 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001034
Chris Lattner1090a9b2010-06-28 21:43:59 +00001035 if (const EnumType *ET = Ty->getAs<EnumType>()) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001036 // Classify the underlying integer type.
Chris Lattner9c254f02010-06-29 06:01:59 +00001037 classify(ET->getDecl()->getIntegerType(), OffsetBase, Lo, Hi);
Chris Lattner1090a9b2010-06-28 21:43:59 +00001038 return;
1039 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001040
Chris Lattner1090a9b2010-06-28 21:43:59 +00001041 if (Ty->hasPointerRepresentation()) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001042 Current = Integer;
Chris Lattner1090a9b2010-06-28 21:43:59 +00001043 return;
1044 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001045
Chris Lattner1090a9b2010-06-28 21:43:59 +00001046 if (Ty->isMemberPointerType()) {
Daniel Dunbar67d438d2010-05-15 00:00:37 +00001047 if (Ty->isMemberFunctionPointerType())
1048 Lo = Hi = Integer;
1049 else
1050 Current = Integer;
Chris Lattner1090a9b2010-06-28 21:43:59 +00001051 return;
1052 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001053
Chris Lattner1090a9b2010-06-28 21:43:59 +00001054 if (const VectorType *VT = Ty->getAs<VectorType>()) {
Chris Lattnerea044322010-07-29 02:01:43 +00001055 uint64_t Size = getContext().getTypeSize(VT);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001056 if (Size == 32) {
1057 // gcc passes all <4 x char>, <2 x short>, <1 x int>, <1 x
1058 // float> as integer.
1059 Current = Integer;
1060
1061 // If this type crosses an eightbyte boundary, it should be
1062 // split.
1063 uint64_t EB_Real = (OffsetBase) / 64;
1064 uint64_t EB_Imag = (OffsetBase + Size - 1) / 64;
1065 if (EB_Real != EB_Imag)
1066 Hi = Lo;
1067 } else if (Size == 64) {
1068 // gcc passes <1 x double> in memory. :(
1069 if (VT->getElementType()->isSpecificBuiltinType(BuiltinType::Double))
1070 return;
1071
1072 // gcc passes <1 x long long> as INTEGER.
Chris Lattner473f8e72010-08-26 18:03:20 +00001073 if (VT->getElementType()->isSpecificBuiltinType(BuiltinType::LongLong) ||
Chris Lattner0fefa412010-08-26 18:13:50 +00001074 VT->getElementType()->isSpecificBuiltinType(BuiltinType::ULongLong) ||
1075 VT->getElementType()->isSpecificBuiltinType(BuiltinType::Long) ||
1076 VT->getElementType()->isSpecificBuiltinType(BuiltinType::ULong))
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001077 Current = Integer;
1078 else
1079 Current = SSE;
1080
1081 // If this type crosses an eightbyte boundary, it should be
1082 // split.
1083 if (OffsetBase && OffsetBase != 64)
1084 Hi = Lo;
1085 } else if (Size == 128) {
1086 Lo = SSE;
1087 Hi = SSEUp;
1088 }
Chris Lattner1090a9b2010-06-28 21:43:59 +00001089 return;
1090 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001091
Chris Lattner1090a9b2010-06-28 21:43:59 +00001092 if (const ComplexType *CT = Ty->getAs<ComplexType>()) {
Chris Lattnerea044322010-07-29 02:01:43 +00001093 QualType ET = getContext().getCanonicalType(CT->getElementType());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001094
Chris Lattnerea044322010-07-29 02:01:43 +00001095 uint64_t Size = getContext().getTypeSize(Ty);
Douglas Gregor2ade35e2010-06-16 00:17:44 +00001096 if (ET->isIntegralOrEnumerationType()) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001097 if (Size <= 64)
1098 Current = Integer;
1099 else if (Size <= 128)
1100 Lo = Hi = Integer;
Chris Lattnerea044322010-07-29 02:01:43 +00001101 } else if (ET == getContext().FloatTy)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001102 Current = SSE;
Chris Lattnerea044322010-07-29 02:01:43 +00001103 else if (ET == getContext().DoubleTy)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001104 Lo = Hi = SSE;
Chris Lattnerea044322010-07-29 02:01:43 +00001105 else if (ET == getContext().LongDoubleTy)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001106 Current = ComplexX87;
1107
1108 // If this complex type crosses an eightbyte boundary then it
1109 // should be split.
1110 uint64_t EB_Real = (OffsetBase) / 64;
Chris Lattnerea044322010-07-29 02:01:43 +00001111 uint64_t EB_Imag = (OffsetBase + getContext().getTypeSize(ET)) / 64;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001112 if (Hi == NoClass && EB_Real != EB_Imag)
1113 Hi = Lo;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001114
Chris Lattner1090a9b2010-06-28 21:43:59 +00001115 return;
1116 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001117
Chris Lattnerea044322010-07-29 02:01:43 +00001118 if (const ConstantArrayType *AT = getContext().getAsConstantArrayType(Ty)) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001119 // Arrays are treated like structures.
1120
Chris Lattnerea044322010-07-29 02:01:43 +00001121 uint64_t Size = getContext().getTypeSize(Ty);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001122
1123 // AMD64-ABI 3.2.3p2: Rule 1. If the size of an object is larger
1124 // than two eightbytes, ..., it has class MEMORY.
1125 if (Size > 128)
1126 return;
1127
1128 // AMD64-ABI 3.2.3p2: Rule 1. If ..., or it contains unaligned
1129 // fields, it has class MEMORY.
1130 //
1131 // Only need to check alignment of array base.
Chris Lattnerea044322010-07-29 02:01:43 +00001132 if (OffsetBase % getContext().getTypeAlign(AT->getElementType()))
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001133 return;
1134
1135 // Otherwise implement simplified merge. We could be smarter about
1136 // this, but it isn't worth it and would be harder to verify.
1137 Current = NoClass;
Chris Lattnerea044322010-07-29 02:01:43 +00001138 uint64_t EltSize = getContext().getTypeSize(AT->getElementType());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001139 uint64_t ArraySize = AT->getSize().getZExtValue();
1140 for (uint64_t i=0, Offset=OffsetBase; i<ArraySize; ++i, Offset += EltSize) {
1141 Class FieldLo, FieldHi;
Chris Lattner9c254f02010-06-29 06:01:59 +00001142 classify(AT->getElementType(), Offset, FieldLo, FieldHi);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001143 Lo = merge(Lo, FieldLo);
1144 Hi = merge(Hi, FieldHi);
1145 if (Lo == Memory || Hi == Memory)
1146 break;
1147 }
1148
1149 // Do post merger cleanup (see below). Only case we worry about is Memory.
1150 if (Hi == Memory)
1151 Lo = Memory;
1152 assert((Hi != SSEUp || Lo == SSE) && "Invalid SSEUp array classification.");
Chris Lattner1090a9b2010-06-28 21:43:59 +00001153 return;
1154 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001155
Chris Lattner1090a9b2010-06-28 21:43:59 +00001156 if (const RecordType *RT = Ty->getAs<RecordType>()) {
Chris Lattnerea044322010-07-29 02:01:43 +00001157 uint64_t Size = getContext().getTypeSize(Ty);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001158
1159 // AMD64-ABI 3.2.3p2: Rule 1. If the size of an object is larger
1160 // than two eightbytes, ..., it has class MEMORY.
1161 if (Size > 128)
1162 return;
1163
Anders Carlsson0a8f8472009-09-16 15:53:40 +00001164 // AMD64-ABI 3.2.3p2: Rule 2. If a C++ object has either a non-trivial
1165 // copy constructor or a non-trivial destructor, it is passed by invisible
1166 // reference.
1167 if (hasNonTrivialDestructorOrCopyConstructor(RT))
1168 return;
Daniel Dunbarce9f4232009-11-22 23:01:23 +00001169
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001170 const RecordDecl *RD = RT->getDecl();
1171
1172 // Assume variable sized types are passed in memory.
1173 if (RD->hasFlexibleArrayMember())
1174 return;
1175
Chris Lattnerea044322010-07-29 02:01:43 +00001176 const ASTRecordLayout &Layout = getContext().getASTRecordLayout(RD);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001177
1178 // Reset Lo class, this will be recomputed.
1179 Current = NoClass;
Daniel Dunbarce9f4232009-11-22 23:01:23 +00001180
1181 // If this is a C++ record, classify the bases first.
1182 if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD)) {
1183 for (CXXRecordDecl::base_class_const_iterator i = CXXRD->bases_begin(),
1184 e = CXXRD->bases_end(); i != e; ++i) {
1185 assert(!i->isVirtual() && !i->getType()->isDependentType() &&
1186 "Unexpected base class!");
1187 const CXXRecordDecl *Base =
1188 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
1189
1190 // Classify this field.
1191 //
1192 // AMD64-ABI 3.2.3p2: Rule 3. If the size of the aggregate exceeds a
1193 // single eightbyte, each is classified separately. Each eightbyte gets
1194 // initialized to class NO_CLASS.
1195 Class FieldLo, FieldHi;
Anders Carlssona14f5972010-10-31 23:22:37 +00001196 uint64_t Offset = OffsetBase + Layout.getBaseClassOffsetInBits(Base);
Chris Lattner9c254f02010-06-29 06:01:59 +00001197 classify(i->getType(), Offset, FieldLo, FieldHi);
Daniel Dunbarce9f4232009-11-22 23:01:23 +00001198 Lo = merge(Lo, FieldLo);
1199 Hi = merge(Hi, FieldHi);
1200 if (Lo == Memory || Hi == Memory)
1201 break;
1202 }
1203 }
1204
1205 // Classify the fields one at a time, merging the results.
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001206 unsigned idx = 0;
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +00001207 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
1208 i != e; ++i, ++idx) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001209 uint64_t Offset = OffsetBase + Layout.getFieldOffset(idx);
1210 bool BitField = i->isBitField();
1211
1212 // AMD64-ABI 3.2.3p2: Rule 1. If ..., or it contains unaligned
1213 // fields, it has class MEMORY.
1214 //
1215 // Note, skip this test for bit-fields, see below.
Chris Lattnerea044322010-07-29 02:01:43 +00001216 if (!BitField && Offset % getContext().getTypeAlign(i->getType())) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001217 Lo = Memory;
1218 return;
1219 }
1220
1221 // Classify this field.
1222 //
1223 // AMD64-ABI 3.2.3p2: Rule 3. If the size of the aggregate
1224 // exceeds a single eightbyte, each is classified
1225 // separately. Each eightbyte gets initialized to class
1226 // NO_CLASS.
1227 Class FieldLo, FieldHi;
1228
1229 // Bit-fields require special handling, they do not force the
1230 // structure to be passed in memory even if unaligned, and
1231 // therefore they can straddle an eightbyte.
1232 if (BitField) {
1233 // Ignore padding bit-fields.
1234 if (i->isUnnamedBitfield())
1235 continue;
1236
1237 uint64_t Offset = OffsetBase + Layout.getFieldOffset(idx);
Chris Lattnerea044322010-07-29 02:01:43 +00001238 uint64_t Size =
1239 i->getBitWidth()->EvaluateAsInt(getContext()).getZExtValue();
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001240
1241 uint64_t EB_Lo = Offset / 64;
1242 uint64_t EB_Hi = (Offset + Size - 1) / 64;
1243 FieldLo = FieldHi = NoClass;
1244 if (EB_Lo) {
1245 assert(EB_Hi == EB_Lo && "Invalid classification, type > 16 bytes.");
1246 FieldLo = NoClass;
1247 FieldHi = Integer;
1248 } else {
1249 FieldLo = Integer;
1250 FieldHi = EB_Hi ? Integer : NoClass;
1251 }
1252 } else
Chris Lattner9c254f02010-06-29 06:01:59 +00001253 classify(i->getType(), Offset, FieldLo, FieldHi);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001254 Lo = merge(Lo, FieldLo);
1255 Hi = merge(Hi, FieldHi);
1256 if (Lo == Memory || Hi == Memory)
1257 break;
1258 }
1259
1260 // AMD64-ABI 3.2.3p2: Rule 5. Then a post merger cleanup is done:
1261 //
1262 // (a) If one of the classes is MEMORY, the whole argument is
1263 // passed in memory.
1264 //
John McCall67a57732011-04-21 01:20:55 +00001265 // (b) If X87UP is not preceded by X87, the whole argument is
1266 // passed in memory.
1267 //
1268 // (c) If the size of the aggregate exceeds two eightbytes and the first
1269 // eight-byte isn’t SSE or any other eightbyte isn’t SSEUP, the whole
1270 // argument is passed in memory.
1271 //
1272 // (d) If SSEUP is not preceded by SSE or SSEUP, it is converted to SSE.
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001273 //
John McCall67a57732011-04-21 01:20:55 +00001274 // Some of these are enforced by the merging logic. Others can arise
1275 // only with unions; for example:
1276 // union { _Complex double; unsigned; }
1277 //
1278 // Note that clauses (b) and (c) were added in 0.98.
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001279 if (Hi == Memory)
1280 Lo = Memory;
John McCall67a57732011-04-21 01:20:55 +00001281 if (Hi == X87Up && Lo != X87 && honorsRevision0_98())
1282 Lo = Memory;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001283 if (Hi == SSEUp && Lo != SSE)
1284 Hi = SSE;
1285 }
1286}
1287
Chris Lattner9c254f02010-06-29 06:01:59 +00001288ABIArgInfo X86_64ABIInfo::getIndirectReturnResult(QualType Ty) const {
Daniel Dunbar46c54fb2010-04-21 19:49:55 +00001289 // If this is a scalar LLVM value then assume LLVM will pass it in the right
1290 // place naturally.
John McCalld608cdb2010-08-22 10:59:02 +00001291 if (!isAggregateTypeForABI(Ty)) {
Daniel Dunbar46c54fb2010-04-21 19:49:55 +00001292 // Treat an enum type as its underlying type.
1293 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
1294 Ty = EnumTy->getDecl()->getIntegerType();
1295
1296 return (Ty->isPromotableIntegerType() ?
1297 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
1298 }
1299
1300 return ABIArgInfo::getIndirect(0);
1301}
1302
Chris Lattner9c254f02010-06-29 06:01:59 +00001303ABIArgInfo X86_64ABIInfo::getIndirectResult(QualType Ty) const {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001304 // If this is a scalar LLVM value then assume LLVM will pass it in the right
1305 // place naturally.
John McCalld608cdb2010-08-22 10:59:02 +00001306 if (!isAggregateTypeForABI(Ty)) {
Douglas Gregoraa74a1e2010-02-02 20:10:50 +00001307 // Treat an enum type as its underlying type.
1308 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
1309 Ty = EnumTy->getDecl()->getIntegerType();
1310
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +00001311 return (Ty->isPromotableIntegerType() ?
1312 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Douglas Gregoraa74a1e2010-02-02 20:10:50 +00001313 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001314
Daniel Dunbar46c54fb2010-04-21 19:49:55 +00001315 if (isRecordWithNonTrivialDestructorOrCopyConstructor(Ty))
1316 return ABIArgInfo::getIndirect(0, /*ByVal=*/false);
Anders Carlsson0a8f8472009-09-16 15:53:40 +00001317
Daniel Dunbar46c54fb2010-04-21 19:49:55 +00001318 // Compute the byval alignment. We trust the back-end to honor the
1319 // minimum ABI alignment for byval, to make cleaner IR.
1320 const unsigned MinABIAlign = 8;
Chris Lattnerea044322010-07-29 02:01:43 +00001321 unsigned Align = getContext().getTypeAlign(Ty) / 8;
Daniel Dunbar46c54fb2010-04-21 19:49:55 +00001322 if (Align > MinABIAlign)
1323 return ABIArgInfo::getIndirect(Align);
1324 return ABIArgInfo::getIndirect(0);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001325}
1326
Chris Lattner0f408f52010-07-29 04:56:46 +00001327/// Get16ByteVectorType - The ABI specifies that a value should be passed in an
1328/// full vector XMM register. Pick an LLVM IR type that will be passed as a
1329/// vector register.
1330const llvm::Type *X86_64ABIInfo::Get16ByteVectorType(QualType Ty) const {
Chris Lattner15842bd2010-07-29 05:02:29 +00001331 const llvm::Type *IRType = CGT.ConvertTypeRecursive(Ty);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001332
Chris Lattner15842bd2010-07-29 05:02:29 +00001333 // Wrapper structs that just contain vectors are passed just like vectors,
1334 // strip them off if present.
1335 const llvm::StructType *STy = dyn_cast<llvm::StructType>(IRType);
1336 while (STy && STy->getNumElements() == 1) {
1337 IRType = STy->getElementType(0);
1338 STy = dyn_cast<llvm::StructType>(IRType);
1339 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001340
Chris Lattner0f408f52010-07-29 04:56:46 +00001341 // If the preferred type is a 16-byte vector, prefer to pass it.
Chris Lattner15842bd2010-07-29 05:02:29 +00001342 if (const llvm::VectorType *VT = dyn_cast<llvm::VectorType>(IRType)){
Chris Lattner0f408f52010-07-29 04:56:46 +00001343 const llvm::Type *EltTy = VT->getElementType();
1344 if (VT->getBitWidth() == 128 &&
1345 (EltTy->isFloatTy() || EltTy->isDoubleTy() ||
1346 EltTy->isIntegerTy(8) || EltTy->isIntegerTy(16) ||
1347 EltTy->isIntegerTy(32) || EltTy->isIntegerTy(64) ||
1348 EltTy->isIntegerTy(128)))
1349 return VT;
1350 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001351
Chris Lattner0f408f52010-07-29 04:56:46 +00001352 return llvm::VectorType::get(llvm::Type::getDoubleTy(getVMContext()), 2);
1353}
1354
Chris Lattnere2962be2010-07-29 07:30:00 +00001355/// BitsContainNoUserData - Return true if the specified [start,end) bit range
1356/// is known to either be off the end of the specified type or being in
1357/// alignment padding. The user type specified is known to be at most 128 bits
1358/// in size, and have passed through X86_64ABIInfo::classify with a successful
1359/// classification that put one of the two halves in the INTEGER class.
1360///
1361/// It is conservatively correct to return false.
1362static bool BitsContainNoUserData(QualType Ty, unsigned StartBit,
1363 unsigned EndBit, ASTContext &Context) {
1364 // If the bytes being queried are off the end of the type, there is no user
1365 // data hiding here. This handles analysis of builtins, vectors and other
1366 // types that don't contain interesting padding.
1367 unsigned TySize = (unsigned)Context.getTypeSize(Ty);
1368 if (TySize <= StartBit)
1369 return true;
1370
Chris Lattner021c3a32010-07-29 07:43:55 +00001371 if (const ConstantArrayType *AT = Context.getAsConstantArrayType(Ty)) {
1372 unsigned EltSize = (unsigned)Context.getTypeSize(AT->getElementType());
1373 unsigned NumElts = (unsigned)AT->getSize().getZExtValue();
1374
1375 // Check each element to see if the element overlaps with the queried range.
1376 for (unsigned i = 0; i != NumElts; ++i) {
1377 // If the element is after the span we care about, then we're done..
1378 unsigned EltOffset = i*EltSize;
1379 if (EltOffset >= EndBit) break;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001380
Chris Lattner021c3a32010-07-29 07:43:55 +00001381 unsigned EltStart = EltOffset < StartBit ? StartBit-EltOffset :0;
1382 if (!BitsContainNoUserData(AT->getElementType(), EltStart,
1383 EndBit-EltOffset, Context))
1384 return false;
1385 }
1386 // If it overlaps no elements, then it is safe to process as padding.
1387 return true;
1388 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001389
Chris Lattnere2962be2010-07-29 07:30:00 +00001390 if (const RecordType *RT = Ty->getAs<RecordType>()) {
1391 const RecordDecl *RD = RT->getDecl();
1392 const ASTRecordLayout &Layout = Context.getASTRecordLayout(RD);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001393
Chris Lattnere2962be2010-07-29 07:30:00 +00001394 // If this is a C++ record, check the bases first.
1395 if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD)) {
1396 for (CXXRecordDecl::base_class_const_iterator i = CXXRD->bases_begin(),
1397 e = CXXRD->bases_end(); i != e; ++i) {
1398 assert(!i->isVirtual() && !i->getType()->isDependentType() &&
1399 "Unexpected base class!");
1400 const CXXRecordDecl *Base =
1401 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001402
Chris Lattnere2962be2010-07-29 07:30:00 +00001403 // If the base is after the span we care about, ignore it.
Anders Carlssona14f5972010-10-31 23:22:37 +00001404 unsigned BaseOffset = (unsigned)Layout.getBaseClassOffsetInBits(Base);
Chris Lattnere2962be2010-07-29 07:30:00 +00001405 if (BaseOffset >= EndBit) continue;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001406
Chris Lattnere2962be2010-07-29 07:30:00 +00001407 unsigned BaseStart = BaseOffset < StartBit ? StartBit-BaseOffset :0;
1408 if (!BitsContainNoUserData(i->getType(), BaseStart,
1409 EndBit-BaseOffset, Context))
1410 return false;
1411 }
1412 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001413
Chris Lattnere2962be2010-07-29 07:30:00 +00001414 // Verify that no field has data that overlaps the region of interest. Yes
1415 // this could be sped up a lot by being smarter about queried fields,
1416 // however we're only looking at structs up to 16 bytes, so we don't care
1417 // much.
1418 unsigned idx = 0;
1419 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
1420 i != e; ++i, ++idx) {
1421 unsigned FieldOffset = (unsigned)Layout.getFieldOffset(idx);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001422
Chris Lattnere2962be2010-07-29 07:30:00 +00001423 // If we found a field after the region we care about, then we're done.
1424 if (FieldOffset >= EndBit) break;
1425
1426 unsigned FieldStart = FieldOffset < StartBit ? StartBit-FieldOffset :0;
1427 if (!BitsContainNoUserData(i->getType(), FieldStart, EndBit-FieldOffset,
1428 Context))
1429 return false;
1430 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001431
Chris Lattnere2962be2010-07-29 07:30:00 +00001432 // If nothing in this record overlapped the area of interest, then we're
1433 // clean.
1434 return true;
1435 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001436
Chris Lattnere2962be2010-07-29 07:30:00 +00001437 return false;
1438}
1439
Chris Lattner0b362002010-07-29 18:39:32 +00001440/// ContainsFloatAtOffset - Return true if the specified LLVM IR type has a
1441/// float member at the specified offset. For example, {int,{float}} has a
1442/// float at offset 4. It is conservatively correct for this routine to return
1443/// false.
1444static bool ContainsFloatAtOffset(const llvm::Type *IRType, unsigned IROffset,
1445 const llvm::TargetData &TD) {
1446 // Base case if we find a float.
1447 if (IROffset == 0 && IRType->isFloatTy())
1448 return true;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001449
Chris Lattner0b362002010-07-29 18:39:32 +00001450 // If this is a struct, recurse into the field at the specified offset.
1451 if (const llvm::StructType *STy = dyn_cast<llvm::StructType>(IRType)) {
1452 const llvm::StructLayout *SL = TD.getStructLayout(STy);
1453 unsigned Elt = SL->getElementContainingOffset(IROffset);
1454 IROffset -= SL->getElementOffset(Elt);
1455 return ContainsFloatAtOffset(STy->getElementType(Elt), IROffset, TD);
1456 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001457
Chris Lattner0b362002010-07-29 18:39:32 +00001458 // If this is an array, recurse into the field at the specified offset.
1459 if (const llvm::ArrayType *ATy = dyn_cast<llvm::ArrayType>(IRType)) {
1460 const llvm::Type *EltTy = ATy->getElementType();
1461 unsigned EltSize = TD.getTypeAllocSize(EltTy);
1462 IROffset -= IROffset/EltSize*EltSize;
1463 return ContainsFloatAtOffset(EltTy, IROffset, TD);
1464 }
1465
1466 return false;
1467}
1468
Chris Lattnerf47c9442010-07-29 18:13:09 +00001469
1470/// GetSSETypeAtOffset - Return a type that will be passed by the backend in the
1471/// low 8 bytes of an XMM register, corresponding to the SSE class.
1472const llvm::Type *X86_64ABIInfo::
1473GetSSETypeAtOffset(const llvm::Type *IRType, unsigned IROffset,
1474 QualType SourceTy, unsigned SourceOffset) const {
Chris Lattnercba8d312010-07-29 18:19:50 +00001475 // The only three choices we have are either double, <2 x float>, or float. We
Chris Lattnerf47c9442010-07-29 18:13:09 +00001476 // pass as float if the last 4 bytes is just padding. This happens for
1477 // structs that contain 3 floats.
1478 if (BitsContainNoUserData(SourceTy, SourceOffset*8+32,
1479 SourceOffset*8+64, getContext()))
1480 return llvm::Type::getFloatTy(getVMContext());
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001481
Chris Lattner0b362002010-07-29 18:39:32 +00001482 // We want to pass as <2 x float> if the LLVM IR type contains a float at
1483 // offset+0 and offset+4. Walk the LLVM IR type to find out if this is the
1484 // case.
1485 if (ContainsFloatAtOffset(IRType, IROffset, getTargetData()) &&
Chris Lattner22fd4ba2010-08-25 23:39:14 +00001486 ContainsFloatAtOffset(IRType, IROffset+4, getTargetData()))
1487 return llvm::VectorType::get(llvm::Type::getFloatTy(getVMContext()), 2);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001488
Chris Lattnerf47c9442010-07-29 18:13:09 +00001489 return llvm::Type::getDoubleTy(getVMContext());
1490}
1491
1492
Chris Lattner0d2656d2010-07-29 17:40:35 +00001493/// GetINTEGERTypeAtOffset - The ABI specifies that a value should be passed in
1494/// an 8-byte GPR. This means that we either have a scalar or we are talking
1495/// about the high or low part of an up-to-16-byte struct. This routine picks
1496/// the best LLVM IR type to represent this, which may be i64 or may be anything
Chris Lattner49382de2010-07-28 22:44:07 +00001497/// else that the backend will pass in a GPR that works better (e.g. i8, %foo*,
1498/// etc).
1499///
1500/// PrefType is an LLVM IR type that corresponds to (part of) the IR type for
1501/// the source type. IROffset is an offset in bytes into the LLVM IR type that
1502/// the 8-byte value references. PrefType may be null.
1503///
1504/// SourceTy is the source level type for the entire argument. SourceOffset is
1505/// an offset into this that we're processing (which is always either 0 or 8).
1506///
Chris Lattner44f0fd22010-07-29 02:20:19 +00001507const llvm::Type *X86_64ABIInfo::
Chris Lattner0d2656d2010-07-29 17:40:35 +00001508GetINTEGERTypeAtOffset(const llvm::Type *IRType, unsigned IROffset,
1509 QualType SourceTy, unsigned SourceOffset) const {
Chris Lattnere2962be2010-07-29 07:30:00 +00001510 // If we're dealing with an un-offset LLVM IR type, then it means that we're
1511 // returning an 8-byte unit starting with it. See if we can safely use it.
1512 if (IROffset == 0) {
1513 // Pointers and int64's always fill the 8-byte unit.
1514 if (isa<llvm::PointerType>(IRType) || IRType->isIntegerTy(64))
1515 return IRType;
Chris Lattner49382de2010-07-28 22:44:07 +00001516
Chris Lattnere2962be2010-07-29 07:30:00 +00001517 // If we have a 1/2/4-byte integer, we can use it only if the rest of the
1518 // goodness in the source type is just tail padding. This is allowed to
1519 // kick in for struct {double,int} on the int, but not on
1520 // struct{double,int,int} because we wouldn't return the second int. We
1521 // have to do this analysis on the source type because we can't depend on
1522 // unions being lowered a specific way etc.
1523 if (IRType->isIntegerTy(8) || IRType->isIntegerTy(16) ||
1524 IRType->isIntegerTy(32)) {
1525 unsigned BitWidth = cast<llvm::IntegerType>(IRType)->getBitWidth();
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001526
Chris Lattnere2962be2010-07-29 07:30:00 +00001527 if (BitsContainNoUserData(SourceTy, SourceOffset*8+BitWidth,
1528 SourceOffset*8+64, getContext()))
1529 return IRType;
1530 }
1531 }
Chris Lattner49382de2010-07-28 22:44:07 +00001532
Chris Lattnerfe12d1e2010-07-29 04:51:12 +00001533 if (const llvm::StructType *STy = dyn_cast<llvm::StructType>(IRType)) {
Chris Lattner49382de2010-07-28 22:44:07 +00001534 // If this is a struct, recurse into the field at the specified offset.
Chris Lattner44f0fd22010-07-29 02:20:19 +00001535 const llvm::StructLayout *SL = getTargetData().getStructLayout(STy);
Chris Lattner49382de2010-07-28 22:44:07 +00001536 if (IROffset < SL->getSizeInBytes()) {
1537 unsigned FieldIdx = SL->getElementContainingOffset(IROffset);
1538 IROffset -= SL->getElementOffset(FieldIdx);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001539
Chris Lattner0d2656d2010-07-29 17:40:35 +00001540 return GetINTEGERTypeAtOffset(STy->getElementType(FieldIdx), IROffset,
1541 SourceTy, SourceOffset);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001542 }
Chris Lattner49382de2010-07-28 22:44:07 +00001543 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001544
Chris Lattner021c3a32010-07-29 07:43:55 +00001545 if (const llvm::ArrayType *ATy = dyn_cast<llvm::ArrayType>(IRType)) {
1546 const llvm::Type *EltTy = ATy->getElementType();
1547 unsigned EltSize = getTargetData().getTypeAllocSize(EltTy);
1548 unsigned EltOffset = IROffset/EltSize*EltSize;
Chris Lattner0d2656d2010-07-29 17:40:35 +00001549 return GetINTEGERTypeAtOffset(EltTy, IROffset-EltOffset, SourceTy,
1550 SourceOffset);
Chris Lattner021c3a32010-07-29 07:43:55 +00001551 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001552
Chris Lattner49382de2010-07-28 22:44:07 +00001553 // Okay, we don't have any better idea of what to pass, so we pass this in an
1554 // integer register that isn't too big to fit the rest of the struct.
Chris Lattner9e45a3d2010-07-29 17:34:39 +00001555 unsigned TySizeInBytes =
1556 (unsigned)getContext().getTypeSizeInChars(SourceTy).getQuantity();
Chris Lattner49382de2010-07-28 22:44:07 +00001557
Chris Lattner9e45a3d2010-07-29 17:34:39 +00001558 assert(TySizeInBytes != SourceOffset && "Empty field?");
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001559
Chris Lattner49382de2010-07-28 22:44:07 +00001560 // It is always safe to classify this as an integer type up to i64 that
1561 // isn't larger than the structure.
Chris Lattner9e45a3d2010-07-29 17:34:39 +00001562 return llvm::IntegerType::get(getVMContext(),
1563 std::min(TySizeInBytes-SourceOffset, 8U)*8);
Chris Lattner9c254f02010-06-29 06:01:59 +00001564}
1565
Chris Lattner66e7b682010-09-01 00:50:20 +00001566
1567/// GetX86_64ByValArgumentPair - Given a high and low type that can ideally
1568/// be used as elements of a two register pair to pass or return, return a
1569/// first class aggregate to represent them. For example, if the low part of
1570/// a by-value argument should be passed as i32* and the high part as float,
1571/// return {i32*, float}.
1572static const llvm::Type *
1573GetX86_64ByValArgumentPair(const llvm::Type *Lo, const llvm::Type *Hi,
1574 const llvm::TargetData &TD) {
1575 // In order to correctly satisfy the ABI, we need to the high part to start
1576 // at offset 8. If the high and low parts we inferred are both 4-byte types
1577 // (e.g. i32 and i32) then the resultant struct type ({i32,i32}) won't have
1578 // the second element at offset 8. Check for this:
1579 unsigned LoSize = (unsigned)TD.getTypeAllocSize(Lo);
1580 unsigned HiAlign = TD.getABITypeAlignment(Hi);
1581 unsigned HiStart = llvm::TargetData::RoundUpAlignment(LoSize, HiAlign);
1582 assert(HiStart != 0 && HiStart <= 8 && "Invalid x86-64 argument pair!");
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001583
Chris Lattner66e7b682010-09-01 00:50:20 +00001584 // To handle this, we have to increase the size of the low part so that the
1585 // second element will start at an 8 byte offset. We can't increase the size
1586 // of the second element because it might make us access off the end of the
1587 // struct.
1588 if (HiStart != 8) {
1589 // There are only two sorts of types the ABI generation code can produce for
1590 // the low part of a pair that aren't 8 bytes in size: float or i8/i16/i32.
1591 // Promote these to a larger type.
1592 if (Lo->isFloatTy())
1593 Lo = llvm::Type::getDoubleTy(Lo->getContext());
1594 else {
1595 assert(Lo->isIntegerTy() && "Invalid/unknown lo type");
1596 Lo = llvm::Type::getInt64Ty(Lo->getContext());
1597 }
1598 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001599
1600 const llvm::StructType *Result =
Chris Lattner66e7b682010-09-01 00:50:20 +00001601 llvm::StructType::get(Lo->getContext(), Lo, Hi, NULL);
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001602
1603
Chris Lattner66e7b682010-09-01 00:50:20 +00001604 // Verify that the second element is at an 8-byte offset.
1605 assert(TD.getStructLayout(Result)->getElementOffset(1) == 8 &&
1606 "Invalid x86-64 argument pair!");
1607 return Result;
1608}
1609
Chris Lattner519f68c2010-07-28 23:06:14 +00001610ABIArgInfo X86_64ABIInfo::
Chris Lattnera3c109b2010-07-29 02:16:43 +00001611classifyReturnType(QualType RetTy) const {
Chris Lattner519f68c2010-07-28 23:06:14 +00001612 // AMD64-ABI 3.2.3p4: Rule 1. Classify the return type with the
1613 // classification algorithm.
1614 X86_64ABIInfo::Class Lo, Hi;
1615 classify(RetTy, 0, Lo, Hi);
1616
1617 // Check some invariants.
1618 assert((Hi != Memory || Lo == Memory) && "Invalid memory classification.");
Chris Lattner519f68c2010-07-28 23:06:14 +00001619 assert((Hi != SSEUp || Lo == SSE) && "Invalid SSEUp classification.");
1620
1621 const llvm::Type *ResType = 0;
1622 switch (Lo) {
1623 case NoClass:
Chris Lattner117e3f42010-07-30 04:02:24 +00001624 if (Hi == NoClass)
1625 return ABIArgInfo::getIgnore();
1626 // If the low part is just padding, it takes no register, leave ResType
1627 // null.
1628 assert((Hi == SSE || Hi == Integer || Hi == X87Up) &&
1629 "Unknown missing lo part");
1630 break;
Chris Lattner519f68c2010-07-28 23:06:14 +00001631
1632 case SSEUp:
1633 case X87Up:
1634 assert(0 && "Invalid classification for lo word.");
1635
1636 // AMD64-ABI 3.2.3p4: Rule 2. Types of class memory are returned via
1637 // hidden argument.
1638 case Memory:
1639 return getIndirectReturnResult(RetTy);
1640
1641 // AMD64-ABI 3.2.3p4: Rule 3. If the class is INTEGER, the next
1642 // available register of the sequence %rax, %rdx is used.
1643 case Integer:
Chris Lattner0d2656d2010-07-29 17:40:35 +00001644 ResType = GetINTEGERTypeAtOffset(CGT.ConvertTypeRecursive(RetTy), 0,
1645 RetTy, 0);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001646
Chris Lattnereb518b42010-07-29 21:42:50 +00001647 // If we have a sign or zero extended integer, make sure to return Extend
1648 // so that the parameter gets the right LLVM IR attributes.
1649 if (Hi == NoClass && isa<llvm::IntegerType>(ResType)) {
1650 // Treat an enum type as its underlying type.
1651 if (const EnumType *EnumTy = RetTy->getAs<EnumType>())
1652 RetTy = EnumTy->getDecl()->getIntegerType();
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001653
Chris Lattnereb518b42010-07-29 21:42:50 +00001654 if (RetTy->isIntegralOrEnumerationType() &&
1655 RetTy->isPromotableIntegerType())
1656 return ABIArgInfo::getExtend();
1657 }
Chris Lattner519f68c2010-07-28 23:06:14 +00001658 break;
1659
1660 // AMD64-ABI 3.2.3p4: Rule 4. If the class is SSE, the next
1661 // available SSE register of the sequence %xmm0, %xmm1 is used.
1662 case SSE:
Chris Lattnerf47c9442010-07-29 18:13:09 +00001663 ResType = GetSSETypeAtOffset(CGT.ConvertTypeRecursive(RetTy), 0, RetTy, 0);
Chris Lattner0b30c672010-07-28 23:12:33 +00001664 break;
Chris Lattner519f68c2010-07-28 23:06:14 +00001665
1666 // AMD64-ABI 3.2.3p4: Rule 6. If the class is X87, the value is
1667 // returned on the X87 stack in %st0 as 80-bit x87 number.
1668 case X87:
Chris Lattnerea044322010-07-29 02:01:43 +00001669 ResType = llvm::Type::getX86_FP80Ty(getVMContext());
Chris Lattner0b30c672010-07-28 23:12:33 +00001670 break;
Chris Lattner519f68c2010-07-28 23:06:14 +00001671
1672 // AMD64-ABI 3.2.3p4: Rule 8. If the class is COMPLEX_X87, the real
1673 // part of the value is returned in %st0 and the imaginary part in
1674 // %st1.
1675 case ComplexX87:
1676 assert(Hi == ComplexX87 && "Unexpected ComplexX87 classification.");
Chris Lattnera3c109b2010-07-29 02:16:43 +00001677 ResType = llvm::StructType::get(getVMContext(),
Chris Lattnerea044322010-07-29 02:01:43 +00001678 llvm::Type::getX86_FP80Ty(getVMContext()),
1679 llvm::Type::getX86_FP80Ty(getVMContext()),
Chris Lattner519f68c2010-07-28 23:06:14 +00001680 NULL);
1681 break;
1682 }
1683
Chris Lattner3db4dde2010-09-01 00:20:33 +00001684 const llvm::Type *HighPart = 0;
Chris Lattner519f68c2010-07-28 23:06:14 +00001685 switch (Hi) {
1686 // Memory was handled previously and X87 should
1687 // never occur as a hi class.
1688 case Memory:
1689 case X87:
1690 assert(0 && "Invalid classification for hi word.");
1691
1692 case ComplexX87: // Previously handled.
Chris Lattner0b30c672010-07-28 23:12:33 +00001693 case NoClass:
1694 break;
Chris Lattner519f68c2010-07-28 23:06:14 +00001695
Chris Lattner3db4dde2010-09-01 00:20:33 +00001696 case Integer:
1697 HighPart = GetINTEGERTypeAtOffset(CGT.ConvertTypeRecursive(RetTy),
1698 8, RetTy, 8);
1699 if (Lo == NoClass) // Return HighPart at offset 8 in memory.
1700 return ABIArgInfo::getDirect(HighPart, 8);
Chris Lattner519f68c2010-07-28 23:06:14 +00001701 break;
Chris Lattner3db4dde2010-09-01 00:20:33 +00001702 case SSE:
1703 HighPart = GetSSETypeAtOffset(CGT.ConvertTypeRecursive(RetTy), 8, RetTy, 8);
1704 if (Lo == NoClass) // Return HighPart at offset 8 in memory.
1705 return ABIArgInfo::getDirect(HighPart, 8);
Chris Lattner519f68c2010-07-28 23:06:14 +00001706 break;
1707
1708 // AMD64-ABI 3.2.3p4: Rule 5. If the class is SSEUP, the eightbyte
1709 // is passed in the upper half of the last used SSE register.
1710 //
Chris Lattnerfc8f0e12011-04-15 05:22:18 +00001711 // SSEUP should always be preceded by SSE, just widen.
Chris Lattner519f68c2010-07-28 23:06:14 +00001712 case SSEUp:
1713 assert(Lo == SSE && "Unexpected SSEUp classification.");
Chris Lattner0f408f52010-07-29 04:56:46 +00001714 ResType = Get16ByteVectorType(RetTy);
Chris Lattner519f68c2010-07-28 23:06:14 +00001715 break;
1716
1717 // AMD64-ABI 3.2.3p4: Rule 7. If the class is X87UP, the value is
1718 // returned together with the previous X87 value in %st0.
1719 case X87Up:
Chris Lattnerfc8f0e12011-04-15 05:22:18 +00001720 // If X87Up is preceded by X87, we don't need to do
Chris Lattner519f68c2010-07-28 23:06:14 +00001721 // anything. However, in some cases with unions it may not be
Chris Lattnerfc8f0e12011-04-15 05:22:18 +00001722 // preceded by X87. In such situations we follow gcc and pass the
Chris Lattner519f68c2010-07-28 23:06:14 +00001723 // extra bits in an SSE reg.
Chris Lattner603519d2010-07-29 17:49:08 +00001724 if (Lo != X87) {
Chris Lattner3db4dde2010-09-01 00:20:33 +00001725 HighPart = GetSSETypeAtOffset(CGT.ConvertTypeRecursive(RetTy),
1726 8, RetTy, 8);
1727 if (Lo == NoClass) // Return HighPart at offset 8 in memory.
1728 return ABIArgInfo::getDirect(HighPart, 8);
Chris Lattner603519d2010-07-29 17:49:08 +00001729 }
Chris Lattner519f68c2010-07-28 23:06:14 +00001730 break;
1731 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001732
Chris Lattner3db4dde2010-09-01 00:20:33 +00001733 // If a high part was specified, merge it together with the low part. It is
Chris Lattner645406a2010-09-01 00:24:35 +00001734 // known to pass in the high eightbyte of the result. We do this by forming a
1735 // first class struct aggregate with the high and low part: {low, high}
Chris Lattner66e7b682010-09-01 00:50:20 +00001736 if (HighPart)
1737 ResType = GetX86_64ByValArgumentPair(ResType, HighPart, getTargetData());
Chris Lattner519f68c2010-07-28 23:06:14 +00001738
Chris Lattnereb518b42010-07-29 21:42:50 +00001739 return ABIArgInfo::getDirect(ResType);
Chris Lattner519f68c2010-07-28 23:06:14 +00001740}
1741
Chris Lattnera3c109b2010-07-29 02:16:43 +00001742ABIArgInfo X86_64ABIInfo::classifyArgumentType(QualType Ty, unsigned &neededInt,
Bill Wendling99aaae82010-10-18 23:51:38 +00001743 unsigned &neededSSE) const {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001744 X86_64ABIInfo::Class Lo, Hi;
Chris Lattner9c254f02010-06-29 06:01:59 +00001745 classify(Ty, 0, Lo, Hi);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001746
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001747 // Check some invariants.
1748 // FIXME: Enforce these by construction.
1749 assert((Hi != Memory || Lo == Memory) && "Invalid memory classification.");
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001750 assert((Hi != SSEUp || Lo == SSE) && "Invalid SSEUp classification.");
1751
1752 neededInt = 0;
1753 neededSSE = 0;
1754 const llvm::Type *ResType = 0;
1755 switch (Lo) {
1756 case NoClass:
Chris Lattner117e3f42010-07-30 04:02:24 +00001757 if (Hi == NoClass)
1758 return ABIArgInfo::getIgnore();
1759 // If the low part is just padding, it takes no register, leave ResType
1760 // null.
1761 assert((Hi == SSE || Hi == Integer || Hi == X87Up) &&
1762 "Unknown missing lo part");
1763 break;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001764
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001765 // AMD64-ABI 3.2.3p3: Rule 1. If the class is MEMORY, pass the argument
1766 // on the stack.
1767 case Memory:
1768
1769 // AMD64-ABI 3.2.3p3: Rule 5. If the class is X87, X87UP or
1770 // COMPLEX_X87, it is passed in memory.
1771 case X87:
1772 case ComplexX87:
Chris Lattner9c254f02010-06-29 06:01:59 +00001773 return getIndirectResult(Ty);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001774
1775 case SSEUp:
1776 case X87Up:
1777 assert(0 && "Invalid classification for lo word.");
1778
1779 // AMD64-ABI 3.2.3p3: Rule 2. If the class is INTEGER, the next
1780 // available register of the sequence %rdi, %rsi, %rdx, %rcx, %r8
1781 // and %r9 is used.
1782 case Integer:
Chris Lattner9c254f02010-06-29 06:01:59 +00001783 ++neededInt;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001784
Chris Lattner49382de2010-07-28 22:44:07 +00001785 // Pick an 8-byte type based on the preferred type.
Chris Lattner0d2656d2010-07-29 17:40:35 +00001786 ResType = GetINTEGERTypeAtOffset(CGT.ConvertTypeRecursive(Ty), 0, Ty, 0);
Chris Lattnereb518b42010-07-29 21:42:50 +00001787
1788 // If we have a sign or zero extended integer, make sure to return Extend
1789 // so that the parameter gets the right LLVM IR attributes.
1790 if (Hi == NoClass && isa<llvm::IntegerType>(ResType)) {
1791 // Treat an enum type as its underlying type.
1792 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
1793 Ty = EnumTy->getDecl()->getIntegerType();
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001794
Chris Lattnereb518b42010-07-29 21:42:50 +00001795 if (Ty->isIntegralOrEnumerationType() &&
1796 Ty->isPromotableIntegerType())
1797 return ABIArgInfo::getExtend();
1798 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001799
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001800 break;
1801
1802 // AMD64-ABI 3.2.3p3: Rule 3. If the class is SSE, the next
1803 // available SSE register is used, the registers are taken in the
1804 // order from %xmm0 to %xmm7.
Bill Wendlingbb465d72010-10-18 03:41:31 +00001805 case SSE: {
1806 const llvm::Type *IRType = CGT.ConvertTypeRecursive(Ty);
Bill Wendling99aaae82010-10-18 23:51:38 +00001807 if (Hi != NoClass || !UseX86_MMXType(IRType))
Bill Wendlingbb465d72010-10-18 03:41:31 +00001808 ResType = GetSSETypeAtOffset(IRType, 0, Ty, 0);
Bill Wendling99aaae82010-10-18 23:51:38 +00001809 else
Bill Wendlingbb465d72010-10-18 03:41:31 +00001810 // This is an MMX type. Treat it as such.
1811 ResType = llvm::Type::getX86_MMXTy(getVMContext());
Bill Wendlingbb465d72010-10-18 03:41:31 +00001812
Bill Wendling99aaae82010-10-18 23:51:38 +00001813 ++neededSSE;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001814 break;
1815 }
Bill Wendlingbb465d72010-10-18 03:41:31 +00001816 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001817
Chris Lattner645406a2010-09-01 00:24:35 +00001818 const llvm::Type *HighPart = 0;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001819 switch (Hi) {
1820 // Memory was handled previously, ComplexX87 and X87 should
Chris Lattnerfc8f0e12011-04-15 05:22:18 +00001821 // never occur as hi classes, and X87Up must be preceded by X87,
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001822 // which is passed in memory.
1823 case Memory:
1824 case X87:
1825 case ComplexX87:
1826 assert(0 && "Invalid classification for hi word.");
1827 break;
1828
1829 case NoClass: break;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001830
Chris Lattner645406a2010-09-01 00:24:35 +00001831 case Integer:
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001832 ++neededInt;
Chris Lattner49382de2010-07-28 22:44:07 +00001833 // Pick an 8-byte type based on the preferred type.
Chris Lattner645406a2010-09-01 00:24:35 +00001834 HighPart = GetINTEGERTypeAtOffset(CGT.ConvertTypeRecursive(Ty), 8, Ty, 8);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001835
Chris Lattner645406a2010-09-01 00:24:35 +00001836 if (Lo == NoClass) // Pass HighPart at offset 8 in memory.
1837 return ABIArgInfo::getDirect(HighPart, 8);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001838 break;
1839
1840 // X87Up generally doesn't occur here (long double is passed in
1841 // memory), except in situations involving unions.
1842 case X87Up:
Chris Lattner645406a2010-09-01 00:24:35 +00001843 case SSE:
1844 HighPart = GetSSETypeAtOffset(CGT.ConvertTypeRecursive(Ty), 8, Ty, 8);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001845
Chris Lattner645406a2010-09-01 00:24:35 +00001846 if (Lo == NoClass) // Pass HighPart at offset 8 in memory.
1847 return ABIArgInfo::getDirect(HighPart, 8);
Chris Lattner117e3f42010-07-30 04:02:24 +00001848
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001849 ++neededSSE;
1850 break;
1851
1852 // AMD64-ABI 3.2.3p3: Rule 4. If the class is SSEUP, the
1853 // eightbyte is passed in the upper half of the last used SSE
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001854 // register. This only happens when 128-bit vectors are passed.
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001855 case SSEUp:
Chris Lattnerab5722e2010-07-28 23:47:21 +00001856 assert(Lo == SSE && "Unexpected SSEUp classification");
Chris Lattner0f408f52010-07-29 04:56:46 +00001857 ResType = Get16ByteVectorType(Ty);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001858 break;
1859 }
1860
Chris Lattner645406a2010-09-01 00:24:35 +00001861 // If a high part was specified, merge it together with the low part. It is
1862 // known to pass in the high eightbyte of the result. We do this by forming a
1863 // first class struct aggregate with the high and low part: {low, high}
1864 if (HighPart)
Chris Lattner66e7b682010-09-01 00:50:20 +00001865 ResType = GetX86_64ByValArgumentPair(ResType, HighPart, getTargetData());
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001866
Chris Lattnereb518b42010-07-29 21:42:50 +00001867 return ABIArgInfo::getDirect(ResType);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001868}
1869
Chris Lattneree5dcd02010-07-29 02:31:05 +00001870void X86_64ABIInfo::computeInfo(CGFunctionInfo &FI) const {
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001871
Chris Lattnera3c109b2010-07-29 02:16:43 +00001872 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001873
1874 // Keep track of the number of assigned registers.
Bill Wendling99aaae82010-10-18 23:51:38 +00001875 unsigned freeIntRegs = 6, freeSSERegs = 8;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001876
1877 // If the return value is indirect, then the hidden argument is consuming one
1878 // integer register.
1879 if (FI.getReturnInfo().isIndirect())
1880 --freeIntRegs;
1881
1882 // AMD64-ABI 3.2.3p3: Once arguments are classified, the registers
1883 // get assigned (in left-to-right order) for passing as follows...
1884 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
1885 it != ie; ++it) {
Bill Wendling99aaae82010-10-18 23:51:38 +00001886 unsigned neededInt, neededSSE;
1887 it->info = classifyArgumentType(it->type, neededInt, neededSSE);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001888
1889 // AMD64-ABI 3.2.3p3: If there are no registers available for any
1890 // eightbyte of an argument, the whole argument is passed on the
1891 // stack. If registers have already been assigned for some
1892 // eightbytes of such an argument, the assignments get reverted.
Bill Wendling99aaae82010-10-18 23:51:38 +00001893 if (freeIntRegs >= neededInt && freeSSERegs >= neededSSE) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001894 freeIntRegs -= neededInt;
1895 freeSSERegs -= neededSSE;
1896 } else {
Chris Lattner9c254f02010-06-29 06:01:59 +00001897 it->info = getIndirectResult(it->type);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001898 }
1899 }
1900}
1901
1902static llvm::Value *EmitVAArgFromMemory(llvm::Value *VAListAddr,
1903 QualType Ty,
1904 CodeGenFunction &CGF) {
1905 llvm::Value *overflow_arg_area_p =
1906 CGF.Builder.CreateStructGEP(VAListAddr, 2, "overflow_arg_area_p");
1907 llvm::Value *overflow_arg_area =
1908 CGF.Builder.CreateLoad(overflow_arg_area_p, "overflow_arg_area");
1909
1910 // AMD64-ABI 3.5.7p5: Step 7. Align l->overflow_arg_area upwards to a 16
1911 // byte boundary if alignment needed by type exceeds 8 byte boundary.
1912 uint64_t Align = CGF.getContext().getTypeAlign(Ty) / 8;
1913 if (Align > 8) {
1914 // Note that we follow the ABI & gcc here, even though the type
1915 // could in theory have an alignment greater than 16. This case
1916 // shouldn't ever matter in practice.
1917
1918 // overflow_arg_area = (overflow_arg_area + 15) & ~15;
Owen Anderson0032b272009-08-13 21:57:51 +00001919 llvm::Value *Offset =
Chris Lattner77b89b82010-06-27 07:15:29 +00001920 llvm::ConstantInt::get(CGF.Int32Ty, 15);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001921 overflow_arg_area = CGF.Builder.CreateGEP(overflow_arg_area, Offset);
1922 llvm::Value *AsInt = CGF.Builder.CreatePtrToInt(overflow_arg_area,
Chris Lattner77b89b82010-06-27 07:15:29 +00001923 CGF.Int64Ty);
1924 llvm::Value *Mask = llvm::ConstantInt::get(CGF.Int64Ty, ~15LL);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001925 overflow_arg_area =
1926 CGF.Builder.CreateIntToPtr(CGF.Builder.CreateAnd(AsInt, Mask),
1927 overflow_arg_area->getType(),
1928 "overflow_arg_area.align");
1929 }
1930
1931 // AMD64-ABI 3.5.7p5: Step 8. Fetch type from l->overflow_arg_area.
1932 const llvm::Type *LTy = CGF.ConvertTypeForMem(Ty);
1933 llvm::Value *Res =
1934 CGF.Builder.CreateBitCast(overflow_arg_area,
Owen Anderson96e0fc72009-07-29 22:16:19 +00001935 llvm::PointerType::getUnqual(LTy));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001936
1937 // AMD64-ABI 3.5.7p5: Step 9. Set l->overflow_arg_area to:
1938 // l->overflow_arg_area + sizeof(type).
1939 // AMD64-ABI 3.5.7p5: Step 10. Align l->overflow_arg_area upwards to
1940 // an 8 byte boundary.
1941
1942 uint64_t SizeInBytes = (CGF.getContext().getTypeSize(Ty) + 7) / 8;
Owen Anderson0032b272009-08-13 21:57:51 +00001943 llvm::Value *Offset =
Chris Lattner77b89b82010-06-27 07:15:29 +00001944 llvm::ConstantInt::get(CGF.Int32Ty, (SizeInBytes + 7) & ~7);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001945 overflow_arg_area = CGF.Builder.CreateGEP(overflow_arg_area, Offset,
1946 "overflow_arg_area.next");
1947 CGF.Builder.CreateStore(overflow_arg_area, overflow_arg_area_p);
1948
1949 // AMD64-ABI 3.5.7p5: Step 11. Return the fetched type.
1950 return Res;
1951}
1952
1953llvm::Value *X86_64ABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
1954 CodeGenFunction &CGF) const {
Owen Andersona1cf15f2009-07-14 23:10:40 +00001955 llvm::LLVMContext &VMContext = CGF.getLLVMContext();
Mike Stump1eb44332009-09-09 15:08:12 +00001956
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001957 // Assume that va_list type is correct; should be pointer to LLVM type:
1958 // struct {
1959 // i32 gp_offset;
1960 // i32 fp_offset;
1961 // i8* overflow_arg_area;
1962 // i8* reg_save_area;
1963 // };
Bill Wendling99aaae82010-10-18 23:51:38 +00001964 unsigned neededInt, neededSSE;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001965
Chris Lattnera14db752010-03-11 18:19:55 +00001966 Ty = CGF.getContext().getCanonicalType(Ty);
Bill Wendling99aaae82010-10-18 23:51:38 +00001967 ABIArgInfo AI = classifyArgumentType(Ty, neededInt, neededSSE);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001968
1969 // AMD64-ABI 3.5.7p5: Step 1. Determine whether type may be passed
1970 // in the registers. If not go to step 7.
1971 if (!neededInt && !neededSSE)
1972 return EmitVAArgFromMemory(VAListAddr, Ty, CGF);
1973
1974 // AMD64-ABI 3.5.7p5: Step 2. Compute num_gp to hold the number of
1975 // general purpose registers needed to pass type and num_fp to hold
1976 // the number of floating point registers needed.
1977
1978 // AMD64-ABI 3.5.7p5: Step 3. Verify whether arguments fit into
1979 // registers. In the case: l->gp_offset > 48 - num_gp * 8 or
1980 // l->fp_offset > 304 - num_fp * 16 go to step 7.
1981 //
1982 // NOTE: 304 is a typo, there are (6 * 8 + 8 * 16) = 176 bytes of
1983 // register save space).
1984
1985 llvm::Value *InRegs = 0;
1986 llvm::Value *gp_offset_p = 0, *gp_offset = 0;
1987 llvm::Value *fp_offset_p = 0, *fp_offset = 0;
1988 if (neededInt) {
1989 gp_offset_p = CGF.Builder.CreateStructGEP(VAListAddr, 0, "gp_offset_p");
1990 gp_offset = CGF.Builder.CreateLoad(gp_offset_p, "gp_offset");
Chris Lattner1090a9b2010-06-28 21:43:59 +00001991 InRegs = llvm::ConstantInt::get(CGF.Int32Ty, 48 - neededInt * 8);
1992 InRegs = CGF.Builder.CreateICmpULE(gp_offset, InRegs, "fits_in_gp");
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001993 }
1994
1995 if (neededSSE) {
1996 fp_offset_p = CGF.Builder.CreateStructGEP(VAListAddr, 1, "fp_offset_p");
1997 fp_offset = CGF.Builder.CreateLoad(fp_offset_p, "fp_offset");
1998 llvm::Value *FitsInFP =
Chris Lattner1090a9b2010-06-28 21:43:59 +00001999 llvm::ConstantInt::get(CGF.Int32Ty, 176 - neededSSE * 16);
2000 FitsInFP = CGF.Builder.CreateICmpULE(fp_offset, FitsInFP, "fits_in_fp");
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002001 InRegs = InRegs ? CGF.Builder.CreateAnd(InRegs, FitsInFP) : FitsInFP;
2002 }
2003
2004 llvm::BasicBlock *InRegBlock = CGF.createBasicBlock("vaarg.in_reg");
2005 llvm::BasicBlock *InMemBlock = CGF.createBasicBlock("vaarg.in_mem");
2006 llvm::BasicBlock *ContBlock = CGF.createBasicBlock("vaarg.end");
2007 CGF.Builder.CreateCondBr(InRegs, InRegBlock, InMemBlock);
2008
2009 // Emit code to load the value if it was passed in registers.
2010
2011 CGF.EmitBlock(InRegBlock);
2012
2013 // AMD64-ABI 3.5.7p5: Step 4. Fetch type from l->reg_save_area with
2014 // an offset of l->gp_offset and/or l->fp_offset. This may require
2015 // copying to a temporary location in case the parameter is passed
2016 // in different register classes or requires an alignment greater
2017 // than 8 for general purpose registers and 16 for XMM registers.
2018 //
2019 // FIXME: This really results in shameful code when we end up needing to
2020 // collect arguments from different places; often what should result in a
2021 // simple assembling of a structure from scattered addresses has many more
2022 // loads than necessary. Can we clean this up?
2023 const llvm::Type *LTy = CGF.ConvertTypeForMem(Ty);
2024 llvm::Value *RegAddr =
2025 CGF.Builder.CreateLoad(CGF.Builder.CreateStructGEP(VAListAddr, 3),
2026 "reg_save_area");
2027 if (neededInt && neededSSE) {
2028 // FIXME: Cleanup.
Chris Lattner800588f2010-07-29 06:26:06 +00002029 assert(AI.isDirect() && "Unexpected ABI info for mixed regs");
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002030 const llvm::StructType *ST = cast<llvm::StructType>(AI.getCoerceToType());
2031 llvm::Value *Tmp = CGF.CreateTempAlloca(ST);
2032 assert(ST->getNumElements() == 2 && "Unexpected ABI info for mixed regs");
2033 const llvm::Type *TyLo = ST->getElementType(0);
2034 const llvm::Type *TyHi = ST->getElementType(1);
Chris Lattnera8b7a7d2010-08-26 06:28:35 +00002035 assert((TyLo->isFPOrFPVectorTy() ^ TyHi->isFPOrFPVectorTy()) &&
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002036 "Unexpected ABI info for mixed regs");
Owen Anderson96e0fc72009-07-29 22:16:19 +00002037 const llvm::Type *PTyLo = llvm::PointerType::getUnqual(TyLo);
2038 const llvm::Type *PTyHi = llvm::PointerType::getUnqual(TyHi);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002039 llvm::Value *GPAddr = CGF.Builder.CreateGEP(RegAddr, gp_offset);
2040 llvm::Value *FPAddr = CGF.Builder.CreateGEP(RegAddr, fp_offset);
Duncan Sandsf177d9d2010-02-15 16:14:01 +00002041 llvm::Value *RegLoAddr = TyLo->isFloatingPointTy() ? FPAddr : GPAddr;
2042 llvm::Value *RegHiAddr = TyLo->isFloatingPointTy() ? GPAddr : FPAddr;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002043 llvm::Value *V =
2044 CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegLoAddr, PTyLo));
2045 CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 0));
2046 V = CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegHiAddr, PTyHi));
2047 CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 1));
2048
Owen Andersona1cf15f2009-07-14 23:10:40 +00002049 RegAddr = CGF.Builder.CreateBitCast(Tmp,
Owen Anderson96e0fc72009-07-29 22:16:19 +00002050 llvm::PointerType::getUnqual(LTy));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002051 } else if (neededInt) {
2052 RegAddr = CGF.Builder.CreateGEP(RegAddr, gp_offset);
2053 RegAddr = CGF.Builder.CreateBitCast(RegAddr,
Owen Anderson96e0fc72009-07-29 22:16:19 +00002054 llvm::PointerType::getUnqual(LTy));
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002055 } else if (neededSSE == 1) {
2056 RegAddr = CGF.Builder.CreateGEP(RegAddr, fp_offset);
2057 RegAddr = CGF.Builder.CreateBitCast(RegAddr,
2058 llvm::PointerType::getUnqual(LTy));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002059 } else {
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002060 assert(neededSSE == 2 && "Invalid number of needed registers!");
2061 // SSE registers are spaced 16 bytes apart in the register save
2062 // area, we need to collect the two eightbytes together.
2063 llvm::Value *RegAddrLo = CGF.Builder.CreateGEP(RegAddr, fp_offset);
Chris Lattner1090a9b2010-06-28 21:43:59 +00002064 llvm::Value *RegAddrHi = CGF.Builder.CreateConstGEP1_32(RegAddrLo, 16);
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002065 const llvm::Type *DoubleTy = llvm::Type::getDoubleTy(VMContext);
2066 const llvm::Type *DblPtrTy =
2067 llvm::PointerType::getUnqual(DoubleTy);
2068 const llvm::StructType *ST = llvm::StructType::get(VMContext, DoubleTy,
2069 DoubleTy, NULL);
2070 llvm::Value *V, *Tmp = CGF.CreateTempAlloca(ST);
2071 V = CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegAddrLo,
2072 DblPtrTy));
2073 CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 0));
2074 V = CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegAddrHi,
2075 DblPtrTy));
2076 CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 1));
2077 RegAddr = CGF.Builder.CreateBitCast(Tmp,
2078 llvm::PointerType::getUnqual(LTy));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002079 }
2080
2081 // AMD64-ABI 3.5.7p5: Step 5. Set:
2082 // l->gp_offset = l->gp_offset + num_gp * 8
2083 // l->fp_offset = l->fp_offset + num_fp * 16.
2084 if (neededInt) {
Chris Lattner77b89b82010-06-27 07:15:29 +00002085 llvm::Value *Offset = llvm::ConstantInt::get(CGF.Int32Ty, neededInt * 8);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002086 CGF.Builder.CreateStore(CGF.Builder.CreateAdd(gp_offset, Offset),
2087 gp_offset_p);
2088 }
2089 if (neededSSE) {
Chris Lattner77b89b82010-06-27 07:15:29 +00002090 llvm::Value *Offset = llvm::ConstantInt::get(CGF.Int32Ty, neededSSE * 16);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002091 CGF.Builder.CreateStore(CGF.Builder.CreateAdd(fp_offset, Offset),
2092 fp_offset_p);
2093 }
2094 CGF.EmitBranch(ContBlock);
2095
2096 // Emit code to load the value if it was passed in memory.
2097
2098 CGF.EmitBlock(InMemBlock);
2099 llvm::Value *MemAddr = EmitVAArgFromMemory(VAListAddr, Ty, CGF);
2100
2101 // Return the appropriate result.
2102
2103 CGF.EmitBlock(ContBlock);
Jay Foadbbf3bac2011-03-30 11:28:58 +00002104 llvm::PHINode *ResAddr = CGF.Builder.CreatePHI(RegAddr->getType(), 2,
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002105 "vaarg.addr");
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002106 ResAddr->addIncoming(RegAddr, InRegBlock);
2107 ResAddr->addIncoming(MemAddr, InMemBlock);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002108 return ResAddr;
2109}
2110
NAKAMURA Takumia7573222011-01-17 22:56:31 +00002111ABIArgInfo WinX86_64ABIInfo::classify(QualType Ty) const {
2112
2113 if (Ty->isVoidType())
2114 return ABIArgInfo::getIgnore();
2115
2116 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
2117 Ty = EnumTy->getDecl()->getIntegerType();
2118
2119 uint64_t Size = getContext().getTypeSize(Ty);
2120
2121 if (const RecordType *RT = Ty->getAs<RecordType>()) {
NAKAMURA Takumiff8be0e2011-01-19 00:11:33 +00002122 if (hasNonTrivialDestructorOrCopyConstructor(RT) ||
2123 RT->getDecl()->hasFlexibleArrayMember())
NAKAMURA Takumia7573222011-01-17 22:56:31 +00002124 return ABIArgInfo::getIndirect(0, /*ByVal=*/false);
2125
NAKAMURA Takumi6f174332011-02-22 03:56:57 +00002126 // FIXME: mingw-w64-gcc emits 128-bit struct as i128
2127 if (Size == 128 &&
2128 getContext().Target.getTriple().getOS() == llvm::Triple::MinGW32)
2129 return ABIArgInfo::getDirect(llvm::IntegerType::get(getVMContext(),
2130 Size));
2131
2132 // MS x64 ABI requirement: "Any argument that doesn't fit in 8 bytes, or is
2133 // not 1, 2, 4, or 8 bytes, must be passed by reference."
2134 if (Size <= 64 &&
NAKAMURA Takumiff8be0e2011-01-19 00:11:33 +00002135 (Size & (Size - 1)) == 0)
NAKAMURA Takumia7573222011-01-17 22:56:31 +00002136 return ABIArgInfo::getDirect(llvm::IntegerType::get(getVMContext(),
2137 Size));
2138
2139 return ABIArgInfo::getIndirect(0, /*ByVal=*/false);
2140 }
2141
2142 if (Ty->isPromotableIntegerType())
2143 return ABIArgInfo::getExtend();
2144
2145 return ABIArgInfo::getDirect();
2146}
2147
2148void WinX86_64ABIInfo::computeInfo(CGFunctionInfo &FI) const {
2149
2150 QualType RetTy = FI.getReturnType();
2151 FI.getReturnInfo() = classify(RetTy);
2152
NAKAMURA Takumia7573222011-01-17 22:56:31 +00002153 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
2154 it != ie; ++it)
2155 it->info = classify(it->type);
2156}
2157
Chris Lattnerf13721d2010-08-31 16:44:54 +00002158llvm::Value *WinX86_64ABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2159 CodeGenFunction &CGF) const {
2160 const llvm::Type *BP = llvm::Type::getInt8PtrTy(CGF.getLLVMContext());
2161 const llvm::Type *BPP = llvm::PointerType::getUnqual(BP);
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002162
Chris Lattnerf13721d2010-08-31 16:44:54 +00002163 CGBuilderTy &Builder = CGF.Builder;
2164 llvm::Value *VAListAddrAsBPP = Builder.CreateBitCast(VAListAddr, BPP,
2165 "ap");
2166 llvm::Value *Addr = Builder.CreateLoad(VAListAddrAsBPP, "ap.cur");
2167 llvm::Type *PTy =
2168 llvm::PointerType::getUnqual(CGF.ConvertType(Ty));
2169 llvm::Value *AddrTyped = Builder.CreateBitCast(Addr, PTy);
2170
2171 uint64_t Offset =
2172 llvm::RoundUpToAlignment(CGF.getContext().getTypeSize(Ty) / 8, 8);
2173 llvm::Value *NextAddr =
2174 Builder.CreateGEP(Addr, llvm::ConstantInt::get(CGF.Int32Ty, Offset),
2175 "ap.next");
2176 Builder.CreateStore(NextAddr, VAListAddrAsBPP);
2177
2178 return AddrTyped;
2179}
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002180
John McCallec853ba2010-03-11 00:10:12 +00002181// PowerPC-32
2182
2183namespace {
2184class PPC32TargetCodeGenInfo : public DefaultTargetCodeGenInfo {
2185public:
Chris Lattnerea044322010-07-29 02:01:43 +00002186 PPC32TargetCodeGenInfo(CodeGenTypes &CGT) : DefaultTargetCodeGenInfo(CGT) {}
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00002187
John McCallec853ba2010-03-11 00:10:12 +00002188 int getDwarfEHStackPointer(CodeGen::CodeGenModule &M) const {
2189 // This is recovered from gcc output.
2190 return 1; // r1 is the dedicated stack pointer
2191 }
2192
2193 bool initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00002194 llvm::Value *Address) const;
John McCallec853ba2010-03-11 00:10:12 +00002195};
2196
2197}
2198
2199bool
2200PPC32TargetCodeGenInfo::initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
2201 llvm::Value *Address) const {
2202 // This is calculated from the LLVM and GCC tables and verified
2203 // against gcc output. AFAIK all ABIs use the same encoding.
2204
2205 CodeGen::CGBuilderTy &Builder = CGF.Builder;
2206 llvm::LLVMContext &Context = CGF.getLLVMContext();
2207
2208 const llvm::IntegerType *i8 = llvm::Type::getInt8Ty(Context);
2209 llvm::Value *Four8 = llvm::ConstantInt::get(i8, 4);
2210 llvm::Value *Eight8 = llvm::ConstantInt::get(i8, 8);
2211 llvm::Value *Sixteen8 = llvm::ConstantInt::get(i8, 16);
2212
2213 // 0-31: r0-31, the 4-byte general-purpose registers
John McCallaeeb7012010-05-27 06:19:26 +00002214 AssignToArrayRange(Builder, Address, Four8, 0, 31);
John McCallec853ba2010-03-11 00:10:12 +00002215
2216 // 32-63: fp0-31, the 8-byte floating-point registers
John McCallaeeb7012010-05-27 06:19:26 +00002217 AssignToArrayRange(Builder, Address, Eight8, 32, 63);
John McCallec853ba2010-03-11 00:10:12 +00002218
2219 // 64-76 are various 4-byte special-purpose registers:
2220 // 64: mq
2221 // 65: lr
2222 // 66: ctr
2223 // 67: ap
2224 // 68-75 cr0-7
2225 // 76: xer
John McCallaeeb7012010-05-27 06:19:26 +00002226 AssignToArrayRange(Builder, Address, Four8, 64, 76);
John McCallec853ba2010-03-11 00:10:12 +00002227
2228 // 77-108: v0-31, the 16-byte vector registers
John McCallaeeb7012010-05-27 06:19:26 +00002229 AssignToArrayRange(Builder, Address, Sixteen8, 77, 108);
John McCallec853ba2010-03-11 00:10:12 +00002230
2231 // 109: vrsave
2232 // 110: vscr
2233 // 111: spe_acc
2234 // 112: spefscr
2235 // 113: sfp
John McCallaeeb7012010-05-27 06:19:26 +00002236 AssignToArrayRange(Builder, Address, Four8, 109, 113);
John McCallec853ba2010-03-11 00:10:12 +00002237
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00002238 return false;
John McCallec853ba2010-03-11 00:10:12 +00002239}
2240
2241
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002242//===----------------------------------------------------------------------===//
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002243// ARM ABI Implementation
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002244//===----------------------------------------------------------------------===//
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002245
2246namespace {
2247
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002248class ARMABIInfo : public ABIInfo {
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002249public:
2250 enum ABIKind {
2251 APCS = 0,
2252 AAPCS = 1,
2253 AAPCS_VFP
2254 };
2255
2256private:
2257 ABIKind Kind;
2258
2259public:
Chris Lattnerea044322010-07-29 02:01:43 +00002260 ARMABIInfo(CodeGenTypes &CGT, ABIKind _Kind) : ABIInfo(CGT), Kind(_Kind) {}
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002261
2262private:
2263 ABIKind getABIKind() const { return Kind; }
2264
Chris Lattnera3c109b2010-07-29 02:16:43 +00002265 ABIArgInfo classifyReturnType(QualType RetTy) const;
2266 ABIArgInfo classifyArgumentType(QualType RetTy) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002267
Chris Lattneree5dcd02010-07-29 02:31:05 +00002268 virtual void computeInfo(CGFunctionInfo &FI) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002269
2270 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2271 CodeGenFunction &CGF) const;
2272};
2273
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002274class ARMTargetCodeGenInfo : public TargetCodeGenInfo {
2275public:
Chris Lattnerea044322010-07-29 02:01:43 +00002276 ARMTargetCodeGenInfo(CodeGenTypes &CGT, ARMABIInfo::ABIKind K)
2277 :TargetCodeGenInfo(new ARMABIInfo(CGT, K)) {}
John McCall6374c332010-03-06 00:35:14 +00002278
2279 int getDwarfEHStackPointer(CodeGen::CodeGenModule &M) const {
2280 return 13;
2281 }
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002282};
2283
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002284}
2285
Chris Lattneree5dcd02010-07-29 02:31:05 +00002286void ARMABIInfo::computeInfo(CGFunctionInfo &FI) const {
Chris Lattnera3c109b2010-07-29 02:16:43 +00002287 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002288 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
Chris Lattnera3c109b2010-07-29 02:16:43 +00002289 it != ie; ++it)
2290 it->info = classifyArgumentType(it->type);
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002291
Anton Korobeynikov414d8962011-04-14 20:06:49 +00002292 // Always honor user-specified calling convention.
2293 if (FI.getCallingConvention() != llvm::CallingConv::C)
2294 return;
2295
2296 // Calling convention as default by an ABI.
Rafael Espindola25117ab2010-06-16 16:13:39 +00002297 llvm::CallingConv::ID DefaultCC;
Anton Korobeynikov414d8962011-04-14 20:06:49 +00002298 llvm::StringRef Env = getContext().Target.getTriple().getEnvironmentName();
2299 if (Env == "gnueabi" || Env == "eabi")
Rafael Espindola25117ab2010-06-16 16:13:39 +00002300 DefaultCC = llvm::CallingConv::ARM_AAPCS;
Rafael Espindola1ed1a592010-06-16 19:01:17 +00002301 else
2302 DefaultCC = llvm::CallingConv::ARM_APCS;
Rafael Espindola25117ab2010-06-16 16:13:39 +00002303
Anton Korobeynikov414d8962011-04-14 20:06:49 +00002304 // If user did not ask for specific calling convention explicitly (e.g. via
2305 // pcs attribute), set effective calling convention if it's different than ABI
2306 // default.
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002307 switch (getABIKind()) {
2308 case APCS:
Rafael Espindola25117ab2010-06-16 16:13:39 +00002309 if (DefaultCC != llvm::CallingConv::ARM_APCS)
2310 FI.setEffectiveCallingConvention(llvm::CallingConv::ARM_APCS);
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002311 break;
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002312 case AAPCS:
Rafael Espindola25117ab2010-06-16 16:13:39 +00002313 if (DefaultCC != llvm::CallingConv::ARM_AAPCS)
2314 FI.setEffectiveCallingConvention(llvm::CallingConv::ARM_AAPCS);
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002315 break;
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002316 case AAPCS_VFP:
Anton Korobeynikov414d8962011-04-14 20:06:49 +00002317 if (DefaultCC != llvm::CallingConv::ARM_AAPCS_VFP)
2318 FI.setEffectiveCallingConvention(llvm::CallingConv::ARM_AAPCS_VFP);
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002319 break;
2320 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002321}
2322
Chris Lattnera3c109b2010-07-29 02:16:43 +00002323ABIArgInfo ARMABIInfo::classifyArgumentType(QualType Ty) const {
John McCalld608cdb2010-08-22 10:59:02 +00002324 if (!isAggregateTypeForABI(Ty)) {
Douglas Gregoraa74a1e2010-02-02 20:10:50 +00002325 // Treat an enum type as its underlying type.
2326 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
2327 Ty = EnumTy->getDecl()->getIntegerType();
2328
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +00002329 return (Ty->isPromotableIntegerType() ?
2330 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Douglas Gregoraa74a1e2010-02-02 20:10:50 +00002331 }
Daniel Dunbar98303b92009-09-13 08:03:58 +00002332
Daniel Dunbar42025572009-09-14 21:54:03 +00002333 // Ignore empty records.
Chris Lattnera3c109b2010-07-29 02:16:43 +00002334 if (isEmptyRecord(getContext(), Ty, true))
Daniel Dunbar42025572009-09-14 21:54:03 +00002335 return ABIArgInfo::getIgnore();
2336
Rafael Espindola0eb1d972010-06-08 02:42:08 +00002337 // Structures with either a non-trivial destructor or a non-trivial
2338 // copy constructor are always indirect.
2339 if (isRecordWithNonTrivialDestructorOrCopyConstructor(Ty))
2340 return ABIArgInfo::getIndirect(0, /*ByVal=*/false);
2341
Daniel Dunbar8aa87c72010-09-23 01:54:28 +00002342 // Otherwise, pass by coercing to a structure of the appropriate size.
2343 //
Eric Christopherad27eea2011-04-26 01:02:04 +00002344 // FIXME: This is kind of nasty... but there isn't much choice because the ARM
2345 // backend doesn't support byval.
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002346 // FIXME: This doesn't handle alignment > 64 bits.
2347 const llvm::Type* ElemTy;
2348 unsigned SizeRegs;
Eric Christopherad27eea2011-04-26 01:02:04 +00002349 if (getContext().getTypeAlign(Ty) > 32) {
Stuart Hastingsdf39fa22011-04-25 23:48:12 +00002350 ElemTy = llvm::Type::getInt64Ty(getVMContext());
2351 SizeRegs = (getContext().getTypeSize(Ty) + 63) / 64;
Eric Christopherad27eea2011-04-26 01:02:04 +00002352 } else {
2353 ElemTy = llvm::Type::getInt32Ty(getVMContext());
2354 SizeRegs = (getContext().getTypeSize(Ty) + 31) / 32;
Stuart Hastingsdf39fa22011-04-25 23:48:12 +00002355 }
Eric Christopherad27eea2011-04-26 01:02:04 +00002356 std::vector<const llvm::Type*> LLVMFields;
2357 LLVMFields.push_back(llvm::ArrayType::get(ElemTy, SizeRegs));
2358 const llvm::Type* STy = llvm::StructType::get(getVMContext(), LLVMFields,
2359 true);
2360 return ABIArgInfo::getDirect(STy);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002361}
2362
Chris Lattnera3c109b2010-07-29 02:16:43 +00002363static bool isIntegerLikeType(QualType Ty, ASTContext &Context,
Daniel Dunbar98303b92009-09-13 08:03:58 +00002364 llvm::LLVMContext &VMContext) {
2365 // APCS, C Language Calling Conventions, Non-Simple Return Values: A structure
2366 // is called integer-like if its size is less than or equal to one word, and
2367 // the offset of each of its addressable sub-fields is zero.
2368
2369 uint64_t Size = Context.getTypeSize(Ty);
2370
2371 // Check that the type fits in a word.
2372 if (Size > 32)
2373 return false;
2374
2375 // FIXME: Handle vector types!
2376 if (Ty->isVectorType())
2377 return false;
2378
Daniel Dunbarb0d58192009-09-14 02:20:34 +00002379 // Float types are never treated as "integer like".
2380 if (Ty->isRealFloatingType())
2381 return false;
2382
Daniel Dunbar98303b92009-09-13 08:03:58 +00002383 // If this is a builtin or pointer type then it is ok.
John McCall183700f2009-09-21 23:43:11 +00002384 if (Ty->getAs<BuiltinType>() || Ty->isPointerType())
Daniel Dunbar98303b92009-09-13 08:03:58 +00002385 return true;
2386
Daniel Dunbar45815812010-02-01 23:31:26 +00002387 // Small complex integer types are "integer like".
2388 if (const ComplexType *CT = Ty->getAs<ComplexType>())
2389 return isIntegerLikeType(CT->getElementType(), Context, VMContext);
Daniel Dunbar98303b92009-09-13 08:03:58 +00002390
2391 // Single element and zero sized arrays should be allowed, by the definition
2392 // above, but they are not.
2393
2394 // Otherwise, it must be a record type.
2395 const RecordType *RT = Ty->getAs<RecordType>();
2396 if (!RT) return false;
2397
2398 // Ignore records with flexible arrays.
2399 const RecordDecl *RD = RT->getDecl();
2400 if (RD->hasFlexibleArrayMember())
2401 return false;
2402
2403 // Check that all sub-fields are at offset 0, and are themselves "integer
2404 // like".
2405 const ASTRecordLayout &Layout = Context.getASTRecordLayout(RD);
2406
2407 bool HadField = false;
2408 unsigned idx = 0;
2409 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
2410 i != e; ++i, ++idx) {
2411 const FieldDecl *FD = *i;
2412
Daniel Dunbar679855a2010-01-29 03:22:29 +00002413 // Bit-fields are not addressable, we only need to verify they are "integer
2414 // like". We still have to disallow a subsequent non-bitfield, for example:
2415 // struct { int : 0; int x }
2416 // is non-integer like according to gcc.
2417 if (FD->isBitField()) {
2418 if (!RD->isUnion())
2419 HadField = true;
Daniel Dunbar98303b92009-09-13 08:03:58 +00002420
Daniel Dunbar679855a2010-01-29 03:22:29 +00002421 if (!isIntegerLikeType(FD->getType(), Context, VMContext))
2422 return false;
Daniel Dunbar98303b92009-09-13 08:03:58 +00002423
Daniel Dunbar679855a2010-01-29 03:22:29 +00002424 continue;
Daniel Dunbar98303b92009-09-13 08:03:58 +00002425 }
2426
Daniel Dunbar679855a2010-01-29 03:22:29 +00002427 // Check if this field is at offset 0.
2428 if (Layout.getFieldOffset(idx) != 0)
2429 return false;
2430
Daniel Dunbar98303b92009-09-13 08:03:58 +00002431 if (!isIntegerLikeType(FD->getType(), Context, VMContext))
2432 return false;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00002433
Daniel Dunbar679855a2010-01-29 03:22:29 +00002434 // Only allow at most one field in a structure. This doesn't match the
2435 // wording above, but follows gcc in situations with a field following an
2436 // empty structure.
Daniel Dunbar98303b92009-09-13 08:03:58 +00002437 if (!RD->isUnion()) {
2438 if (HadField)
2439 return false;
2440
2441 HadField = true;
2442 }
2443 }
2444
2445 return true;
2446}
2447
Chris Lattnera3c109b2010-07-29 02:16:43 +00002448ABIArgInfo ARMABIInfo::classifyReturnType(QualType RetTy) const {
Daniel Dunbar98303b92009-09-13 08:03:58 +00002449 if (RetTy->isVoidType())
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002450 return ABIArgInfo::getIgnore();
Daniel Dunbar98303b92009-09-13 08:03:58 +00002451
Daniel Dunbarf554b1c2010-09-23 01:54:32 +00002452 // Large vector types should be returned via memory.
2453 if (RetTy->isVectorType() && getContext().getTypeSize(RetTy) > 128)
2454 return ABIArgInfo::getIndirect(0);
2455
John McCalld608cdb2010-08-22 10:59:02 +00002456 if (!isAggregateTypeForABI(RetTy)) {
Douglas Gregoraa74a1e2010-02-02 20:10:50 +00002457 // Treat an enum type as its underlying type.
2458 if (const EnumType *EnumTy = RetTy->getAs<EnumType>())
2459 RetTy = EnumTy->getDecl()->getIntegerType();
2460
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +00002461 return (RetTy->isPromotableIntegerType() ?
2462 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Douglas Gregoraa74a1e2010-02-02 20:10:50 +00002463 }
Daniel Dunbar98303b92009-09-13 08:03:58 +00002464
Rafael Espindola0eb1d972010-06-08 02:42:08 +00002465 // Structures with either a non-trivial destructor or a non-trivial
2466 // copy constructor are always indirect.
2467 if (isRecordWithNonTrivialDestructorOrCopyConstructor(RetTy))
2468 return ABIArgInfo::getIndirect(0, /*ByVal=*/false);
2469
Daniel Dunbar98303b92009-09-13 08:03:58 +00002470 // Are we following APCS?
2471 if (getABIKind() == APCS) {
Chris Lattnera3c109b2010-07-29 02:16:43 +00002472 if (isEmptyRecord(getContext(), RetTy, false))
Daniel Dunbar98303b92009-09-13 08:03:58 +00002473 return ABIArgInfo::getIgnore();
2474
Daniel Dunbar4cc753f2010-02-01 23:31:19 +00002475 // Complex types are all returned as packed integers.
2476 //
2477 // FIXME: Consider using 2 x vector types if the back end handles them
2478 // correctly.
2479 if (RetTy->isAnyComplexType())
Chris Lattner800588f2010-07-29 06:26:06 +00002480 return ABIArgInfo::getDirect(llvm::IntegerType::get(getVMContext(),
Chris Lattnera3c109b2010-07-29 02:16:43 +00002481 getContext().getTypeSize(RetTy)));
Daniel Dunbar4cc753f2010-02-01 23:31:19 +00002482
Daniel Dunbar98303b92009-09-13 08:03:58 +00002483 // Integer like structures are returned in r0.
Chris Lattnera3c109b2010-07-29 02:16:43 +00002484 if (isIntegerLikeType(RetTy, getContext(), getVMContext())) {
Daniel Dunbar98303b92009-09-13 08:03:58 +00002485 // Return in the smallest viable integer type.
Chris Lattnera3c109b2010-07-29 02:16:43 +00002486 uint64_t Size = getContext().getTypeSize(RetTy);
Daniel Dunbar98303b92009-09-13 08:03:58 +00002487 if (Size <= 8)
Chris Lattner800588f2010-07-29 06:26:06 +00002488 return ABIArgInfo::getDirect(llvm::Type::getInt8Ty(getVMContext()));
Daniel Dunbar98303b92009-09-13 08:03:58 +00002489 if (Size <= 16)
Chris Lattner800588f2010-07-29 06:26:06 +00002490 return ABIArgInfo::getDirect(llvm::Type::getInt16Ty(getVMContext()));
2491 return ABIArgInfo::getDirect(llvm::Type::getInt32Ty(getVMContext()));
Daniel Dunbar98303b92009-09-13 08:03:58 +00002492 }
2493
2494 // Otherwise return in memory.
2495 return ABIArgInfo::getIndirect(0);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002496 }
Daniel Dunbar98303b92009-09-13 08:03:58 +00002497
2498 // Otherwise this is an AAPCS variant.
2499
Chris Lattnera3c109b2010-07-29 02:16:43 +00002500 if (isEmptyRecord(getContext(), RetTy, true))
Daniel Dunbar16a08082009-09-14 00:56:55 +00002501 return ABIArgInfo::getIgnore();
2502
Daniel Dunbar98303b92009-09-13 08:03:58 +00002503 // Aggregates <= 4 bytes are returned in r0; other aggregates
2504 // are returned indirectly.
Chris Lattnera3c109b2010-07-29 02:16:43 +00002505 uint64_t Size = getContext().getTypeSize(RetTy);
Daniel Dunbar16a08082009-09-14 00:56:55 +00002506 if (Size <= 32) {
2507 // Return in the smallest viable integer type.
2508 if (Size <= 8)
Chris Lattner800588f2010-07-29 06:26:06 +00002509 return ABIArgInfo::getDirect(llvm::Type::getInt8Ty(getVMContext()));
Daniel Dunbar16a08082009-09-14 00:56:55 +00002510 if (Size <= 16)
Chris Lattner800588f2010-07-29 06:26:06 +00002511 return ABIArgInfo::getDirect(llvm::Type::getInt16Ty(getVMContext()));
2512 return ABIArgInfo::getDirect(llvm::Type::getInt32Ty(getVMContext()));
Daniel Dunbar16a08082009-09-14 00:56:55 +00002513 }
2514
Daniel Dunbar98303b92009-09-13 08:03:58 +00002515 return ABIArgInfo::getIndirect(0);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002516}
2517
2518llvm::Value *ARMABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
Chris Lattner77b89b82010-06-27 07:15:29 +00002519 CodeGenFunction &CGF) const {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002520 // FIXME: Need to handle alignment
Benjamin Kramer3c0ef8c2009-10-13 10:07:13 +00002521 const llvm::Type *BP = llvm::Type::getInt8PtrTy(CGF.getLLVMContext());
Owen Anderson96e0fc72009-07-29 22:16:19 +00002522 const llvm::Type *BPP = llvm::PointerType::getUnqual(BP);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002523
2524 CGBuilderTy &Builder = CGF.Builder;
2525 llvm::Value *VAListAddrAsBPP = Builder.CreateBitCast(VAListAddr, BPP,
2526 "ap");
2527 llvm::Value *Addr = Builder.CreateLoad(VAListAddrAsBPP, "ap.cur");
2528 llvm::Type *PTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00002529 llvm::PointerType::getUnqual(CGF.ConvertType(Ty));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002530 llvm::Value *AddrTyped = Builder.CreateBitCast(Addr, PTy);
2531
2532 uint64_t Offset =
2533 llvm::RoundUpToAlignment(CGF.getContext().getTypeSize(Ty) / 8, 4);
2534 llvm::Value *NextAddr =
Chris Lattner77b89b82010-06-27 07:15:29 +00002535 Builder.CreateGEP(Addr, llvm::ConstantInt::get(CGF.Int32Ty, Offset),
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002536 "ap.next");
2537 Builder.CreateStore(NextAddr, VAListAddrAsBPP);
2538
2539 return AddrTyped;
2540}
2541
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002542//===----------------------------------------------------------------------===//
Justin Holewinski0259c3a2011-04-22 11:10:38 +00002543// PTX ABI Implementation
2544//===----------------------------------------------------------------------===//
2545
2546namespace {
2547
2548class PTXABIInfo : public ABIInfo {
2549public:
2550 PTXABIInfo(CodeGenTypes &CGT) : ABIInfo(CGT) {}
2551
2552 ABIArgInfo classifyReturnType(QualType RetTy) const;
2553 ABIArgInfo classifyArgumentType(QualType Ty) const;
2554
2555 virtual void computeInfo(CGFunctionInfo &FI) const;
2556 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2557 CodeGenFunction &CFG) const;
2558};
2559
2560class PTXTargetCodeGenInfo : public TargetCodeGenInfo {
2561public:
2562 PTXTargetCodeGenInfo(CodeGenTypes &CGT)
2563 : TargetCodeGenInfo(new PTXABIInfo(CGT)) {}
2564};
2565
2566ABIArgInfo PTXABIInfo::classifyReturnType(QualType RetTy) const {
2567 if (RetTy->isVoidType())
2568 return ABIArgInfo::getIgnore();
2569 if (isAggregateTypeForABI(RetTy))
2570 return ABIArgInfo::getIndirect(0);
2571 return ABIArgInfo::getDirect();
2572}
2573
2574ABIArgInfo PTXABIInfo::classifyArgumentType(QualType Ty) const {
2575 if (isAggregateTypeForABI(Ty))
2576 return ABIArgInfo::getIndirect(0);
2577
2578 return ABIArgInfo::getDirect();
2579}
2580
2581void PTXABIInfo::computeInfo(CGFunctionInfo &FI) const {
2582 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
2583 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
2584 it != ie; ++it)
2585 it->info = classifyArgumentType(it->type);
2586
2587 // Always honor user-specified calling convention.
2588 if (FI.getCallingConvention() != llvm::CallingConv::C)
2589 return;
2590
2591 // Calling convention as default by an ABI.
2592 llvm::CallingConv::ID DefaultCC;
2593 llvm::StringRef Env = getContext().Target.getTriple().getEnvironmentName();
2594 if (Env == "device")
2595 DefaultCC = llvm::CallingConv::PTX_Device;
2596 else
2597 DefaultCC = llvm::CallingConv::PTX_Kernel;
2598
2599 FI.setEffectiveCallingConvention(DefaultCC);
2600}
2601
2602llvm::Value *PTXABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2603 CodeGenFunction &CFG) const {
2604 llvm_unreachable("PTX does not support varargs");
2605 return 0;
2606}
2607
2608}
2609
2610//===----------------------------------------------------------------------===//
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002611// SystemZ ABI Implementation
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002612//===----------------------------------------------------------------------===//
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002613
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002614namespace {
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002615
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002616class SystemZABIInfo : public ABIInfo {
Chris Lattnerea044322010-07-29 02:01:43 +00002617public:
2618 SystemZABIInfo(CodeGenTypes &CGT) : ABIInfo(CGT) {}
2619
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002620 bool isPromotableIntegerType(QualType Ty) const;
2621
Chris Lattnera3c109b2010-07-29 02:16:43 +00002622 ABIArgInfo classifyReturnType(QualType RetTy) const;
2623 ABIArgInfo classifyArgumentType(QualType RetTy) const;
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002624
Chris Lattneree5dcd02010-07-29 02:31:05 +00002625 virtual void computeInfo(CGFunctionInfo &FI) const {
Chris Lattnera3c109b2010-07-29 02:16:43 +00002626 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002627 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
2628 it != ie; ++it)
Chris Lattnera3c109b2010-07-29 02:16:43 +00002629 it->info = classifyArgumentType(it->type);
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002630 }
2631
2632 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2633 CodeGenFunction &CGF) const;
2634};
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002635
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002636class SystemZTargetCodeGenInfo : public TargetCodeGenInfo {
2637public:
Chris Lattnerea044322010-07-29 02:01:43 +00002638 SystemZTargetCodeGenInfo(CodeGenTypes &CGT)
2639 : TargetCodeGenInfo(new SystemZABIInfo(CGT)) {}
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002640};
2641
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002642}
2643
2644bool SystemZABIInfo::isPromotableIntegerType(QualType Ty) const {
2645 // SystemZ ABI requires all 8, 16 and 32 bit quantities to be extended.
John McCall183700f2009-09-21 23:43:11 +00002646 if (const BuiltinType *BT = Ty->getAs<BuiltinType>())
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002647 switch (BT->getKind()) {
2648 case BuiltinType::Bool:
2649 case BuiltinType::Char_S:
2650 case BuiltinType::Char_U:
2651 case BuiltinType::SChar:
2652 case BuiltinType::UChar:
2653 case BuiltinType::Short:
2654 case BuiltinType::UShort:
2655 case BuiltinType::Int:
2656 case BuiltinType::UInt:
2657 return true;
2658 default:
2659 return false;
2660 }
2661 return false;
2662}
2663
2664llvm::Value *SystemZABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2665 CodeGenFunction &CGF) const {
2666 // FIXME: Implement
2667 return 0;
2668}
2669
2670
Chris Lattnera3c109b2010-07-29 02:16:43 +00002671ABIArgInfo SystemZABIInfo::classifyReturnType(QualType RetTy) const {
2672 if (RetTy->isVoidType())
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002673 return ABIArgInfo::getIgnore();
John McCalld608cdb2010-08-22 10:59:02 +00002674 if (isAggregateTypeForABI(RetTy))
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002675 return ABIArgInfo::getIndirect(0);
Chris Lattnera3c109b2010-07-29 02:16:43 +00002676
2677 return (isPromotableIntegerType(RetTy) ?
2678 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002679}
2680
Chris Lattnera3c109b2010-07-29 02:16:43 +00002681ABIArgInfo SystemZABIInfo::classifyArgumentType(QualType Ty) const {
John McCalld608cdb2010-08-22 10:59:02 +00002682 if (isAggregateTypeForABI(Ty))
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002683 return ABIArgInfo::getIndirect(0);
Chris Lattnera3c109b2010-07-29 02:16:43 +00002684
2685 return (isPromotableIntegerType(Ty) ?
2686 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002687}
2688
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002689//===----------------------------------------------------------------------===//
Wesley Peck276fdf42010-12-19 19:57:51 +00002690// MBlaze ABI Implementation
2691//===----------------------------------------------------------------------===//
2692
2693namespace {
2694
2695class MBlazeABIInfo : public ABIInfo {
2696public:
2697 MBlazeABIInfo(CodeGenTypes &CGT) : ABIInfo(CGT) {}
2698
2699 bool isPromotableIntegerType(QualType Ty) const;
2700
2701 ABIArgInfo classifyReturnType(QualType RetTy) const;
2702 ABIArgInfo classifyArgumentType(QualType RetTy) const;
2703
2704 virtual void computeInfo(CGFunctionInfo &FI) const {
2705 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
2706 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
2707 it != ie; ++it)
2708 it->info = classifyArgumentType(it->type);
2709 }
2710
2711 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2712 CodeGenFunction &CGF) const;
2713};
2714
2715class MBlazeTargetCodeGenInfo : public TargetCodeGenInfo {
2716public:
2717 MBlazeTargetCodeGenInfo(CodeGenTypes &CGT)
2718 : TargetCodeGenInfo(new MBlazeABIInfo(CGT)) {}
2719 void SetTargetAttributes(const Decl *D, llvm::GlobalValue *GV,
2720 CodeGen::CodeGenModule &M) const;
2721};
2722
2723}
2724
2725bool MBlazeABIInfo::isPromotableIntegerType(QualType Ty) const {
2726 // MBlaze ABI requires all 8 and 16 bit quantities to be extended.
2727 if (const BuiltinType *BT = Ty->getAs<BuiltinType>())
2728 switch (BT->getKind()) {
2729 case BuiltinType::Bool:
2730 case BuiltinType::Char_S:
2731 case BuiltinType::Char_U:
2732 case BuiltinType::SChar:
2733 case BuiltinType::UChar:
2734 case BuiltinType::Short:
2735 case BuiltinType::UShort:
2736 return true;
2737 default:
2738 return false;
2739 }
2740 return false;
2741}
2742
2743llvm::Value *MBlazeABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2744 CodeGenFunction &CGF) const {
2745 // FIXME: Implement
2746 return 0;
2747}
2748
2749
2750ABIArgInfo MBlazeABIInfo::classifyReturnType(QualType RetTy) const {
2751 if (RetTy->isVoidType())
2752 return ABIArgInfo::getIgnore();
2753 if (isAggregateTypeForABI(RetTy))
2754 return ABIArgInfo::getIndirect(0);
2755
2756 return (isPromotableIntegerType(RetTy) ?
2757 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
2758}
2759
2760ABIArgInfo MBlazeABIInfo::classifyArgumentType(QualType Ty) const {
2761 if (isAggregateTypeForABI(Ty))
2762 return ABIArgInfo::getIndirect(0);
2763
2764 return (isPromotableIntegerType(Ty) ?
2765 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
2766}
2767
2768void MBlazeTargetCodeGenInfo::SetTargetAttributes(const Decl *D,
2769 llvm::GlobalValue *GV,
2770 CodeGen::CodeGenModule &M)
2771 const {
2772 const FunctionDecl *FD = dyn_cast<FunctionDecl>(D);
2773 if (!FD) return;
NAKAMURA Takumi125b4cb2011-02-17 08:50:50 +00002774
Wesley Peck276fdf42010-12-19 19:57:51 +00002775 llvm::CallingConv::ID CC = llvm::CallingConv::C;
2776 if (FD->hasAttr<MBlazeInterruptHandlerAttr>())
2777 CC = llvm::CallingConv::MBLAZE_INTR;
2778 else if (FD->hasAttr<MBlazeSaveVolatilesAttr>())
2779 CC = llvm::CallingConv::MBLAZE_SVOL;
2780
2781 if (CC != llvm::CallingConv::C) {
2782 // Handle 'interrupt_handler' attribute:
2783 llvm::Function *F = cast<llvm::Function>(GV);
2784
2785 // Step 1: Set ISR calling convention.
2786 F->setCallingConv(CC);
2787
2788 // Step 2: Add attributes goodness.
2789 F->addFnAttr(llvm::Attribute::NoInline);
2790 }
2791
2792 // Step 3: Emit _interrupt_handler alias.
2793 if (CC == llvm::CallingConv::MBLAZE_INTR)
2794 new llvm::GlobalAlias(GV->getType(), llvm::Function::ExternalLinkage,
2795 "_interrupt_handler", GV, &M.getModule());
2796}
2797
2798
2799//===----------------------------------------------------------------------===//
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002800// MSP430 ABI Implementation
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002801//===----------------------------------------------------------------------===//
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002802
2803namespace {
2804
2805class MSP430TargetCodeGenInfo : public TargetCodeGenInfo {
2806public:
Chris Lattnerea044322010-07-29 02:01:43 +00002807 MSP430TargetCodeGenInfo(CodeGenTypes &CGT)
2808 : TargetCodeGenInfo(new DefaultABIInfo(CGT)) {}
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002809 void SetTargetAttributes(const Decl *D, llvm::GlobalValue *GV,
2810 CodeGen::CodeGenModule &M) const;
2811};
2812
2813}
2814
2815void MSP430TargetCodeGenInfo::SetTargetAttributes(const Decl *D,
2816 llvm::GlobalValue *GV,
2817 CodeGen::CodeGenModule &M) const {
2818 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
2819 if (const MSP430InterruptAttr *attr = FD->getAttr<MSP430InterruptAttr>()) {
2820 // Handle 'interrupt' attribute:
2821 llvm::Function *F = cast<llvm::Function>(GV);
2822
2823 // Step 1: Set ISR calling convention.
2824 F->setCallingConv(llvm::CallingConv::MSP430_INTR);
2825
2826 // Step 2: Add attributes goodness.
2827 F->addFnAttr(llvm::Attribute::NoInline);
2828
2829 // Step 3: Emit ISR vector alias.
2830 unsigned Num = attr->getNumber() + 0xffe0;
2831 new llvm::GlobalAlias(GV->getType(), llvm::Function::ExternalLinkage,
Benjamin Kramer77d66052010-11-12 15:42:18 +00002832 "vector_" + llvm::Twine::utohexstr(Num),
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002833 GV, &M.getModule());
2834 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002835 }
2836}
2837
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002838//===----------------------------------------------------------------------===//
John McCallaeeb7012010-05-27 06:19:26 +00002839// MIPS ABI Implementation. This works for both little-endian and
2840// big-endian variants.
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002841//===----------------------------------------------------------------------===//
2842
John McCallaeeb7012010-05-27 06:19:26 +00002843namespace {
2844class MIPSTargetCodeGenInfo : public TargetCodeGenInfo {
2845public:
Chris Lattnerea044322010-07-29 02:01:43 +00002846 MIPSTargetCodeGenInfo(CodeGenTypes &CGT)
2847 : TargetCodeGenInfo(new DefaultABIInfo(CGT)) {}
John McCallaeeb7012010-05-27 06:19:26 +00002848
2849 int getDwarfEHStackPointer(CodeGen::CodeGenModule &CGM) const {
2850 return 29;
2851 }
2852
2853 bool initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00002854 llvm::Value *Address) const;
John McCallaeeb7012010-05-27 06:19:26 +00002855};
2856}
2857
2858bool
2859MIPSTargetCodeGenInfo::initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
2860 llvm::Value *Address) const {
2861 // This information comes from gcc's implementation, which seems to
2862 // as canonical as it gets.
2863
2864 CodeGen::CGBuilderTy &Builder = CGF.Builder;
2865 llvm::LLVMContext &Context = CGF.getLLVMContext();
2866
2867 // Everything on MIPS is 4 bytes. Double-precision FP registers
2868 // are aliased to pairs of single-precision FP registers.
2869 const llvm::IntegerType *i8 = llvm::Type::getInt8Ty(Context);
2870 llvm::Value *Four8 = llvm::ConstantInt::get(i8, 4);
2871
2872 // 0-31 are the general purpose registers, $0 - $31.
2873 // 32-63 are the floating-point registers, $f0 - $f31.
2874 // 64 and 65 are the multiply/divide registers, $hi and $lo.
2875 // 66 is the (notional, I think) register for signal-handler return.
2876 AssignToArrayRange(Builder, Address, Four8, 0, 65);
2877
2878 // 67-74 are the floating-point status registers, $fcc0 - $fcc7.
2879 // They are one bit wide and ignored here.
2880
2881 // 80-111 are the coprocessor 0 registers, $c0r0 - $c0r31.
2882 // (coprocessor 1 is the FP unit)
2883 // 112-143 are the coprocessor 2 registers, $c2r0 - $c2r31.
2884 // 144-175 are the coprocessor 3 registers, $c3r0 - $c3r31.
2885 // 176-181 are the DSP accumulator registers.
2886 AssignToArrayRange(Builder, Address, Four8, 80, 181);
2887
2888 return false;
2889}
2890
2891
Chris Lattnerea044322010-07-29 02:01:43 +00002892const TargetCodeGenInfo &CodeGenModule::getTargetCodeGenInfo() {
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002893 if (TheTargetCodeGenInfo)
2894 return *TheTargetCodeGenInfo;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002895
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002896 // For now we just cache the TargetCodeGenInfo in CodeGenModule and don't
2897 // free it.
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002898
Chris Lattner9c254f02010-06-29 06:01:59 +00002899 const llvm::Triple &Triple = getContext().Target.getTriple();
Daniel Dunbar1752ee42009-08-24 09:10:05 +00002900 switch (Triple.getArch()) {
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002901 default:
Chris Lattnerea044322010-07-29 02:01:43 +00002902 return *(TheTargetCodeGenInfo = new DefaultTargetCodeGenInfo(Types));
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002903
John McCallaeeb7012010-05-27 06:19:26 +00002904 case llvm::Triple::mips:
2905 case llvm::Triple::mipsel:
Chris Lattnerea044322010-07-29 02:01:43 +00002906 return *(TheTargetCodeGenInfo = new MIPSTargetCodeGenInfo(Types));
John McCallaeeb7012010-05-27 06:19:26 +00002907
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002908 case llvm::Triple::arm:
2909 case llvm::Triple::thumb:
Sandeep Patel34c1af82011-04-05 00:23:47 +00002910 {
2911 ARMABIInfo::ABIKind Kind = ARMABIInfo::AAPCS;
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002912
Sandeep Patel34c1af82011-04-05 00:23:47 +00002913 if (strcmp(getContext().Target.getABI(), "apcs-gnu") == 0)
2914 Kind = ARMABIInfo::APCS;
2915 else if (CodeGenOpts.FloatABI == "hard")
2916 Kind = ARMABIInfo::AAPCS_VFP;
2917
2918 return *(TheTargetCodeGenInfo = new ARMTargetCodeGenInfo(Types, Kind));
2919 }
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002920
John McCallec853ba2010-03-11 00:10:12 +00002921 case llvm::Triple::ppc:
Chris Lattnerea044322010-07-29 02:01:43 +00002922 return *(TheTargetCodeGenInfo = new PPC32TargetCodeGenInfo(Types));
John McCallec853ba2010-03-11 00:10:12 +00002923
Justin Holewinski0259c3a2011-04-22 11:10:38 +00002924 case llvm::Triple::ptx32:
2925 case llvm::Triple::ptx64:
2926 return *(TheTargetCodeGenInfo = new PTXTargetCodeGenInfo(Types));
2927
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002928 case llvm::Triple::systemz:
Chris Lattnerea044322010-07-29 02:01:43 +00002929 return *(TheTargetCodeGenInfo = new SystemZTargetCodeGenInfo(Types));
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002930
Wesley Peck276fdf42010-12-19 19:57:51 +00002931 case llvm::Triple::mblaze:
2932 return *(TheTargetCodeGenInfo = new MBlazeTargetCodeGenInfo(Types));
2933
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002934 case llvm::Triple::msp430:
Chris Lattnerea044322010-07-29 02:01:43 +00002935 return *(TheTargetCodeGenInfo = new MSP430TargetCodeGenInfo(Types));
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002936
Daniel Dunbar1752ee42009-08-24 09:10:05 +00002937 case llvm::Triple::x86:
Daniel Dunbardb57a4c2011-04-19 21:43:27 +00002938 if (Triple.isOSDarwin())
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002939 return *(TheTargetCodeGenInfo =
Chris Lattnerea044322010-07-29 02:01:43 +00002940 new X86_32TargetCodeGenInfo(Types, true, true));
Daniel Dunbardb57a4c2011-04-19 21:43:27 +00002941
2942 switch (Triple.getOS()) {
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002943 case llvm::Triple::Cygwin:
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002944 case llvm::Triple::MinGW32:
Edward O'Callaghan727e2682009-10-21 11:58:24 +00002945 case llvm::Triple::AuroraUX:
2946 case llvm::Triple::DragonFly:
David Chisnall75c135a2009-09-03 01:48:05 +00002947 case llvm::Triple::FreeBSD:
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002948 case llvm::Triple::OpenBSD:
Benjamin Kramer8e50a962011-02-02 18:59:27 +00002949 case llvm::Triple::NetBSD:
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002950 return *(TheTargetCodeGenInfo =
Chris Lattnerea044322010-07-29 02:01:43 +00002951 new X86_32TargetCodeGenInfo(Types, false, true));
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002952
2953 default:
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002954 return *(TheTargetCodeGenInfo =
Chris Lattnerea044322010-07-29 02:01:43 +00002955 new X86_32TargetCodeGenInfo(Types, false, false));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002956 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002957
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002958 case llvm::Triple::x86_64:
Chris Lattnerf13721d2010-08-31 16:44:54 +00002959 switch (Triple.getOS()) {
2960 case llvm::Triple::Win32:
NAKAMURA Takumi0aa20572011-02-17 08:51:38 +00002961 case llvm::Triple::MinGW32:
Chris Lattnerf13721d2010-08-31 16:44:54 +00002962 case llvm::Triple::Cygwin:
2963 return *(TheTargetCodeGenInfo = new WinX86_64TargetCodeGenInfo(Types));
2964 default:
2965 return *(TheTargetCodeGenInfo = new X86_64TargetCodeGenInfo(Types));
2966 }
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002967 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002968}