blob: 9c606f0c89fa6b4c3788ae46eed0c36f9b42ab9f [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"
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000019#include "llvm/Type.h"
Chris Lattner9c254f02010-06-29 06:01:59 +000020#include "llvm/Target/TargetData.h"
Daniel Dunbar2c0843f2009-08-24 08:52:16 +000021#include "llvm/ADT/Triple.h"
Daniel Dunbar28df7a52009-12-03 09:13:49 +000022#include "llvm/Support/raw_ostream.h"
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000023using namespace clang;
24using namespace CodeGen;
25
John McCallaeeb7012010-05-27 06:19:26 +000026static void AssignToArrayRange(CodeGen::CGBuilderTy &Builder,
27 llvm::Value *Array,
28 llvm::Value *Value,
29 unsigned FirstIndex,
30 unsigned LastIndex) {
31 // Alternatively, we could emit this as a loop in the source.
32 for (unsigned I = FirstIndex; I <= LastIndex; ++I) {
33 llvm::Value *Cell = Builder.CreateConstInBoundsGEP1_32(Array, I);
34 Builder.CreateStore(Value, Cell);
35 }
36}
37
John McCalld608cdb2010-08-22 10:59:02 +000038static bool isAggregateTypeForABI(QualType T) {
39 return CodeGenFunction::hasAggregateLLVMType(T) ||
40 T->isMemberFunctionPointerType();
41}
42
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000043ABIInfo::~ABIInfo() {}
44
Chris Lattnerea044322010-07-29 02:01:43 +000045ASTContext &ABIInfo::getContext() const {
46 return CGT.getContext();
47}
48
49llvm::LLVMContext &ABIInfo::getVMContext() const {
50 return CGT.getLLVMContext();
51}
52
53const llvm::TargetData &ABIInfo::getTargetData() const {
54 return CGT.getTargetData();
55}
56
57
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000058void ABIArgInfo::dump() const {
Daniel Dunbar28df7a52009-12-03 09:13:49 +000059 llvm::raw_ostream &OS = llvm::errs();
60 OS << "(ABIArgInfo Kind=";
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000061 switch (TheKind) {
62 case Direct:
Chris Lattner800588f2010-07-29 06:26:06 +000063 OS << "Direct Type=";
64 if (const llvm::Type *Ty = getCoerceToType())
65 Ty->print(OS);
66 else
67 OS << "null";
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000068 break;
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +000069 case Extend:
Daniel Dunbar28df7a52009-12-03 09:13:49 +000070 OS << "Extend";
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +000071 break;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000072 case Ignore:
Daniel Dunbar28df7a52009-12-03 09:13:49 +000073 OS << "Ignore";
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000074 break;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000075 case Indirect:
Daniel Dunbardc6d5742010-04-21 19:10:51 +000076 OS << "Indirect Align=" << getIndirectAlign()
Daniel Dunbarcf3b6f22010-09-16 20:42:02 +000077 << " Byal=" << getIndirectByVal()
78 << " Realign=" << getIndirectRealign();
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000079 break;
80 case Expand:
Daniel Dunbar28df7a52009-12-03 09:13:49 +000081 OS << "Expand";
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000082 break;
83 }
Daniel Dunbar28df7a52009-12-03 09:13:49 +000084 OS << ")\n";
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000085}
86
Anton Korobeynikov82d0a412010-01-10 12:58:08 +000087TargetCodeGenInfo::~TargetCodeGenInfo() { delete Info; }
88
Daniel Dunbar98303b92009-09-13 08:03:58 +000089static bool isEmptyRecord(ASTContext &Context, QualType T, bool AllowArrays);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000090
91/// isEmptyField - Return true iff a the field is "empty", that is it
92/// is an unnamed bit-field or an (array of) empty record(s).
Daniel Dunbar98303b92009-09-13 08:03:58 +000093static bool isEmptyField(ASTContext &Context, const FieldDecl *FD,
94 bool AllowArrays) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000095 if (FD->isUnnamedBitfield())
96 return true;
97
98 QualType FT = FD->getType();
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +000099
Daniel Dunbar98303b92009-09-13 08:03:58 +0000100 // Constant arrays of empty records count as empty, strip them off.
101 if (AllowArrays)
102 while (const ConstantArrayType *AT = Context.getAsConstantArrayType(FT))
103 FT = AT->getElementType();
104
Daniel Dunbar5ea68612010-05-17 16:46:00 +0000105 const RecordType *RT = FT->getAs<RecordType>();
106 if (!RT)
107 return false;
108
109 // C++ record fields are never empty, at least in the Itanium ABI.
110 //
111 // FIXME: We should use a predicate for whether this behavior is true in the
112 // current ABI.
113 if (isa<CXXRecordDecl>(RT->getDecl()))
114 return false;
115
Daniel Dunbar98303b92009-09-13 08:03:58 +0000116 return isEmptyRecord(Context, FT, AllowArrays);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000117}
118
119/// isEmptyRecord - Return true iff a structure contains only empty
120/// fields. Note that a structure with a flexible array member is not
121/// considered empty.
Daniel Dunbar98303b92009-09-13 08:03:58 +0000122static bool isEmptyRecord(ASTContext &Context, QualType T, bool AllowArrays) {
Ted Kremenek6217b802009-07-29 21:53:49 +0000123 const RecordType *RT = T->getAs<RecordType>();
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000124 if (!RT)
125 return 0;
126 const RecordDecl *RD = RT->getDecl();
127 if (RD->hasFlexibleArrayMember())
128 return false;
Daniel Dunbar5ea68612010-05-17 16:46:00 +0000129
130 // If this is a C++ record, check the bases first.
131 if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD))
132 for (CXXRecordDecl::base_class_const_iterator i = CXXRD->bases_begin(),
133 e = CXXRD->bases_end(); i != e; ++i)
134 if (!isEmptyRecord(Context, i->getType(), true))
135 return false;
136
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000137 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
138 i != e; ++i)
Daniel Dunbar98303b92009-09-13 08:03:58 +0000139 if (!isEmptyField(Context, *i, AllowArrays))
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000140 return false;
141 return true;
142}
143
Anders Carlsson0a8f8472009-09-16 15:53:40 +0000144/// hasNonTrivialDestructorOrCopyConstructor - Determine if a type has either
145/// a non-trivial destructor or a non-trivial copy constructor.
146static bool hasNonTrivialDestructorOrCopyConstructor(const RecordType *RT) {
147 const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(RT->getDecl());
148 if (!RD)
149 return false;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000150
Anders Carlsson0a8f8472009-09-16 15:53:40 +0000151 return !RD->hasTrivialDestructor() || !RD->hasTrivialCopyConstructor();
152}
153
154/// isRecordWithNonTrivialDestructorOrCopyConstructor - Determine if a type is
155/// a record type with either a non-trivial destructor or a non-trivial copy
156/// constructor.
157static bool isRecordWithNonTrivialDestructorOrCopyConstructor(QualType T) {
158 const RecordType *RT = T->getAs<RecordType>();
159 if (!RT)
160 return false;
161
162 return hasNonTrivialDestructorOrCopyConstructor(RT);
163}
164
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000165/// isSingleElementStruct - Determine if a structure is a "single
166/// element struct", i.e. it has exactly one non-empty field or
167/// exactly one field which is itself a single element
168/// struct. Structures with flexible array members are never
169/// considered single element structs.
170///
171/// \return The field declaration for the single non-empty field, if
172/// it exists.
173static const Type *isSingleElementStruct(QualType T, ASTContext &Context) {
174 const RecordType *RT = T->getAsStructureType();
175 if (!RT)
176 return 0;
177
178 const RecordDecl *RD = RT->getDecl();
179 if (RD->hasFlexibleArrayMember())
180 return 0;
181
182 const Type *Found = 0;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000183
Daniel Dunbar9430d5a2010-05-11 21:15:36 +0000184 // If this is a C++ record, check the bases first.
185 if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD)) {
186 for (CXXRecordDecl::base_class_const_iterator i = CXXRD->bases_begin(),
187 e = CXXRD->bases_end(); i != e; ++i) {
Daniel Dunbar9430d5a2010-05-11 21:15:36 +0000188 // Ignore empty records.
Daniel Dunbar5ea68612010-05-17 16:46:00 +0000189 if (isEmptyRecord(Context, i->getType(), true))
Daniel Dunbar9430d5a2010-05-11 21:15:36 +0000190 continue;
191
192 // If we already found an element then this isn't a single-element struct.
193 if (Found)
194 return 0;
195
196 // If this is non-empty and not a single element struct, the composite
197 // cannot be a single element struct.
198 Found = isSingleElementStruct(i->getType(), Context);
199 if (!Found)
200 return 0;
201 }
202 }
203
204 // Check for single element.
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000205 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
206 i != e; ++i) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000207 const FieldDecl *FD = *i;
208 QualType FT = FD->getType();
209
210 // Ignore empty fields.
Daniel Dunbar98303b92009-09-13 08:03:58 +0000211 if (isEmptyField(Context, FD, true))
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000212 continue;
213
214 // If we already found an element then this isn't a single-element
215 // struct.
216 if (Found)
217 return 0;
218
219 // Treat single element arrays as the element.
220 while (const ConstantArrayType *AT = Context.getAsConstantArrayType(FT)) {
221 if (AT->getSize().getZExtValue() != 1)
222 break;
223 FT = AT->getElementType();
224 }
225
John McCalld608cdb2010-08-22 10:59:02 +0000226 if (!isAggregateTypeForABI(FT)) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000227 Found = FT.getTypePtr();
228 } else {
229 Found = isSingleElementStruct(FT, Context);
230 if (!Found)
231 return 0;
232 }
233 }
234
235 return Found;
236}
237
238static bool is32Or64BitBasicType(QualType Ty, ASTContext &Context) {
Daniel Dunbara1842d32010-05-14 03:40:53 +0000239 if (!Ty->getAs<BuiltinType>() && !Ty->hasPointerRepresentation() &&
Daniel Dunbar55e59e12009-09-24 05:12:36 +0000240 !Ty->isAnyComplexType() && !Ty->isEnumeralType() &&
241 !Ty->isBlockPointerType())
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000242 return false;
243
244 uint64_t Size = Context.getTypeSize(Ty);
245 return Size == 32 || Size == 64;
246}
247
Daniel Dunbar53012f42009-11-09 01:33:53 +0000248/// canExpandIndirectArgument - Test whether an argument type which is to be
249/// passed indirectly (on the stack) would have the equivalent layout if it was
250/// expanded into separate arguments. If so, we prefer to do the latter to avoid
251/// inhibiting optimizations.
252///
253// FIXME: This predicate is missing many cases, currently it just follows
254// llvm-gcc (checks that all fields are 32-bit or 64-bit primitive types). We
255// should probably make this smarter, or better yet make the LLVM backend
256// capable of handling it.
257static bool canExpandIndirectArgument(QualType Ty, ASTContext &Context) {
258 // We can only expand structure types.
259 const RecordType *RT = Ty->getAs<RecordType>();
260 if (!RT)
261 return false;
262
263 // We can only expand (C) structures.
264 //
265 // FIXME: This needs to be generalized to handle classes as well.
266 const RecordDecl *RD = RT->getDecl();
267 if (!RD->isStruct() || isa<CXXRecordDecl>(RD))
268 return false;
269
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000270 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
271 i != e; ++i) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000272 const FieldDecl *FD = *i;
273
274 if (!is32Or64BitBasicType(FD->getType(), Context))
275 return false;
276
277 // FIXME: Reject bit-fields wholesale; there are two problems, we don't know
278 // how to expand them yet, and the predicate for telling if a bitfield still
279 // counts as "basic" is more complicated than what we were doing previously.
280 if (FD->isBitField())
281 return false;
282 }
283
284 return true;
285}
286
287namespace {
288/// DefaultABIInfo - The default implementation for ABI specific
289/// details. This implementation provides information which results in
290/// self-consistent and sensible LLVM IR generation, but does not
291/// conform to any particular ABI.
292class DefaultABIInfo : public ABIInfo {
Chris Lattnerea044322010-07-29 02:01:43 +0000293public:
294 DefaultABIInfo(CodeGen::CodeGenTypes &CGT) : ABIInfo(CGT) {}
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000295
Chris Lattnera3c109b2010-07-29 02:16:43 +0000296 ABIArgInfo classifyReturnType(QualType RetTy) const;
297 ABIArgInfo classifyArgumentType(QualType RetTy) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000298
Chris Lattneree5dcd02010-07-29 02:31:05 +0000299 virtual void computeInfo(CGFunctionInfo &FI) const {
Chris Lattnera3c109b2010-07-29 02:16:43 +0000300 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000301 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
302 it != ie; ++it)
Chris Lattnera3c109b2010-07-29 02:16:43 +0000303 it->info = classifyArgumentType(it->type);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000304 }
305
306 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
307 CodeGenFunction &CGF) const;
308};
309
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000310class DefaultTargetCodeGenInfo : public TargetCodeGenInfo {
311public:
Chris Lattnerea044322010-07-29 02:01:43 +0000312 DefaultTargetCodeGenInfo(CodeGen::CodeGenTypes &CGT)
313 : TargetCodeGenInfo(new DefaultABIInfo(CGT)) {}
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000314};
315
316llvm::Value *DefaultABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
317 CodeGenFunction &CGF) const {
318 return 0;
319}
320
Chris Lattnera3c109b2010-07-29 02:16:43 +0000321ABIArgInfo DefaultABIInfo::classifyArgumentType(QualType Ty) const {
John McCalld608cdb2010-08-22 10:59:02 +0000322 if (isAggregateTypeForABI(Ty))
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000323 return ABIArgInfo::getIndirect(0);
Daniel Dunbardc6d5742010-04-21 19:10:51 +0000324
Chris Lattnera14db752010-03-11 18:19:55 +0000325 // Treat an enum type as its underlying type.
326 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
327 Ty = EnumTy->getDecl()->getIntegerType();
Douglas Gregoraa74a1e2010-02-02 20:10:50 +0000328
Chris Lattnera14db752010-03-11 18:19:55 +0000329 return (Ty->isPromotableIntegerType() ?
330 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000331}
332
Bob Wilson0024f942011-01-10 23:54:17 +0000333ABIArgInfo DefaultABIInfo::classifyReturnType(QualType RetTy) const {
334 if (RetTy->isVoidType())
335 return ABIArgInfo::getIgnore();
336
337 if (isAggregateTypeForABI(RetTy))
338 return ABIArgInfo::getIndirect(0);
339
340 // Treat an enum type as its underlying type.
341 if (const EnumType *EnumTy = RetTy->getAs<EnumType>())
342 RetTy = EnumTy->getDecl()->getIntegerType();
343
344 return (RetTy->isPromotableIntegerType() ?
345 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
346}
347
Bill Wendlingbb465d72010-10-18 03:41:31 +0000348/// UseX86_MMXType - Return true if this is an MMX type that should use the special
349/// x86_mmx type.
350bool UseX86_MMXType(const llvm::Type *IRType) {
351 // If the type is an MMX type <2 x i32>, <4 x i16>, or <8 x i8>, use the
352 // special x86_mmx type.
353 return IRType->isVectorTy() && IRType->getPrimitiveSizeInBits() == 64 &&
354 cast<llvm::VectorType>(IRType)->getElementType()->isIntegerTy() &&
355 IRType->getScalarSizeInBits() != 64;
356}
357
Chris Lattnerdce5ad02010-06-28 20:05:43 +0000358//===----------------------------------------------------------------------===//
359// X86-32 ABI Implementation
360//===----------------------------------------------------------------------===//
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000361
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000362/// X86_32ABIInfo - The X86-32 ABI information.
363class X86_32ABIInfo : public ABIInfo {
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000364 static const unsigned MinABIStackAlignInBytes = 4;
365
David Chisnall1e4249c2009-08-17 23:08:21 +0000366 bool IsDarwinVectorABI;
367 bool IsSmallStructInRegABI;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000368
369 static bool isRegisterSize(unsigned Size) {
370 return (Size == 8 || Size == 16 || Size == 32 || Size == 64);
371 }
372
373 static bool shouldReturnTypeInRegister(QualType Ty, ASTContext &Context);
374
Daniel Dunbardc6d5742010-04-21 19:10:51 +0000375 /// getIndirectResult - Give a source type \arg Ty, return a suitable result
376 /// such that the argument will be passed in memory.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000377 ABIArgInfo getIndirectResult(QualType Ty, bool ByVal = true) const;
Daniel Dunbardc6d5742010-04-21 19:10:51 +0000378
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000379 /// \brief Return the alignment to use for the given type on the stack.
Daniel Dunbare59d8582010-09-16 20:42:06 +0000380 unsigned getTypeStackAlignInBytes(QualType Ty, unsigned Align) const;
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000381
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000382public:
Chris Lattnerea044322010-07-29 02:01:43 +0000383
Chris Lattnera3c109b2010-07-29 02:16:43 +0000384 ABIArgInfo classifyReturnType(QualType RetTy) const;
385 ABIArgInfo classifyArgumentType(QualType RetTy) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000386
Chris Lattneree5dcd02010-07-29 02:31:05 +0000387 virtual void computeInfo(CGFunctionInfo &FI) const {
Chris Lattnera3c109b2010-07-29 02:16:43 +0000388 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000389 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
390 it != ie; ++it)
Chris Lattnera3c109b2010-07-29 02:16:43 +0000391 it->info = classifyArgumentType(it->type);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000392 }
393
394 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
395 CodeGenFunction &CGF) const;
396
Chris Lattnerea044322010-07-29 02:01:43 +0000397 X86_32ABIInfo(CodeGen::CodeGenTypes &CGT, bool d, bool p)
398 : ABIInfo(CGT), IsDarwinVectorABI(d), IsSmallStructInRegABI(p) {}
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000399};
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000400
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000401class X86_32TargetCodeGenInfo : public TargetCodeGenInfo {
402public:
Chris Lattnerea044322010-07-29 02:01:43 +0000403 X86_32TargetCodeGenInfo(CodeGen::CodeGenTypes &CGT, bool d, bool p)
404 :TargetCodeGenInfo(new X86_32ABIInfo(CGT, d, p)) {}
Charles Davis74f72932010-02-13 15:54:06 +0000405
406 void SetTargetAttributes(const Decl *D, llvm::GlobalValue *GV,
407 CodeGen::CodeGenModule &CGM) const;
John McCall6374c332010-03-06 00:35:14 +0000408
409 int getDwarfEHStackPointer(CodeGen::CodeGenModule &CGM) const {
410 // Darwin uses different dwarf register numbers for EH.
411 if (CGM.isTargetDarwin()) return 5;
412
413 return 4;
414 }
415
416 bool initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
417 llvm::Value *Address) const;
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000418};
419
420}
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000421
422/// shouldReturnTypeInRegister - Determine if the given type should be
423/// passed in a register (for the Darwin ABI).
424bool X86_32ABIInfo::shouldReturnTypeInRegister(QualType Ty,
425 ASTContext &Context) {
426 uint64_t Size = Context.getTypeSize(Ty);
427
428 // Type must be register sized.
429 if (!isRegisterSize(Size))
430 return false;
431
432 if (Ty->isVectorType()) {
433 // 64- and 128- bit vectors inside structures are not returned in
434 // registers.
435 if (Size == 64 || Size == 128)
436 return false;
437
438 return true;
439 }
440
Daniel Dunbar77115232010-05-15 00:00:30 +0000441 // If this is a builtin, pointer, enum, complex type, member pointer, or
442 // member function pointer it is ok.
Daniel Dunbara1842d32010-05-14 03:40:53 +0000443 if (Ty->getAs<BuiltinType>() || Ty->hasPointerRepresentation() ||
Daniel Dunbar55e59e12009-09-24 05:12:36 +0000444 Ty->isAnyComplexType() || Ty->isEnumeralType() ||
Daniel Dunbar77115232010-05-15 00:00:30 +0000445 Ty->isBlockPointerType() || Ty->isMemberPointerType())
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000446 return true;
447
448 // Arrays are treated like records.
449 if (const ConstantArrayType *AT = Context.getAsConstantArrayType(Ty))
450 return shouldReturnTypeInRegister(AT->getElementType(), Context);
451
452 // Otherwise, it must be a record type.
Ted Kremenek6217b802009-07-29 21:53:49 +0000453 const RecordType *RT = Ty->getAs<RecordType>();
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000454 if (!RT) return false;
455
Anders Carlssona8874232010-01-27 03:25:19 +0000456 // FIXME: Traverse bases here too.
457
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000458 // Structure types are passed in register if all fields would be
459 // passed in a register.
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000460 for (RecordDecl::field_iterator i = RT->getDecl()->field_begin(),
461 e = RT->getDecl()->field_end(); i != e; ++i) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000462 const FieldDecl *FD = *i;
463
464 // Empty fields are ignored.
Daniel Dunbar98303b92009-09-13 08:03:58 +0000465 if (isEmptyField(Context, FD, true))
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000466 continue;
467
468 // Check fields recursively.
469 if (!shouldReturnTypeInRegister(FD->getType(), Context))
470 return false;
471 }
472
473 return true;
474}
475
Chris Lattnera3c109b2010-07-29 02:16:43 +0000476ABIArgInfo X86_32ABIInfo::classifyReturnType(QualType RetTy) const {
477 if (RetTy->isVoidType())
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000478 return ABIArgInfo::getIgnore();
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000479
Chris Lattnera3c109b2010-07-29 02:16:43 +0000480 if (const VectorType *VT = RetTy->getAs<VectorType>()) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000481 // On Darwin, some vectors are returned in registers.
David Chisnall1e4249c2009-08-17 23:08:21 +0000482 if (IsDarwinVectorABI) {
Chris Lattnera3c109b2010-07-29 02:16:43 +0000483 uint64_t Size = getContext().getTypeSize(RetTy);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000484
485 // 128-bit vectors are a special case; they are returned in
486 // registers and we need to make sure to pick a type the LLVM
487 // backend will like.
488 if (Size == 128)
Chris Lattner800588f2010-07-29 06:26:06 +0000489 return ABIArgInfo::getDirect(llvm::VectorType::get(
Chris Lattnera3c109b2010-07-29 02:16:43 +0000490 llvm::Type::getInt64Ty(getVMContext()), 2));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000491
492 // Always return in register if it fits in a general purpose
493 // register, or if it is 64 bits and has a single element.
494 if ((Size == 8 || Size == 16 || Size == 32) ||
495 (Size == 64 && VT->getNumElements() == 1))
Chris Lattner800588f2010-07-29 06:26:06 +0000496 return ABIArgInfo::getDirect(llvm::IntegerType::get(getVMContext(),
Chris Lattnera3c109b2010-07-29 02:16:43 +0000497 Size));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000498
499 return ABIArgInfo::getIndirect(0);
500 }
501
502 return ABIArgInfo::getDirect();
Chris Lattnera3c109b2010-07-29 02:16:43 +0000503 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000504
John McCalld608cdb2010-08-22 10:59:02 +0000505 if (isAggregateTypeForABI(RetTy)) {
Anders Carlssona8874232010-01-27 03:25:19 +0000506 if (const RecordType *RT = RetTy->getAs<RecordType>()) {
Anders Carlsson40092972009-10-20 22:07:59 +0000507 // Structures with either a non-trivial destructor or a non-trivial
508 // copy constructor are always indirect.
509 if (hasNonTrivialDestructorOrCopyConstructor(RT))
510 return ABIArgInfo::getIndirect(0, /*ByVal=*/false);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000511
Anders Carlsson40092972009-10-20 22:07:59 +0000512 // Structures with flexible arrays are always indirect.
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000513 if (RT->getDecl()->hasFlexibleArrayMember())
514 return ABIArgInfo::getIndirect(0);
Anders Carlsson40092972009-10-20 22:07:59 +0000515 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000516
David Chisnall1e4249c2009-08-17 23:08:21 +0000517 // If specified, structs and unions are always indirect.
518 if (!IsSmallStructInRegABI && !RetTy->isAnyComplexType())
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000519 return ABIArgInfo::getIndirect(0);
520
521 // Classify "single element" structs as their element type.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000522 if (const Type *SeltTy = isSingleElementStruct(RetTy, getContext())) {
John McCall183700f2009-09-21 23:43:11 +0000523 if (const BuiltinType *BT = SeltTy->getAs<BuiltinType>()) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000524 if (BT->isIntegerType()) {
525 // We need to use the size of the structure, padding
526 // bit-fields can adjust that to be larger than the single
527 // element type.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000528 uint64_t Size = getContext().getTypeSize(RetTy);
Chris Lattner800588f2010-07-29 06:26:06 +0000529 return ABIArgInfo::getDirect(
Chris Lattnera3c109b2010-07-29 02:16:43 +0000530 llvm::IntegerType::get(getVMContext(), (unsigned)Size));
531 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000532
Chris Lattnera3c109b2010-07-29 02:16:43 +0000533 if (BT->getKind() == BuiltinType::Float) {
534 assert(getContext().getTypeSize(RetTy) ==
535 getContext().getTypeSize(SeltTy) &&
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000536 "Unexpect single element structure size!");
Chris Lattner800588f2010-07-29 06:26:06 +0000537 return ABIArgInfo::getDirect(llvm::Type::getFloatTy(getVMContext()));
Chris Lattnera3c109b2010-07-29 02:16:43 +0000538 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000539
Chris Lattnera3c109b2010-07-29 02:16:43 +0000540 if (BT->getKind() == BuiltinType::Double) {
541 assert(getContext().getTypeSize(RetTy) ==
542 getContext().getTypeSize(SeltTy) &&
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000543 "Unexpect single element structure size!");
Chris Lattner800588f2010-07-29 06:26:06 +0000544 return ABIArgInfo::getDirect(llvm::Type::getDoubleTy(getVMContext()));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000545 }
546 } else if (SeltTy->isPointerType()) {
547 // FIXME: It would be really nice if this could come out as the proper
548 // pointer type.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000549 const llvm::Type *PtrTy = llvm::Type::getInt8PtrTy(getVMContext());
Chris Lattner800588f2010-07-29 06:26:06 +0000550 return ABIArgInfo::getDirect(PtrTy);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000551 } else if (SeltTy->isVectorType()) {
552 // 64- and 128-bit vectors are never returned in a
553 // register when inside a structure.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000554 uint64_t Size = getContext().getTypeSize(RetTy);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000555 if (Size == 64 || Size == 128)
556 return ABIArgInfo::getIndirect(0);
557
Chris Lattnera3c109b2010-07-29 02:16:43 +0000558 return classifyReturnType(QualType(SeltTy, 0));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000559 }
560 }
561
562 // Small structures which are register sized are generally returned
563 // in a register.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000564 if (X86_32ABIInfo::shouldReturnTypeInRegister(RetTy, getContext())) {
565 uint64_t Size = getContext().getTypeSize(RetTy);
Chris Lattner800588f2010-07-29 06:26:06 +0000566 return ABIArgInfo::getDirect(llvm::IntegerType::get(getVMContext(),Size));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000567 }
568
569 return ABIArgInfo::getIndirect(0);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000570 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000571
Chris Lattnera3c109b2010-07-29 02:16:43 +0000572 // Treat an enum type as its underlying type.
573 if (const EnumType *EnumTy = RetTy->getAs<EnumType>())
574 RetTy = EnumTy->getDecl()->getIntegerType();
575
576 return (RetTy->isPromotableIntegerType() ?
577 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000578}
579
Daniel Dunbar93ae9472010-09-16 20:42:00 +0000580static bool isRecordWithSSEVectorType(ASTContext &Context, QualType Ty) {
581 const RecordType *RT = Ty->getAs<RecordType>();
582 if (!RT)
583 return 0;
584 const RecordDecl *RD = RT->getDecl();
585
586 // If this is a C++ record, check the bases first.
587 if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD))
588 for (CXXRecordDecl::base_class_const_iterator i = CXXRD->bases_begin(),
589 e = CXXRD->bases_end(); i != e; ++i)
590 if (!isRecordWithSSEVectorType(Context, i->getType()))
591 return false;
592
593 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
594 i != e; ++i) {
595 QualType FT = i->getType();
596
597 if (FT->getAs<VectorType>() && Context.getTypeSize(Ty) == 128)
598 return true;
599
600 if (isRecordWithSSEVectorType(Context, FT))
601 return true;
602 }
603
604 return false;
605}
606
Daniel Dunbare59d8582010-09-16 20:42:06 +0000607unsigned X86_32ABIInfo::getTypeStackAlignInBytes(QualType Ty,
608 unsigned Align) const {
609 // Otherwise, if the alignment is less than or equal to the minimum ABI
610 // alignment, just use the default; the backend will handle this.
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000611 if (Align <= MinABIStackAlignInBytes)
Daniel Dunbare59d8582010-09-16 20:42:06 +0000612 return 0; // Use default alignment.
613
614 // On non-Darwin, the stack type alignment is always 4.
615 if (!IsDarwinVectorABI) {
616 // Set explicit alignment, since we may need to realign the top.
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000617 return MinABIStackAlignInBytes;
Daniel Dunbare59d8582010-09-16 20:42:06 +0000618 }
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000619
Daniel Dunbar93ae9472010-09-16 20:42:00 +0000620 // Otherwise, if the type contains an SSE vector type, the alignment is 16.
621 if (isRecordWithSSEVectorType(getContext(), Ty))
622 return 16;
623
624 return MinABIStackAlignInBytes;
Daniel Dunbarfb67d6c2010-09-16 20:41:56 +0000625}
626
Chris Lattnera3c109b2010-07-29 02:16:43 +0000627ABIArgInfo X86_32ABIInfo::getIndirectResult(QualType Ty, bool ByVal) const {
Daniel Dunbar46c54fb2010-04-21 19:49:55 +0000628 if (!ByVal)
629 return ABIArgInfo::getIndirect(0, false);
630
Daniel Dunbare59d8582010-09-16 20:42:06 +0000631 // Compute the byval alignment.
632 unsigned TypeAlign = getContext().getTypeAlign(Ty) / 8;
633 unsigned StackAlign = getTypeStackAlignInBytes(Ty, TypeAlign);
634 if (StackAlign == 0)
635 return ABIArgInfo::getIndirect(0);
636
637 // If the stack alignment is less than the type alignment, realign the
638 // argument.
639 if (StackAlign < TypeAlign)
640 return ABIArgInfo::getIndirect(StackAlign, /*ByVal=*/true,
641 /*Realign=*/true);
642
643 return ABIArgInfo::getIndirect(StackAlign);
Daniel Dunbardc6d5742010-04-21 19:10:51 +0000644}
645
Chris Lattnera3c109b2010-07-29 02:16:43 +0000646ABIArgInfo X86_32ABIInfo::classifyArgumentType(QualType Ty) const {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000647 // FIXME: Set alignment on indirect arguments.
John McCalld608cdb2010-08-22 10:59:02 +0000648 if (isAggregateTypeForABI(Ty)) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000649 // Structures with flexible arrays are always indirect.
Anders Carlssona8874232010-01-27 03:25:19 +0000650 if (const RecordType *RT = Ty->getAs<RecordType>()) {
651 // Structures with either a non-trivial destructor or a non-trivial
652 // copy constructor are always indirect.
653 if (hasNonTrivialDestructorOrCopyConstructor(RT))
Chris Lattnera3c109b2010-07-29 02:16:43 +0000654 return getIndirectResult(Ty, /*ByVal=*/false);
Daniel Dunbardc6d5742010-04-21 19:10:51 +0000655
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000656 if (RT->getDecl()->hasFlexibleArrayMember())
Chris Lattnera3c109b2010-07-29 02:16:43 +0000657 return getIndirectResult(Ty);
Anders Carlssona8874232010-01-27 03:25:19 +0000658 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000659
660 // Ignore empty structs.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000661 if (Ty->isStructureType() && getContext().getTypeSize(Ty) == 0)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000662 return ABIArgInfo::getIgnore();
663
Daniel Dunbar53012f42009-11-09 01:33:53 +0000664 // Expand small (<= 128-bit) record types when we know that the stack layout
665 // of those arguments will match the struct. This is important because the
666 // LLVM backend isn't smart enough to remove byval, which inhibits many
667 // optimizations.
Chris Lattnera3c109b2010-07-29 02:16:43 +0000668 if (getContext().getTypeSize(Ty) <= 4*32 &&
669 canExpandIndirectArgument(Ty, getContext()))
Daniel Dunbar53012f42009-11-09 01:33:53 +0000670 return ABIArgInfo::getExpand();
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000671
Chris Lattnera3c109b2010-07-29 02:16:43 +0000672 return getIndirectResult(Ty);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000673 }
674
Chris Lattnerbbae8b42010-08-26 20:05:13 +0000675 if (const VectorType *VT = Ty->getAs<VectorType>()) {
Chris Lattner7b733502010-08-26 20:08:43 +0000676 // On Darwin, some vectors are passed in memory, we handle this by passing
677 // it as an i8/i16/i32/i64.
Chris Lattnerbbae8b42010-08-26 20:05:13 +0000678 if (IsDarwinVectorABI) {
679 uint64_t Size = getContext().getTypeSize(Ty);
Chris Lattnerbbae8b42010-08-26 20:05:13 +0000680 if ((Size == 8 || Size == 16 || Size == 32) ||
681 (Size == 64 && VT->getNumElements() == 1))
682 return ABIArgInfo::getDirect(llvm::IntegerType::get(getVMContext(),
683 Size));
Chris Lattnerbbae8b42010-08-26 20:05:13 +0000684 }
Bill Wendlingbb465d72010-10-18 03:41:31 +0000685
686 const llvm::Type *IRType = CGT.ConvertTypeRecursive(Ty);
687 if (UseX86_MMXType(IRType)) {
688 ABIArgInfo AAI = ABIArgInfo::getDirect(IRType);
689 AAI.setCoerceToType(llvm::Type::getX86_MMXTy(getVMContext()));
690 return AAI;
691 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000692
Chris Lattnerbbae8b42010-08-26 20:05:13 +0000693 return ABIArgInfo::getDirect();
694 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000695
696
Chris Lattnera3c109b2010-07-29 02:16:43 +0000697 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
698 Ty = EnumTy->getDecl()->getIntegerType();
Douglas Gregoraa74a1e2010-02-02 20:10:50 +0000699
Chris Lattnera3c109b2010-07-29 02:16:43 +0000700 return (Ty->isPromotableIntegerType() ?
701 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000702}
703
704llvm::Value *X86_32ABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
705 CodeGenFunction &CGF) const {
Benjamin Kramer3c0ef8c2009-10-13 10:07:13 +0000706 const llvm::Type *BP = llvm::Type::getInt8PtrTy(CGF.getLLVMContext());
Owen Anderson96e0fc72009-07-29 22:16:19 +0000707 const llvm::Type *BPP = llvm::PointerType::getUnqual(BP);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000708
709 CGBuilderTy &Builder = CGF.Builder;
710 llvm::Value *VAListAddrAsBPP = Builder.CreateBitCast(VAListAddr, BPP,
711 "ap");
712 llvm::Value *Addr = Builder.CreateLoad(VAListAddrAsBPP, "ap.cur");
713 llvm::Type *PTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000714 llvm::PointerType::getUnqual(CGF.ConvertType(Ty));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000715 llvm::Value *AddrTyped = Builder.CreateBitCast(Addr, PTy);
716
717 uint64_t Offset =
718 llvm::RoundUpToAlignment(CGF.getContext().getTypeSize(Ty) / 8, 4);
719 llvm::Value *NextAddr =
Chris Lattner77b89b82010-06-27 07:15:29 +0000720 Builder.CreateGEP(Addr, llvm::ConstantInt::get(CGF.Int32Ty, Offset),
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000721 "ap.next");
722 Builder.CreateStore(NextAddr, VAListAddrAsBPP);
723
724 return AddrTyped;
725}
726
Charles Davis74f72932010-02-13 15:54:06 +0000727void X86_32TargetCodeGenInfo::SetTargetAttributes(const Decl *D,
728 llvm::GlobalValue *GV,
729 CodeGen::CodeGenModule &CGM) const {
730 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
731 if (FD->hasAttr<X86ForceAlignArgPointerAttr>()) {
732 // Get the LLVM function.
733 llvm::Function *Fn = cast<llvm::Function>(GV);
734
735 // Now add the 'alignstack' attribute with a value of 16.
736 Fn->addFnAttr(llvm::Attribute::constructStackAlignmentFromInt(16));
737 }
738 }
739}
740
John McCall6374c332010-03-06 00:35:14 +0000741bool X86_32TargetCodeGenInfo::initDwarfEHRegSizeTable(
742 CodeGen::CodeGenFunction &CGF,
743 llvm::Value *Address) const {
744 CodeGen::CGBuilderTy &Builder = CGF.Builder;
745 llvm::LLVMContext &Context = CGF.getLLVMContext();
746
747 const llvm::IntegerType *i8 = llvm::Type::getInt8Ty(Context);
748 llvm::Value *Four8 = llvm::ConstantInt::get(i8, 4);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000749
John McCall6374c332010-03-06 00:35:14 +0000750 // 0-7 are the eight integer registers; the order is different
751 // on Darwin (for EH), but the range is the same.
752 // 8 is %eip.
John McCallaeeb7012010-05-27 06:19:26 +0000753 AssignToArrayRange(Builder, Address, Four8, 0, 8);
John McCall6374c332010-03-06 00:35:14 +0000754
755 if (CGF.CGM.isTargetDarwin()) {
756 // 12-16 are st(0..4). Not sure why we stop at 4.
757 // These have size 16, which is sizeof(long double) on
758 // platforms with 8-byte alignment for that type.
759 llvm::Value *Sixteen8 = llvm::ConstantInt::get(i8, 16);
John McCallaeeb7012010-05-27 06:19:26 +0000760 AssignToArrayRange(Builder, Address, Sixteen8, 12, 16);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000761
John McCall6374c332010-03-06 00:35:14 +0000762 } else {
763 // 9 is %eflags, which doesn't get a size on Darwin for some
764 // reason.
765 Builder.CreateStore(Four8, Builder.CreateConstInBoundsGEP1_32(Address, 9));
766
767 // 11-16 are st(0..5). Not sure why we stop at 5.
768 // These have size 12, which is sizeof(long double) on
769 // platforms with 4-byte alignment for that type.
770 llvm::Value *Twelve8 = llvm::ConstantInt::get(i8, 12);
John McCallaeeb7012010-05-27 06:19:26 +0000771 AssignToArrayRange(Builder, Address, Twelve8, 11, 16);
772 }
John McCall6374c332010-03-06 00:35:14 +0000773
774 return false;
775}
776
Chris Lattnerdce5ad02010-06-28 20:05:43 +0000777//===----------------------------------------------------------------------===//
778// X86-64 ABI Implementation
779//===----------------------------------------------------------------------===//
780
781
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000782namespace {
783/// X86_64ABIInfo - The X86_64 ABI information.
784class X86_64ABIInfo : public ABIInfo {
785 enum Class {
786 Integer = 0,
787 SSE,
788 SSEUp,
789 X87,
790 X87Up,
791 ComplexX87,
792 NoClass,
793 Memory
794 };
795
796 /// merge - Implement the X86_64 ABI merging algorithm.
797 ///
798 /// Merge an accumulating classification \arg Accum with a field
799 /// classification \arg Field.
800 ///
801 /// \param Accum - The accumulating classification. This should
802 /// always be either NoClass or the result of a previous merge
803 /// call. In addition, this should never be Memory (the caller
804 /// should just return Memory for the aggregate).
Chris Lattner1090a9b2010-06-28 21:43:59 +0000805 static Class merge(Class Accum, Class Field);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000806
807 /// classify - Determine the x86_64 register classes in which the
808 /// given type T should be passed.
809 ///
810 /// \param Lo - The classification for the parts of the type
811 /// residing in the low word of the containing object.
812 ///
813 /// \param Hi - The classification for the parts of the type
814 /// residing in the high word of the containing object.
815 ///
816 /// \param OffsetBase - The bit offset of this type in the
817 /// containing object. Some parameters are classified different
818 /// depending on whether they straddle an eightbyte boundary.
819 ///
820 /// If a word is unused its result will be NoClass; if a type should
821 /// be passed in Memory then at least the classification of \arg Lo
822 /// will be Memory.
823 ///
824 /// The \arg Lo class will be NoClass iff the argument is ignored.
825 ///
826 /// If the \arg Lo class is ComplexX87, then the \arg Hi class will
827 /// also be ComplexX87.
Chris Lattner9c254f02010-06-29 06:01:59 +0000828 void classify(QualType T, uint64_t OffsetBase, Class &Lo, Class &Hi) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000829
Chris Lattner0f408f52010-07-29 04:56:46 +0000830 const llvm::Type *Get16ByteVectorType(QualType Ty) const;
Chris Lattner603519d2010-07-29 17:49:08 +0000831 const llvm::Type *GetSSETypeAtOffset(const llvm::Type *IRType,
Chris Lattnerf47c9442010-07-29 18:13:09 +0000832 unsigned IROffset, QualType SourceTy,
833 unsigned SourceOffset) const;
Chris Lattner0d2656d2010-07-29 17:40:35 +0000834 const llvm::Type *GetINTEGERTypeAtOffset(const llvm::Type *IRType,
835 unsigned IROffset, QualType SourceTy,
836 unsigned SourceOffset) const;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000837
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000838 /// getIndirectResult - Give a source type \arg Ty, return a suitable result
Daniel Dunbar46c54fb2010-04-21 19:49:55 +0000839 /// such that the argument will be returned in memory.
Chris Lattner9c254f02010-06-29 06:01:59 +0000840 ABIArgInfo getIndirectReturnResult(QualType Ty) const;
Daniel Dunbar46c54fb2010-04-21 19:49:55 +0000841
842 /// getIndirectResult - Give a source type \arg Ty, return a suitable result
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000843 /// such that the argument will be passed in memory.
Chris Lattner9c254f02010-06-29 06:01:59 +0000844 ABIArgInfo getIndirectResult(QualType Ty) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000845
Chris Lattnera3c109b2010-07-29 02:16:43 +0000846 ABIArgInfo classifyReturnType(QualType RetTy) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000847
Bill Wendlingbb465d72010-10-18 03:41:31 +0000848 ABIArgInfo classifyArgumentType(QualType Ty,
849 unsigned &neededInt,
Bill Wendling99aaae82010-10-18 23:51:38 +0000850 unsigned &neededSSE) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000851
852public:
Chris Lattnerea044322010-07-29 02:01:43 +0000853 X86_64ABIInfo(CodeGen::CodeGenTypes &CGT) : ABIInfo(CGT) {}
Chris Lattner9c254f02010-06-29 06:01:59 +0000854
Chris Lattneree5dcd02010-07-29 02:31:05 +0000855 virtual void computeInfo(CGFunctionInfo &FI) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000856
857 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
858 CodeGenFunction &CGF) const;
859};
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000860
Chris Lattnerf13721d2010-08-31 16:44:54 +0000861/// WinX86_64ABIInfo - The Windows X86_64 ABI information.
862class WinX86_64ABIInfo : public X86_64ABIInfo {
863public:
864 WinX86_64ABIInfo(CodeGen::CodeGenTypes &CGT) : X86_64ABIInfo(CGT) {}
865
866 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
867 CodeGenFunction &CGF) const;
868};
869
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000870class X86_64TargetCodeGenInfo : public TargetCodeGenInfo {
871public:
Chris Lattnerea044322010-07-29 02:01:43 +0000872 X86_64TargetCodeGenInfo(CodeGen::CodeGenTypes &CGT)
873 : TargetCodeGenInfo(new X86_64ABIInfo(CGT)) {}
John McCall6374c332010-03-06 00:35:14 +0000874
875 int getDwarfEHStackPointer(CodeGen::CodeGenModule &CGM) const {
876 return 7;
877 }
878
879 bool initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
880 llvm::Value *Address) const {
881 CodeGen::CGBuilderTy &Builder = CGF.Builder;
882 llvm::LLVMContext &Context = CGF.getLLVMContext();
883
884 const llvm::IntegerType *i8 = llvm::Type::getInt8Ty(Context);
885 llvm::Value *Eight8 = llvm::ConstantInt::get(i8, 8);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000886
John McCallaeeb7012010-05-27 06:19:26 +0000887 // 0-15 are the 16 integer registers.
888 // 16 is %rip.
889 AssignToArrayRange(Builder, Address, Eight8, 0, 16);
John McCall6374c332010-03-06 00:35:14 +0000890
891 return false;
892 }
Anton Korobeynikov82d0a412010-01-10 12:58:08 +0000893};
894
Chris Lattnerf13721d2010-08-31 16:44:54 +0000895class WinX86_64TargetCodeGenInfo : public TargetCodeGenInfo {
896public:
897 WinX86_64TargetCodeGenInfo(CodeGen::CodeGenTypes &CGT)
898 : TargetCodeGenInfo(new WinX86_64ABIInfo(CGT)) {}
899
900 int getDwarfEHStackPointer(CodeGen::CodeGenModule &CGM) const {
901 return 7;
902 }
903
904 bool initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
905 llvm::Value *Address) const {
906 CodeGen::CGBuilderTy &Builder = CGF.Builder;
907 llvm::LLVMContext &Context = CGF.getLLVMContext();
908
909 const llvm::IntegerType *i8 = llvm::Type::getInt8Ty(Context);
910 llvm::Value *Eight8 = llvm::ConstantInt::get(i8, 8);
Michael J. Spencer9cac4942010-10-19 06:39:39 +0000911
Chris Lattnerf13721d2010-08-31 16:44:54 +0000912 // 0-15 are the 16 integer registers.
913 // 16 is %rip.
914 AssignToArrayRange(Builder, Address, Eight8, 0, 16);
915
916 return false;
917 }
918};
919
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000920}
921
Chris Lattner1090a9b2010-06-28 21:43:59 +0000922X86_64ABIInfo::Class X86_64ABIInfo::merge(Class Accum, Class Field) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000923 // AMD64-ABI 3.2.3p2: Rule 4. Each field of an object is
924 // classified recursively so that always two fields are
925 // considered. The resulting class is calculated according to
926 // the classes of the fields in the eightbyte:
927 //
928 // (a) If both classes are equal, this is the resulting class.
929 //
930 // (b) If one of the classes is NO_CLASS, the resulting class is
931 // the other class.
932 //
933 // (c) If one of the classes is MEMORY, the result is the MEMORY
934 // class.
935 //
936 // (d) If one of the classes is INTEGER, the result is the
937 // INTEGER.
938 //
939 // (e) If one of the classes is X87, X87UP, COMPLEX_X87 class,
940 // MEMORY is used as class.
941 //
942 // (f) Otherwise class SSE is used.
943
944 // Accum should never be memory (we should have returned) or
945 // ComplexX87 (because this cannot be passed in a structure).
946 assert((Accum != Memory && Accum != ComplexX87) &&
947 "Invalid accumulated classification during merge.");
948 if (Accum == Field || Field == NoClass)
949 return Accum;
Chris Lattner1090a9b2010-06-28 21:43:59 +0000950 if (Field == Memory)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000951 return Memory;
Chris Lattner1090a9b2010-06-28 21:43:59 +0000952 if (Accum == NoClass)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000953 return Field;
Chris Lattner1090a9b2010-06-28 21:43:59 +0000954 if (Accum == Integer || Field == Integer)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000955 return Integer;
Chris Lattner1090a9b2010-06-28 21:43:59 +0000956 if (Field == X87 || Field == X87Up || Field == ComplexX87 ||
957 Accum == X87 || Accum == X87Up)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000958 return Memory;
Chris Lattner1090a9b2010-06-28 21:43:59 +0000959 return SSE;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000960}
961
Chris Lattnerbcaedae2010-06-30 19:14:05 +0000962void X86_64ABIInfo::classify(QualType Ty, uint64_t OffsetBase,
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000963 Class &Lo, Class &Hi) const {
964 // FIXME: This code can be simplified by introducing a simple value class for
965 // Class pairs with appropriate constructor methods for the various
966 // situations.
967
968 // FIXME: Some of the split computations are wrong; unaligned vectors
969 // shouldn't be passed in registers for example, so there is no chance they
970 // can straddle an eightbyte. Verify & simplify.
971
972 Lo = Hi = NoClass;
973
974 Class &Current = OffsetBase < 64 ? Lo : Hi;
975 Current = Memory;
976
John McCall183700f2009-09-21 23:43:11 +0000977 if (const BuiltinType *BT = Ty->getAs<BuiltinType>()) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000978 BuiltinType::Kind k = BT->getKind();
979
980 if (k == BuiltinType::Void) {
981 Current = NoClass;
982 } else if (k == BuiltinType::Int128 || k == BuiltinType::UInt128) {
983 Lo = Integer;
984 Hi = Integer;
985 } else if (k >= BuiltinType::Bool && k <= BuiltinType::LongLong) {
986 Current = Integer;
987 } else if (k == BuiltinType::Float || k == BuiltinType::Double) {
988 Current = SSE;
989 } else if (k == BuiltinType::LongDouble) {
990 Lo = X87;
991 Hi = X87Up;
992 }
993 // FIXME: _Decimal32 and _Decimal64 are SSE.
994 // FIXME: _float128 and _Decimal128 are (SSE, SSEUp).
Chris Lattner1090a9b2010-06-28 21:43:59 +0000995 return;
996 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +0000997
Chris Lattner1090a9b2010-06-28 21:43:59 +0000998 if (const EnumType *ET = Ty->getAs<EnumType>()) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +0000999 // Classify the underlying integer type.
Chris Lattner9c254f02010-06-29 06:01:59 +00001000 classify(ET->getDecl()->getIntegerType(), OffsetBase, Lo, Hi);
Chris Lattner1090a9b2010-06-28 21:43:59 +00001001 return;
1002 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001003
Chris Lattner1090a9b2010-06-28 21:43:59 +00001004 if (Ty->hasPointerRepresentation()) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001005 Current = Integer;
Chris Lattner1090a9b2010-06-28 21:43:59 +00001006 return;
1007 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001008
Chris Lattner1090a9b2010-06-28 21:43:59 +00001009 if (Ty->isMemberPointerType()) {
Daniel Dunbar67d438d2010-05-15 00:00:37 +00001010 if (Ty->isMemberFunctionPointerType())
1011 Lo = Hi = Integer;
1012 else
1013 Current = Integer;
Chris Lattner1090a9b2010-06-28 21:43:59 +00001014 return;
1015 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001016
Chris Lattner1090a9b2010-06-28 21:43:59 +00001017 if (const VectorType *VT = Ty->getAs<VectorType>()) {
Chris Lattnerea044322010-07-29 02:01:43 +00001018 uint64_t Size = getContext().getTypeSize(VT);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001019 if (Size == 32) {
1020 // gcc passes all <4 x char>, <2 x short>, <1 x int>, <1 x
1021 // float> as integer.
1022 Current = Integer;
1023
1024 // If this type crosses an eightbyte boundary, it should be
1025 // split.
1026 uint64_t EB_Real = (OffsetBase) / 64;
1027 uint64_t EB_Imag = (OffsetBase + Size - 1) / 64;
1028 if (EB_Real != EB_Imag)
1029 Hi = Lo;
1030 } else if (Size == 64) {
1031 // gcc passes <1 x double> in memory. :(
1032 if (VT->getElementType()->isSpecificBuiltinType(BuiltinType::Double))
1033 return;
1034
1035 // gcc passes <1 x long long> as INTEGER.
Chris Lattner473f8e72010-08-26 18:03:20 +00001036 if (VT->getElementType()->isSpecificBuiltinType(BuiltinType::LongLong) ||
Chris Lattner0fefa412010-08-26 18:13:50 +00001037 VT->getElementType()->isSpecificBuiltinType(BuiltinType::ULongLong) ||
1038 VT->getElementType()->isSpecificBuiltinType(BuiltinType::Long) ||
1039 VT->getElementType()->isSpecificBuiltinType(BuiltinType::ULong))
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001040 Current = Integer;
1041 else
1042 Current = SSE;
1043
1044 // If this type crosses an eightbyte boundary, it should be
1045 // split.
1046 if (OffsetBase && OffsetBase != 64)
1047 Hi = Lo;
1048 } else if (Size == 128) {
1049 Lo = SSE;
1050 Hi = SSEUp;
1051 }
Chris Lattner1090a9b2010-06-28 21:43:59 +00001052 return;
1053 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001054
Chris Lattner1090a9b2010-06-28 21:43:59 +00001055 if (const ComplexType *CT = Ty->getAs<ComplexType>()) {
Chris Lattnerea044322010-07-29 02:01:43 +00001056 QualType ET = getContext().getCanonicalType(CT->getElementType());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001057
Chris Lattnerea044322010-07-29 02:01:43 +00001058 uint64_t Size = getContext().getTypeSize(Ty);
Douglas Gregor2ade35e2010-06-16 00:17:44 +00001059 if (ET->isIntegralOrEnumerationType()) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001060 if (Size <= 64)
1061 Current = Integer;
1062 else if (Size <= 128)
1063 Lo = Hi = Integer;
Chris Lattnerea044322010-07-29 02:01:43 +00001064 } else if (ET == getContext().FloatTy)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001065 Current = SSE;
Chris Lattnerea044322010-07-29 02:01:43 +00001066 else if (ET == getContext().DoubleTy)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001067 Lo = Hi = SSE;
Chris Lattnerea044322010-07-29 02:01:43 +00001068 else if (ET == getContext().LongDoubleTy)
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001069 Current = ComplexX87;
1070
1071 // If this complex type crosses an eightbyte boundary then it
1072 // should be split.
1073 uint64_t EB_Real = (OffsetBase) / 64;
Chris Lattnerea044322010-07-29 02:01:43 +00001074 uint64_t EB_Imag = (OffsetBase + getContext().getTypeSize(ET)) / 64;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001075 if (Hi == NoClass && EB_Real != EB_Imag)
1076 Hi = Lo;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001077
Chris Lattner1090a9b2010-06-28 21:43:59 +00001078 return;
1079 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001080
Chris Lattnerea044322010-07-29 02:01:43 +00001081 if (const ConstantArrayType *AT = getContext().getAsConstantArrayType(Ty)) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001082 // Arrays are treated like structures.
1083
Chris Lattnerea044322010-07-29 02:01:43 +00001084 uint64_t Size = getContext().getTypeSize(Ty);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001085
1086 // AMD64-ABI 3.2.3p2: Rule 1. If the size of an object is larger
1087 // than two eightbytes, ..., it has class MEMORY.
1088 if (Size > 128)
1089 return;
1090
1091 // AMD64-ABI 3.2.3p2: Rule 1. If ..., or it contains unaligned
1092 // fields, it has class MEMORY.
1093 //
1094 // Only need to check alignment of array base.
Chris Lattnerea044322010-07-29 02:01:43 +00001095 if (OffsetBase % getContext().getTypeAlign(AT->getElementType()))
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001096 return;
1097
1098 // Otherwise implement simplified merge. We could be smarter about
1099 // this, but it isn't worth it and would be harder to verify.
1100 Current = NoClass;
Chris Lattnerea044322010-07-29 02:01:43 +00001101 uint64_t EltSize = getContext().getTypeSize(AT->getElementType());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001102 uint64_t ArraySize = AT->getSize().getZExtValue();
1103 for (uint64_t i=0, Offset=OffsetBase; i<ArraySize; ++i, Offset += EltSize) {
1104 Class FieldLo, FieldHi;
Chris Lattner9c254f02010-06-29 06:01:59 +00001105 classify(AT->getElementType(), Offset, FieldLo, FieldHi);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001106 Lo = merge(Lo, FieldLo);
1107 Hi = merge(Hi, FieldHi);
1108 if (Lo == Memory || Hi == Memory)
1109 break;
1110 }
1111
1112 // Do post merger cleanup (see below). Only case we worry about is Memory.
1113 if (Hi == Memory)
1114 Lo = Memory;
1115 assert((Hi != SSEUp || Lo == SSE) && "Invalid SSEUp array classification.");
Chris Lattner1090a9b2010-06-28 21:43:59 +00001116 return;
1117 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001118
Chris Lattner1090a9b2010-06-28 21:43:59 +00001119 if (const RecordType *RT = Ty->getAs<RecordType>()) {
Chris Lattnerea044322010-07-29 02:01:43 +00001120 uint64_t Size = getContext().getTypeSize(Ty);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001121
1122 // AMD64-ABI 3.2.3p2: Rule 1. If the size of an object is larger
1123 // than two eightbytes, ..., it has class MEMORY.
1124 if (Size > 128)
1125 return;
1126
Anders Carlsson0a8f8472009-09-16 15:53:40 +00001127 // AMD64-ABI 3.2.3p2: Rule 2. If a C++ object has either a non-trivial
1128 // copy constructor or a non-trivial destructor, it is passed by invisible
1129 // reference.
1130 if (hasNonTrivialDestructorOrCopyConstructor(RT))
1131 return;
Daniel Dunbarce9f4232009-11-22 23:01:23 +00001132
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001133 const RecordDecl *RD = RT->getDecl();
1134
1135 // Assume variable sized types are passed in memory.
1136 if (RD->hasFlexibleArrayMember())
1137 return;
1138
Chris Lattnerea044322010-07-29 02:01:43 +00001139 const ASTRecordLayout &Layout = getContext().getASTRecordLayout(RD);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001140
1141 // Reset Lo class, this will be recomputed.
1142 Current = NoClass;
Daniel Dunbarce9f4232009-11-22 23:01:23 +00001143
1144 // If this is a C++ record, classify the bases first.
1145 if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD)) {
1146 for (CXXRecordDecl::base_class_const_iterator i = CXXRD->bases_begin(),
1147 e = CXXRD->bases_end(); i != e; ++i) {
1148 assert(!i->isVirtual() && !i->getType()->isDependentType() &&
1149 "Unexpected base class!");
1150 const CXXRecordDecl *Base =
1151 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
1152
1153 // Classify this field.
1154 //
1155 // AMD64-ABI 3.2.3p2: Rule 3. If the size of the aggregate exceeds a
1156 // single eightbyte, each is classified separately. Each eightbyte gets
1157 // initialized to class NO_CLASS.
1158 Class FieldLo, FieldHi;
Anders Carlssona14f5972010-10-31 23:22:37 +00001159 uint64_t Offset = OffsetBase + Layout.getBaseClassOffsetInBits(Base);
Chris Lattner9c254f02010-06-29 06:01:59 +00001160 classify(i->getType(), Offset, FieldLo, FieldHi);
Daniel Dunbarce9f4232009-11-22 23:01:23 +00001161 Lo = merge(Lo, FieldLo);
1162 Hi = merge(Hi, FieldHi);
1163 if (Lo == Memory || Hi == Memory)
1164 break;
1165 }
1166 }
1167
1168 // Classify the fields one at a time, merging the results.
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001169 unsigned idx = 0;
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +00001170 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
1171 i != e; ++i, ++idx) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001172 uint64_t Offset = OffsetBase + Layout.getFieldOffset(idx);
1173 bool BitField = i->isBitField();
1174
1175 // AMD64-ABI 3.2.3p2: Rule 1. If ..., or it contains unaligned
1176 // fields, it has class MEMORY.
1177 //
1178 // Note, skip this test for bit-fields, see below.
Chris Lattnerea044322010-07-29 02:01:43 +00001179 if (!BitField && Offset % getContext().getTypeAlign(i->getType())) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001180 Lo = Memory;
1181 return;
1182 }
1183
1184 // Classify this field.
1185 //
1186 // AMD64-ABI 3.2.3p2: Rule 3. If the size of the aggregate
1187 // exceeds a single eightbyte, each is classified
1188 // separately. Each eightbyte gets initialized to class
1189 // NO_CLASS.
1190 Class FieldLo, FieldHi;
1191
1192 // Bit-fields require special handling, they do not force the
1193 // structure to be passed in memory even if unaligned, and
1194 // therefore they can straddle an eightbyte.
1195 if (BitField) {
1196 // Ignore padding bit-fields.
1197 if (i->isUnnamedBitfield())
1198 continue;
1199
1200 uint64_t Offset = OffsetBase + Layout.getFieldOffset(idx);
Chris Lattnerea044322010-07-29 02:01:43 +00001201 uint64_t Size =
1202 i->getBitWidth()->EvaluateAsInt(getContext()).getZExtValue();
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001203
1204 uint64_t EB_Lo = Offset / 64;
1205 uint64_t EB_Hi = (Offset + Size - 1) / 64;
1206 FieldLo = FieldHi = NoClass;
1207 if (EB_Lo) {
1208 assert(EB_Hi == EB_Lo && "Invalid classification, type > 16 bytes.");
1209 FieldLo = NoClass;
1210 FieldHi = Integer;
1211 } else {
1212 FieldLo = Integer;
1213 FieldHi = EB_Hi ? Integer : NoClass;
1214 }
1215 } else
Chris Lattner9c254f02010-06-29 06:01:59 +00001216 classify(i->getType(), Offset, FieldLo, FieldHi);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001217 Lo = merge(Lo, FieldLo);
1218 Hi = merge(Hi, FieldHi);
1219 if (Lo == Memory || Hi == Memory)
1220 break;
1221 }
1222
1223 // AMD64-ABI 3.2.3p2: Rule 5. Then a post merger cleanup is done:
1224 //
1225 // (a) If one of the classes is MEMORY, the whole argument is
1226 // passed in memory.
1227 //
1228 // (b) If SSEUP is not preceeded by SSE, it is converted to SSE.
1229
1230 // The first of these conditions is guaranteed by how we implement
1231 // the merge (just bail).
1232 //
1233 // The second condition occurs in the case of unions; for example
1234 // union { _Complex double; unsigned; }.
1235 if (Hi == Memory)
1236 Lo = Memory;
1237 if (Hi == SSEUp && Lo != SSE)
1238 Hi = SSE;
1239 }
1240}
1241
Chris Lattner9c254f02010-06-29 06:01:59 +00001242ABIArgInfo X86_64ABIInfo::getIndirectReturnResult(QualType Ty) const {
Daniel Dunbar46c54fb2010-04-21 19:49:55 +00001243 // If this is a scalar LLVM value then assume LLVM will pass it in the right
1244 // place naturally.
John McCalld608cdb2010-08-22 10:59:02 +00001245 if (!isAggregateTypeForABI(Ty)) {
Daniel Dunbar46c54fb2010-04-21 19:49:55 +00001246 // Treat an enum type as its underlying type.
1247 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
1248 Ty = EnumTy->getDecl()->getIntegerType();
1249
1250 return (Ty->isPromotableIntegerType() ?
1251 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
1252 }
1253
1254 return ABIArgInfo::getIndirect(0);
1255}
1256
Chris Lattner9c254f02010-06-29 06:01:59 +00001257ABIArgInfo X86_64ABIInfo::getIndirectResult(QualType Ty) const {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001258 // If this is a scalar LLVM value then assume LLVM will pass it in the right
1259 // place naturally.
John McCalld608cdb2010-08-22 10:59:02 +00001260 if (!isAggregateTypeForABI(Ty)) {
Douglas Gregoraa74a1e2010-02-02 20:10:50 +00001261 // Treat an enum type as its underlying type.
1262 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
1263 Ty = EnumTy->getDecl()->getIntegerType();
1264
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +00001265 return (Ty->isPromotableIntegerType() ?
1266 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Douglas Gregoraa74a1e2010-02-02 20:10:50 +00001267 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001268
Daniel Dunbar46c54fb2010-04-21 19:49:55 +00001269 if (isRecordWithNonTrivialDestructorOrCopyConstructor(Ty))
1270 return ABIArgInfo::getIndirect(0, /*ByVal=*/false);
Anders Carlsson0a8f8472009-09-16 15:53:40 +00001271
Daniel Dunbar46c54fb2010-04-21 19:49:55 +00001272 // Compute the byval alignment. We trust the back-end to honor the
1273 // minimum ABI alignment for byval, to make cleaner IR.
1274 const unsigned MinABIAlign = 8;
Chris Lattnerea044322010-07-29 02:01:43 +00001275 unsigned Align = getContext().getTypeAlign(Ty) / 8;
Daniel Dunbar46c54fb2010-04-21 19:49:55 +00001276 if (Align > MinABIAlign)
1277 return ABIArgInfo::getIndirect(Align);
1278 return ABIArgInfo::getIndirect(0);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001279}
1280
Chris Lattner0f408f52010-07-29 04:56:46 +00001281/// Get16ByteVectorType - The ABI specifies that a value should be passed in an
1282/// full vector XMM register. Pick an LLVM IR type that will be passed as a
1283/// vector register.
1284const llvm::Type *X86_64ABIInfo::Get16ByteVectorType(QualType Ty) const {
Chris Lattner15842bd2010-07-29 05:02:29 +00001285 const llvm::Type *IRType = CGT.ConvertTypeRecursive(Ty);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001286
Chris Lattner15842bd2010-07-29 05:02:29 +00001287 // Wrapper structs that just contain vectors are passed just like vectors,
1288 // strip them off if present.
1289 const llvm::StructType *STy = dyn_cast<llvm::StructType>(IRType);
1290 while (STy && STy->getNumElements() == 1) {
1291 IRType = STy->getElementType(0);
1292 STy = dyn_cast<llvm::StructType>(IRType);
1293 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001294
Chris Lattner0f408f52010-07-29 04:56:46 +00001295 // If the preferred type is a 16-byte vector, prefer to pass it.
Chris Lattner15842bd2010-07-29 05:02:29 +00001296 if (const llvm::VectorType *VT = dyn_cast<llvm::VectorType>(IRType)){
Chris Lattner0f408f52010-07-29 04:56:46 +00001297 const llvm::Type *EltTy = VT->getElementType();
1298 if (VT->getBitWidth() == 128 &&
1299 (EltTy->isFloatTy() || EltTy->isDoubleTy() ||
1300 EltTy->isIntegerTy(8) || EltTy->isIntegerTy(16) ||
1301 EltTy->isIntegerTy(32) || EltTy->isIntegerTy(64) ||
1302 EltTy->isIntegerTy(128)))
1303 return VT;
1304 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001305
Chris Lattner0f408f52010-07-29 04:56:46 +00001306 return llvm::VectorType::get(llvm::Type::getDoubleTy(getVMContext()), 2);
1307}
1308
Chris Lattnere2962be2010-07-29 07:30:00 +00001309/// BitsContainNoUserData - Return true if the specified [start,end) bit range
1310/// is known to either be off the end of the specified type or being in
1311/// alignment padding. The user type specified is known to be at most 128 bits
1312/// in size, and have passed through X86_64ABIInfo::classify with a successful
1313/// classification that put one of the two halves in the INTEGER class.
1314///
1315/// It is conservatively correct to return false.
1316static bool BitsContainNoUserData(QualType Ty, unsigned StartBit,
1317 unsigned EndBit, ASTContext &Context) {
1318 // If the bytes being queried are off the end of the type, there is no user
1319 // data hiding here. This handles analysis of builtins, vectors and other
1320 // types that don't contain interesting padding.
1321 unsigned TySize = (unsigned)Context.getTypeSize(Ty);
1322 if (TySize <= StartBit)
1323 return true;
1324
Chris Lattner021c3a32010-07-29 07:43:55 +00001325 if (const ConstantArrayType *AT = Context.getAsConstantArrayType(Ty)) {
1326 unsigned EltSize = (unsigned)Context.getTypeSize(AT->getElementType());
1327 unsigned NumElts = (unsigned)AT->getSize().getZExtValue();
1328
1329 // Check each element to see if the element overlaps with the queried range.
1330 for (unsigned i = 0; i != NumElts; ++i) {
1331 // If the element is after the span we care about, then we're done..
1332 unsigned EltOffset = i*EltSize;
1333 if (EltOffset >= EndBit) break;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001334
Chris Lattner021c3a32010-07-29 07:43:55 +00001335 unsigned EltStart = EltOffset < StartBit ? StartBit-EltOffset :0;
1336 if (!BitsContainNoUserData(AT->getElementType(), EltStart,
1337 EndBit-EltOffset, Context))
1338 return false;
1339 }
1340 // If it overlaps no elements, then it is safe to process as padding.
1341 return true;
1342 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001343
Chris Lattnere2962be2010-07-29 07:30:00 +00001344 if (const RecordType *RT = Ty->getAs<RecordType>()) {
1345 const RecordDecl *RD = RT->getDecl();
1346 const ASTRecordLayout &Layout = Context.getASTRecordLayout(RD);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001347
Chris Lattnere2962be2010-07-29 07:30:00 +00001348 // If this is a C++ record, check the bases first.
1349 if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD)) {
1350 for (CXXRecordDecl::base_class_const_iterator i = CXXRD->bases_begin(),
1351 e = CXXRD->bases_end(); i != e; ++i) {
1352 assert(!i->isVirtual() && !i->getType()->isDependentType() &&
1353 "Unexpected base class!");
1354 const CXXRecordDecl *Base =
1355 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001356
Chris Lattnere2962be2010-07-29 07:30:00 +00001357 // If the base is after the span we care about, ignore it.
Anders Carlssona14f5972010-10-31 23:22:37 +00001358 unsigned BaseOffset = (unsigned)Layout.getBaseClassOffsetInBits(Base);
Chris Lattnere2962be2010-07-29 07:30:00 +00001359 if (BaseOffset >= EndBit) continue;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001360
Chris Lattnere2962be2010-07-29 07:30:00 +00001361 unsigned BaseStart = BaseOffset < StartBit ? StartBit-BaseOffset :0;
1362 if (!BitsContainNoUserData(i->getType(), BaseStart,
1363 EndBit-BaseOffset, Context))
1364 return false;
1365 }
1366 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001367
Chris Lattnere2962be2010-07-29 07:30:00 +00001368 // Verify that no field has data that overlaps the region of interest. Yes
1369 // this could be sped up a lot by being smarter about queried fields,
1370 // however we're only looking at structs up to 16 bytes, so we don't care
1371 // much.
1372 unsigned idx = 0;
1373 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
1374 i != e; ++i, ++idx) {
1375 unsigned FieldOffset = (unsigned)Layout.getFieldOffset(idx);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001376
Chris Lattnere2962be2010-07-29 07:30:00 +00001377 // If we found a field after the region we care about, then we're done.
1378 if (FieldOffset >= EndBit) break;
1379
1380 unsigned FieldStart = FieldOffset < StartBit ? StartBit-FieldOffset :0;
1381 if (!BitsContainNoUserData(i->getType(), FieldStart, EndBit-FieldOffset,
1382 Context))
1383 return false;
1384 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001385
Chris Lattnere2962be2010-07-29 07:30:00 +00001386 // If nothing in this record overlapped the area of interest, then we're
1387 // clean.
1388 return true;
1389 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001390
Chris Lattnere2962be2010-07-29 07:30:00 +00001391 return false;
1392}
1393
Chris Lattner0b362002010-07-29 18:39:32 +00001394/// ContainsFloatAtOffset - Return true if the specified LLVM IR type has a
1395/// float member at the specified offset. For example, {int,{float}} has a
1396/// float at offset 4. It is conservatively correct for this routine to return
1397/// false.
1398static bool ContainsFloatAtOffset(const llvm::Type *IRType, unsigned IROffset,
1399 const llvm::TargetData &TD) {
1400 // Base case if we find a float.
1401 if (IROffset == 0 && IRType->isFloatTy())
1402 return true;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001403
Chris Lattner0b362002010-07-29 18:39:32 +00001404 // If this is a struct, recurse into the field at the specified offset.
1405 if (const llvm::StructType *STy = dyn_cast<llvm::StructType>(IRType)) {
1406 const llvm::StructLayout *SL = TD.getStructLayout(STy);
1407 unsigned Elt = SL->getElementContainingOffset(IROffset);
1408 IROffset -= SL->getElementOffset(Elt);
1409 return ContainsFloatAtOffset(STy->getElementType(Elt), IROffset, TD);
1410 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001411
Chris Lattner0b362002010-07-29 18:39:32 +00001412 // If this is an array, recurse into the field at the specified offset.
1413 if (const llvm::ArrayType *ATy = dyn_cast<llvm::ArrayType>(IRType)) {
1414 const llvm::Type *EltTy = ATy->getElementType();
1415 unsigned EltSize = TD.getTypeAllocSize(EltTy);
1416 IROffset -= IROffset/EltSize*EltSize;
1417 return ContainsFloatAtOffset(EltTy, IROffset, TD);
1418 }
1419
1420 return false;
1421}
1422
Chris Lattnerf47c9442010-07-29 18:13:09 +00001423
1424/// GetSSETypeAtOffset - Return a type that will be passed by the backend in the
1425/// low 8 bytes of an XMM register, corresponding to the SSE class.
1426const llvm::Type *X86_64ABIInfo::
1427GetSSETypeAtOffset(const llvm::Type *IRType, unsigned IROffset,
1428 QualType SourceTy, unsigned SourceOffset) const {
Chris Lattnercba8d312010-07-29 18:19:50 +00001429 // The only three choices we have are either double, <2 x float>, or float. We
Chris Lattnerf47c9442010-07-29 18:13:09 +00001430 // pass as float if the last 4 bytes is just padding. This happens for
1431 // structs that contain 3 floats.
1432 if (BitsContainNoUserData(SourceTy, SourceOffset*8+32,
1433 SourceOffset*8+64, getContext()))
1434 return llvm::Type::getFloatTy(getVMContext());
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001435
Chris Lattner0b362002010-07-29 18:39:32 +00001436 // We want to pass as <2 x float> if the LLVM IR type contains a float at
1437 // offset+0 and offset+4. Walk the LLVM IR type to find out if this is the
1438 // case.
1439 if (ContainsFloatAtOffset(IRType, IROffset, getTargetData()) &&
Chris Lattner22fd4ba2010-08-25 23:39:14 +00001440 ContainsFloatAtOffset(IRType, IROffset+4, getTargetData()))
1441 return llvm::VectorType::get(llvm::Type::getFloatTy(getVMContext()), 2);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001442
Chris Lattnerf47c9442010-07-29 18:13:09 +00001443 return llvm::Type::getDoubleTy(getVMContext());
1444}
1445
1446
Chris Lattner0d2656d2010-07-29 17:40:35 +00001447/// GetINTEGERTypeAtOffset - The ABI specifies that a value should be passed in
1448/// an 8-byte GPR. This means that we either have a scalar or we are talking
1449/// about the high or low part of an up-to-16-byte struct. This routine picks
1450/// the best LLVM IR type to represent this, which may be i64 or may be anything
Chris Lattner49382de2010-07-28 22:44:07 +00001451/// else that the backend will pass in a GPR that works better (e.g. i8, %foo*,
1452/// etc).
1453///
1454/// PrefType is an LLVM IR type that corresponds to (part of) the IR type for
1455/// the source type. IROffset is an offset in bytes into the LLVM IR type that
1456/// the 8-byte value references. PrefType may be null.
1457///
1458/// SourceTy is the source level type for the entire argument. SourceOffset is
1459/// an offset into this that we're processing (which is always either 0 or 8).
1460///
Chris Lattner44f0fd22010-07-29 02:20:19 +00001461const llvm::Type *X86_64ABIInfo::
Chris Lattner0d2656d2010-07-29 17:40:35 +00001462GetINTEGERTypeAtOffset(const llvm::Type *IRType, unsigned IROffset,
1463 QualType SourceTy, unsigned SourceOffset) const {
Chris Lattnere2962be2010-07-29 07:30:00 +00001464 // If we're dealing with an un-offset LLVM IR type, then it means that we're
1465 // returning an 8-byte unit starting with it. See if we can safely use it.
1466 if (IROffset == 0) {
1467 // Pointers and int64's always fill the 8-byte unit.
1468 if (isa<llvm::PointerType>(IRType) || IRType->isIntegerTy(64))
1469 return IRType;
Chris Lattner49382de2010-07-28 22:44:07 +00001470
Chris Lattnere2962be2010-07-29 07:30:00 +00001471 // If we have a 1/2/4-byte integer, we can use it only if the rest of the
1472 // goodness in the source type is just tail padding. This is allowed to
1473 // kick in for struct {double,int} on the int, but not on
1474 // struct{double,int,int} because we wouldn't return the second int. We
1475 // have to do this analysis on the source type because we can't depend on
1476 // unions being lowered a specific way etc.
1477 if (IRType->isIntegerTy(8) || IRType->isIntegerTy(16) ||
1478 IRType->isIntegerTy(32)) {
1479 unsigned BitWidth = cast<llvm::IntegerType>(IRType)->getBitWidth();
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001480
Chris Lattnere2962be2010-07-29 07:30:00 +00001481 if (BitsContainNoUserData(SourceTy, SourceOffset*8+BitWidth,
1482 SourceOffset*8+64, getContext()))
1483 return IRType;
1484 }
1485 }
Chris Lattner49382de2010-07-28 22:44:07 +00001486
Chris Lattnerfe12d1e2010-07-29 04:51:12 +00001487 if (const llvm::StructType *STy = dyn_cast<llvm::StructType>(IRType)) {
Chris Lattner49382de2010-07-28 22:44:07 +00001488 // If this is a struct, recurse into the field at the specified offset.
Chris Lattner44f0fd22010-07-29 02:20:19 +00001489 const llvm::StructLayout *SL = getTargetData().getStructLayout(STy);
Chris Lattner49382de2010-07-28 22:44:07 +00001490 if (IROffset < SL->getSizeInBytes()) {
1491 unsigned FieldIdx = SL->getElementContainingOffset(IROffset);
1492 IROffset -= SL->getElementOffset(FieldIdx);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001493
Chris Lattner0d2656d2010-07-29 17:40:35 +00001494 return GetINTEGERTypeAtOffset(STy->getElementType(FieldIdx), IROffset,
1495 SourceTy, SourceOffset);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001496 }
Chris Lattner49382de2010-07-28 22:44:07 +00001497 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001498
Chris Lattner021c3a32010-07-29 07:43:55 +00001499 if (const llvm::ArrayType *ATy = dyn_cast<llvm::ArrayType>(IRType)) {
1500 const llvm::Type *EltTy = ATy->getElementType();
1501 unsigned EltSize = getTargetData().getTypeAllocSize(EltTy);
1502 unsigned EltOffset = IROffset/EltSize*EltSize;
Chris Lattner0d2656d2010-07-29 17:40:35 +00001503 return GetINTEGERTypeAtOffset(EltTy, IROffset-EltOffset, SourceTy,
1504 SourceOffset);
Chris Lattner021c3a32010-07-29 07:43:55 +00001505 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001506
Chris Lattner49382de2010-07-28 22:44:07 +00001507 // Okay, we don't have any better idea of what to pass, so we pass this in an
1508 // integer register that isn't too big to fit the rest of the struct.
Chris Lattner9e45a3d2010-07-29 17:34:39 +00001509 unsigned TySizeInBytes =
1510 (unsigned)getContext().getTypeSizeInChars(SourceTy).getQuantity();
Chris Lattner49382de2010-07-28 22:44:07 +00001511
Chris Lattner9e45a3d2010-07-29 17:34:39 +00001512 assert(TySizeInBytes != SourceOffset && "Empty field?");
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001513
Chris Lattner49382de2010-07-28 22:44:07 +00001514 // It is always safe to classify this as an integer type up to i64 that
1515 // isn't larger than the structure.
Chris Lattner9e45a3d2010-07-29 17:34:39 +00001516 return llvm::IntegerType::get(getVMContext(),
1517 std::min(TySizeInBytes-SourceOffset, 8U)*8);
Chris Lattner9c254f02010-06-29 06:01:59 +00001518}
1519
Chris Lattner66e7b682010-09-01 00:50:20 +00001520
1521/// GetX86_64ByValArgumentPair - Given a high and low type that can ideally
1522/// be used as elements of a two register pair to pass or return, return a
1523/// first class aggregate to represent them. For example, if the low part of
1524/// a by-value argument should be passed as i32* and the high part as float,
1525/// return {i32*, float}.
1526static const llvm::Type *
1527GetX86_64ByValArgumentPair(const llvm::Type *Lo, const llvm::Type *Hi,
1528 const llvm::TargetData &TD) {
1529 // In order to correctly satisfy the ABI, we need to the high part to start
1530 // at offset 8. If the high and low parts we inferred are both 4-byte types
1531 // (e.g. i32 and i32) then the resultant struct type ({i32,i32}) won't have
1532 // the second element at offset 8. Check for this:
1533 unsigned LoSize = (unsigned)TD.getTypeAllocSize(Lo);
1534 unsigned HiAlign = TD.getABITypeAlignment(Hi);
1535 unsigned HiStart = llvm::TargetData::RoundUpAlignment(LoSize, HiAlign);
1536 assert(HiStart != 0 && HiStart <= 8 && "Invalid x86-64 argument pair!");
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001537
Chris Lattner66e7b682010-09-01 00:50:20 +00001538 // To handle this, we have to increase the size of the low part so that the
1539 // second element will start at an 8 byte offset. We can't increase the size
1540 // of the second element because it might make us access off the end of the
1541 // struct.
1542 if (HiStart != 8) {
1543 // There are only two sorts of types the ABI generation code can produce for
1544 // the low part of a pair that aren't 8 bytes in size: float or i8/i16/i32.
1545 // Promote these to a larger type.
1546 if (Lo->isFloatTy())
1547 Lo = llvm::Type::getDoubleTy(Lo->getContext());
1548 else {
1549 assert(Lo->isIntegerTy() && "Invalid/unknown lo type");
1550 Lo = llvm::Type::getInt64Ty(Lo->getContext());
1551 }
1552 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001553
1554 const llvm::StructType *Result =
Chris Lattner66e7b682010-09-01 00:50:20 +00001555 llvm::StructType::get(Lo->getContext(), Lo, Hi, NULL);
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001556
1557
Chris Lattner66e7b682010-09-01 00:50:20 +00001558 // Verify that the second element is at an 8-byte offset.
1559 assert(TD.getStructLayout(Result)->getElementOffset(1) == 8 &&
1560 "Invalid x86-64 argument pair!");
1561 return Result;
1562}
1563
Chris Lattner519f68c2010-07-28 23:06:14 +00001564ABIArgInfo X86_64ABIInfo::
Chris Lattnera3c109b2010-07-29 02:16:43 +00001565classifyReturnType(QualType RetTy) const {
Chris Lattner519f68c2010-07-28 23:06:14 +00001566 // AMD64-ABI 3.2.3p4: Rule 1. Classify the return type with the
1567 // classification algorithm.
1568 X86_64ABIInfo::Class Lo, Hi;
1569 classify(RetTy, 0, Lo, Hi);
1570
1571 // Check some invariants.
1572 assert((Hi != Memory || Lo == Memory) && "Invalid memory classification.");
Chris Lattner519f68c2010-07-28 23:06:14 +00001573 assert((Hi != SSEUp || Lo == SSE) && "Invalid SSEUp classification.");
1574
1575 const llvm::Type *ResType = 0;
1576 switch (Lo) {
1577 case NoClass:
Chris Lattner117e3f42010-07-30 04:02:24 +00001578 if (Hi == NoClass)
1579 return ABIArgInfo::getIgnore();
1580 // If the low part is just padding, it takes no register, leave ResType
1581 // null.
1582 assert((Hi == SSE || Hi == Integer || Hi == X87Up) &&
1583 "Unknown missing lo part");
1584 break;
Chris Lattner519f68c2010-07-28 23:06:14 +00001585
1586 case SSEUp:
1587 case X87Up:
1588 assert(0 && "Invalid classification for lo word.");
1589
1590 // AMD64-ABI 3.2.3p4: Rule 2. Types of class memory are returned via
1591 // hidden argument.
1592 case Memory:
1593 return getIndirectReturnResult(RetTy);
1594
1595 // AMD64-ABI 3.2.3p4: Rule 3. If the class is INTEGER, the next
1596 // available register of the sequence %rax, %rdx is used.
1597 case Integer:
Chris Lattner0d2656d2010-07-29 17:40:35 +00001598 ResType = GetINTEGERTypeAtOffset(CGT.ConvertTypeRecursive(RetTy), 0,
1599 RetTy, 0);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001600
Chris Lattnereb518b42010-07-29 21:42:50 +00001601 // If we have a sign or zero extended integer, make sure to return Extend
1602 // so that the parameter gets the right LLVM IR attributes.
1603 if (Hi == NoClass && isa<llvm::IntegerType>(ResType)) {
1604 // Treat an enum type as its underlying type.
1605 if (const EnumType *EnumTy = RetTy->getAs<EnumType>())
1606 RetTy = EnumTy->getDecl()->getIntegerType();
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001607
Chris Lattnereb518b42010-07-29 21:42:50 +00001608 if (RetTy->isIntegralOrEnumerationType() &&
1609 RetTy->isPromotableIntegerType())
1610 return ABIArgInfo::getExtend();
1611 }
Chris Lattner519f68c2010-07-28 23:06:14 +00001612 break;
1613
1614 // AMD64-ABI 3.2.3p4: Rule 4. If the class is SSE, the next
1615 // available SSE register of the sequence %xmm0, %xmm1 is used.
1616 case SSE:
Chris Lattnerf47c9442010-07-29 18:13:09 +00001617 ResType = GetSSETypeAtOffset(CGT.ConvertTypeRecursive(RetTy), 0, RetTy, 0);
Chris Lattner0b30c672010-07-28 23:12:33 +00001618 break;
Chris Lattner519f68c2010-07-28 23:06:14 +00001619
1620 // AMD64-ABI 3.2.3p4: Rule 6. If the class is X87, the value is
1621 // returned on the X87 stack in %st0 as 80-bit x87 number.
1622 case X87:
Chris Lattnerea044322010-07-29 02:01:43 +00001623 ResType = llvm::Type::getX86_FP80Ty(getVMContext());
Chris Lattner0b30c672010-07-28 23:12:33 +00001624 break;
Chris Lattner519f68c2010-07-28 23:06:14 +00001625
1626 // AMD64-ABI 3.2.3p4: Rule 8. If the class is COMPLEX_X87, the real
1627 // part of the value is returned in %st0 and the imaginary part in
1628 // %st1.
1629 case ComplexX87:
1630 assert(Hi == ComplexX87 && "Unexpected ComplexX87 classification.");
Chris Lattnera3c109b2010-07-29 02:16:43 +00001631 ResType = llvm::StructType::get(getVMContext(),
Chris Lattnerea044322010-07-29 02:01:43 +00001632 llvm::Type::getX86_FP80Ty(getVMContext()),
1633 llvm::Type::getX86_FP80Ty(getVMContext()),
Chris Lattner519f68c2010-07-28 23:06:14 +00001634 NULL);
1635 break;
1636 }
1637
Chris Lattner3db4dde2010-09-01 00:20:33 +00001638 const llvm::Type *HighPart = 0;
Chris Lattner519f68c2010-07-28 23:06:14 +00001639 switch (Hi) {
1640 // Memory was handled previously and X87 should
1641 // never occur as a hi class.
1642 case Memory:
1643 case X87:
1644 assert(0 && "Invalid classification for hi word.");
1645
1646 case ComplexX87: // Previously handled.
Chris Lattner0b30c672010-07-28 23:12:33 +00001647 case NoClass:
1648 break;
Chris Lattner519f68c2010-07-28 23:06:14 +00001649
Chris Lattner3db4dde2010-09-01 00:20:33 +00001650 case Integer:
1651 HighPart = GetINTEGERTypeAtOffset(CGT.ConvertTypeRecursive(RetTy),
1652 8, RetTy, 8);
1653 if (Lo == NoClass) // Return HighPart at offset 8 in memory.
1654 return ABIArgInfo::getDirect(HighPart, 8);
Chris Lattner519f68c2010-07-28 23:06:14 +00001655 break;
Chris Lattner3db4dde2010-09-01 00:20:33 +00001656 case SSE:
1657 HighPart = GetSSETypeAtOffset(CGT.ConvertTypeRecursive(RetTy), 8, RetTy, 8);
1658 if (Lo == NoClass) // Return HighPart at offset 8 in memory.
1659 return ABIArgInfo::getDirect(HighPart, 8);
Chris Lattner519f68c2010-07-28 23:06:14 +00001660 break;
1661
1662 // AMD64-ABI 3.2.3p4: Rule 5. If the class is SSEUP, the eightbyte
1663 // is passed in the upper half of the last used SSE register.
1664 //
1665 // SSEUP should always be preceeded by SSE, just widen.
1666 case SSEUp:
1667 assert(Lo == SSE && "Unexpected SSEUp classification.");
Chris Lattner0f408f52010-07-29 04:56:46 +00001668 ResType = Get16ByteVectorType(RetTy);
Chris Lattner519f68c2010-07-28 23:06:14 +00001669 break;
1670
1671 // AMD64-ABI 3.2.3p4: Rule 7. If the class is X87UP, the value is
1672 // returned together with the previous X87 value in %st0.
1673 case X87Up:
1674 // If X87Up is preceeded by X87, we don't need to do
1675 // anything. However, in some cases with unions it may not be
1676 // preceeded by X87. In such situations we follow gcc and pass the
1677 // extra bits in an SSE reg.
Chris Lattner603519d2010-07-29 17:49:08 +00001678 if (Lo != X87) {
Chris Lattner3db4dde2010-09-01 00:20:33 +00001679 HighPart = GetSSETypeAtOffset(CGT.ConvertTypeRecursive(RetTy),
1680 8, RetTy, 8);
1681 if (Lo == NoClass) // Return HighPart at offset 8 in memory.
1682 return ABIArgInfo::getDirect(HighPart, 8);
Chris Lattner603519d2010-07-29 17:49:08 +00001683 }
Chris Lattner519f68c2010-07-28 23:06:14 +00001684 break;
1685 }
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001686
Chris Lattner3db4dde2010-09-01 00:20:33 +00001687 // If a high part was specified, merge it together with the low part. It is
Chris Lattner645406a2010-09-01 00:24:35 +00001688 // known to pass in the high eightbyte of the result. We do this by forming a
1689 // first class struct aggregate with the high and low part: {low, high}
Chris Lattner66e7b682010-09-01 00:50:20 +00001690 if (HighPart)
1691 ResType = GetX86_64ByValArgumentPair(ResType, HighPart, getTargetData());
Chris Lattner519f68c2010-07-28 23:06:14 +00001692
Chris Lattnereb518b42010-07-29 21:42:50 +00001693 return ABIArgInfo::getDirect(ResType);
Chris Lattner519f68c2010-07-28 23:06:14 +00001694}
1695
Chris Lattnera3c109b2010-07-29 02:16:43 +00001696ABIArgInfo X86_64ABIInfo::classifyArgumentType(QualType Ty, unsigned &neededInt,
Bill Wendling99aaae82010-10-18 23:51:38 +00001697 unsigned &neededSSE) const {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001698 X86_64ABIInfo::Class Lo, Hi;
Chris Lattner9c254f02010-06-29 06:01:59 +00001699 classify(Ty, 0, Lo, Hi);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001700
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001701 // Check some invariants.
1702 // FIXME: Enforce these by construction.
1703 assert((Hi != Memory || Lo == Memory) && "Invalid memory classification.");
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001704 assert((Hi != SSEUp || Lo == SSE) && "Invalid SSEUp classification.");
1705
1706 neededInt = 0;
1707 neededSSE = 0;
1708 const llvm::Type *ResType = 0;
1709 switch (Lo) {
1710 case NoClass:
Chris Lattner117e3f42010-07-30 04:02:24 +00001711 if (Hi == NoClass)
1712 return ABIArgInfo::getIgnore();
1713 // If the low part is just padding, it takes no register, leave ResType
1714 // null.
1715 assert((Hi == SSE || Hi == Integer || Hi == X87Up) &&
1716 "Unknown missing lo part");
1717 break;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001718
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001719 // AMD64-ABI 3.2.3p3: Rule 1. If the class is MEMORY, pass the argument
1720 // on the stack.
1721 case Memory:
1722
1723 // AMD64-ABI 3.2.3p3: Rule 5. If the class is X87, X87UP or
1724 // COMPLEX_X87, it is passed in memory.
1725 case X87:
1726 case ComplexX87:
Chris Lattner9c254f02010-06-29 06:01:59 +00001727 return getIndirectResult(Ty);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001728
1729 case SSEUp:
1730 case X87Up:
1731 assert(0 && "Invalid classification for lo word.");
1732
1733 // AMD64-ABI 3.2.3p3: Rule 2. If the class is INTEGER, the next
1734 // available register of the sequence %rdi, %rsi, %rdx, %rcx, %r8
1735 // and %r9 is used.
1736 case Integer:
Chris Lattner9c254f02010-06-29 06:01:59 +00001737 ++neededInt;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001738
Chris Lattner49382de2010-07-28 22:44:07 +00001739 // Pick an 8-byte type based on the preferred type.
Chris Lattner0d2656d2010-07-29 17:40:35 +00001740 ResType = GetINTEGERTypeAtOffset(CGT.ConvertTypeRecursive(Ty), 0, Ty, 0);
Chris Lattnereb518b42010-07-29 21:42:50 +00001741
1742 // If we have a sign or zero extended integer, make sure to return Extend
1743 // so that the parameter gets the right LLVM IR attributes.
1744 if (Hi == NoClass && isa<llvm::IntegerType>(ResType)) {
1745 // Treat an enum type as its underlying type.
1746 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
1747 Ty = EnumTy->getDecl()->getIntegerType();
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001748
Chris Lattnereb518b42010-07-29 21:42:50 +00001749 if (Ty->isIntegralOrEnumerationType() &&
1750 Ty->isPromotableIntegerType())
1751 return ABIArgInfo::getExtend();
1752 }
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001753
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001754 break;
1755
1756 // AMD64-ABI 3.2.3p3: Rule 3. If the class is SSE, the next
1757 // available SSE register is used, the registers are taken in the
1758 // order from %xmm0 to %xmm7.
Bill Wendlingbb465d72010-10-18 03:41:31 +00001759 case SSE: {
1760 const llvm::Type *IRType = CGT.ConvertTypeRecursive(Ty);
Bill Wendling99aaae82010-10-18 23:51:38 +00001761 if (Hi != NoClass || !UseX86_MMXType(IRType))
Bill Wendlingbb465d72010-10-18 03:41:31 +00001762 ResType = GetSSETypeAtOffset(IRType, 0, Ty, 0);
Bill Wendling99aaae82010-10-18 23:51:38 +00001763 else
Bill Wendlingbb465d72010-10-18 03:41:31 +00001764 // This is an MMX type. Treat it as such.
1765 ResType = llvm::Type::getX86_MMXTy(getVMContext());
Bill Wendlingbb465d72010-10-18 03:41:31 +00001766
Bill Wendling99aaae82010-10-18 23:51:38 +00001767 ++neededSSE;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001768 break;
1769 }
Bill Wendlingbb465d72010-10-18 03:41:31 +00001770 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001771
Chris Lattner645406a2010-09-01 00:24:35 +00001772 const llvm::Type *HighPart = 0;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001773 switch (Hi) {
1774 // Memory was handled previously, ComplexX87 and X87 should
1775 // never occur as hi classes, and X87Up must be preceed by X87,
1776 // which is passed in memory.
1777 case Memory:
1778 case X87:
1779 case ComplexX87:
1780 assert(0 && "Invalid classification for hi word.");
1781 break;
1782
1783 case NoClass: break;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001784
Chris Lattner645406a2010-09-01 00:24:35 +00001785 case Integer:
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001786 ++neededInt;
Chris Lattner49382de2010-07-28 22:44:07 +00001787 // Pick an 8-byte type based on the preferred type.
Chris Lattner645406a2010-09-01 00:24:35 +00001788 HighPart = GetINTEGERTypeAtOffset(CGT.ConvertTypeRecursive(Ty), 8, Ty, 8);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001789
Chris Lattner645406a2010-09-01 00:24:35 +00001790 if (Lo == NoClass) // Pass HighPart at offset 8 in memory.
1791 return ABIArgInfo::getDirect(HighPart, 8);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001792 break;
1793
1794 // X87Up generally doesn't occur here (long double is passed in
1795 // memory), except in situations involving unions.
1796 case X87Up:
Chris Lattner645406a2010-09-01 00:24:35 +00001797 case SSE:
1798 HighPart = GetSSETypeAtOffset(CGT.ConvertTypeRecursive(Ty), 8, Ty, 8);
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001799
Chris Lattner645406a2010-09-01 00:24:35 +00001800 if (Lo == NoClass) // Pass HighPart at offset 8 in memory.
1801 return ABIArgInfo::getDirect(HighPart, 8);
Chris Lattner117e3f42010-07-30 04:02:24 +00001802
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001803 ++neededSSE;
1804 break;
1805
1806 // AMD64-ABI 3.2.3p3: Rule 4. If the class is SSEUP, the
1807 // eightbyte is passed in the upper half of the last used SSE
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001808 // register. This only happens when 128-bit vectors are passed.
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001809 case SSEUp:
Chris Lattnerab5722e2010-07-28 23:47:21 +00001810 assert(Lo == SSE && "Unexpected SSEUp classification");
Chris Lattner0f408f52010-07-29 04:56:46 +00001811 ResType = Get16ByteVectorType(Ty);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001812 break;
1813 }
1814
Chris Lattner645406a2010-09-01 00:24:35 +00001815 // If a high part was specified, merge it together with the low part. It is
1816 // known to pass in the high eightbyte of the result. We do this by forming a
1817 // first class struct aggregate with the high and low part: {low, high}
1818 if (HighPart)
Chris Lattner66e7b682010-09-01 00:50:20 +00001819 ResType = GetX86_64ByValArgumentPair(ResType, HighPart, getTargetData());
Michael J. Spencer9cac4942010-10-19 06:39:39 +00001820
Chris Lattnereb518b42010-07-29 21:42:50 +00001821 return ABIArgInfo::getDirect(ResType);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001822}
1823
Chris Lattneree5dcd02010-07-29 02:31:05 +00001824void X86_64ABIInfo::computeInfo(CGFunctionInfo &FI) const {
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001825
Chris Lattnera3c109b2010-07-29 02:16:43 +00001826 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001827
1828 // Keep track of the number of assigned registers.
Bill Wendling99aaae82010-10-18 23:51:38 +00001829 unsigned freeIntRegs = 6, freeSSERegs = 8;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001830
1831 // If the return value is indirect, then the hidden argument is consuming one
1832 // integer register.
1833 if (FI.getReturnInfo().isIndirect())
1834 --freeIntRegs;
1835
1836 // AMD64-ABI 3.2.3p3: Once arguments are classified, the registers
1837 // get assigned (in left-to-right order) for passing as follows...
1838 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
1839 it != ie; ++it) {
Bill Wendling99aaae82010-10-18 23:51:38 +00001840 unsigned neededInt, neededSSE;
1841 it->info = classifyArgumentType(it->type, neededInt, neededSSE);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001842
1843 // AMD64-ABI 3.2.3p3: If there are no registers available for any
1844 // eightbyte of an argument, the whole argument is passed on the
1845 // stack. If registers have already been assigned for some
1846 // eightbytes of such an argument, the assignments get reverted.
Bill Wendling99aaae82010-10-18 23:51:38 +00001847 if (freeIntRegs >= neededInt && freeSSERegs >= neededSSE) {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001848 freeIntRegs -= neededInt;
1849 freeSSERegs -= neededSSE;
1850 } else {
Chris Lattner9c254f02010-06-29 06:01:59 +00001851 it->info = getIndirectResult(it->type);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001852 }
1853 }
1854}
1855
1856static llvm::Value *EmitVAArgFromMemory(llvm::Value *VAListAddr,
1857 QualType Ty,
1858 CodeGenFunction &CGF) {
1859 llvm::Value *overflow_arg_area_p =
1860 CGF.Builder.CreateStructGEP(VAListAddr, 2, "overflow_arg_area_p");
1861 llvm::Value *overflow_arg_area =
1862 CGF.Builder.CreateLoad(overflow_arg_area_p, "overflow_arg_area");
1863
1864 // AMD64-ABI 3.5.7p5: Step 7. Align l->overflow_arg_area upwards to a 16
1865 // byte boundary if alignment needed by type exceeds 8 byte boundary.
1866 uint64_t Align = CGF.getContext().getTypeAlign(Ty) / 8;
1867 if (Align > 8) {
1868 // Note that we follow the ABI & gcc here, even though the type
1869 // could in theory have an alignment greater than 16. This case
1870 // shouldn't ever matter in practice.
1871
1872 // overflow_arg_area = (overflow_arg_area + 15) & ~15;
Owen Anderson0032b272009-08-13 21:57:51 +00001873 llvm::Value *Offset =
Chris Lattner77b89b82010-06-27 07:15:29 +00001874 llvm::ConstantInt::get(CGF.Int32Ty, 15);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001875 overflow_arg_area = CGF.Builder.CreateGEP(overflow_arg_area, Offset);
1876 llvm::Value *AsInt = CGF.Builder.CreatePtrToInt(overflow_arg_area,
Chris Lattner77b89b82010-06-27 07:15:29 +00001877 CGF.Int64Ty);
1878 llvm::Value *Mask = llvm::ConstantInt::get(CGF.Int64Ty, ~15LL);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001879 overflow_arg_area =
1880 CGF.Builder.CreateIntToPtr(CGF.Builder.CreateAnd(AsInt, Mask),
1881 overflow_arg_area->getType(),
1882 "overflow_arg_area.align");
1883 }
1884
1885 // AMD64-ABI 3.5.7p5: Step 8. Fetch type from l->overflow_arg_area.
1886 const llvm::Type *LTy = CGF.ConvertTypeForMem(Ty);
1887 llvm::Value *Res =
1888 CGF.Builder.CreateBitCast(overflow_arg_area,
Owen Anderson96e0fc72009-07-29 22:16:19 +00001889 llvm::PointerType::getUnqual(LTy));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001890
1891 // AMD64-ABI 3.5.7p5: Step 9. Set l->overflow_arg_area to:
1892 // l->overflow_arg_area + sizeof(type).
1893 // AMD64-ABI 3.5.7p5: Step 10. Align l->overflow_arg_area upwards to
1894 // an 8 byte boundary.
1895
1896 uint64_t SizeInBytes = (CGF.getContext().getTypeSize(Ty) + 7) / 8;
Owen Anderson0032b272009-08-13 21:57:51 +00001897 llvm::Value *Offset =
Chris Lattner77b89b82010-06-27 07:15:29 +00001898 llvm::ConstantInt::get(CGF.Int32Ty, (SizeInBytes + 7) & ~7);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001899 overflow_arg_area = CGF.Builder.CreateGEP(overflow_arg_area, Offset,
1900 "overflow_arg_area.next");
1901 CGF.Builder.CreateStore(overflow_arg_area, overflow_arg_area_p);
1902
1903 // AMD64-ABI 3.5.7p5: Step 11. Return the fetched type.
1904 return Res;
1905}
1906
1907llvm::Value *X86_64ABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
1908 CodeGenFunction &CGF) const {
Owen Andersona1cf15f2009-07-14 23:10:40 +00001909 llvm::LLVMContext &VMContext = CGF.getLLVMContext();
Mike Stump1eb44332009-09-09 15:08:12 +00001910
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001911 // Assume that va_list type is correct; should be pointer to LLVM type:
1912 // struct {
1913 // i32 gp_offset;
1914 // i32 fp_offset;
1915 // i8* overflow_arg_area;
1916 // i8* reg_save_area;
1917 // };
Bill Wendling99aaae82010-10-18 23:51:38 +00001918 unsigned neededInt, neededSSE;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00001919
Chris Lattnera14db752010-03-11 18:19:55 +00001920 Ty = CGF.getContext().getCanonicalType(Ty);
Bill Wendling99aaae82010-10-18 23:51:38 +00001921 ABIArgInfo AI = classifyArgumentType(Ty, neededInt, neededSSE);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001922
1923 // AMD64-ABI 3.5.7p5: Step 1. Determine whether type may be passed
1924 // in the registers. If not go to step 7.
1925 if (!neededInt && !neededSSE)
1926 return EmitVAArgFromMemory(VAListAddr, Ty, CGF);
1927
1928 // AMD64-ABI 3.5.7p5: Step 2. Compute num_gp to hold the number of
1929 // general purpose registers needed to pass type and num_fp to hold
1930 // the number of floating point registers needed.
1931
1932 // AMD64-ABI 3.5.7p5: Step 3. Verify whether arguments fit into
1933 // registers. In the case: l->gp_offset > 48 - num_gp * 8 or
1934 // l->fp_offset > 304 - num_fp * 16 go to step 7.
1935 //
1936 // NOTE: 304 is a typo, there are (6 * 8 + 8 * 16) = 176 bytes of
1937 // register save space).
1938
1939 llvm::Value *InRegs = 0;
1940 llvm::Value *gp_offset_p = 0, *gp_offset = 0;
1941 llvm::Value *fp_offset_p = 0, *fp_offset = 0;
1942 if (neededInt) {
1943 gp_offset_p = CGF.Builder.CreateStructGEP(VAListAddr, 0, "gp_offset_p");
1944 gp_offset = CGF.Builder.CreateLoad(gp_offset_p, "gp_offset");
Chris Lattner1090a9b2010-06-28 21:43:59 +00001945 InRegs = llvm::ConstantInt::get(CGF.Int32Ty, 48 - neededInt * 8);
1946 InRegs = CGF.Builder.CreateICmpULE(gp_offset, InRegs, "fits_in_gp");
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001947 }
1948
1949 if (neededSSE) {
1950 fp_offset_p = CGF.Builder.CreateStructGEP(VAListAddr, 1, "fp_offset_p");
1951 fp_offset = CGF.Builder.CreateLoad(fp_offset_p, "fp_offset");
1952 llvm::Value *FitsInFP =
Chris Lattner1090a9b2010-06-28 21:43:59 +00001953 llvm::ConstantInt::get(CGF.Int32Ty, 176 - neededSSE * 16);
1954 FitsInFP = CGF.Builder.CreateICmpULE(fp_offset, FitsInFP, "fits_in_fp");
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001955 InRegs = InRegs ? CGF.Builder.CreateAnd(InRegs, FitsInFP) : FitsInFP;
1956 }
1957
1958 llvm::BasicBlock *InRegBlock = CGF.createBasicBlock("vaarg.in_reg");
1959 llvm::BasicBlock *InMemBlock = CGF.createBasicBlock("vaarg.in_mem");
1960 llvm::BasicBlock *ContBlock = CGF.createBasicBlock("vaarg.end");
1961 CGF.Builder.CreateCondBr(InRegs, InRegBlock, InMemBlock);
1962
1963 // Emit code to load the value if it was passed in registers.
1964
1965 CGF.EmitBlock(InRegBlock);
1966
1967 // AMD64-ABI 3.5.7p5: Step 4. Fetch type from l->reg_save_area with
1968 // an offset of l->gp_offset and/or l->fp_offset. This may require
1969 // copying to a temporary location in case the parameter is passed
1970 // in different register classes or requires an alignment greater
1971 // than 8 for general purpose registers and 16 for XMM registers.
1972 //
1973 // FIXME: This really results in shameful code when we end up needing to
1974 // collect arguments from different places; often what should result in a
1975 // simple assembling of a structure from scattered addresses has many more
1976 // loads than necessary. Can we clean this up?
1977 const llvm::Type *LTy = CGF.ConvertTypeForMem(Ty);
1978 llvm::Value *RegAddr =
1979 CGF.Builder.CreateLoad(CGF.Builder.CreateStructGEP(VAListAddr, 3),
1980 "reg_save_area");
1981 if (neededInt && neededSSE) {
1982 // FIXME: Cleanup.
Chris Lattner800588f2010-07-29 06:26:06 +00001983 assert(AI.isDirect() && "Unexpected ABI info for mixed regs");
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001984 const llvm::StructType *ST = cast<llvm::StructType>(AI.getCoerceToType());
1985 llvm::Value *Tmp = CGF.CreateTempAlloca(ST);
1986 assert(ST->getNumElements() == 2 && "Unexpected ABI info for mixed regs");
1987 const llvm::Type *TyLo = ST->getElementType(0);
1988 const llvm::Type *TyHi = ST->getElementType(1);
Chris Lattnera8b7a7d2010-08-26 06:28:35 +00001989 assert((TyLo->isFPOrFPVectorTy() ^ TyHi->isFPOrFPVectorTy()) &&
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001990 "Unexpected ABI info for mixed regs");
Owen Anderson96e0fc72009-07-29 22:16:19 +00001991 const llvm::Type *PTyLo = llvm::PointerType::getUnqual(TyLo);
1992 const llvm::Type *PTyHi = llvm::PointerType::getUnqual(TyHi);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001993 llvm::Value *GPAddr = CGF.Builder.CreateGEP(RegAddr, gp_offset);
1994 llvm::Value *FPAddr = CGF.Builder.CreateGEP(RegAddr, fp_offset);
Duncan Sandsf177d9d2010-02-15 16:14:01 +00001995 llvm::Value *RegLoAddr = TyLo->isFloatingPointTy() ? FPAddr : GPAddr;
1996 llvm::Value *RegHiAddr = TyLo->isFloatingPointTy() ? GPAddr : FPAddr;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00001997 llvm::Value *V =
1998 CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegLoAddr, PTyLo));
1999 CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 0));
2000 V = CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegHiAddr, PTyHi));
2001 CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 1));
2002
Owen Andersona1cf15f2009-07-14 23:10:40 +00002003 RegAddr = CGF.Builder.CreateBitCast(Tmp,
Owen Anderson96e0fc72009-07-29 22:16:19 +00002004 llvm::PointerType::getUnqual(LTy));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002005 } else if (neededInt) {
2006 RegAddr = CGF.Builder.CreateGEP(RegAddr, gp_offset);
2007 RegAddr = CGF.Builder.CreateBitCast(RegAddr,
Owen Anderson96e0fc72009-07-29 22:16:19 +00002008 llvm::PointerType::getUnqual(LTy));
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002009 } else if (neededSSE == 1) {
2010 RegAddr = CGF.Builder.CreateGEP(RegAddr, fp_offset);
2011 RegAddr = CGF.Builder.CreateBitCast(RegAddr,
2012 llvm::PointerType::getUnqual(LTy));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002013 } else {
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002014 assert(neededSSE == 2 && "Invalid number of needed registers!");
2015 // SSE registers are spaced 16 bytes apart in the register save
2016 // area, we need to collect the two eightbytes together.
2017 llvm::Value *RegAddrLo = CGF.Builder.CreateGEP(RegAddr, fp_offset);
Chris Lattner1090a9b2010-06-28 21:43:59 +00002018 llvm::Value *RegAddrHi = CGF.Builder.CreateConstGEP1_32(RegAddrLo, 16);
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002019 const llvm::Type *DoubleTy = llvm::Type::getDoubleTy(VMContext);
2020 const llvm::Type *DblPtrTy =
2021 llvm::PointerType::getUnqual(DoubleTy);
2022 const llvm::StructType *ST = llvm::StructType::get(VMContext, DoubleTy,
2023 DoubleTy, NULL);
2024 llvm::Value *V, *Tmp = CGF.CreateTempAlloca(ST);
2025 V = CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegAddrLo,
2026 DblPtrTy));
2027 CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 0));
2028 V = CGF.Builder.CreateLoad(CGF.Builder.CreateBitCast(RegAddrHi,
2029 DblPtrTy));
2030 CGF.Builder.CreateStore(V, CGF.Builder.CreateStructGEP(Tmp, 1));
2031 RegAddr = CGF.Builder.CreateBitCast(Tmp,
2032 llvm::PointerType::getUnqual(LTy));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002033 }
2034
2035 // AMD64-ABI 3.5.7p5: Step 5. Set:
2036 // l->gp_offset = l->gp_offset + num_gp * 8
2037 // l->fp_offset = l->fp_offset + num_fp * 16.
2038 if (neededInt) {
Chris Lattner77b89b82010-06-27 07:15:29 +00002039 llvm::Value *Offset = llvm::ConstantInt::get(CGF.Int32Ty, neededInt * 8);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002040 CGF.Builder.CreateStore(CGF.Builder.CreateAdd(gp_offset, Offset),
2041 gp_offset_p);
2042 }
2043 if (neededSSE) {
Chris Lattner77b89b82010-06-27 07:15:29 +00002044 llvm::Value *Offset = llvm::ConstantInt::get(CGF.Int32Ty, neededSSE * 16);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002045 CGF.Builder.CreateStore(CGF.Builder.CreateAdd(fp_offset, Offset),
2046 fp_offset_p);
2047 }
2048 CGF.EmitBranch(ContBlock);
2049
2050 // Emit code to load the value if it was passed in memory.
2051
2052 CGF.EmitBlock(InMemBlock);
2053 llvm::Value *MemAddr = EmitVAArgFromMemory(VAListAddr, Ty, CGF);
2054
2055 // Return the appropriate result.
2056
2057 CGF.EmitBlock(ContBlock);
2058 llvm::PHINode *ResAddr = CGF.Builder.CreatePHI(RegAddr->getType(),
2059 "vaarg.addr");
2060 ResAddr->reserveOperandSpace(2);
2061 ResAddr->addIncoming(RegAddr, InRegBlock);
2062 ResAddr->addIncoming(MemAddr, InMemBlock);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002063 return ResAddr;
2064}
2065
Chris Lattnerf13721d2010-08-31 16:44:54 +00002066llvm::Value *WinX86_64ABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2067 CodeGenFunction &CGF) const {
2068 const llvm::Type *BP = llvm::Type::getInt8PtrTy(CGF.getLLVMContext());
2069 const llvm::Type *BPP = llvm::PointerType::getUnqual(BP);
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002070
Chris Lattnerf13721d2010-08-31 16:44:54 +00002071 CGBuilderTy &Builder = CGF.Builder;
2072 llvm::Value *VAListAddrAsBPP = Builder.CreateBitCast(VAListAddr, BPP,
2073 "ap");
2074 llvm::Value *Addr = Builder.CreateLoad(VAListAddrAsBPP, "ap.cur");
2075 llvm::Type *PTy =
2076 llvm::PointerType::getUnqual(CGF.ConvertType(Ty));
2077 llvm::Value *AddrTyped = Builder.CreateBitCast(Addr, PTy);
2078
2079 uint64_t Offset =
2080 llvm::RoundUpToAlignment(CGF.getContext().getTypeSize(Ty) / 8, 8);
2081 llvm::Value *NextAddr =
2082 Builder.CreateGEP(Addr, llvm::ConstantInt::get(CGF.Int32Ty, Offset),
2083 "ap.next");
2084 Builder.CreateStore(NextAddr, VAListAddrAsBPP);
2085
2086 return AddrTyped;
2087}
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002088
John McCallec853ba2010-03-11 00:10:12 +00002089// PowerPC-32
2090
2091namespace {
2092class PPC32TargetCodeGenInfo : public DefaultTargetCodeGenInfo {
2093public:
Chris Lattnerea044322010-07-29 02:01:43 +00002094 PPC32TargetCodeGenInfo(CodeGenTypes &CGT) : DefaultTargetCodeGenInfo(CGT) {}
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00002095
John McCallec853ba2010-03-11 00:10:12 +00002096 int getDwarfEHStackPointer(CodeGen::CodeGenModule &M) const {
2097 // This is recovered from gcc output.
2098 return 1; // r1 is the dedicated stack pointer
2099 }
2100
2101 bool initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00002102 llvm::Value *Address) const;
John McCallec853ba2010-03-11 00:10:12 +00002103};
2104
2105}
2106
2107bool
2108PPC32TargetCodeGenInfo::initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
2109 llvm::Value *Address) const {
2110 // This is calculated from the LLVM and GCC tables and verified
2111 // against gcc output. AFAIK all ABIs use the same encoding.
2112
2113 CodeGen::CGBuilderTy &Builder = CGF.Builder;
2114 llvm::LLVMContext &Context = CGF.getLLVMContext();
2115
2116 const llvm::IntegerType *i8 = llvm::Type::getInt8Ty(Context);
2117 llvm::Value *Four8 = llvm::ConstantInt::get(i8, 4);
2118 llvm::Value *Eight8 = llvm::ConstantInt::get(i8, 8);
2119 llvm::Value *Sixteen8 = llvm::ConstantInt::get(i8, 16);
2120
2121 // 0-31: r0-31, the 4-byte general-purpose registers
John McCallaeeb7012010-05-27 06:19:26 +00002122 AssignToArrayRange(Builder, Address, Four8, 0, 31);
John McCallec853ba2010-03-11 00:10:12 +00002123
2124 // 32-63: fp0-31, the 8-byte floating-point registers
John McCallaeeb7012010-05-27 06:19:26 +00002125 AssignToArrayRange(Builder, Address, Eight8, 32, 63);
John McCallec853ba2010-03-11 00:10:12 +00002126
2127 // 64-76 are various 4-byte special-purpose registers:
2128 // 64: mq
2129 // 65: lr
2130 // 66: ctr
2131 // 67: ap
2132 // 68-75 cr0-7
2133 // 76: xer
John McCallaeeb7012010-05-27 06:19:26 +00002134 AssignToArrayRange(Builder, Address, Four8, 64, 76);
John McCallec853ba2010-03-11 00:10:12 +00002135
2136 // 77-108: v0-31, the 16-byte vector registers
John McCallaeeb7012010-05-27 06:19:26 +00002137 AssignToArrayRange(Builder, Address, Sixteen8, 77, 108);
John McCallec853ba2010-03-11 00:10:12 +00002138
2139 // 109: vrsave
2140 // 110: vscr
2141 // 111: spe_acc
2142 // 112: spefscr
2143 // 113: sfp
John McCallaeeb7012010-05-27 06:19:26 +00002144 AssignToArrayRange(Builder, Address, Four8, 109, 113);
John McCallec853ba2010-03-11 00:10:12 +00002145
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00002146 return false;
John McCallec853ba2010-03-11 00:10:12 +00002147}
2148
2149
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002150//===----------------------------------------------------------------------===//
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002151// ARM ABI Implementation
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002152//===----------------------------------------------------------------------===//
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002153
2154namespace {
2155
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002156class ARMABIInfo : public ABIInfo {
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002157public:
2158 enum ABIKind {
2159 APCS = 0,
2160 AAPCS = 1,
2161 AAPCS_VFP
2162 };
2163
2164private:
2165 ABIKind Kind;
2166
2167public:
Chris Lattnerea044322010-07-29 02:01:43 +00002168 ARMABIInfo(CodeGenTypes &CGT, ABIKind _Kind) : ABIInfo(CGT), Kind(_Kind) {}
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002169
2170private:
2171 ABIKind getABIKind() const { return Kind; }
2172
Chris Lattnera3c109b2010-07-29 02:16:43 +00002173 ABIArgInfo classifyReturnType(QualType RetTy) const;
2174 ABIArgInfo classifyArgumentType(QualType RetTy) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002175
Chris Lattneree5dcd02010-07-29 02:31:05 +00002176 virtual void computeInfo(CGFunctionInfo &FI) const;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002177
2178 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2179 CodeGenFunction &CGF) const;
2180};
2181
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002182class ARMTargetCodeGenInfo : public TargetCodeGenInfo {
2183public:
Chris Lattnerea044322010-07-29 02:01:43 +00002184 ARMTargetCodeGenInfo(CodeGenTypes &CGT, ARMABIInfo::ABIKind K)
2185 :TargetCodeGenInfo(new ARMABIInfo(CGT, K)) {}
John McCall6374c332010-03-06 00:35:14 +00002186
2187 int getDwarfEHStackPointer(CodeGen::CodeGenModule &M) const {
2188 return 13;
2189 }
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002190};
2191
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002192}
2193
Chris Lattneree5dcd02010-07-29 02:31:05 +00002194void ARMABIInfo::computeInfo(CGFunctionInfo &FI) const {
Chris Lattnera3c109b2010-07-29 02:16:43 +00002195 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002196 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
Chris Lattnera3c109b2010-07-29 02:16:43 +00002197 it != ie; ++it)
2198 it->info = classifyArgumentType(it->type);
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002199
Chris Lattnera3c109b2010-07-29 02:16:43 +00002200 const llvm::Triple &Triple(getContext().Target.getTriple());
Rafael Espindola25117ab2010-06-16 16:13:39 +00002201 llvm::CallingConv::ID DefaultCC;
Rafael Espindola1ed1a592010-06-16 19:01:17 +00002202 if (Triple.getEnvironmentName() == "gnueabi" ||
2203 Triple.getEnvironmentName() == "eabi")
Rafael Espindola25117ab2010-06-16 16:13:39 +00002204 DefaultCC = llvm::CallingConv::ARM_AAPCS;
Rafael Espindola1ed1a592010-06-16 19:01:17 +00002205 else
2206 DefaultCC = llvm::CallingConv::ARM_APCS;
Rafael Espindola25117ab2010-06-16 16:13:39 +00002207
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002208 switch (getABIKind()) {
2209 case APCS:
Rafael Espindola25117ab2010-06-16 16:13:39 +00002210 if (DefaultCC != llvm::CallingConv::ARM_APCS)
2211 FI.setEffectiveCallingConvention(llvm::CallingConv::ARM_APCS);
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002212 break;
2213
2214 case AAPCS:
Rafael Espindola25117ab2010-06-16 16:13:39 +00002215 if (DefaultCC != llvm::CallingConv::ARM_AAPCS)
2216 FI.setEffectiveCallingConvention(llvm::CallingConv::ARM_AAPCS);
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002217 break;
2218
2219 case AAPCS_VFP:
2220 FI.setEffectiveCallingConvention(llvm::CallingConv::ARM_AAPCS_VFP);
2221 break;
2222 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002223}
2224
Chris Lattnera3c109b2010-07-29 02:16:43 +00002225ABIArgInfo ARMABIInfo::classifyArgumentType(QualType Ty) const {
John McCalld608cdb2010-08-22 10:59:02 +00002226 if (!isAggregateTypeForABI(Ty)) {
Douglas Gregoraa74a1e2010-02-02 20:10:50 +00002227 // Treat an enum type as its underlying type.
2228 if (const EnumType *EnumTy = Ty->getAs<EnumType>())
2229 Ty = EnumTy->getDecl()->getIntegerType();
2230
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +00002231 return (Ty->isPromotableIntegerType() ?
2232 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Douglas Gregoraa74a1e2010-02-02 20:10:50 +00002233 }
Daniel Dunbar98303b92009-09-13 08:03:58 +00002234
Daniel Dunbar42025572009-09-14 21:54:03 +00002235 // Ignore empty records.
Chris Lattnera3c109b2010-07-29 02:16:43 +00002236 if (isEmptyRecord(getContext(), Ty, true))
Daniel Dunbar42025572009-09-14 21:54:03 +00002237 return ABIArgInfo::getIgnore();
2238
Rafael Espindola0eb1d972010-06-08 02:42:08 +00002239 // Structures with either a non-trivial destructor or a non-trivial
2240 // copy constructor are always indirect.
2241 if (isRecordWithNonTrivialDestructorOrCopyConstructor(Ty))
2242 return ABIArgInfo::getIndirect(0, /*ByVal=*/false);
2243
Daniel Dunbar8aa87c72010-09-23 01:54:28 +00002244 // Otherwise, pass by coercing to a structure of the appropriate size.
2245 //
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002246 // FIXME: This is kind of nasty... but there isn't much choice because the ARM
2247 // backend doesn't support byval.
2248 // FIXME: This doesn't handle alignment > 64 bits.
2249 const llvm::Type* ElemTy;
2250 unsigned SizeRegs;
Chris Lattnera3c109b2010-07-29 02:16:43 +00002251 if (getContext().getTypeAlign(Ty) > 32) {
2252 ElemTy = llvm::Type::getInt64Ty(getVMContext());
2253 SizeRegs = (getContext().getTypeSize(Ty) + 63) / 64;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002254 } else {
Chris Lattnera3c109b2010-07-29 02:16:43 +00002255 ElemTy = llvm::Type::getInt32Ty(getVMContext());
2256 SizeRegs = (getContext().getTypeSize(Ty) + 31) / 32;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002257 }
2258 std::vector<const llvm::Type*> LLVMFields;
Owen Anderson96e0fc72009-07-29 22:16:19 +00002259 LLVMFields.push_back(llvm::ArrayType::get(ElemTy, SizeRegs));
Chris Lattnera3c109b2010-07-29 02:16:43 +00002260 const llvm::Type* STy = llvm::StructType::get(getVMContext(), LLVMFields,
2261 true);
Chris Lattner800588f2010-07-29 06:26:06 +00002262 return ABIArgInfo::getDirect(STy);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002263}
2264
Chris Lattnera3c109b2010-07-29 02:16:43 +00002265static bool isIntegerLikeType(QualType Ty, ASTContext &Context,
Daniel Dunbar98303b92009-09-13 08:03:58 +00002266 llvm::LLVMContext &VMContext) {
2267 // APCS, C Language Calling Conventions, Non-Simple Return Values: A structure
2268 // is called integer-like if its size is less than or equal to one word, and
2269 // the offset of each of its addressable sub-fields is zero.
2270
2271 uint64_t Size = Context.getTypeSize(Ty);
2272
2273 // Check that the type fits in a word.
2274 if (Size > 32)
2275 return false;
2276
2277 // FIXME: Handle vector types!
2278 if (Ty->isVectorType())
2279 return false;
2280
Daniel Dunbarb0d58192009-09-14 02:20:34 +00002281 // Float types are never treated as "integer like".
2282 if (Ty->isRealFloatingType())
2283 return false;
2284
Daniel Dunbar98303b92009-09-13 08:03:58 +00002285 // If this is a builtin or pointer type then it is ok.
John McCall183700f2009-09-21 23:43:11 +00002286 if (Ty->getAs<BuiltinType>() || Ty->isPointerType())
Daniel Dunbar98303b92009-09-13 08:03:58 +00002287 return true;
2288
Daniel Dunbar45815812010-02-01 23:31:26 +00002289 // Small complex integer types are "integer like".
2290 if (const ComplexType *CT = Ty->getAs<ComplexType>())
2291 return isIntegerLikeType(CT->getElementType(), Context, VMContext);
Daniel Dunbar98303b92009-09-13 08:03:58 +00002292
2293 // Single element and zero sized arrays should be allowed, by the definition
2294 // above, but they are not.
2295
2296 // Otherwise, it must be a record type.
2297 const RecordType *RT = Ty->getAs<RecordType>();
2298 if (!RT) return false;
2299
2300 // Ignore records with flexible arrays.
2301 const RecordDecl *RD = RT->getDecl();
2302 if (RD->hasFlexibleArrayMember())
2303 return false;
2304
2305 // Check that all sub-fields are at offset 0, and are themselves "integer
2306 // like".
2307 const ASTRecordLayout &Layout = Context.getASTRecordLayout(RD);
2308
2309 bool HadField = false;
2310 unsigned idx = 0;
2311 for (RecordDecl::field_iterator i = RD->field_begin(), e = RD->field_end();
2312 i != e; ++i, ++idx) {
2313 const FieldDecl *FD = *i;
2314
Daniel Dunbar679855a2010-01-29 03:22:29 +00002315 // Bit-fields are not addressable, we only need to verify they are "integer
2316 // like". We still have to disallow a subsequent non-bitfield, for example:
2317 // struct { int : 0; int x }
2318 // is non-integer like according to gcc.
2319 if (FD->isBitField()) {
2320 if (!RD->isUnion())
2321 HadField = true;
Daniel Dunbar98303b92009-09-13 08:03:58 +00002322
Daniel Dunbar679855a2010-01-29 03:22:29 +00002323 if (!isIntegerLikeType(FD->getType(), Context, VMContext))
2324 return false;
Daniel Dunbar98303b92009-09-13 08:03:58 +00002325
Daniel Dunbar679855a2010-01-29 03:22:29 +00002326 continue;
Daniel Dunbar98303b92009-09-13 08:03:58 +00002327 }
2328
Daniel Dunbar679855a2010-01-29 03:22:29 +00002329 // Check if this field is at offset 0.
2330 if (Layout.getFieldOffset(idx) != 0)
2331 return false;
2332
Daniel Dunbar98303b92009-09-13 08:03:58 +00002333 if (!isIntegerLikeType(FD->getType(), Context, VMContext))
2334 return false;
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00002335
Daniel Dunbar679855a2010-01-29 03:22:29 +00002336 // Only allow at most one field in a structure. This doesn't match the
2337 // wording above, but follows gcc in situations with a field following an
2338 // empty structure.
Daniel Dunbar98303b92009-09-13 08:03:58 +00002339 if (!RD->isUnion()) {
2340 if (HadField)
2341 return false;
2342
2343 HadField = true;
2344 }
2345 }
2346
2347 return true;
2348}
2349
Chris Lattnera3c109b2010-07-29 02:16:43 +00002350ABIArgInfo ARMABIInfo::classifyReturnType(QualType RetTy) const {
Daniel Dunbar98303b92009-09-13 08:03:58 +00002351 if (RetTy->isVoidType())
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002352 return ABIArgInfo::getIgnore();
Daniel Dunbar98303b92009-09-13 08:03:58 +00002353
Daniel Dunbarf554b1c2010-09-23 01:54:32 +00002354 // Large vector types should be returned via memory.
2355 if (RetTy->isVectorType() && getContext().getTypeSize(RetTy) > 128)
2356 return ABIArgInfo::getIndirect(0);
2357
John McCalld608cdb2010-08-22 10:59:02 +00002358 if (!isAggregateTypeForABI(RetTy)) {
Douglas Gregoraa74a1e2010-02-02 20:10:50 +00002359 // Treat an enum type as its underlying type.
2360 if (const EnumType *EnumTy = RetTy->getAs<EnumType>())
2361 RetTy = EnumTy->getDecl()->getIntegerType();
2362
Anton Korobeynikovcc6fa882009-06-06 09:36:29 +00002363 return (RetTy->isPromotableIntegerType() ?
2364 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Douglas Gregoraa74a1e2010-02-02 20:10:50 +00002365 }
Daniel Dunbar98303b92009-09-13 08:03:58 +00002366
Rafael Espindola0eb1d972010-06-08 02:42:08 +00002367 // Structures with either a non-trivial destructor or a non-trivial
2368 // copy constructor are always indirect.
2369 if (isRecordWithNonTrivialDestructorOrCopyConstructor(RetTy))
2370 return ABIArgInfo::getIndirect(0, /*ByVal=*/false);
2371
Daniel Dunbar98303b92009-09-13 08:03:58 +00002372 // Are we following APCS?
2373 if (getABIKind() == APCS) {
Chris Lattnera3c109b2010-07-29 02:16:43 +00002374 if (isEmptyRecord(getContext(), RetTy, false))
Daniel Dunbar98303b92009-09-13 08:03:58 +00002375 return ABIArgInfo::getIgnore();
2376
Daniel Dunbar4cc753f2010-02-01 23:31:19 +00002377 // Complex types are all returned as packed integers.
2378 //
2379 // FIXME: Consider using 2 x vector types if the back end handles them
2380 // correctly.
2381 if (RetTy->isAnyComplexType())
Chris Lattner800588f2010-07-29 06:26:06 +00002382 return ABIArgInfo::getDirect(llvm::IntegerType::get(getVMContext(),
Chris Lattnera3c109b2010-07-29 02:16:43 +00002383 getContext().getTypeSize(RetTy)));
Daniel Dunbar4cc753f2010-02-01 23:31:19 +00002384
Daniel Dunbar98303b92009-09-13 08:03:58 +00002385 // Integer like structures are returned in r0.
Chris Lattnera3c109b2010-07-29 02:16:43 +00002386 if (isIntegerLikeType(RetTy, getContext(), getVMContext())) {
Daniel Dunbar98303b92009-09-13 08:03:58 +00002387 // Return in the smallest viable integer type.
Chris Lattnera3c109b2010-07-29 02:16:43 +00002388 uint64_t Size = getContext().getTypeSize(RetTy);
Daniel Dunbar98303b92009-09-13 08:03:58 +00002389 if (Size <= 8)
Chris Lattner800588f2010-07-29 06:26:06 +00002390 return ABIArgInfo::getDirect(llvm::Type::getInt8Ty(getVMContext()));
Daniel Dunbar98303b92009-09-13 08:03:58 +00002391 if (Size <= 16)
Chris Lattner800588f2010-07-29 06:26:06 +00002392 return ABIArgInfo::getDirect(llvm::Type::getInt16Ty(getVMContext()));
2393 return ABIArgInfo::getDirect(llvm::Type::getInt32Ty(getVMContext()));
Daniel Dunbar98303b92009-09-13 08:03:58 +00002394 }
2395
2396 // Otherwise return in memory.
2397 return ABIArgInfo::getIndirect(0);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002398 }
Daniel Dunbar98303b92009-09-13 08:03:58 +00002399
2400 // Otherwise this is an AAPCS variant.
2401
Chris Lattnera3c109b2010-07-29 02:16:43 +00002402 if (isEmptyRecord(getContext(), RetTy, true))
Daniel Dunbar16a08082009-09-14 00:56:55 +00002403 return ABIArgInfo::getIgnore();
2404
Daniel Dunbar98303b92009-09-13 08:03:58 +00002405 // Aggregates <= 4 bytes are returned in r0; other aggregates
2406 // are returned indirectly.
Chris Lattnera3c109b2010-07-29 02:16:43 +00002407 uint64_t Size = getContext().getTypeSize(RetTy);
Daniel Dunbar16a08082009-09-14 00:56:55 +00002408 if (Size <= 32) {
2409 // Return in the smallest viable integer type.
2410 if (Size <= 8)
Chris Lattner800588f2010-07-29 06:26:06 +00002411 return ABIArgInfo::getDirect(llvm::Type::getInt8Ty(getVMContext()));
Daniel Dunbar16a08082009-09-14 00:56:55 +00002412 if (Size <= 16)
Chris Lattner800588f2010-07-29 06:26:06 +00002413 return ABIArgInfo::getDirect(llvm::Type::getInt16Ty(getVMContext()));
2414 return ABIArgInfo::getDirect(llvm::Type::getInt32Ty(getVMContext()));
Daniel Dunbar16a08082009-09-14 00:56:55 +00002415 }
2416
Daniel Dunbar98303b92009-09-13 08:03:58 +00002417 return ABIArgInfo::getIndirect(0);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002418}
2419
2420llvm::Value *ARMABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
Chris Lattner77b89b82010-06-27 07:15:29 +00002421 CodeGenFunction &CGF) const {
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002422 // FIXME: Need to handle alignment
Benjamin Kramer3c0ef8c2009-10-13 10:07:13 +00002423 const llvm::Type *BP = llvm::Type::getInt8PtrTy(CGF.getLLVMContext());
Owen Anderson96e0fc72009-07-29 22:16:19 +00002424 const llvm::Type *BPP = llvm::PointerType::getUnqual(BP);
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002425
2426 CGBuilderTy &Builder = CGF.Builder;
2427 llvm::Value *VAListAddrAsBPP = Builder.CreateBitCast(VAListAddr, BPP,
2428 "ap");
2429 llvm::Value *Addr = Builder.CreateLoad(VAListAddrAsBPP, "ap.cur");
2430 llvm::Type *PTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00002431 llvm::PointerType::getUnqual(CGF.ConvertType(Ty));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002432 llvm::Value *AddrTyped = Builder.CreateBitCast(Addr, PTy);
2433
2434 uint64_t Offset =
2435 llvm::RoundUpToAlignment(CGF.getContext().getTypeSize(Ty) / 8, 4);
2436 llvm::Value *NextAddr =
Chris Lattner77b89b82010-06-27 07:15:29 +00002437 Builder.CreateGEP(Addr, llvm::ConstantInt::get(CGF.Int32Ty, Offset),
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002438 "ap.next");
2439 Builder.CreateStore(NextAddr, VAListAddrAsBPP);
2440
2441 return AddrTyped;
2442}
2443
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002444//===----------------------------------------------------------------------===//
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002445// SystemZ ABI Implementation
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002446//===----------------------------------------------------------------------===//
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002447
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002448namespace {
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002449
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002450class SystemZABIInfo : public ABIInfo {
Chris Lattnerea044322010-07-29 02:01:43 +00002451public:
2452 SystemZABIInfo(CodeGenTypes &CGT) : ABIInfo(CGT) {}
2453
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002454 bool isPromotableIntegerType(QualType Ty) const;
2455
Chris Lattnera3c109b2010-07-29 02:16:43 +00002456 ABIArgInfo classifyReturnType(QualType RetTy) const;
2457 ABIArgInfo classifyArgumentType(QualType RetTy) const;
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002458
Chris Lattneree5dcd02010-07-29 02:31:05 +00002459 virtual void computeInfo(CGFunctionInfo &FI) const {
Chris Lattnera3c109b2010-07-29 02:16:43 +00002460 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002461 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
2462 it != ie; ++it)
Chris Lattnera3c109b2010-07-29 02:16:43 +00002463 it->info = classifyArgumentType(it->type);
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002464 }
2465
2466 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2467 CodeGenFunction &CGF) const;
2468};
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002469
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002470class SystemZTargetCodeGenInfo : public TargetCodeGenInfo {
2471public:
Chris Lattnerea044322010-07-29 02:01:43 +00002472 SystemZTargetCodeGenInfo(CodeGenTypes &CGT)
2473 : TargetCodeGenInfo(new SystemZABIInfo(CGT)) {}
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002474};
2475
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002476}
2477
2478bool SystemZABIInfo::isPromotableIntegerType(QualType Ty) const {
2479 // SystemZ ABI requires all 8, 16 and 32 bit quantities to be extended.
John McCall183700f2009-09-21 23:43:11 +00002480 if (const BuiltinType *BT = Ty->getAs<BuiltinType>())
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002481 switch (BT->getKind()) {
2482 case BuiltinType::Bool:
2483 case BuiltinType::Char_S:
2484 case BuiltinType::Char_U:
2485 case BuiltinType::SChar:
2486 case BuiltinType::UChar:
2487 case BuiltinType::Short:
2488 case BuiltinType::UShort:
2489 case BuiltinType::Int:
2490 case BuiltinType::UInt:
2491 return true;
2492 default:
2493 return false;
2494 }
2495 return false;
2496}
2497
2498llvm::Value *SystemZABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2499 CodeGenFunction &CGF) const {
2500 // FIXME: Implement
2501 return 0;
2502}
2503
2504
Chris Lattnera3c109b2010-07-29 02:16:43 +00002505ABIArgInfo SystemZABIInfo::classifyReturnType(QualType RetTy) const {
2506 if (RetTy->isVoidType())
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002507 return ABIArgInfo::getIgnore();
John McCalld608cdb2010-08-22 10:59:02 +00002508 if (isAggregateTypeForABI(RetTy))
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002509 return ABIArgInfo::getIndirect(0);
Chris Lattnera3c109b2010-07-29 02:16:43 +00002510
2511 return (isPromotableIntegerType(RetTy) ?
2512 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002513}
2514
Chris Lattnera3c109b2010-07-29 02:16:43 +00002515ABIArgInfo SystemZABIInfo::classifyArgumentType(QualType Ty) const {
John McCalld608cdb2010-08-22 10:59:02 +00002516 if (isAggregateTypeForABI(Ty))
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002517 return ABIArgInfo::getIndirect(0);
Chris Lattnera3c109b2010-07-29 02:16:43 +00002518
2519 return (isPromotableIntegerType(Ty) ?
2520 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
Anton Korobeynikov89e887f2009-07-16 20:09:57 +00002521}
2522
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002523//===----------------------------------------------------------------------===//
Wesley Peck276fdf42010-12-19 19:57:51 +00002524// MBlaze ABI Implementation
2525//===----------------------------------------------------------------------===//
2526
2527namespace {
2528
2529class MBlazeABIInfo : public ABIInfo {
2530public:
2531 MBlazeABIInfo(CodeGenTypes &CGT) : ABIInfo(CGT) {}
2532
2533 bool isPromotableIntegerType(QualType Ty) const;
2534
2535 ABIArgInfo classifyReturnType(QualType RetTy) const;
2536 ABIArgInfo classifyArgumentType(QualType RetTy) const;
2537
2538 virtual void computeInfo(CGFunctionInfo &FI) const {
2539 FI.getReturnInfo() = classifyReturnType(FI.getReturnType());
2540 for (CGFunctionInfo::arg_iterator it = FI.arg_begin(), ie = FI.arg_end();
2541 it != ie; ++it)
2542 it->info = classifyArgumentType(it->type);
2543 }
2544
2545 virtual llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2546 CodeGenFunction &CGF) const;
2547};
2548
2549class MBlazeTargetCodeGenInfo : public TargetCodeGenInfo {
2550public:
2551 MBlazeTargetCodeGenInfo(CodeGenTypes &CGT)
2552 : TargetCodeGenInfo(new MBlazeABIInfo(CGT)) {}
2553 void SetTargetAttributes(const Decl *D, llvm::GlobalValue *GV,
2554 CodeGen::CodeGenModule &M) const;
2555};
2556
2557}
2558
2559bool MBlazeABIInfo::isPromotableIntegerType(QualType Ty) const {
2560 // MBlaze ABI requires all 8 and 16 bit quantities to be extended.
2561 if (const BuiltinType *BT = Ty->getAs<BuiltinType>())
2562 switch (BT->getKind()) {
2563 case BuiltinType::Bool:
2564 case BuiltinType::Char_S:
2565 case BuiltinType::Char_U:
2566 case BuiltinType::SChar:
2567 case BuiltinType::UChar:
2568 case BuiltinType::Short:
2569 case BuiltinType::UShort:
2570 return true;
2571 default:
2572 return false;
2573 }
2574 return false;
2575}
2576
2577llvm::Value *MBlazeABIInfo::EmitVAArg(llvm::Value *VAListAddr, QualType Ty,
2578 CodeGenFunction &CGF) const {
2579 // FIXME: Implement
2580 return 0;
2581}
2582
2583
2584ABIArgInfo MBlazeABIInfo::classifyReturnType(QualType RetTy) const {
2585 if (RetTy->isVoidType())
2586 return ABIArgInfo::getIgnore();
2587 if (isAggregateTypeForABI(RetTy))
2588 return ABIArgInfo::getIndirect(0);
2589
2590 return (isPromotableIntegerType(RetTy) ?
2591 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
2592}
2593
2594ABIArgInfo MBlazeABIInfo::classifyArgumentType(QualType Ty) const {
2595 if (isAggregateTypeForABI(Ty))
2596 return ABIArgInfo::getIndirect(0);
2597
2598 return (isPromotableIntegerType(Ty) ?
2599 ABIArgInfo::getExtend() : ABIArgInfo::getDirect());
2600}
2601
2602void MBlazeTargetCodeGenInfo::SetTargetAttributes(const Decl *D,
2603 llvm::GlobalValue *GV,
2604 CodeGen::CodeGenModule &M)
2605 const {
2606 const FunctionDecl *FD = dyn_cast<FunctionDecl>(D);
2607 if (!FD) return;
2608
2609 llvm::CallingConv::ID CC = llvm::CallingConv::C;
2610 if (FD->hasAttr<MBlazeInterruptHandlerAttr>())
2611 CC = llvm::CallingConv::MBLAZE_INTR;
2612 else if (FD->hasAttr<MBlazeSaveVolatilesAttr>())
2613 CC = llvm::CallingConv::MBLAZE_SVOL;
2614
2615 if (CC != llvm::CallingConv::C) {
2616 // Handle 'interrupt_handler' attribute:
2617 llvm::Function *F = cast<llvm::Function>(GV);
2618
2619 // Step 1: Set ISR calling convention.
2620 F->setCallingConv(CC);
2621
2622 // Step 2: Add attributes goodness.
2623 F->addFnAttr(llvm::Attribute::NoInline);
2624 }
2625
2626 // Step 3: Emit _interrupt_handler alias.
2627 if (CC == llvm::CallingConv::MBLAZE_INTR)
2628 new llvm::GlobalAlias(GV->getType(), llvm::Function::ExternalLinkage,
2629 "_interrupt_handler", GV, &M.getModule());
2630}
2631
2632
2633//===----------------------------------------------------------------------===//
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002634// MSP430 ABI Implementation
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002635//===----------------------------------------------------------------------===//
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002636
2637namespace {
2638
2639class MSP430TargetCodeGenInfo : public TargetCodeGenInfo {
2640public:
Chris Lattnerea044322010-07-29 02:01:43 +00002641 MSP430TargetCodeGenInfo(CodeGenTypes &CGT)
2642 : TargetCodeGenInfo(new DefaultABIInfo(CGT)) {}
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002643 void SetTargetAttributes(const Decl *D, llvm::GlobalValue *GV,
2644 CodeGen::CodeGenModule &M) const;
2645};
2646
2647}
2648
2649void MSP430TargetCodeGenInfo::SetTargetAttributes(const Decl *D,
2650 llvm::GlobalValue *GV,
2651 CodeGen::CodeGenModule &M) const {
2652 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
2653 if (const MSP430InterruptAttr *attr = FD->getAttr<MSP430InterruptAttr>()) {
2654 // Handle 'interrupt' attribute:
2655 llvm::Function *F = cast<llvm::Function>(GV);
2656
2657 // Step 1: Set ISR calling convention.
2658 F->setCallingConv(llvm::CallingConv::MSP430_INTR);
2659
2660 // Step 2: Add attributes goodness.
2661 F->addFnAttr(llvm::Attribute::NoInline);
2662
2663 // Step 3: Emit ISR vector alias.
2664 unsigned Num = attr->getNumber() + 0xffe0;
2665 new llvm::GlobalAlias(GV->getType(), llvm::Function::ExternalLinkage,
Benjamin Kramer77d66052010-11-12 15:42:18 +00002666 "vector_" + llvm::Twine::utohexstr(Num),
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002667 GV, &M.getModule());
2668 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002669 }
2670}
2671
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002672//===----------------------------------------------------------------------===//
John McCallaeeb7012010-05-27 06:19:26 +00002673// MIPS ABI Implementation. This works for both little-endian and
2674// big-endian variants.
Chris Lattnerdce5ad02010-06-28 20:05:43 +00002675//===----------------------------------------------------------------------===//
2676
John McCallaeeb7012010-05-27 06:19:26 +00002677namespace {
2678class MIPSTargetCodeGenInfo : public TargetCodeGenInfo {
2679public:
Chris Lattnerea044322010-07-29 02:01:43 +00002680 MIPSTargetCodeGenInfo(CodeGenTypes &CGT)
2681 : TargetCodeGenInfo(new DefaultABIInfo(CGT)) {}
John McCallaeeb7012010-05-27 06:19:26 +00002682
2683 int getDwarfEHStackPointer(CodeGen::CodeGenModule &CGM) const {
2684 return 29;
2685 }
2686
2687 bool initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
Michael J. Spencer8bea82f2010-08-25 18:17:27 +00002688 llvm::Value *Address) const;
John McCallaeeb7012010-05-27 06:19:26 +00002689};
2690}
2691
2692bool
2693MIPSTargetCodeGenInfo::initDwarfEHRegSizeTable(CodeGen::CodeGenFunction &CGF,
2694 llvm::Value *Address) const {
2695 // This information comes from gcc's implementation, which seems to
2696 // as canonical as it gets.
2697
2698 CodeGen::CGBuilderTy &Builder = CGF.Builder;
2699 llvm::LLVMContext &Context = CGF.getLLVMContext();
2700
2701 // Everything on MIPS is 4 bytes. Double-precision FP registers
2702 // are aliased to pairs of single-precision FP registers.
2703 const llvm::IntegerType *i8 = llvm::Type::getInt8Ty(Context);
2704 llvm::Value *Four8 = llvm::ConstantInt::get(i8, 4);
2705
2706 // 0-31 are the general purpose registers, $0 - $31.
2707 // 32-63 are the floating-point registers, $f0 - $f31.
2708 // 64 and 65 are the multiply/divide registers, $hi and $lo.
2709 // 66 is the (notional, I think) register for signal-handler return.
2710 AssignToArrayRange(Builder, Address, Four8, 0, 65);
2711
2712 // 67-74 are the floating-point status registers, $fcc0 - $fcc7.
2713 // They are one bit wide and ignored here.
2714
2715 // 80-111 are the coprocessor 0 registers, $c0r0 - $c0r31.
2716 // (coprocessor 1 is the FP unit)
2717 // 112-143 are the coprocessor 2 registers, $c2r0 - $c2r31.
2718 // 144-175 are the coprocessor 3 registers, $c3r0 - $c3r31.
2719 // 176-181 are the DSP accumulator registers.
2720 AssignToArrayRange(Builder, Address, Four8, 80, 181);
2721
2722 return false;
2723}
2724
2725
Chris Lattnerea044322010-07-29 02:01:43 +00002726const TargetCodeGenInfo &CodeGenModule::getTargetCodeGenInfo() {
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002727 if (TheTargetCodeGenInfo)
2728 return *TheTargetCodeGenInfo;
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002729
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002730 // For now we just cache the TargetCodeGenInfo in CodeGenModule and don't
2731 // free it.
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002732
Chris Lattner9c254f02010-06-29 06:01:59 +00002733 const llvm::Triple &Triple = getContext().Target.getTriple();
Daniel Dunbar1752ee42009-08-24 09:10:05 +00002734 switch (Triple.getArch()) {
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002735 default:
Chris Lattnerea044322010-07-29 02:01:43 +00002736 return *(TheTargetCodeGenInfo = new DefaultTargetCodeGenInfo(Types));
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002737
John McCallaeeb7012010-05-27 06:19:26 +00002738 case llvm::Triple::mips:
2739 case llvm::Triple::mipsel:
Chris Lattnerea044322010-07-29 02:01:43 +00002740 return *(TheTargetCodeGenInfo = new MIPSTargetCodeGenInfo(Types));
John McCallaeeb7012010-05-27 06:19:26 +00002741
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002742 case llvm::Triple::arm:
2743 case llvm::Triple::thumb:
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002744 // FIXME: We want to know the float calling convention as well.
Daniel Dunbar018ba5a2009-09-14 00:35:03 +00002745 if (strcmp(getContext().Target.getABI(), "apcs-gnu") == 0)
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002746 return *(TheTargetCodeGenInfo =
Chris Lattnerea044322010-07-29 02:01:43 +00002747 new ARMTargetCodeGenInfo(Types, ARMABIInfo::APCS));
Daniel Dunbar5e7bace2009-09-12 01:00:39 +00002748
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002749 return *(TheTargetCodeGenInfo =
Chris Lattnerea044322010-07-29 02:01:43 +00002750 new ARMTargetCodeGenInfo(Types, ARMABIInfo::AAPCS));
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002751
John McCallec853ba2010-03-11 00:10:12 +00002752 case llvm::Triple::ppc:
Chris Lattnerea044322010-07-29 02:01:43 +00002753 return *(TheTargetCodeGenInfo = new PPC32TargetCodeGenInfo(Types));
John McCallec853ba2010-03-11 00:10:12 +00002754
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002755 case llvm::Triple::systemz:
Chris Lattnerea044322010-07-29 02:01:43 +00002756 return *(TheTargetCodeGenInfo = new SystemZTargetCodeGenInfo(Types));
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002757
Wesley Peck276fdf42010-12-19 19:57:51 +00002758 case llvm::Triple::mblaze:
2759 return *(TheTargetCodeGenInfo = new MBlazeTargetCodeGenInfo(Types));
2760
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002761 case llvm::Triple::msp430:
Chris Lattnerea044322010-07-29 02:01:43 +00002762 return *(TheTargetCodeGenInfo = new MSP430TargetCodeGenInfo(Types));
Daniel Dunbar34d91fd2009-09-12 00:59:49 +00002763
Daniel Dunbar1752ee42009-08-24 09:10:05 +00002764 case llvm::Triple::x86:
Daniel Dunbar1752ee42009-08-24 09:10:05 +00002765 switch (Triple.getOS()) {
Edward O'Callaghan7ee68bd2009-10-20 17:22:50 +00002766 case llvm::Triple::Darwin:
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002767 return *(TheTargetCodeGenInfo =
Chris Lattnerea044322010-07-29 02:01:43 +00002768 new X86_32TargetCodeGenInfo(Types, true, true));
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002769 case llvm::Triple::Cygwin:
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002770 case llvm::Triple::MinGW32:
Edward O'Callaghan727e2682009-10-21 11:58:24 +00002771 case llvm::Triple::AuroraUX:
2772 case llvm::Triple::DragonFly:
David Chisnall75c135a2009-09-03 01:48:05 +00002773 case llvm::Triple::FreeBSD:
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002774 case llvm::Triple::OpenBSD:
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002775 return *(TheTargetCodeGenInfo =
Chris Lattnerea044322010-07-29 02:01:43 +00002776 new X86_32TargetCodeGenInfo(Types, false, true));
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002777
2778 default:
Anton Korobeynikov82d0a412010-01-10 12:58:08 +00002779 return *(TheTargetCodeGenInfo =
Chris Lattnerea044322010-07-29 02:01:43 +00002780 new X86_32TargetCodeGenInfo(Types, false, false));
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002781 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002782
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002783 case llvm::Triple::x86_64:
Chris Lattnerf13721d2010-08-31 16:44:54 +00002784 switch (Triple.getOS()) {
2785 case llvm::Triple::Win32:
2786 case llvm::Triple::MinGW64:
2787 case llvm::Triple::Cygwin:
2788 return *(TheTargetCodeGenInfo = new WinX86_64TargetCodeGenInfo(Types));
2789 default:
2790 return *(TheTargetCodeGenInfo = new X86_64TargetCodeGenInfo(Types));
2791 }
Daniel Dunbar2c0843f2009-08-24 08:52:16 +00002792 }
Anton Korobeynikovc4a59eb2009-06-05 22:08:42 +00002793}