LLVM 24.0.0git
Macros | Functions | Variables
LowerTypeTests.cpp File Reference
#include "llvm/Transforms/IPO/LowerTypeTests.h"
#include "IPOOptions.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/EquivalenceClasses.h"
#include "llvm/ADT/FunctionExtras.h"
#include "llvm/ADT/MapVector.h"
#include "llvm/ADT/PointerUnion.h"
#include "llvm/ADT/STLExtras.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/Analysis/BlockFrequencyInfo.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/Analysis/PostDominators.h"
#include "llvm/Analysis/ProfileSummaryInfo.h"
#include "llvm/Analysis/TargetTransformInfo.h"
#include "llvm/Analysis/TypeMetadataUtils.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/AsmParser/Parser.h"
#include "llvm/BinaryFormat/ELF.h"
#include "llvm/IR/Attributes.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/Constant.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DIBuilder.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/MDBuilder.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/ProfDataUtils.h"
#include "llvm/IR/ReplaceConstant.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/Use.h"
#include "llvm/IR/User.h"
#include "llvm/IR/Value.h"
#include "llvm/Object/ModuleSymbolTable.h"
#include "llvm/Support/Allocator.h"
#include "llvm/Support/Casting.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/SourceMgr.h"
#include "llvm/Support/TrailingObjects.h"
#include "llvm/Support/YAMLTraits.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/TargetParser/Triple.h"
#include "llvm/Transforms/IPO.h"
#include "llvm/Transforms/IPO/MemProfContextDisambiguation.h"
#include "llvm/Transforms/Utils/BasicBlockUtils.h"
#include "llvm/Transforms/Utils/ModuleUtils.h"
#include <algorithm>
#include <cassert>
#include <cstdint>
#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 ConstantInt * extractNumericTypeId (MDNode &MD)
 Extracts a numeric type identifier from an MDNode containing type metadata.
static CfiFunctionLinkage decodeCfiFunctionLinkage (uint8_t Encoded)
static CfiFunctionHotness decodeCfiFunctionHotness (uint8_t Encoded)
static uint8_t encodeCfiFunctionLinkage (CfiFunctionLinkage Linkage, CfiFunctionHotness Hotness)
static void createCfiFunctionsMetadata (Module &DestM, ArrayRef< GlobalValue * > CfiFunctions, ProfileSummaryInfo &PSI, function_ref< const BlockFrequencyInfo &(Function &)> BFIGetter)
static void createCfiAliasesMetadata (Module &DestM, const Module &SrcM)
static void createCfiSymversMetadata (Module &DestM, const Module &SrcM)
static BitSetInfo buildBitSet (ArrayRef< uint64_t > Offsets)
 Build a bit set for list of offsets.
static Value * createMaskedBitTest (IRBuilder<> &B, Value *Bits, Value *BitOffset)
 Build a test that bit BitOffset mod sizeof(Bits)*8 is set in Bits.
static bool isKnownTypeIdMember (Metadata *TypeId, const DataLayout &DL, Value *V, uint64_t COffset)
static auto buildBitSets (ArrayRef< Metadata * > TypeIds, const DenseMap< GlobalTypeMember *, uint64_t > &GlobalLayout)
static bool isThumbFunction (Function *F, Triple::ArchType ModuleArch)
static SmallVector< DILocation * > createJumpTableDebugInfo (Function *F, ArrayRef< GlobalTypeMember * > Functions)
static bool isDirectCall (Use &U)
static void dropTypeTests (Module &M, Function &TypeTestFunc, bool ShouldDropAll)
static bool dropTypeTests (Module &M, bool ShouldDropAll)

Variables

static const unsigned kX86JumpTableEntrySize = 8
static const unsigned kX86IBTJumpTableEntrySize = 16
static const unsigned kARMJumpTableEntrySize = 4
static const unsigned kARMBTIJumpTableEntrySize = 8
static const unsigned kARMv6MJumpTableEntrySize = 16
static const unsigned kRISCVJumpTableEntrySize = 8
static const unsigned kLOONGARCH64JumpTableEntrySize = 8
static const unsigned kHexagonJumpTableEntrySize = 4

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "lowertypetests"

Definition at line 102 of file LowerTypeTests.cpp.

Function Documentation

◆ buildBitSet()

BitSetInfo buildBitSet ( ArrayRef< uint64_t > Offsets)
static

Build a bit set for list of offsets.

