Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 1 | //===--- CodeGenTypes.h - Type translation for LLVM CodeGen -----*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 0bc735f | 2007-12-29 19:59:25 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 10 | // This is the code that handles AST -> LLVM type lowering. |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 14 | #ifndef LLVM_CLANG_LIB_CODEGEN_CODEGENTYPES_H |
| 15 | #define LLVM_CLANG_LIB_CODEGEN_CODEGENTYPES_H |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 16 | |
Chris Lattner | 800588f | 2010-07-29 06:26:06 +0000 | [diff] [blame] | 17 | #include "CGCall.h" |
Peter Collingbourne | fd05ca0 | 2011-06-14 04:02:39 +0000 | [diff] [blame] | 18 | #include "clang/AST/GlobalDecl.h" |
Mark Lacey | cdd7a96 | 2013-10-30 23:40:28 +0000 | [diff] [blame] | 19 | #include "clang/CodeGen/CGFunctionInfo.h" |
Anders Carlsson | c9e2091 | 2007-08-21 00:21:21 +0000 | [diff] [blame] | 20 | #include "llvm/ADT/DenseMap.h" |
Chandler Carruth | 3b844ba | 2013-01-02 11:45:17 +0000 | [diff] [blame] | 21 | #include "llvm/IR/Module.h" |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 22 | #include <vector> |
| 23 | |
| 24 | namespace llvm { |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 25 | class FunctionType; |
| 26 | class Module; |
| 27 | class DataLayout; |
| 28 | class Type; |
| 29 | class LLVMContext; |
| 30 | class StructType; |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 31 | } |
| 32 | |
| 33 | namespace clang { |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 34 | class ASTContext; |
| 35 | template <typename> class CanQual; |
| 36 | class CXXConstructorDecl; |
| 37 | class CXXDestructorDecl; |
| 38 | class CXXMethodDecl; |
| 39 | class CodeGenOptions; |
| 40 | class FieldDecl; |
| 41 | class FunctionProtoType; |
| 42 | class ObjCInterfaceDecl; |
| 43 | class ObjCIvarDecl; |
| 44 | class PointerType; |
| 45 | class QualType; |
| 46 | class RecordDecl; |
| 47 | class TagDecl; |
| 48 | class TargetInfo; |
| 49 | class Type; |
| 50 | typedef CanQual<Type> CanQualType; |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 51 | |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 52 | namespace CodeGen { |
Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame^] | 53 | class ABIInfo; |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 54 | class CGCXXABI; |
| 55 | class CGRecordLayout; |
| 56 | class CodeGenModule; |
| 57 | class RequiredArgs; |
| 58 | |
| 59 | enum class StructorType { |
| 60 | Complete, // constructor or destructor |
| 61 | Base, // constructor or destructor |
| 62 | Deleting // destructor only |
| 63 | }; |
| 64 | |
| 65 | inline CXXCtorType toCXXCtorType(StructorType T) { |
| 66 | switch (T) { |
| 67 | case StructorType::Complete: |
| 68 | return Ctor_Complete; |
| 69 | case StructorType::Base: |
| 70 | return Ctor_Base; |
| 71 | case StructorType::Deleting: |
| 72 | llvm_unreachable("cannot have a deleting ctor"); |
| 73 | } |
| 74 | llvm_unreachable("not a StructorType"); |
| 75 | } |
| 76 | |
| 77 | inline StructorType getFromCtorType(CXXCtorType T) { |
| 78 | switch (T) { |
| 79 | case Ctor_Complete: |
| 80 | return StructorType::Complete; |
| 81 | case Ctor_Base: |
| 82 | return StructorType::Base; |
| 83 | case Ctor_Comdat: |
| 84 | llvm_unreachable("not expecting a COMDAT"); |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 85 | case Ctor_CopyingClosure: |
| 86 | case Ctor_DefaultClosure: |
| 87 | llvm_unreachable("not expecting a closure"); |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 88 | } |
| 89 | llvm_unreachable("not a CXXCtorType"); |
| 90 | } |
| 91 | |
| 92 | inline CXXDtorType toCXXDtorType(StructorType T) { |
| 93 | switch (T) { |
| 94 | case StructorType::Complete: |
| 95 | return Dtor_Complete; |
| 96 | case StructorType::Base: |
| 97 | return Dtor_Base; |
| 98 | case StructorType::Deleting: |
| 99 | return Dtor_Deleting; |
| 100 | } |
| 101 | llvm_unreachable("not a StructorType"); |
| 102 | } |
| 103 | |
| 104 | inline StructorType getFromDtorType(CXXDtorType T) { |
| 105 | switch (T) { |
| 106 | case Dtor_Deleting: |
| 107 | return StructorType::Deleting; |
| 108 | case Dtor_Complete: |
| 109 | return StructorType::Complete; |
| 110 | case Dtor_Base: |
| 111 | return StructorType::Base; |
| 112 | case Dtor_Comdat: |
| 113 | llvm_unreachable("not expecting a COMDAT"); |
| 114 | } |
| 115 | llvm_unreachable("not a CXXDtorType"); |
| 116 | } |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 117 | |
Pirama Arumuga Nainar | b6d6993 | 2015-07-01 12:25:36 -0700 | [diff] [blame] | 118 | /// This class organizes the cross-module state that is used while lowering |
| 119 | /// AST types to LLVM types. |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 120 | class CodeGenTypes { |
John McCall | 64aa4b3 | 2013-04-16 22:48:15 +0000 | [diff] [blame] | 121 | CodeGenModule &CGM; |
Mark Lacey | c3f7fd6 | 2013-10-10 20:57:00 +0000 | [diff] [blame] | 122 | // Some of this stuff should probably be left on the CGM. |
Chris Lattner | d2d2a11 | 2007-07-14 01:29:45 +0000 | [diff] [blame] | 123 | ASTContext &Context; |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 124 | llvm::Module &TheModule; |
John McCall | 64aa4b3 | 2013-04-16 22:48:15 +0000 | [diff] [blame] | 125 | const TargetInfo &Target; |
John McCall | f16aa10 | 2010-08-22 21:01:12 +0000 | [diff] [blame] | 126 | CGCXXABI &TheCXXABI; |
John McCall | 64aa4b3 | 2013-04-16 22:48:15 +0000 | [diff] [blame] | 127 | |
| 128 | // This should not be moved earlier, since its initialization depends on some |
| 129 | // of the previous reference members being already initialized |
| 130 | const ABIInfo &TheABIInfo; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 131 | |
Daniel Dunbar | 412f59b | 2009-04-22 10:28:39 +0000 | [diff] [blame] | 132 | /// The opaque type map for Objective-C interfaces. All direct |
| 133 | /// manipulation is done by the runtime interfaces, which are |
| 134 | /// responsible for coercing to the appropriate type; these opaque |
| 135 | /// types are never refined. |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 136 | llvm::DenseMap<const ObjCInterfaceType*, llvm::Type *> InterfaceTypes; |
Daniel Dunbar | 412f59b | 2009-04-22 10:28:39 +0000 | [diff] [blame] | 137 | |
Pirama Arumuga Nainar | b6d6993 | 2015-07-01 12:25:36 -0700 | [diff] [blame] | 138 | /// Maps clang struct type with corresponding record layout info. |
Daniel Dunbar | efb6d0d | 2008-09-06 02:26:43 +0000 | [diff] [blame] | 139 | llvm::DenseMap<const Type*, CGRecordLayout *> CGRecordLayouts; |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 140 | |
Pirama Arumuga Nainar | b6d6993 | 2015-07-01 12:25:36 -0700 | [diff] [blame] | 141 | /// Contains the LLVM IR type for any converted RecordDecl. |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 142 | llvm::DenseMap<const Type*, llvm::StructType *> RecordDeclTypes; |
| 143 | |
Pirama Arumuga Nainar | b6d6993 | 2015-07-01 12:25:36 -0700 | [diff] [blame] | 144 | /// Hold memoized CGFunctionInfo results. |
Daniel Dunbar | 40a6be6 | 2009-02-03 00:07:12 +0000 | [diff] [blame] | 145 | llvm::FoldingSet<CGFunctionInfo> FunctionInfos; |
| 146 | |
Pirama Arumuga Nainar | b6d6993 | 2015-07-01 12:25:36 -0700 | [diff] [blame] | 147 | /// This set keeps track of records that we're currently converting |
| 148 | /// to an IR type. For example, when converting: |
Chris Lattner | 71305cc | 2011-07-15 05:16:14 +0000 | [diff] [blame] | 149 | /// struct A { struct B { int x; } } when processing 'x', the 'A' and 'B' |
| 150 | /// types will be in this set. |
| 151 | llvm::SmallPtrSet<const Type*, 4> RecordsBeingLaidOut; |
| 152 | |
| 153 | llvm::SmallPtrSet<const CGFunctionInfo*, 4> FunctionsBeingProcessed; |
| 154 | |
Pirama Arumuga Nainar | b6d6993 | 2015-07-01 12:25:36 -0700 | [diff] [blame] | 155 | /// True if we didn't layout a function due to a being inside |
Chris Lattner | 71305cc | 2011-07-15 05:16:14 +0000 | [diff] [blame] | 156 | /// a recursive struct conversion, set this to true. |
Chris Lattner | 57eb23f | 2011-07-10 05:39:13 +0000 | [diff] [blame] | 157 | bool SkippedLayout; |
| 158 | |
Chris Lattner | 686775d | 2011-07-20 06:58:45 +0000 | [diff] [blame] | 159 | SmallVector<const RecordDecl *, 8> DeferredRecords; |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 160 | |
Pirama Arumuga Nainar | b6d6993 | 2015-07-01 12:25:36 -0700 | [diff] [blame] | 161 | /// This map keeps cache of llvm::Types and maps clang::Type to |
| 162 | /// corresponding llvm::Type. |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 163 | llvm::DenseMap<const Type *, llvm::Type *> TypeCache; |
Anders Carlsson | e9742b0 | 2011-04-17 21:36:59 +0000 | [diff] [blame] | 164 | |
Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame^] | 165 | llvm::SmallSet<const Type *, 8> RecordsWithOpaqueMemberPointers; |
| 166 | |
| 167 | unsigned ClangCallConvToLLVMCallConv(CallingConv CC); |
| 168 | |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 169 | public: |
John McCall | 64aa4b3 | 2013-04-16 22:48:15 +0000 | [diff] [blame] | 170 | CodeGenTypes(CodeGenModule &cgm); |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 171 | ~CodeGenTypes(); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 172 | |
Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 173 | const llvm::DataLayout &getDataLayout() const { |
| 174 | return TheModule.getDataLayout(); |
| 175 | } |
Devang Patel | 86522b9 | 2007-10-29 20:50:19 +0000 | [diff] [blame] | 176 | ASTContext &getContext() const { return Context; } |
Anton Korobeynikov | 82d0a41 | 2010-01-10 12:58:08 +0000 | [diff] [blame] | 177 | const ABIInfo &getABIInfo() const { return TheABIInfo; } |
John McCall | 64aa4b3 | 2013-04-16 22:48:15 +0000 | [diff] [blame] | 178 | const TargetInfo &getTarget() const { return Target; } |
John McCall | f16aa10 | 2010-08-22 21:01:12 +0000 | [diff] [blame] | 179 | CGCXXABI &getCXXABI() const { return TheCXXABI; } |
Owen Anderson | 47a434f | 2009-08-05 23:18:46 +0000 | [diff] [blame] | 180 | llvm::LLVMContext &getLLVMContext() { return TheModule.getContext(); } |
Devang Patel | 5825ac2 | 2007-10-25 21:40:12 +0000 | [diff] [blame] | 181 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 182 | /// ConvertType - Convert type T into a llvm::Type. |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 183 | llvm::Type *ConvertType(QualType T); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 184 | |
Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 185 | /// \brief Converts the GlobalDecl into an llvm::Type. This should be used |
| 186 | /// when we know the target of the function we want to convert. This is |
| 187 | /// because some functions (explicitly, those with pass_object_size |
| 188 | /// parameters) may not have the same signature as their type portrays, and |
| 189 | /// can only be called directly. |
| 190 | llvm::Type *ConvertFunctionType(QualType FT, |
| 191 | const FunctionDecl *FD = nullptr); |
| 192 | |
Chris Lattner | 4581fff | 2008-02-06 05:21:55 +0000 | [diff] [blame] | 193 | /// ConvertTypeForMem - Convert type T into a llvm::Type. This differs from |
| 194 | /// ConvertType in that it is used to convert to the memory representation for |
| 195 | /// a type. For example, the scalar representation for _Bool is i1, but the |
| 196 | /// memory representation is usually i8 or i32, depending on the target. |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 197 | llvm::Type *ConvertTypeForMem(QualType T); |
Daniel Dunbar | 45c25ba | 2008-09-10 04:01:49 +0000 | [diff] [blame] | 198 | |
Daniel Dunbar | 36b5f5e | 2009-01-31 03:05:44 +0000 | [diff] [blame] | 199 | /// GetFunctionType - Get the LLVM function type for \arg Info. |
John McCall | de5d3c7 | 2012-02-17 03:33:10 +0000 | [diff] [blame] | 200 | llvm::FunctionType *GetFunctionType(const CGFunctionInfo &Info); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 201 | |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 202 | llvm::FunctionType *GetFunctionType(GlobalDecl GD); |
John McCall | c0bf462 | 2010-02-23 00:48:20 +0000 | [diff] [blame] | 203 | |
Chris Lattner | f742eb0 | 2011-07-10 00:18:59 +0000 | [diff] [blame] | 204 | /// isFuncTypeConvertible - Utility to check whether a function type can |
Eli Friedman | c00129a | 2010-05-30 06:03:20 +0000 | [diff] [blame] | 205 | /// be converted to an LLVM type (i.e. doesn't depend on an incomplete tag |
| 206 | /// type). |
Chris Lattner | f742eb0 | 2011-07-10 00:18:59 +0000 | [diff] [blame] | 207 | bool isFuncTypeConvertible(const FunctionType *FT); |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 208 | bool isFuncParamTypeConvertible(QualType Ty); |
| 209 | |
Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame^] | 210 | /// Determine if a C++ inheriting constructor should have parameters matching |
| 211 | /// those of its inherited constructor. |
| 212 | bool inheritingCtorHasParams(const InheritedConstructor &Inherited, |
| 213 | CXXCtorType Type); |
| 214 | |
Anders Carlsson | 046c294 | 2010-04-17 20:15:18 +0000 | [diff] [blame] | 215 | /// GetFunctionTypeForVTable - Get the LLVM function type for use in a vtable, |
Michael J. Spencer | 9cac494 | 2010-10-19 06:39:39 +0000 | [diff] [blame] | 216 | /// given a CXXMethodDecl. If the method to has an incomplete return type, |
Anders Carlsson | ecf282b | 2009-11-24 05:08:52 +0000 | [diff] [blame] | 217 | /// and/or incomplete argument types, this will return the opaque type. |
Chris Lattner | 2acc6e3 | 2011-07-18 04:24:23 +0000 | [diff] [blame] | 218 | llvm::Type *GetFunctionTypeForVTable(GlobalDecl GD); |
Michael J. Spencer | 9cac494 | 2010-10-19 06:39:39 +0000 | [diff] [blame] | 219 | |
Anders Carlsson | c8f01eb | 2010-11-24 19:51:04 +0000 | [diff] [blame] | 220 | const CGRecordLayout &getCGRecordLayout(const RecordDecl*); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 221 | |
Chris Lattner | c5b8806 | 2008-02-06 05:08:19 +0000 | [diff] [blame] | 222 | /// UpdateCompletedType - When we find the full definition for a TagDecl, |
| 223 | /// replace the 'opaque' type we previously made for it if applicable. |
| 224 | void UpdateCompletedType(const TagDecl *TD); |
Daniel Dunbar | 541b63b | 2009-02-02 23:23:47 +0000 | [diff] [blame] | 225 | |
Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame^] | 226 | /// \brief Remove stale types from the type cache when an inheritance model |
| 227 | /// gets assigned to a class. |
| 228 | void RefreshTypeCacheForClass(const CXXRecordDecl *RD); |
John McCall | d26bc76 | 2011-03-09 04:27:21 +0000 | [diff] [blame] | 229 | |
John McCall | de5d3c7 | 2012-02-17 03:33:10 +0000 | [diff] [blame] | 230 | // The arrangement methods are split into three families: |
| 231 | // - those meant to drive the signature and prologue/epilogue |
| 232 | // of a function declaration or definition, |
| 233 | // - those meant for the computation of the LLVM type for an abstract |
| 234 | // appearance of a function, and |
| 235 | // - those meant for performing the IR-generation of a call. |
| 236 | // They differ mainly in how they deal with optional (i.e. variadic) |
| 237 | // arguments, as well as unprototyped functions. |
| 238 | // |
| 239 | // Key points: |
| 240 | // - The CGFunctionInfo for emitting a specific call site must include |
| 241 | // entries for the optional arguments. |
| 242 | // - The function type used at the call site must reflect the formal |
| 243 | // signature of the declaration being called, or else the call will |
| 244 | // go awry. |
| 245 | // - For the most part, unprototyped functions are called by casting to |
| 246 | // a formal signature inferred from the specific argument types used |
| 247 | // at the call-site. However, some targets (e.g. x86-64) screw with |
| 248 | // this for compatibility reasons. |
Michael J. Spencer | 9cac494 | 2010-10-19 06:39:39 +0000 | [diff] [blame] | 249 | |
John McCall | de5d3c7 | 2012-02-17 03:33:10 +0000 | [diff] [blame] | 250 | const CGFunctionInfo &arrangeGlobalDeclaration(GlobalDecl GD); |
Anders Carlsson | f6c56e2 | 2009-11-25 03:15:49 +0000 | [diff] [blame] | 251 | |
Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame^] | 252 | /// Given a function info for a declaration, return the function info |
| 253 | /// for a call with the given arguments. |
| 254 | /// |
| 255 | /// Often this will be able to simply return the declaration info. |
| 256 | const CGFunctionInfo &arrangeCall(const CGFunctionInfo &declFI, |
| 257 | const CallArgList &args); |
| 258 | |
| 259 | /// Free functions are functions that are compatible with an ordinary |
| 260 | /// C function pointer type. |
| 261 | const CGFunctionInfo &arrangeFunctionDeclaration(const FunctionDecl *FD); |
| 262 | const CGFunctionInfo &arrangeFreeFunctionCall(const CallArgList &Args, |
| 263 | const FunctionType *Ty, |
| 264 | bool ChainCall); |
| 265 | const CGFunctionInfo &arrangeFreeFunctionType(CanQual<FunctionProtoType> Ty, |
| 266 | const FunctionDecl *FD); |
| 267 | const CGFunctionInfo &arrangeFreeFunctionType(CanQual<FunctionNoProtoType> Ty); |
| 268 | |
| 269 | /// A nullary function is a freestanding function of type 'void ()'. |
| 270 | /// This method works for both calls and declarations. |
| 271 | const CGFunctionInfo &arrangeNullaryFunction(); |
| 272 | |
| 273 | /// A builtin function is a freestanding function using the default |
| 274 | /// C conventions. |
| 275 | const CGFunctionInfo & |
| 276 | arrangeBuiltinFunctionDeclaration(QualType resultType, |
| 277 | const FunctionArgList &args); |
| 278 | const CGFunctionInfo & |
| 279 | arrangeBuiltinFunctionDeclaration(CanQualType resultType, |
| 280 | ArrayRef<CanQualType> argTypes); |
| 281 | const CGFunctionInfo &arrangeBuiltinFunctionCall(QualType resultType, |
| 282 | const CallArgList &args); |
| 283 | |
| 284 | /// Objective-C methods are C functions with some implicit parameters. |
John McCall | de5d3c7 | 2012-02-17 03:33:10 +0000 | [diff] [blame] | 285 | const CGFunctionInfo &arrangeObjCMethodDeclaration(const ObjCMethodDecl *MD); |
| 286 | const CGFunctionInfo &arrangeObjCMessageSendSignature(const ObjCMethodDecl *MD, |
| 287 | QualType receiverType); |
Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame^] | 288 | const CGFunctionInfo &arrangeUnprototypedObjCMessageSend( |
| 289 | QualType returnType, |
| 290 | const CallArgList &args); |
Chris Lattner | bcaedae | 2010-06-30 19:14:05 +0000 | [diff] [blame] | 291 | |
Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame^] | 292 | /// Block invocation functions are C functions with an implicit parameter. |
| 293 | const CGFunctionInfo &arrangeBlockFunctionDeclaration( |
| 294 | const FunctionProtoType *type, |
| 295 | const FunctionArgList &args); |
| 296 | const CGFunctionInfo &arrangeBlockFunctionCall(const CallArgList &args, |
| 297 | const FunctionType *type); |
| 298 | |
| 299 | /// C++ methods have some special rules and also have implicit parameters. |
John McCall | de5d3c7 | 2012-02-17 03:33:10 +0000 | [diff] [blame] | 300 | const CGFunctionInfo &arrangeCXXMethodDeclaration(const CXXMethodDecl *MD); |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 301 | const CGFunctionInfo &arrangeCXXStructorDeclaration(const CXXMethodDecl *MD, |
| 302 | StructorType Type); |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 303 | const CGFunctionInfo &arrangeCXXConstructorCall(const CallArgList &Args, |
| 304 | const CXXConstructorDecl *D, |
| 305 | CXXCtorType CtorKind, |
| 306 | unsigned ExtraArgs); |
Michael J. Spencer | 9cac494 | 2010-10-19 06:39:39 +0000 | [diff] [blame] | 307 | |
John McCall | 0f3d097 | 2012-07-07 06:41:13 +0000 | [diff] [blame] | 308 | const CGFunctionInfo &arrangeCXXMethodCall(const CallArgList &args, |
| 309 | const FunctionProtoType *type, |
| 310 | RequiredArgs required); |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 311 | const CGFunctionInfo &arrangeMSMemberPointerThunk(const CXXMethodDecl *MD); |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 312 | const CGFunctionInfo &arrangeMSCtorClosure(const CXXConstructorDecl *CD, |
| 313 | CXXCtorType CT); |
John McCall | de5d3c7 | 2012-02-17 03:33:10 +0000 | [diff] [blame] | 314 | const CGFunctionInfo &arrangeCXXMethodType(const CXXRecordDecl *RD, |
Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 315 | const FunctionProtoType *FTP, |
| 316 | const CXXMethodDecl *MD); |
John McCall | ead608a | 2010-02-26 00:48:12 +0000 | [diff] [blame] | 317 | |
John McCall | 0f3d097 | 2012-07-07 06:41:13 +0000 | [diff] [blame] | 318 | /// "Arrange" the LLVM information for a call or type with the given |
| 319 | /// signature. This is largely an internal method; other clients |
| 320 | /// should use one of the above routines, which ultimately defer to |
| 321 | /// this. |
Michael J. Spencer | 9cac494 | 2010-10-19 06:39:39 +0000 | [diff] [blame] | 322 | /// |
John McCall | de5d3c7 | 2012-02-17 03:33:10 +0000 | [diff] [blame] | 323 | /// \param argTypes - must all actually be canonical as params |
John McCall | 0f3d097 | 2012-07-07 06:41:13 +0000 | [diff] [blame] | 324 | const CGFunctionInfo &arrangeLLVMFunctionInfo(CanQualType returnType, |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 325 | bool instanceMethod, |
| 326 | bool chainCall, |
John McCall | 0f3d097 | 2012-07-07 06:41:13 +0000 | [diff] [blame] | 327 | ArrayRef<CanQualType> argTypes, |
| 328 | FunctionType::ExtInfo info, |
Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame^] | 329 | ArrayRef<FunctionProtoType::ExtParameterInfo> paramInfos, |
John McCall | 0f3d097 | 2012-07-07 06:41:13 +0000 | [diff] [blame] | 330 | RequiredArgs args); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 331 | |
Daniel Dunbar | 270e203 | 2010-03-31 00:11:27 +0000 | [diff] [blame] | 332 | /// \brief Compute a new LLVM record layout object for the given record. |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 333 | CGRecordLayout *ComputeRecordLayout(const RecordDecl *D, |
| 334 | llvm::StructType *Ty); |
| 335 | |
| 336 | /// addRecordTypeName - Compute a name from the given record decl with an |
| 337 | /// optional suffix and name the given LLVM type using it. |
| 338 | void addRecordTypeName(const RecordDecl *RD, llvm::StructType *Ty, |
Chris Lattner | 686775d | 2011-07-20 06:58:45 +0000 | [diff] [blame] | 339 | StringRef suffix); |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 340 | |
Daniel Dunbar | 270e203 | 2010-03-31 00:11:27 +0000 | [diff] [blame] | 341 | |
Chris Lattner | 19009e6 | 2008-01-09 18:47:25 +0000 | [diff] [blame] | 342 | public: // These are internal details of CGT that shouldn't be used externally. |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 343 | /// ConvertRecordDeclType - Lay out a tagged decl type like struct or union. |
| 344 | llvm::StructType *ConvertRecordDeclType(const RecordDecl *TD); |
Daniel Dunbar | 5627377 | 2008-09-17 00:51:38 +0000 | [diff] [blame] | 345 | |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 346 | /// getExpandedTypes - Expand the type \arg Ty into the LLVM |
| 347 | /// argument types it would be passed as. See ABIArgInfo::Expand. |
| 348 | void getExpandedTypes(QualType Ty, |
| 349 | SmallVectorImpl<llvm::Type *>::iterator &TI); |
Michael J. Spencer | 9cac494 | 2010-10-19 06:39:39 +0000 | [diff] [blame] | 350 | |
John McCall | f16aa10 | 2010-08-22 21:01:12 +0000 | [diff] [blame] | 351 | /// IsZeroInitializable - Return whether a type can be |
| 352 | /// zero-initialized (in the C++ sense) with an LLVM zeroinitializer. |
| 353 | bool isZeroInitializable(QualType T); |
Michael J. Spencer | 9cac494 | 2010-10-19 06:39:39 +0000 | [diff] [blame] | 354 | |
John McCall | f16aa10 | 2010-08-22 21:01:12 +0000 | [diff] [blame] | 355 | /// IsZeroInitializable - Return whether a record type can be |
| 356 | /// zero-initialized (in the C++ sense) with an LLVM zeroinitializer. |
Pirama Arumuga Nainar | b6d6993 | 2015-07-01 12:25:36 -0700 | [diff] [blame] | 357 | bool isZeroInitializable(const RecordDecl *RD); |
Chris Lattner | 71305cc | 2011-07-15 05:16:14 +0000 | [diff] [blame] | 358 | |
| 359 | bool isRecordLayoutComplete(const Type *Ty) const; |
| 360 | bool noRecordsBeingLaidOut() const { |
| 361 | return RecordsBeingLaidOut.empty(); |
| 362 | } |
| 363 | bool isRecordBeingLaidOut(const Type *Ty) const { |
| 364 | return RecordsBeingLaidOut.count(Ty); |
| 365 | } |
| 366 | |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 367 | }; |
Chris Lattner | a7674d8 | 2007-07-13 22:13:22 +0000 | [diff] [blame] | 368 | |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 369 | } // end namespace CodeGen |
| 370 | } // end namespace clang |
| 371 | |
| 372 | #endif |