LowerTypeTests.cpp File Reference

#include "llvm/Transforms/IPO/LowerTypeTests.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/EquivalenceClasses.h"
#include "llvm/ADT/PointerUnion.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/ADT/TinyPtrVector.h"
#include "llvm/ADT/Triple.h"
#include "llvm/Analysis/TypeMetadataUtils.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/Attributes.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/Constant.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/GlobalAlias.h"
#include "llvm/IR/GlobalObject.h"
#include "llvm/IR/GlobalValue.h"
#include "llvm/IR/GlobalVariable.h"
#include "llvm/IR/IRBuilder.h"
#include "llvm/IR/InlineAsm.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/Intrinsics.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Metadata.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/ModuleSummaryIndex.h"
#include "llvm/IR/ModuleSummaryIndexYAML.h"
#include "llvm/IR/Operator.h"
#include "llvm/IR/PassManager.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/Use.h"
#include "llvm/IR/User.h"
#include "llvm/IR/Value.h"
#include "llvm/InitializePasses.h"
#include "llvm/Pass.h"
#include "llvm/Support/Allocator.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/Error.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/FileSystem.h"
#include "llvm/Support/MathExtras.h"
#include "llvm/Support/MemoryBuffer.h"
#include "llvm/Support/TrailingObjects.h"
#include "llvm/Support/YAMLTraits.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Transforms/IPO.h"
#include "llvm/Transforms/Utils/BasicBlockUtils.h"
#include "llvm/Transforms/Utils/ModuleUtils.h"
#include <algorithm>
#include <cassert>
#include <cstdint>
#include <memory>
#include <set>
#include <string>
#include <system_error>
#include <utility>
#include <vector>

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "lowertypetests"

Functions
	STATISTIC (ByteArraySizeBits, "Byte array size in bits")
	STATISTIC (ByteArraySizeBytes, "Byte array size in bytes")
	STATISTIC (NumByteArraysCreated, "Number of byte arrays created")
	STATISTIC (NumTypeTestCallsLowered, "Number of type test calls lowered")
	STATISTIC (NumTypeIdDisjointSets, "Number of disjoint sets of type identifiers")
static Value *	createMaskedBitTest (IRBuilder<> &B, Value *Bits, Value *BitOffset)
	Build a test that bit BitOffset mod sizeof(Bits)*8 is set in Bits. More...
static bool	isKnownTypeIdMember (Metadata *TypeId, const DataLayout &DL, Value *V, uint64_t COffset)
static bool	isThumbFunction (Function *F, Triple::ArchType ModuleArch)
static Triple::ArchType	selectJumpTableArmEncoding (ArrayRef< GlobalTypeMember * > Functions, Triple::ArchType ModuleArch)
static bool	isDirectCall (Use &U)
static void	dropTypeTests (Module &M, Function &TypeTestFunc)

Variables
static cl::opt< bool >	AvoidReuse ("lowertypetests-avoid-reuse", cl::desc("Try to avoid reuse of byte array addresses using aliases"), cl::Hidden, cl::init(true))
static cl::opt< PassSummaryAction >	ClSummaryAction ("lowertypetests-summary-action", cl::desc("What to do with the summary when running this pass"), cl::values(clEnumValN(PassSummaryAction::None, "none", "Do nothing"), clEnumValN(PassSummaryAction::Import, "import", "Import typeid resolutions from summary and globals"), clEnumValN(PassSummaryAction::Export, "export", "Export typeid resolutions to summary and globals")), cl::Hidden)
static cl::opt< std::string >	ClReadSummary ("lowertypetests-read-summary", cl::desc("Read summary from given YAML file before running pass"), cl::Hidden)
static cl::opt< std::string >	ClWriteSummary ("lowertypetests-write-summary", cl::desc("Write summary to given YAML file after running pass"), cl::Hidden)
static cl::opt< bool >	ClDropTypeTests ("lowertypetests-drop-type-tests", cl::desc("Simply drop type test assume sequences"), cl::Hidden, cl::init(false))
static const unsigned	kX86JumpTableEntrySize = 8
static const unsigned	kARMJumpTableEntrySize = 4
static const unsigned	kARMBTIJumpTableEntrySize = 8
static const unsigned	kRISCVJumpTableEntrySize = 8

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "lowertypetests"

Definition at line 88 of file LowerTypeTests.cpp.

Function Documentation

createMaskedBitTest()

static Value* createMaskedBitTest ( IRBuilder<> &  B, Value *  Bits, Value *  BitOffset  )

static

Build a test that bit BitOffset mod sizeof(Bits)*8 is set in Bits.

