2010-10-15 07:06:10 +08:00
|
|
|
//===--- CodeGenTBAA.h - TBAA information for LLVM CodeGen ------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
2010-10-22 02:49:12 +08:00
|
|
|
// This is the code that manages TBAA information and defines the TBAA policy
|
|
|
|
// for the optimizer to use.
|
2010-10-15 07:06:10 +08:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef CLANG_CODEGEN_CODEGENTBAA_H
|
|
|
|
#define CLANG_CODEGEN_CODEGENTBAA_H
|
|
|
|
|
2011-07-20 14:58:45 +08:00
|
|
|
#include "clang/Basic/LLVM.h"
|
2010-10-15 07:06:10 +08:00
|
|
|
#include "llvm/ADT/DenseMap.h"
|
2013-01-02 19:45:17 +08:00
|
|
|
#include "llvm/IR/MDBuilder.h"
|
2010-10-15 07:06:10 +08:00
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
class LLVMContext;
|
|
|
|
class MDNode;
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace clang {
|
|
|
|
class ASTContext;
|
2012-04-24 14:57:01 +08:00
|
|
|
class CodeGenOptions;
|
2010-10-15 07:06:10 +08:00
|
|
|
class LangOptions;
|
2011-01-14 02:57:25 +08:00
|
|
|
class MangleContext;
|
2010-10-15 07:06:10 +08:00
|
|
|
class QualType;
|
|
|
|
class Type;
|
|
|
|
|
|
|
|
namespace CodeGen {
|
|
|
|
class CGRecordLayout;
|
|
|
|
|
2013-04-05 05:53:22 +08:00
|
|
|
struct TBAAPathTag {
|
|
|
|
TBAAPathTag(const Type *B, const llvm::MDNode *A, uint64_t O)
|
|
|
|
: BaseT(B), AccessN(A), Offset(O) {}
|
|
|
|
const Type *BaseT;
|
|
|
|
const llvm::MDNode *AccessN;
|
|
|
|
uint64_t Offset;
|
|
|
|
};
|
|
|
|
|
2010-10-15 07:06:10 +08:00
|
|
|
/// CodeGenTBAA - This class organizes the cross-module state that is used
|
|
|
|
/// while lowering AST types to LLVM types.
|
|
|
|
class CodeGenTBAA {
|
|
|
|
ASTContext &Context;
|
2012-04-24 14:57:01 +08:00
|
|
|
const CodeGenOptions &CodeGenOpts;
|
2010-10-15 07:06:10 +08:00
|
|
|
const LangOptions &Features;
|
2010-10-16 04:23:12 +08:00
|
|
|
MangleContext &MContext;
|
2010-10-15 07:06:10 +08:00
|
|
|
|
2012-04-16 02:04:54 +08:00
|
|
|
// MDHelper - Helper for creating metadata.
|
|
|
|
llvm::MDBuilder MDHelper;
|
|
|
|
|
2013-04-05 05:53:22 +08:00
|
|
|
/// MetadataCache - This maps clang::Types to scalar llvm::MDNodes describing
|
|
|
|
/// them.
|
2010-10-15 07:06:10 +08:00
|
|
|
llvm::DenseMap<const Type *, llvm::MDNode *> MetadataCache;
|
2013-04-05 05:53:22 +08:00
|
|
|
/// This maps clang::Types to a struct node in the type DAG.
|
|
|
|
llvm::DenseMap<const Type *, llvm::MDNode *> StructTypeMetadataCache;
|
|
|
|
/// This maps TBAAPathTags to a tag node.
|
|
|
|
llvm::DenseMap<TBAAPathTag, llvm::MDNode *> StructTagMetadataCache;
|
2013-04-12 07:02:56 +08:00
|
|
|
/// This maps a scalar type to a scalar tag node.
|
|
|
|
llvm::DenseMap<const llvm::MDNode *, llvm::MDNode *> ScalarTagMetadataCache;
|
2010-10-15 07:06:10 +08:00
|
|
|
|
2012-09-29 05:58:29 +08:00
|
|
|
/// StructMetadataCache - This maps clang::Types to llvm::MDNodes describing
|
|
|
|
/// them for struct assignments.
|
|
|
|
llvm::DenseMap<const Type *, llvm::MDNode *> StructMetadataCache;
|
|
|
|
|
2010-10-15 07:06:10 +08:00
|
|
|
llvm::MDNode *Root;
|
2010-10-26 05:48:30 +08:00
|
|
|
llvm::MDNode *Char;
|
2010-10-15 07:06:10 +08:00
|
|
|
|
2010-10-26 05:48:30 +08:00
|
|
|
/// getRoot - This is the mdnode for the root of the metadata type graph
|
|
|
|
/// for this translation unit.
|
|
|
|
llvm::MDNode *getRoot();
|
|
|
|
|
|
|
|
/// getChar - This is the mdnode for "char", which is special, and any types
|
2010-10-15 07:06:10 +08:00
|
|
|
/// considered to be equivalent to it.
|
2010-10-26 05:48:30 +08:00
|
|
|
llvm::MDNode *getChar();
|
2010-10-15 07:06:10 +08:00
|
|
|
|
2012-09-29 05:58:29 +08:00
|
|
|
/// CollectFields - Collect information about the fields of a type for
|
|
|
|
/// !tbaa.struct metadata formation. Return false for an unsupported type.
|
|
|
|
bool CollectFields(uint64_t BaseOffset,
|
|
|
|
QualType Ty,
|
|
|
|
SmallVectorImpl<llvm::MDBuilder::TBAAStructField> &Fields,
|
|
|
|
bool MayAlias);
|
|
|
|
|
2013-04-12 07:02:56 +08:00
|
|
|
/// A wrapper function to create a scalar type. For struct-path aware TBAA,
|
|
|
|
/// the scalar type has the same format as the struct type: name, offset,
|
|
|
|
/// pointer to another node in the type DAG.
|
|
|
|
llvm::MDNode *createTBAAScalarType(StringRef Name, llvm::MDNode *Parent);
|
|
|
|
|
2010-10-15 07:06:10 +08:00
|
|
|
public:
|
|
|
|
CodeGenTBAA(ASTContext &Ctx, llvm::LLVMContext &VMContext,
|
2012-04-24 14:57:01 +08:00
|
|
|
const CodeGenOptions &CGO,
|
2010-10-16 04:23:12 +08:00
|
|
|
const LangOptions &Features,
|
|
|
|
MangleContext &MContext);
|
2010-10-15 07:06:10 +08:00
|
|
|
~CodeGenTBAA();
|
|
|
|
|
2010-10-22 02:49:12 +08:00
|
|
|
/// getTBAAInfo - Get the TBAA MDNode to be used for a dereference
|
|
|
|
/// of the given type.
|
2010-10-15 07:06:10 +08:00
|
|
|
llvm::MDNode *getTBAAInfo(QualType QTy);
|
2012-03-27 01:03:51 +08:00
|
|
|
|
|
|
|
/// getTBAAInfoForVTablePtr - Get the TBAA MDNode to be used for a
|
|
|
|
/// dereference of a vtable pointer.
|
|
|
|
llvm::MDNode *getTBAAInfoForVTablePtr();
|
2012-09-29 05:58:29 +08:00
|
|
|
|
|
|
|
/// getTBAAStructInfo - Get the TBAAStruct MDNode to be used for a memcpy of
|
|
|
|
/// the given type.
|
|
|
|
llvm::MDNode *getTBAAStructInfo(QualType QTy);
|
2013-04-05 05:53:22 +08:00
|
|
|
|
|
|
|
/// Get the MDNode in the type DAG for given struct type QType.
|
|
|
|
llvm::MDNode *getTBAAStructTypeInfo(QualType QType);
|
2013-04-12 07:02:56 +08:00
|
|
|
/// Get the tag MDNode for a given base type, the actual scalar access MDNode
|
2013-04-05 05:53:22 +08:00
|
|
|
/// and offset into the base type.
|
|
|
|
llvm::MDNode *getTBAAStructTagInfo(QualType BaseQType,
|
|
|
|
llvm::MDNode *AccessNode, uint64_t Offset);
|
2013-04-12 07:02:56 +08:00
|
|
|
|
2013-06-08 08:27:19 +08:00
|
|
|
/// Get the scalar tag MDNode for a given scalar type.
|
2013-04-12 07:02:56 +08:00
|
|
|
llvm::MDNode *getTBAAScalarTagInfo(llvm::MDNode *AccessNode);
|
2010-10-15 07:06:10 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
} // end namespace CodeGen
|
|
|
|
} // end namespace clang
|
|
|
|
|
2013-04-05 05:53:22 +08:00
|
|
|
namespace llvm {
|
|
|
|
|
|
|
|
template<> struct DenseMapInfo<clang::CodeGen::TBAAPathTag> {
|
|
|
|
static clang::CodeGen::TBAAPathTag getEmptyKey() {
|
|
|
|
return clang::CodeGen::TBAAPathTag(
|
|
|
|
DenseMapInfo<const clang::Type *>::getEmptyKey(),
|
|
|
|
DenseMapInfo<const MDNode *>::getEmptyKey(),
|
|
|
|
DenseMapInfo<uint64_t>::getEmptyKey());
|
|
|
|
}
|
|
|
|
|
|
|
|
static clang::CodeGen::TBAAPathTag getTombstoneKey() {
|
|
|
|
return clang::CodeGen::TBAAPathTag(
|
|
|
|
DenseMapInfo<const clang::Type *>::getTombstoneKey(),
|
|
|
|
DenseMapInfo<const MDNode *>::getTombstoneKey(),
|
|
|
|
DenseMapInfo<uint64_t>::getTombstoneKey());
|
|
|
|
}
|
|
|
|
|
|
|
|
static unsigned getHashValue(const clang::CodeGen::TBAAPathTag &Val) {
|
|
|
|
return DenseMapInfo<const clang::Type *>::getHashValue(Val.BaseT) ^
|
|
|
|
DenseMapInfo<const MDNode *>::getHashValue(Val.AccessN) ^
|
|
|
|
DenseMapInfo<uint64_t>::getHashValue(Val.Offset);
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool isEqual(const clang::CodeGen::TBAAPathTag &LHS,
|
|
|
|
const clang::CodeGen::TBAAPathTag &RHS) {
|
|
|
|
return LHS.BaseT == RHS.BaseT &&
|
|
|
|
LHS.AccessN == RHS.AccessN &&
|
|
|
|
LHS.Offset == RHS.Offset;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
} // end namespace llvm
|
|
|
|
|
2010-10-15 07:06:10 +08:00
|
|
|
#endif
|