Definition at line 836 of file LowerTypeTests.cpp.

References llvm::lowertypetests::BitSetBuilder::build().

Referenced by buildBitSets().

◆ buildBitSets()

auto buildBitSets ( ArrayRef< Metadata * > TypeIds,
const DenseMap< GlobalTypeMember *, uint64_t > & GlobalLayout )
static

Definition at line 1429 of file LowerTypeTests.cpp.

References llvm::SmallVectorTemplateCommon< T, typename >::back(), buildBitSet(), llvm::cast(), llvm::dbgs(), llvm::dyn_cast(), llvm::SmallVectorImpl< T >::emplace_back(), llvm::DenseMapBase< StorageT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< StorageT, KeyT, ValueT, KeyInfoT, BucketT >::find(), LLVM_DEBUG, llvm::Offset, llvm::SmallVectorImpl< T >::reserve(), llvm::ArrayRef< T >::size(), and uint64_t.

◆ createCfiAliasesMetadata()

void createCfiAliasesMetadata ( Module & DestM,
const Module & SrcM )
static

Definition at line 467 of file LowerTypeTests.cpp.

References A(), llvm::NamedMDNode::addOperand(), llvm::Module::aliases(), llvm::cast(), llvm::MapVector< KeyT, ValueT, MapType, VectorType, N >::empty(), F, llvm::MDString::get(), llvm::MDTuple::get(), llvm::Module::getContext(), llvm::Module::getOrInsertNamedMetadata(), llvm::isa(), and llvm::SmallVectorTemplateBase< T, bool >::push_back().

Referenced by llvm::lowertypetests::createCfiMetadata().

◆ createCfiFunctionsMetadata()

void createCfiFunctionsMetadata ( Module & DestM,
ArrayRef< GlobalValue * > CfiFunctions,
ProfileSummaryInfo & PSI,
function_ref< const BlockFrequencyInfo &(Function &)> BFIGetter )
static

Definition at line 424 of file LowerTypeTests.cpp.

References llvm::NamedMDNode::addOperand(), llvm::append_range(), llvm::cast(), llvm::SmallVectorTemplateCommon< T, typename >::empty(), encodeCfiFunctionLinkage(), F, llvm::ConstantAsMetadata::get(), llvm::MDString::get(), llvm::MDTuple::get(), llvm::Module::getContext(), llvm::Type::getInt64Ty(), llvm::Type::getInt8Ty(), llvm::getIPOOptions(), llvm::Module::getOrInsertNamedMetadata(), llvm::lowertypetests::isJumpTableCanonical(), Linkage, llvm::SmallVectorTemplateBase< T, bool >::push_back(), and V.

Referenced by llvm::lowertypetests::createCfiMetadata().

◆ createCfiSymversMetadata()

void createCfiSymversMetadata ( Module & DestM,
const Module & SrcM )
static

Definition at line 490 of file LowerTypeTests.cpp.

References llvm::NamedMDNode::addOperand(), llvm::ModuleSymbolTable::CollectAsmSymvers(), llvm::SmallVectorTemplateCommon< T, typename >::empty(), F, llvm::MDString::get(), llvm::MDTuple::get(), llvm::Module::getContext(), llvm::Module::getFunction(), llvm::Module::getOrInsertNamedMetadata(), and llvm::SmallVectorTemplateBase< T, bool >::push_back().

Referenced by llvm::lowertypetests::createCfiMetadata().

◆ createJumpTableDebugInfo()

SmallVector< DILocation * > createJumpTableDebugInfo ( Function * F,
ArrayRef< GlobalTypeMember * > Functions )
static

Definition at line 1823 of file LowerTypeTests.cpp.

References llvm::StringRef::consume_back(), llvm::DIBuilder::createCompileUnit(), llvm::DIBuilder::createFile(), llvm::DIBuilder::createFunction(), llvm::DIBuilder::createSubroutineType(), F, llvm::DIBuilder::finalize(), llvm::MDNode::get(), llvm::DICompileUnit::LineTablesOnly, and llvm::SmallVectorImpl< T >::reserve().

◆ createMaskedBitTest()

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 844 of file LowerTypeTests.cpp.

References B(), llvm::BitWidth, and llvm::cast().

◆ decodeCfiFunctionHotness()

CfiFunctionHotness decodeCfiFunctionHotness ( uint8_t Encoded)
static

Definition at line 411 of file LowerTypeTests.cpp.