This pattern matches to the bt instruction on x86.

Definition at line 559 of file LowerTypeTests.cpp.

References B, llvm::tgtok::Bits, llvm::BitWidth, and llvm::ConstantInt::get().

dropTypeTests()

static void dropTypeTests ( Module &  M, Function &  TypeTestFunc  )

static

Definition at line 1781 of file LowerTypeTests.cpp.

References llvm::all_of(), assert(), llvm::Instruction::eraseFromParent(), getTrue(), M, llvm::make_early_inc_range(), llvm::Value::replaceAllUsesWith(), llvm::Value::use_empty(), llvm::Value::users(), and llvm::Value::uses().

isDirectCall()

static bool isDirectCall ( Use &  U )

static

Definition at line 1735 of file LowerTypeTests.cpp.

References llvm::Use::getUser().

isKnownTypeIdMember()

static bool isKnownTypeIdMember ( Metadata *  TypeId, const DataLayout &  DL, Value *  V, uint64_t  COffset  )

static

Definition at line 670 of file LowerTypeTests.cpp.

References DL, GEP, llvm::APInt::getZExtValue(), and llvm::MCID::Select.

isThumbFunction()

static bool isThumbFunction ( Function *  F, Triple::ArchType  ModuleArch  )

static

Definition at line 1322 of file LowerTypeTests.cpp.

References F, llvm::Attribute::getValueAsString(), llvm::Attribute::isValid(), llvm::StringRef::split(), and llvm::Triple::thumb.

Referenced by llvm::ARMBasicBlockUtils::ARMBasicBlockUtils(), and selectJumpTableArmEncoding().

selectJumpTableArmEncoding()

static Triple::ArchType selectJumpTableArmEncoding ( ArrayRef< GlobalTypeMember * >  Functions, Triple::ArchType  ModuleArch  )

static

Definition at line 1342 of file LowerTypeTests.cpp.

References llvm::Triple::arm, F, isThumbFunction(), and llvm::Triple::thumb.

STATISTIC() [1/5]

STATISTIC	(	ByteArraySizeBits	,
		"Byte array size in bits"
	)

STATISTIC() [2/5]

STATISTIC	(	ByteArraySizeBytes	,
		"Byte array size in bytes"
	)

STATISTIC() [3/5]

STATISTIC	(	NumByteArraysCreated	,
		"Number of byte arrays created"
	)

STATISTIC() [4/5]

STATISTIC	(	NumTypeIdDisjointSets	,
		"Number of disjoint sets of type identifiers"
	)

STATISTIC() [5/5]

STATISTIC	(	NumTypeTestCallsLowered	,
		"Number of type test calls lowered"
	)

Variable Documentation

AvoidReuse

cl::opt<bool> AvoidReuse("lowertypetests-avoid-reuse", cl::desc("Try to avoid reuse of byte array addresses using aliases"), cl::Hidden, cl::init(true))

static

ClDropTypeTests

cl::opt<bool> ClDropTypeTests("lowertypetests-drop-type-tests", cl::desc("Simply drop type test assume sequences"), cl::Hidden, cl::init(false))

static

ClReadSummary

cl::opt<std::string> ClReadSummary("lowertypetests-read-summary", cl::desc("Read summary from given YAML file before running pass"), cl::Hidden)

static

ClSummaryAction

cl::opt<PassSummaryAction> ClSummaryAction("lowertypetests-summary-action", cl::desc("What to do with the summary when running this pass"), cl::values(clEnumValN(PassSummaryAction::None, "none", "Do nothing"), clEnumValN(PassSummaryAction::Import, "import", "Import typeid resolutions from summary and globals"), clEnumValN(PassSummaryAction::Export, "export", "Export typeid resolutions to summary and globals")), cl::Hidden)

static

ClWriteSummary

cl::opt<std::string> ClWriteSummary("lowertypetests-write-summary", cl::desc("Write summary to given YAML file after running pass"), cl::Hidden)

static

kARMBTIJumpTableEntrySize

const unsigned kARMBTIJumpTableEntrySize = 8

static

Definition at line 1183 of file LowerTypeTests.cpp.

kARMJumpTableEntrySize

const unsigned kARMJumpTableEntrySize = 4

static

Definition at line 1182 of file LowerTypeTests.cpp.

kRISCVJumpTableEntrySize

const unsigned kRISCVJumpTableEntrySize = 8

static

Definition at line 1184 of file LowerTypeTests.cpp.

kX86JumpTableEntrySize

const unsigned kX86JumpTableEntrySize = 8

static

Definition at line 1181 of file LowerTypeTests.cpp.