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 | // |
| 10 | // This is the code that handles AST -> LLVM type lowering. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Chris Lattner | ef52a2f | 2008-02-29 17:10:38 +0000 | [diff] [blame] | 14 | #ifndef CLANG_CODEGEN_CODEGENTYPES_H |
| 15 | #define CLANG_CODEGEN_CODEGENTYPES_H |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 16 | |
Anders Carlsson | c9e2091 | 2007-08-21 00:21:21 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/DenseMap.h" |
Devang Patel | eae1560 | 2008-02-05 02:39:50 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/SmallSet.h" |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 19 | #include <vector> |
| 20 | |
Daniel Dunbar | 62d5c1b | 2008-09-10 07:00:50 +0000 | [diff] [blame] | 21 | #include "CGCall.h" |
| 22 | |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 23 | namespace llvm { |
Daniel Dunbar | 45c25ba | 2008-09-10 04:01:49 +0000 | [diff] [blame] | 24 | class FunctionType; |
Anders Carlsson | 4e53328 | 2007-08-17 22:00:32 +0000 | [diff] [blame] | 25 | class Module; |
Chris Lattner | fce71b8 | 2008-04-03 05:50:42 +0000 | [diff] [blame] | 26 | class OpaqueType; |
Devang Patel | 30ec997 | 2007-10-25 18:32:36 +0000 | [diff] [blame] | 27 | class PATypeHolder; |
Devang Patel | 7a4718e | 2007-10-31 20:01:01 +0000 | [diff] [blame] | 28 | class TargetData; |
Daniel Dunbar | 45c25ba | 2008-09-10 04:01:49 +0000 | [diff] [blame] | 29 | class Type; |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 30 | } |
| 31 | |
| 32 | namespace clang { |
Daniel Dunbar | 6b1da0e | 2008-10-13 17:02:26 +0000 | [diff] [blame] | 33 | class ABIInfo; |
Chris Lattner | d2d2a11 | 2007-07-14 01:29:45 +0000 | [diff] [blame] | 34 | class ASTContext; |
Anders Carlsson | f6f8ae5 | 2009-04-03 22:48:58 +0000 | [diff] [blame] | 35 | class CXXMethodDecl; |
Devang Patel | b1e3989 | 2007-10-23 23:26:46 +0000 | [diff] [blame] | 36 | class FieldDecl; |
Douglas Gregor | 72564e7 | 2009-02-26 23:50:07 +0000 | [diff] [blame] | 37 | class FunctionProtoType; |
Chris Lattner | 391d77a | 2008-03-30 23:03:07 +0000 | [diff] [blame] | 38 | class ObjCInterfaceDecl; |
| 39 | class ObjCIvarDecl; |
Daniel Dunbar | 45c25ba | 2008-09-10 04:01:49 +0000 | [diff] [blame] | 40 | class PointerType; |
| 41 | class QualType; |
| 42 | class RecordDecl; |
| 43 | class TagDecl; |
| 44 | class TargetInfo; |
| 45 | class Type; |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 46 | |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 47 | namespace CodeGen { |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 48 | class CodeGenTypes; |
| 49 | |
Devang Patel | 88a981b | 2007-11-01 19:11:01 +0000 | [diff] [blame] | 50 | /// CGRecordLayout - This class handles struct and union layout info while |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 51 | /// lowering AST types to LLVM types. |
Devang Patel | 88a981b | 2007-11-01 19:11:01 +0000 | [diff] [blame] | 52 | class CGRecordLayout { |
| 53 | CGRecordLayout(); // DO NOT IMPLEMENT |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 54 | public: |
Anders Carlsson | 45372a6 | 2009-07-23 03:17:50 +0000 | [diff] [blame] | 55 | CGRecordLayout(const llvm::Type *T, |
| 56 | const llvm::SmallSet<unsigned, 8> &PF) |
Devang Patel | eae1560 | 2008-02-05 02:39:50 +0000 | [diff] [blame] | 57 | : STy(T), PaddingFields(PF) { |
Devang Patel | 057afdd | 2007-10-24 20:38:06 +0000 | [diff] [blame] | 58 | // FIXME : Collect info about fields that requires adjustments |
| 59 | // (i.e. fields that do not directly map to llvm struct fields.) |
| 60 | } |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 61 | |
| 62 | /// getLLVMType - Return llvm type associated with this record. |
Anders Carlsson | 45372a6 | 2009-07-23 03:17:50 +0000 | [diff] [blame] | 63 | const llvm::Type *getLLVMType() const { |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 64 | return STy; |
| 65 | } |
| 66 | |
Devang Patel | eae1560 | 2008-02-05 02:39:50 +0000 | [diff] [blame] | 67 | bool isPaddingField(unsigned No) const { |
| 68 | return PaddingFields.count(No) != 0; |
| 69 | } |
| 70 | |
| 71 | unsigned getNumPaddingFields() { |
| 72 | return PaddingFields.size(); |
| 73 | } |
| 74 | |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 75 | private: |
Anders Carlsson | 45372a6 | 2009-07-23 03:17:50 +0000 | [diff] [blame] | 76 | const llvm::Type *STy; |
Devang Patel | eae1560 | 2008-02-05 02:39:50 +0000 | [diff] [blame] | 77 | llvm::SmallSet<unsigned, 8> PaddingFields; |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 78 | }; |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 79 | |
| 80 | /// CodeGenTypes - This class organizes the cross-module state that is used |
| 81 | /// while lowering AST types to LLVM types. |
| 82 | class CodeGenTypes { |
Chris Lattner | d2d2a11 | 2007-07-14 01:29:45 +0000 | [diff] [blame] | 83 | ASTContext &Context; |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 84 | TargetInfo &Target; |
Anders Carlsson | 4e53328 | 2007-08-17 22:00:32 +0000 | [diff] [blame] | 85 | llvm::Module& TheModule; |
Devang Patel | 7a4718e | 2007-10-31 20:01:01 +0000 | [diff] [blame] | 86 | const llvm::TargetData& TheTargetData; |
Daniel Dunbar | 6b1da0e | 2008-10-13 17:02:26 +0000 | [diff] [blame] | 87 | mutable const ABIInfo* TheABIInfo; |
Anders Carlsson | c9e2091 | 2007-08-21 00:21:21 +0000 | [diff] [blame] | 88 | |
Daniel Dunbar | 6aeae7f | 2009-02-26 19:48:14 +0000 | [diff] [blame] | 89 | llvm::SmallVector<std::pair<QualType, |
Chris Lattner | fce71b8 | 2008-04-03 05:50:42 +0000 | [diff] [blame] | 90 | llvm::OpaqueType *>, 8> PointersToResolve; |
| 91 | |
Daniel Dunbar | efb6d0d | 2008-09-06 02:26:43 +0000 | [diff] [blame] | 92 | llvm::DenseMap<const Type*, llvm::PATypeHolder> TagDeclTypes; |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 93 | |
Eli Friedman | b3b6b9b | 2009-03-05 03:16:41 +0000 | [diff] [blame] | 94 | llvm::DenseMap<const Type*, llvm::PATypeHolder> FunctionTypes; |
| 95 | |
Daniel Dunbar | 412f59b | 2009-04-22 10:28:39 +0000 | [diff] [blame] | 96 | /// The opaque type map for Objective-C interfaces. All direct |
| 97 | /// manipulation is done by the runtime interfaces, which are |
| 98 | /// responsible for coercing to the appropriate type; these opaque |
| 99 | /// types are never refined. |
| 100 | llvm::DenseMap<const ObjCInterfaceType*, const llvm::Type *> InterfaceTypes; |
| 101 | |
Devang Patel | 88a981b | 2007-11-01 19:11:01 +0000 | [diff] [blame] | 102 | /// CGRecordLayouts - This maps llvm struct type with corresponding |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 103 | /// record layout info. |
Devang Patel | 88a981b | 2007-11-01 19:11:01 +0000 | [diff] [blame] | 104 | /// FIXME : If CGRecordLayout is less than 16 bytes then use |
Devang Patel | 71bcb09 | 2007-10-24 00:32:16 +0000 | [diff] [blame] | 105 | /// inline it in the map. |
Daniel Dunbar | efb6d0d | 2008-09-06 02:26:43 +0000 | [diff] [blame] | 106 | llvm::DenseMap<const Type*, CGRecordLayout *> CGRecordLayouts; |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 107 | |
| 108 | /// FieldInfo - This maps struct field with corresponding llvm struct type |
| 109 | /// field no. This info is populated by record organizer. |
| 110 | llvm::DenseMap<const FieldDecl *, unsigned> FieldInfo; |
| 111 | |
Daniel Dunbar | 40a6be6 | 2009-02-03 00:07:12 +0000 | [diff] [blame] | 112 | /// FunctionInfos - Hold memoized CGFunctionInfo results. |
| 113 | llvm::FoldingSet<CGFunctionInfo> FunctionInfos; |
| 114 | |
Lauro Ramos Venancio | 3b8c22d | 2008-01-22 20:17:04 +0000 | [diff] [blame] | 115 | public: |
Anders Carlsson | 8330cee | 2009-07-23 17:01:21 +0000 | [diff] [blame^] | 116 | struct BitFieldInfo { |
| 117 | BitFieldInfo(unsigned FieldNo, |
| 118 | unsigned Start, |
| 119 | unsigned Size) |
| 120 | : FieldNo(FieldNo), Start(Start), Size(Size) {} |
Lauro Ramos Venancio | 2c46ce8 | 2008-01-21 22:54:57 +0000 | [diff] [blame] | 121 | |
Anders Carlsson | 8330cee | 2009-07-23 17:01:21 +0000 | [diff] [blame^] | 122 | unsigned FieldNo; |
| 123 | unsigned Start; |
| 124 | unsigned Size; |
Devang Patel | 159e330 | 2007-11-07 01:57:13 +0000 | [diff] [blame] | 125 | }; |
Lauro Ramos Venancio | 3b8c22d | 2008-01-22 20:17:04 +0000 | [diff] [blame] | 126 | |
| 127 | private: |
Devang Patel | 159e330 | 2007-11-07 01:57:13 +0000 | [diff] [blame] | 128 | llvm::DenseMap<const FieldDecl *, BitFieldInfo> BitFields; |
| 129 | |
Chris Lattner | 4581fff | 2008-02-06 05:21:55 +0000 | [diff] [blame] | 130 | /// TypeCache - This map keeps cache of llvm::Types (through PATypeHolder) |
Devang Patel | 30ec997 | 2007-10-25 18:32:36 +0000 | [diff] [blame] | 131 | /// and maps llvm::Types to corresponding clang::Type. llvm::PATypeHolder is |
| 132 | /// used instead of llvm::Type because it allows us to bypass potential |
| 133 | /// dangling type pointers due to type refinement on llvm side. |
Chris Lattner | 4581fff | 2008-02-06 05:21:55 +0000 | [diff] [blame] | 134 | llvm::DenseMap<Type *, llvm::PATypeHolder> TypeCache; |
Devang Patel | 5825ac2 | 2007-10-25 21:40:12 +0000 | [diff] [blame] | 135 | |
| 136 | /// ConvertNewType - Convert type T into a llvm::Type. Do not use this |
| 137 | /// method directly because it does not do any type caching. This method |
| 138 | /// is available only for ConvertType(). CovertType() is preferred |
| 139 | /// interface to convert type T into a llvm::Type. |
| 140 | const llvm::Type *ConvertNewType(QualType T); |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 141 | public: |
Devang Patel | 7a4718e | 2007-10-31 20:01:01 +0000 | [diff] [blame] | 142 | CodeGenTypes(ASTContext &Ctx, llvm::Module &M, const llvm::TargetData &TD); |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 143 | ~CodeGenTypes(); |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 144 | |
Devang Patel | d9e9ede | 2007-10-31 20:08:22 +0000 | [diff] [blame] | 145 | const llvm::TargetData &getTargetData() const { return TheTargetData; } |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 146 | TargetInfo &getTarget() const { return Target; } |
Devang Patel | 86522b9 | 2007-10-29 20:50:19 +0000 | [diff] [blame] | 147 | ASTContext &getContext() const { return Context; } |
Daniel Dunbar | 6b1da0e | 2008-10-13 17:02:26 +0000 | [diff] [blame] | 148 | const ABIInfo &getABIInfo() const; |
Devang Patel | 5825ac2 | 2007-10-25 21:40:12 +0000 | [diff] [blame] | 149 | |
Chris Lattner | 4581fff | 2008-02-06 05:21:55 +0000 | [diff] [blame] | 150 | /// ConvertType - Convert type T into a llvm::Type. |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 151 | const llvm::Type *ConvertType(QualType T); |
Chris Lattner | fce71b8 | 2008-04-03 05:50:42 +0000 | [diff] [blame] | 152 | const llvm::Type *ConvertTypeRecursive(QualType T); |
Chris Lattner | 19009e6 | 2008-01-09 18:47:25 +0000 | [diff] [blame] | 153 | |
Chris Lattner | 4581fff | 2008-02-06 05:21:55 +0000 | [diff] [blame] | 154 | /// ConvertTypeForMem - Convert type T into a llvm::Type. This differs from |
| 155 | /// ConvertType in that it is used to convert to the memory representation for |
| 156 | /// a type. For example, the scalar representation for _Bool is i1, but the |
| 157 | /// memory representation is usually i8 or i32, depending on the target. |
Chris Lattner | 19009e6 | 2008-01-09 18:47:25 +0000 | [diff] [blame] | 158 | const llvm::Type *ConvertTypeForMem(QualType T); |
Eli Friedman | 57a84fb | 2009-03-03 04:48:01 +0000 | [diff] [blame] | 159 | const llvm::Type *ConvertTypeForMemRecursive(QualType T); |
Daniel Dunbar | 45c25ba | 2008-09-10 04:01:49 +0000 | [diff] [blame] | 160 | |
Daniel Dunbar | 36b5f5e | 2009-01-31 03:05:44 +0000 | [diff] [blame] | 161 | /// GetFunctionType - Get the LLVM function type for \arg Info. |
Daniel Dunbar | bb36d33 | 2009-02-02 21:43:58 +0000 | [diff] [blame] | 162 | const llvm::FunctionType *GetFunctionType(const CGFunctionInfo &Info, |
| 163 | bool IsVariadic); |
Chris Lattner | 19009e6 | 2008-01-09 18:47:25 +0000 | [diff] [blame] | 164 | |
Chris Lattner | af31913 | 2008-02-05 06:55:31 +0000 | [diff] [blame] | 165 | const CGRecordLayout *getCGRecordLayout(const TagDecl*) const; |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 166 | |
| 167 | /// getLLVMFieldNo - Return llvm::StructType element number |
| 168 | /// that corresponds to the field FD. |
| 169 | unsigned getLLVMFieldNo(const FieldDecl *FD); |
Chris Lattner | d86e6bc | 2008-02-05 08:06:13 +0000 | [diff] [blame] | 170 | |
Chris Lattner | c5b8806 | 2008-02-06 05:08:19 +0000 | [diff] [blame] | 171 | /// UpdateCompletedType - When we find the full definition for a TagDecl, |
| 172 | /// replace the 'opaque' type we previously made for it if applicable. |
| 173 | void UpdateCompletedType(const TagDecl *TD); |
Daniel Dunbar | 541b63b | 2009-02-02 23:23:47 +0000 | [diff] [blame] | 174 | |
| 175 | /// getFunctionInfo - Get the CGFunctionInfo for this function signature. |
| 176 | const CGFunctionInfo &getFunctionInfo(QualType RetTy, |
| 177 | const llvm::SmallVector<QualType,16> |
| 178 | &ArgTys); |
| 179 | |
Douglas Gregor | 72564e7 | 2009-02-26 23:50:07 +0000 | [diff] [blame] | 180 | const CGFunctionInfo &getFunctionInfo(const FunctionNoProtoType *FTNP); |
| 181 | const CGFunctionInfo &getFunctionInfo(const FunctionProtoType *FTP); |
Daniel Dunbar | 541b63b | 2009-02-02 23:23:47 +0000 | [diff] [blame] | 182 | const CGFunctionInfo &getFunctionInfo(const FunctionDecl *FD); |
Anders Carlsson | f6f8ae5 | 2009-04-03 22:48:58 +0000 | [diff] [blame] | 183 | const CGFunctionInfo &getFunctionInfo(const CXXMethodDecl *MD); |
Daniel Dunbar | 541b63b | 2009-02-02 23:23:47 +0000 | [diff] [blame] | 184 | const CGFunctionInfo &getFunctionInfo(const ObjCMethodDecl *MD); |
| 185 | const CGFunctionInfo &getFunctionInfo(QualType ResTy, |
| 186 | const CallArgList &Args); |
Anders Carlsson | 5529b24 | 2009-04-06 18:05:26 +0000 | [diff] [blame] | 187 | public: |
Daniel Dunbar | 541b63b | 2009-02-02 23:23:47 +0000 | [diff] [blame] | 188 | const CGFunctionInfo &getFunctionInfo(QualType ResTy, |
| 189 | const FunctionArgList &Args); |
Chris Lattner | d86e6bc | 2008-02-05 08:06:13 +0000 | [diff] [blame] | 190 | |
Chris Lattner | 19009e6 | 2008-01-09 18:47:25 +0000 | [diff] [blame] | 191 | public: // These are internal details of CGT that shouldn't be used externally. |
Devang Patel | b84a06e | 2007-10-23 02:10:49 +0000 | [diff] [blame] | 192 | /// addFieldInfo - Assign field number to field FD. |
Anders Carlsson | 8330cee | 2009-07-23 17:01:21 +0000 | [diff] [blame^] | 193 | void addFieldInfo(const FieldDecl *FD, unsigned FieldNo); |
Lauro Ramos Venancio | 2c46ce8 | 2008-01-21 22:54:57 +0000 | [diff] [blame] | 194 | |
| 195 | /// addBitFieldInfo - Assign a start bit and a size to field FD. |
Anders Carlsson | 8330cee | 2009-07-23 17:01:21 +0000 | [diff] [blame^] | 196 | void addBitFieldInfo(const FieldDecl *FD, unsigned FieldNo, |
| 197 | unsigned Start, unsigned Size); |
Lauro Ramos Venancio | 2c46ce8 | 2008-01-21 22:54:57 +0000 | [diff] [blame] | 198 | |
Chris Lattner | fc3b8e9 | 2008-02-06 05:18:32 +0000 | [diff] [blame] | 199 | /// getBitFieldInfo - Return the BitFieldInfo that corresponds to the field |
| 200 | /// FD. |
Lauro Ramos Venancio | 2c46ce8 | 2008-01-21 22:54:57 +0000 | [diff] [blame] | 201 | BitFieldInfo getBitFieldInfo(const FieldDecl *FD); |
Chris Lattner | fc3b8e9 | 2008-02-06 05:18:32 +0000 | [diff] [blame] | 202 | |
| 203 | /// ConvertTagDeclType - Lay out a tagged decl type like struct or union or |
| 204 | /// enum. |
Chris Lattner | 8fb1dd0 | 2008-02-06 06:06:49 +0000 | [diff] [blame] | 205 | const llvm::Type *ConvertTagDeclType(const TagDecl *TD); |
Daniel Dunbar | 5627377 | 2008-09-17 00:51:38 +0000 | [diff] [blame] | 206 | |
| 207 | /// GetExpandedTypes - Expand the type \arg Ty into the LLVM |
| 208 | /// argument types it would be passed as on the provided vector \arg |
| 209 | /// ArgTys. See ABIArgInfo::Expand. |
| 210 | void GetExpandedTypes(QualType Ty, std::vector<const llvm::Type*> &ArgTys); |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 211 | }; |
Chris Lattner | a7674d8 | 2007-07-13 22:13:22 +0000 | [diff] [blame] | 212 | |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 213 | } // end namespace CodeGen |
| 214 | } // end namespace clang |
| 215 | |
| 216 | #endif |