Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 1 | //===--- CodeGenTBAA.h - TBAA information for LLVM CodeGen ------*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Dan Gohman | 5419ce6 | 2010-10-21 18:49:12 +0000 | [diff] [blame] | 10 | // This is the code that manages TBAA information and defines the TBAA policy |
| 11 | // for the optimizer to use. |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Benjamin Kramer | 2f5db8b | 2014-08-13 16:25:19 +0000 | [diff] [blame] | 15 | #ifndef LLVM_CLANG_LIB_CODEGEN_CODEGENTBAA_H |
| 16 | #define LLVM_CLANG_LIB_CODEGEN_CODEGENTBAA_H |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 17 | |
Benjamin Kramer | 8fdba91 | 2016-02-02 14:24:21 +0000 | [diff] [blame] | 18 | #include "clang/AST/Type.h" |
Chris Lattner | 01cf8db | 2011-07-20 06:58:45 +0000 | [diff] [blame] | 19 | #include "clang/Basic/LLVM.h" |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 20 | #include "llvm/ADT/DenseMap.h" |
Chandler Carruth | ffd5551 | 2013-01-02 11:45:17 +0000 | [diff] [blame] | 21 | #include "llvm/IR/MDBuilder.h" |
Benjamin Kramer | 8fdba91 | 2016-02-02 14:24:21 +0000 | [diff] [blame] | 22 | #include "llvm/IR/Metadata.h" |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 23 | |
| 24 | namespace clang { |
| 25 | class ASTContext; |
Kostya Serebryany | 5dd2cfc | 2012-04-24 06:57:01 +0000 | [diff] [blame] | 26 | class CodeGenOptions; |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 27 | class LangOptions; |
Peter Collingbourne | 0ff0b37 | 2011-01-13 18:57:25 +0000 | [diff] [blame] | 28 | class MangleContext; |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 29 | class QualType; |
| 30 | class Type; |
| 31 | |
| 32 | namespace CodeGen { |
Ivan A. Kosarev | a511ed7 | 2017-10-03 10:52:39 +0000 | [diff] [blame] | 33 | class CGRecordLayout; |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 34 | |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 35 | // TBAAAccessKind - A kind of TBAA memory access descriptor. |
| 36 | enum class TBAAAccessKind : unsigned { |
Hal Finkel | a5986b9 | 2017-12-03 03:10:13 +0000 | [diff] [blame] | 37 | Ordinary, |
| 38 | MayAlias, |
| 39 | Incomplete, |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 40 | }; |
| 41 | |
Ivan A. Kosarev | a511ed7 | 2017-10-03 10:52:39 +0000 | [diff] [blame] | 42 | // TBAAAccessInfo - Describes a memory access in terms of TBAA. |
| 43 | struct TBAAAccessInfo { |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 44 | TBAAAccessInfo(TBAAAccessKind Kind, llvm::MDNode *BaseType, |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 45 | llvm::MDNode *AccessType, uint64_t Offset, uint64_t Size) |
| 46 | : Kind(Kind), BaseType(BaseType), AccessType(AccessType), |
| 47 | Offset(Offset), Size(Size) |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 48 | {} |
| 49 | |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 50 | TBAAAccessInfo(llvm::MDNode *BaseType, llvm::MDNode *AccessType, |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 51 | uint64_t Offset, uint64_t Size) |
| 52 | : TBAAAccessInfo(TBAAAccessKind::Ordinary, BaseType, AccessType, |
| 53 | Offset, Size) |
Ivan A. Kosarev | a511ed7 | 2017-10-03 10:52:39 +0000 | [diff] [blame] | 54 | {} |
| 55 | |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 56 | explicit TBAAAccessInfo(llvm::MDNode *AccessType, uint64_t Size) |
| 57 | : TBAAAccessInfo(/* BaseType= */ nullptr, AccessType, /* Offset= */ 0, Size) |
Ivan A. Kosarev | a511ed7 | 2017-10-03 10:52:39 +0000 | [diff] [blame] | 58 | {} |
| 59 | |
| 60 | TBAAAccessInfo() |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 61 | : TBAAAccessInfo(/* AccessType= */ nullptr, /* Size= */ 0) |
Ivan A. Kosarev | a511ed7 | 2017-10-03 10:52:39 +0000 | [diff] [blame] | 62 | {} |
| 63 | |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 64 | static TBAAAccessInfo getMayAliasInfo() { |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 65 | return TBAAAccessInfo(TBAAAccessKind::MayAlias, |
| 66 | /* BaseType= */ nullptr, /* AccessType= */ nullptr, |
| 67 | /* Offset= */ 0, /* Size= */ 0); |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 68 | } |
| 69 | |
| 70 | bool isMayAlias() const { return Kind == TBAAAccessKind::MayAlias; } |
| 71 | |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 72 | static TBAAAccessInfo getIncompleteInfo() { |
| 73 | return TBAAAccessInfo(TBAAAccessKind::Incomplete, |
| 74 | /* BaseType= */ nullptr, /* AccessType= */ nullptr, |
| 75 | /* Offset= */ 0, /* Size= */ 0); |
| 76 | } |
| 77 | |
| 78 | bool isIncomplete() const { return Kind == TBAAAccessKind::Incomplete; } |
| 79 | |
Ivan A. Kosarev | ed141ba | 2017-10-17 09:12:13 +0000 | [diff] [blame] | 80 | bool operator==(const TBAAAccessInfo &Other) const { |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 81 | return Kind == Other.Kind && |
| 82 | BaseType == Other.BaseType && |
Ivan A. Kosarev | ed141ba | 2017-10-17 09:12:13 +0000 | [diff] [blame] | 83 | AccessType == Other.AccessType && |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 84 | Offset == Other.Offset && |
| 85 | Size == Other.Size; |
Ivan A. Kosarev | ed141ba | 2017-10-17 09:12:13 +0000 | [diff] [blame] | 86 | } |
| 87 | |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 88 | bool operator!=(const TBAAAccessInfo &Other) const { |
| 89 | return !(*this == Other); |
| 90 | } |
| 91 | |
| 92 | explicit operator bool() const { |
| 93 | return *this != TBAAAccessInfo(); |
| 94 | } |
| 95 | |
| 96 | /// Kind - The kind of the access descriptor. |
| 97 | TBAAAccessKind Kind; |
| 98 | |
Ivan A. Kosarev | a511ed7 | 2017-10-03 10:52:39 +0000 | [diff] [blame] | 99 | /// BaseType - The base/leading access type. May be null if this access |
| 100 | /// descriptor represents an access that is not considered to be an access |
| 101 | /// to an aggregate or union member. |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 102 | llvm::MDNode *BaseType; |
Ivan A. Kosarev | a511ed7 | 2017-10-03 10:52:39 +0000 | [diff] [blame] | 103 | |
| 104 | /// AccessType - The final access type. May be null if there is no TBAA |
| 105 | /// information available about this access. |
| 106 | llvm::MDNode *AccessType; |
| 107 | |
| 108 | /// Offset - The byte offset of the final access within the base one. Must be |
| 109 | /// zero if the base access type is not specified. |
| 110 | uint64_t Offset; |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 111 | |
| 112 | /// Size - The size of access, in bytes. |
| 113 | uint64_t Size; |
Ivan A. Kosarev | a511ed7 | 2017-10-03 10:52:39 +0000 | [diff] [blame] | 114 | }; |
Manman Ren | c451e57 | 2013-04-04 21:53:22 +0000 | [diff] [blame] | 115 | |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 116 | /// CodeGenTBAA - This class organizes the cross-module state that is used |
| 117 | /// while lowering AST types to LLVM types. |
| 118 | class CodeGenTBAA { |
| 119 | ASTContext &Context; |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 120 | llvm::Module &Module; |
Kostya Serebryany | 5dd2cfc | 2012-04-24 06:57:01 +0000 | [diff] [blame] | 121 | const CodeGenOptions &CodeGenOpts; |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 122 | const LangOptions &Features; |
Dan Gohman | 2e29eb5 | 2010-10-15 20:23:12 +0000 | [diff] [blame] | 123 | MangleContext &MContext; |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 124 | |
Duncan Sands | c720e78 | 2012-04-15 18:04:54 +0000 | [diff] [blame] | 125 | // MDHelper - Helper for creating metadata. |
| 126 | llvm::MDBuilder MDHelper; |
| 127 | |
Manman Ren | c451e57 | 2013-04-04 21:53:22 +0000 | [diff] [blame] | 128 | /// MetadataCache - This maps clang::Types to scalar llvm::MDNodes describing |
| 129 | /// them. |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 130 | llvm::DenseMap<const Type *, llvm::MDNode *> MetadataCache; |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 131 | /// This maps clang::Types to a base access type in the type DAG. |
| 132 | llvm::DenseMap<const Type *, llvm::MDNode *> BaseTypeMetadataCache; |
| 133 | /// This maps TBAA access descriptors to tag nodes. |
| 134 | llvm::DenseMap<TBAAAccessInfo, llvm::MDNode *> AccessTagMetadataCache; |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 135 | |
Dan Gohman | 22695fc | 2012-09-28 21:58:29 +0000 | [diff] [blame] | 136 | /// StructMetadataCache - This maps clang::Types to llvm::MDNodes describing |
| 137 | /// them for struct assignments. |
| 138 | llvm::DenseMap<const Type *, llvm::MDNode *> StructMetadataCache; |
| 139 | |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 140 | llvm::MDNode *Root; |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 141 | llvm::MDNode *Char; |
| 142 | |
Dan Gohman | 7dfd13c | 2010-10-25 21:48:30 +0000 | [diff] [blame] | 143 | /// getRoot - This is the mdnode for the root of the metadata type graph |
| 144 | /// for this translation unit. |
| 145 | llvm::MDNode *getRoot(); |
| 146 | |
| 147 | /// getChar - This is the mdnode for "char", which is special, and any types |
| 148 | /// considered to be equivalent to it. |
| 149 | llvm::MDNode *getChar(); |
| 150 | |
Dan Gohman | 22695fc | 2012-09-28 21:58:29 +0000 | [diff] [blame] | 151 | /// CollectFields - Collect information about the fields of a type for |
| 152 | /// !tbaa.struct metadata formation. Return false for an unsupported type. |
| 153 | bool CollectFields(uint64_t BaseOffset, |
| 154 | QualType Ty, |
| 155 | SmallVectorImpl<llvm::MDBuilder::TBAAStructField> &Fields, |
| 156 | bool MayAlias); |
| 157 | |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 158 | /// createScalarTypeNode - A wrapper function to create a metadata node |
| 159 | /// describing a scalar type. |
| 160 | llvm::MDNode *createScalarTypeNode(StringRef Name, llvm::MDNode *Parent, |
| 161 | uint64_t Size); |
Manman Ren | e1ad74e | 2013-04-11 23:02:56 +0000 | [diff] [blame] | 162 | |
Ivan A. Kosarev | 5d9d32e | 2017-11-21 11:18:06 +0000 | [diff] [blame] | 163 | /// getTypeInfoHelper - An internal helper function to generate metadata used |
| 164 | /// to describe accesses to objects of the given type. |
| 165 | llvm::MDNode *getTypeInfoHelper(const Type *Ty); |
| 166 | |
| 167 | /// getBaseTypeInfoHelper - An internal helper function to generate metadata |
| 168 | /// used to describe accesses to objects of the given base type. |
| 169 | llvm::MDNode *getBaseTypeInfoHelper(const Type *Ty); |
| 170 | |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 171 | public: |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 172 | CodeGenTBAA(ASTContext &Ctx, llvm::Module &M, const CodeGenOptions &CGO, |
| 173 | const LangOptions &Features, MangleContext &MContext); |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 174 | ~CodeGenTBAA(); |
| 175 | |
Ivan A. Kosarev | 289574e | 2017-10-02 09:54:47 +0000 | [diff] [blame] | 176 | /// getTypeInfo - Get metadata used to describe accesses to objects of the |
| 177 | /// given type. |
| 178 | llvm::MDNode *getTypeInfo(QualType QTy); |
Kostya Serebryany | 141e46f | 2012-03-26 17:03:51 +0000 | [diff] [blame] | 179 | |
Ivan A. Kosarev | 3d68ce9 | 2017-10-05 11:08:17 +0000 | [diff] [blame] | 180 | /// getVTablePtrAccessInfo - Get the TBAA information that describes an |
| 181 | /// access to a virtual table pointer. |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 182 | TBAAAccessInfo getVTablePtrAccessInfo(llvm::Type *VTablePtrType); |
Dan Gohman | 22695fc | 2012-09-28 21:58:29 +0000 | [diff] [blame] | 183 | |
| 184 | /// getTBAAStructInfo - Get the TBAAStruct MDNode to be used for a memcpy of |
| 185 | /// the given type. |
| 186 | llvm::MDNode *getTBAAStructInfo(QualType QTy); |
Manman Ren | c451e57 | 2013-04-04 21:53:22 +0000 | [diff] [blame] | 187 | |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 188 | /// getBaseTypeInfo - Get metadata that describes the given base access type. |
| 189 | /// Return null if the type is not suitable for use in TBAA access tags. |
| 190 | llvm::MDNode *getBaseTypeInfo(QualType QTy); |
Ivan A. Kosarev | a511ed7 | 2017-10-03 10:52:39 +0000 | [diff] [blame] | 191 | |
Ivan A. Kosarev | 3d68ce9 | 2017-10-05 11:08:17 +0000 | [diff] [blame] | 192 | /// getAccessTagInfo - Get TBAA tag for a given memory access. |
| 193 | llvm::MDNode *getAccessTagInfo(TBAAAccessInfo Info); |
Manman Ren | e1ad74e | 2013-04-11 23:02:56 +0000 | [diff] [blame] | 194 | |
Ivan A. Kosarev | ed141ba | 2017-10-17 09:12:13 +0000 | [diff] [blame] | 195 | /// mergeTBAAInfoForCast - Get merged TBAA information for the purpose of |
| 196 | /// type casts. |
| 197 | TBAAAccessInfo mergeTBAAInfoForCast(TBAAAccessInfo SourceInfo, |
| 198 | TBAAAccessInfo TargetInfo); |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 199 | |
| 200 | /// mergeTBAAInfoForConditionalOperator - Get merged TBAA information for the |
| 201 | /// purpose of conditional operator. |
| 202 | TBAAAccessInfo mergeTBAAInfoForConditionalOperator(TBAAAccessInfo InfoA, |
| 203 | TBAAAccessInfo InfoB); |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 204 | }; |
| 205 | |
| 206 | } // end namespace CodeGen |
| 207 | } // end namespace clang |
| 208 | |
Manman Ren | c451e57 | 2013-04-04 21:53:22 +0000 | [diff] [blame] | 209 | namespace llvm { |
| 210 | |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 211 | template<> struct DenseMapInfo<clang::CodeGen::TBAAAccessInfo> { |
| 212 | static clang::CodeGen::TBAAAccessInfo getEmptyKey() { |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 213 | unsigned UnsignedKey = DenseMapInfo<unsigned>::getEmptyKey(); |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 214 | return clang::CodeGen::TBAAAccessInfo( |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 215 | static_cast<clang::CodeGen::TBAAAccessKind>(UnsignedKey), |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 216 | DenseMapInfo<MDNode *>::getEmptyKey(), |
| 217 | DenseMapInfo<MDNode *>::getEmptyKey(), |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 218 | DenseMapInfo<uint64_t>::getEmptyKey(), |
Manman Ren | c451e57 | 2013-04-04 21:53:22 +0000 | [diff] [blame] | 219 | DenseMapInfo<uint64_t>::getEmptyKey()); |
| 220 | } |
| 221 | |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 222 | static clang::CodeGen::TBAAAccessInfo getTombstoneKey() { |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 223 | unsigned UnsignedKey = DenseMapInfo<unsigned>::getTombstoneKey(); |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 224 | return clang::CodeGen::TBAAAccessInfo( |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 225 | static_cast<clang::CodeGen::TBAAAccessKind>(UnsignedKey), |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 226 | DenseMapInfo<MDNode *>::getTombstoneKey(), |
| 227 | DenseMapInfo<MDNode *>::getTombstoneKey(), |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 228 | DenseMapInfo<uint64_t>::getTombstoneKey(), |
Manman Ren | c451e57 | 2013-04-04 21:53:22 +0000 | [diff] [blame] | 229 | DenseMapInfo<uint64_t>::getTombstoneKey()); |
| 230 | } |
| 231 | |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 232 | static unsigned getHashValue(const clang::CodeGen::TBAAAccessInfo &Val) { |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 233 | auto KindValue = static_cast<unsigned>(Val.Kind); |
| 234 | return DenseMapInfo<unsigned>::getHashValue(KindValue) ^ |
| 235 | DenseMapInfo<MDNode *>::getHashValue(Val.BaseType) ^ |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 236 | DenseMapInfo<MDNode *>::getHashValue(Val.AccessType) ^ |
Ivan A. Kosarev | 4e50e70 | 2017-11-27 09:39:29 +0000 | [diff] [blame] | 237 | DenseMapInfo<uint64_t>::getHashValue(Val.Offset) ^ |
| 238 | DenseMapInfo<uint64_t>::getHashValue(Val.Size); |
Manman Ren | c451e57 | 2013-04-04 21:53:22 +0000 | [diff] [blame] | 239 | } |
| 240 | |
Ivan A. Kosarev | 383890b | 2017-10-06 08:17:48 +0000 | [diff] [blame] | 241 | static bool isEqual(const clang::CodeGen::TBAAAccessInfo &LHS, |
| 242 | const clang::CodeGen::TBAAAccessInfo &RHS) { |
Ivan A. Kosarev | b9c59f3 | 2017-10-31 11:05:34 +0000 | [diff] [blame] | 243 | return LHS == RHS; |
Manman Ren | c451e57 | 2013-04-04 21:53:22 +0000 | [diff] [blame] | 244 | } |
| 245 | }; |
| 246 | |
| 247 | } // end namespace llvm |
| 248 | |
Dan Gohman | 947c9af | 2010-10-14 23:06:10 +0000 | [diff] [blame] | 249 | #endif |