Referenced by encodeCfiFunctionLinkage().

◆ decodeCfiFunctionLinkage()

CfiFunctionLinkage decodeCfiFunctionLinkage ( uint8_t Encoded)
static

Definition at line 407 of file LowerTypeTests.cpp.

Referenced by encodeCfiFunctionLinkage().

◆ dropTypeTests() [1/2]

bool dropTypeTests ( Module & M,
bool ShouldDropAll )
static

Definition at line 2464 of file LowerTypeTests.cpp.

References llvm::lowertypetests::cleanUpTypeCheckedLoad(), dropTypeTests(), llvm::GlobalObject::eraseMetadata(), F, and llvm::Intrinsic::getDeclarationIfExists().

◆ dropTypeTests() [2/2]

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

Definition at line 2440 of file LowerTypeTests.cpp.

References llvm::all_of(), assert(), llvm::lowertypetests::Assume, llvm::cast(), llvm::dyn_cast(), llvm::Instruction::eraseFromParent(), llvm::ConstantInt::getTrue(), llvm::make_early_inc_range(), llvm::Value::replaceAllUsesWith(), llvm::Value::use_empty(), llvm::Instruction::users(), and llvm::Value::uses().

Referenced by dropTypeTests(), and llvm::DropTypeTestsPass::run().

◆ encodeCfiFunctionLinkage()

uint8_t encodeCfiFunctionLinkage ( CfiFunctionLinkage Linkage,
CfiFunctionHotness Hotness )
static

Definition at line 415 of file LowerTypeTests.cpp.

References assert(), decodeCfiFunctionHotness(), decodeCfiFunctionLinkage(), and Linkage.

Referenced by createCfiFunctionsMetadata().

◆ extractNumericTypeId()

ConstantInt * extractNumericTypeId ( MDNode & MD)
static

Extracts a numeric type identifier from an MDNode containing type metadata.

Definition at line 293 of file LowerTypeTests.cpp.

References C(), llvm::dyn_cast(), llvm::dyn_cast_or_null(), and llvm::MDNode::getOperand().

Referenced by llvm::lowertypetests::findCfiTypeIds().

◆ isDirectCall()

bool isDirectCall ( Use & U)
static

Definition at line 2355 of file LowerTypeTests.cpp.

References llvm::dyn_cast().

◆ isKnownTypeIdMember()

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

Definition at line 952 of file LowerTypeTests.cpp.

References llvm::cast(), DL, llvm::dyn_cast(), GEP, llvm::APInt::getZExtValue(), isKnownTypeIdMember(), llvm::Offset, uint64_t, and V.

Referenced by isKnownTypeIdMember(), and llvm::SimplifyTypeTestsPass::run().

◆ isThumbFunction()

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

Definition at line 1771 of file LowerTypeTests.cpp.

References F, llvm::Attribute::getValueAsString(), llvm::Attribute::isValid(), llvm::StringRef::split(), 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

◆ kARMBTIJumpTableEntrySize

const unsigned kARMBTIJumpTableEntrySize = 8
static

Definition at line 1544 of file LowerTypeTests.cpp.

◆ kARMJumpTableEntrySize

const unsigned kARMJumpTableEntrySize = 4
static

Definition at line 1543 of file LowerTypeTests.cpp.

◆ kARMv6MJumpTableEntrySize

const unsigned kARMv6MJumpTableEntrySize = 16
static

Definition at line 1545 of file LowerTypeTests.cpp.

◆ kHexagonJumpTableEntrySize

const unsigned kHexagonJumpTableEntrySize = 4
static

Definition at line 1548 of file LowerTypeTests.cpp.

◆ kLOONGARCH64JumpTableEntrySize

const unsigned kLOONGARCH64JumpTableEntrySize = 8
static

Definition at line 1547 of file LowerTypeTests.cpp.

◆ kRISCVJumpTableEntrySize

const unsigned kRISCVJumpTableEntrySize = 8
static

Definition at line 1546 of file LowerTypeTests.cpp.

◆ kX86IBTJumpTableEntrySize

const unsigned kX86IBTJumpTableEntrySize = 16
static

Definition at line 1542 of file LowerTypeTests.cpp.

◆ kX86JumpTableEntrySize

const unsigned kX86JumpTableEntrySize = 8
static

Definition at line 1541 of file LowerTypeTests.cpp.

Generated on for LLVM by doxygen 1.14.0