1 //===--- CodeGenTBAA.h - TBAA information for LLVM CodeGen ------*- C++ -*-===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This is the code that manages TBAA information and defines the TBAA policy
10 // for the optimizer to use.
12 //===----------------------------------------------------------------------===//
14 #ifndef LLVM_CLANG_LIB_CODEGEN_CODEGENTBAA_H
15 #define LLVM_CLANG_LIB_CODEGEN_CODEGENTBAA_H
17 #include "clang/AST/Type.h"
18 #include "clang/Basic/LLVM.h"
19 #include "llvm/ADT/DenseMap.h"
20 #include "llvm/IR/MDBuilder.h"
21 #include "llvm/IR/Metadata.h"
34 // TBAAAccessKind - A kind of TBAA memory access descriptor.
35 enum class TBAAAccessKind
: unsigned {
41 // TBAAAccessInfo - Describes a memory access in terms of TBAA.
42 struct TBAAAccessInfo
{
43 TBAAAccessInfo(TBAAAccessKind Kind
, llvm::MDNode
*BaseType
,
44 llvm::MDNode
*AccessType
, uint64_t Offset
, uint64_t Size
)
45 : Kind(Kind
), BaseType(BaseType
), AccessType(AccessType
),
46 Offset(Offset
), Size(Size
)
49 TBAAAccessInfo(llvm::MDNode
*BaseType
, llvm::MDNode
*AccessType
,
50 uint64_t Offset
, uint64_t Size
)
51 : TBAAAccessInfo(TBAAAccessKind::Ordinary
, BaseType
, AccessType
,
55 explicit TBAAAccessInfo(llvm::MDNode
*AccessType
, uint64_t Size
)
56 : TBAAAccessInfo(/* BaseType= */ nullptr, AccessType
, /* Offset= */ 0, Size
)
60 : TBAAAccessInfo(/* AccessType= */ nullptr, /* Size= */ 0)
63 static TBAAAccessInfo
getMayAliasInfo() {
64 return TBAAAccessInfo(TBAAAccessKind::MayAlias
,
65 /* BaseType= */ nullptr, /* AccessType= */ nullptr,
66 /* Offset= */ 0, /* Size= */ 0);
69 bool isMayAlias() const { return Kind
== TBAAAccessKind::MayAlias
; }
71 static TBAAAccessInfo
getIncompleteInfo() {
72 return TBAAAccessInfo(TBAAAccessKind::Incomplete
,
73 /* BaseType= */ nullptr, /* AccessType= */ nullptr,
74 /* Offset= */ 0, /* Size= */ 0);
77 bool isIncomplete() const { return Kind
== TBAAAccessKind::Incomplete
; }
79 bool operator==(const TBAAAccessInfo
&Other
) const {
80 return Kind
== Other
.Kind
&&
81 BaseType
== Other
.BaseType
&&
82 AccessType
== Other
.AccessType
&&
83 Offset
== Other
.Offset
&&
87 bool operator!=(const TBAAAccessInfo
&Other
) const {
88 return !(*this == Other
);
91 explicit operator bool() const {
92 return *this != TBAAAccessInfo();
95 /// Kind - The kind of the access descriptor.
98 /// BaseType - The base/leading access type. May be null if this access
99 /// descriptor represents an access that is not considered to be an access
100 /// to an aggregate or union member.
101 llvm::MDNode
*BaseType
;
103 /// AccessType - The final access type. May be null if there is no TBAA
104 /// information available about this access.
105 llvm::MDNode
*AccessType
;
107 /// Offset - The byte offset of the final access within the base one. Must be
108 /// zero if the base access type is not specified.
111 /// Size - The size of access, in bytes.
115 /// CodeGenTBAA - This class organizes the cross-module state that is used
116 /// while lowering AST types to LLVM types.
119 CodeGenTypes
&CGTypes
;
120 llvm::Module
&Module
;
121 const CodeGenOptions
&CodeGenOpts
;
122 const LangOptions
&Features
;
123 MangleContext
&MContext
;
125 // MDHelper - Helper for creating metadata.
126 llvm::MDBuilder MDHelper
;
128 /// MetadataCache - This maps clang::Types to scalar llvm::MDNodes describing
130 llvm::DenseMap
<const Type
*, llvm::MDNode
*> MetadataCache
;
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
;
136 /// StructMetadataCache - This maps clang::Types to llvm::MDNodes describing
137 /// them for struct assignments.
138 llvm::DenseMap
<const Type
*, llvm::MDNode
*> StructMetadataCache
;
143 /// getRoot - This is the mdnode for the root of the metadata type graph
144 /// for this translation unit.
145 llvm::MDNode
*getRoot();
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();
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
,
155 SmallVectorImpl
<llvm::MDBuilder::TBAAStructField
> &Fields
,
158 /// createScalarTypeNode - A wrapper function to create a metadata node
159 /// describing a scalar type.
160 llvm::MDNode
*createScalarTypeNode(StringRef Name
, llvm::MDNode
*Parent
,
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
);
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
);
171 /// getValidBaseTypeInfo - Return metadata that describes the given base
172 /// access type. The type must be suitable.
173 llvm::MDNode
*getValidBaseTypeInfo(QualType QTy
);
176 CodeGenTBAA(ASTContext
&Ctx
, CodeGenTypes
&CGTypes
, llvm::Module
&M
,
177 const CodeGenOptions
&CGO
, const LangOptions
&Features
,
178 MangleContext
&MContext
);
181 /// getTypeInfo - Get metadata used to describe accesses to objects of the
183 llvm::MDNode
*getTypeInfo(QualType QTy
);
185 /// getAccessInfo - Get TBAA information that describes an access to
186 /// an object of the given type.
187 TBAAAccessInfo
getAccessInfo(QualType AccessType
);
189 /// getVTablePtrAccessInfo - Get the TBAA information that describes an
190 /// access to a virtual table pointer.
191 TBAAAccessInfo
getVTablePtrAccessInfo(llvm::Type
*VTablePtrType
);
193 /// getTBAAStructInfo - Get the TBAAStruct MDNode to be used for a memcpy of
195 llvm::MDNode
*getTBAAStructInfo(QualType QTy
);
197 /// getBaseTypeInfo - Get metadata that describes the given base access
198 /// type. Return null if the type is not suitable for use in TBAA access
200 llvm::MDNode
*getBaseTypeInfo(QualType QTy
);
202 /// getAccessTagInfo - Get TBAA tag for a given memory access.
203 llvm::MDNode
*getAccessTagInfo(TBAAAccessInfo Info
);
205 /// mergeTBAAInfoForCast - Get merged TBAA information for the purpose of
207 TBAAAccessInfo
mergeTBAAInfoForCast(TBAAAccessInfo SourceInfo
,
208 TBAAAccessInfo TargetInfo
);
210 /// mergeTBAAInfoForConditionalOperator - Get merged TBAA information for the
211 /// purpose of conditional operator.
212 TBAAAccessInfo
mergeTBAAInfoForConditionalOperator(TBAAAccessInfo InfoA
,
213 TBAAAccessInfo InfoB
);
215 /// mergeTBAAInfoForMemoryTransfer - Get merged TBAA information for the
216 /// purpose of memory transfer calls.
217 TBAAAccessInfo
mergeTBAAInfoForMemoryTransfer(TBAAAccessInfo DestInfo
,
218 TBAAAccessInfo SrcInfo
);
221 } // end namespace CodeGen
222 } // end namespace clang
226 template<> struct DenseMapInfo
<clang::CodeGen::TBAAAccessInfo
> {
227 static clang::CodeGen::TBAAAccessInfo
getEmptyKey() {
228 unsigned UnsignedKey
= DenseMapInfo
<unsigned>::getEmptyKey();
229 return clang::CodeGen::TBAAAccessInfo(
230 static_cast<clang::CodeGen::TBAAAccessKind
>(UnsignedKey
),
231 DenseMapInfo
<MDNode
*>::getEmptyKey(),
232 DenseMapInfo
<MDNode
*>::getEmptyKey(),
233 DenseMapInfo
<uint64_t>::getEmptyKey(),
234 DenseMapInfo
<uint64_t>::getEmptyKey());
237 static clang::CodeGen::TBAAAccessInfo
getTombstoneKey() {
238 unsigned UnsignedKey
= DenseMapInfo
<unsigned>::getTombstoneKey();
239 return clang::CodeGen::TBAAAccessInfo(
240 static_cast<clang::CodeGen::TBAAAccessKind
>(UnsignedKey
),
241 DenseMapInfo
<MDNode
*>::getTombstoneKey(),
242 DenseMapInfo
<MDNode
*>::getTombstoneKey(),
243 DenseMapInfo
<uint64_t>::getTombstoneKey(),
244 DenseMapInfo
<uint64_t>::getTombstoneKey());
247 static unsigned getHashValue(const clang::CodeGen::TBAAAccessInfo
&Val
) {
248 auto KindValue
= static_cast<unsigned>(Val
.Kind
);
249 return DenseMapInfo
<unsigned>::getHashValue(KindValue
) ^
250 DenseMapInfo
<MDNode
*>::getHashValue(Val
.BaseType
) ^
251 DenseMapInfo
<MDNode
*>::getHashValue(Val
.AccessType
) ^
252 DenseMapInfo
<uint64_t>::getHashValue(Val
.Offset
) ^
253 DenseMapInfo
<uint64_t>::getHashValue(Val
.Size
);
256 static bool isEqual(const clang::CodeGen::TBAAAccessInfo
&LHS
,
257 const clang::CodeGen::TBAAAccessInfo
&RHS
) {
262 } // end namespace llvm