25 #define DEBUG_TYPE "code-metrics" 38 if (Visited.
insert(Operand).second)
53 for (
int i = 0; i < (int)Worklist.
size(); ++i) {
54 const Value *V = Worklist[i];
57 "Failed to add a worklist entry to our visited set!");
89 if (EphValues.
insert(I).second)
107 "Found assumption for the wrong function!");
109 if (EphValues.
insert(I).second)
122 unsigned NumInstsBeforeThisBB =
NumInsts;
129 if (isa<CallInst>(
I) || isa<InvokeInst>(
I)) {
136 if (!CS.
isNoInline() &&
F->hasInternalLinkage() &&
F->hasOneUse())
143 if (
F == BB->getParent())
156 if (
const AllocaInst *AI = dyn_cast<AllocaInst>(&
I)) {
157 if (!AI->isStaticAlloca())
161 if (isa<ExtractElementInst>(
I) ||
I.getType()->isVectorTy())
164 if (
I.getType()->isTokenTy() &&
I.isUsedOutsideOfBlock(BB))
167 if (
const CallInst *CI = dyn_cast<CallInst>(&
I)) {
168 if (CI->cannotDuplicate())
170 if (CI->isConvergent())
174 if (
const InvokeInst *InvI = dyn_cast<InvokeInst>(&
I))
175 if (InvI->cannotDuplicate())
181 if (isa<ReturnInst>(BB->getTerminator()))
static void collectEphemeralValues(const Loop *L, AssumptionCache *AC, SmallPtrSetImpl< const Value *> &EphValues)
Collect a loop's ephemeral values (those used only by an assume or similar intrinsics in the loop)...
This class represents lattice values for constants.
bool convergent
True if this function contains a call to a convergent function.
bool isRecursive
True if this function calls itself.
unsigned NumVectorInsts
How many instructions produce vector values.
void push_back(const T &Elt)
unsigned NumCalls
Keep track of the number of calls to 'big' functions.
This class represents a function call, abstracting a target machine's calling convention.
A cache of @llvm.assume calls within a function.
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly...
unsigned NumInlineCandidates
The number of calls to internal functions with a single caller.
bool notDuplicatable
True if this function cannot be duplicated.
bool isNoInline() const
Return true if the call should not be inlined.
MutableArrayRef< WeakTrackingVH > assumptions()
Access the list of assumption handles currently tracked for this function.
unsigned NumBlocks
Number of analyzed blocks.
ValTy * getCalledValue() const
Return the pointer to function that is being called.
static void appendSpeculatableOperands(const Value *V, SmallPtrSetImpl< const Value *> &Visited, SmallVectorImpl< const Value *> &Worklist)
bool usesDynamicAlloca
True if this function calls alloca (in the C sense).
LLVM Basic Block Representation.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
void analyzeBasicBlock(const BasicBlock *BB, const TargetTransformInfo &TTI, const SmallPtrSetImpl< const Value *> &EphValues)
Add information about a block to the current state.
size_type count(ConstPtrType Ptr) const
count - Return 1 if the specified pointer is in the set, 0 otherwise.
DenseMap< const BasicBlock *, unsigned > NumBBInsts
Keeps track of basic block code size estimates.
bool contains(const LoopT *L) const
Return true if the specified loop is contained within in this loop.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements...
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small...
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
iterator_range< user_iterator > users()
Represents a single loop in the control flow graph.
Establish a view to a call site for examination.
const Function * getParent() const
Return the enclosing method, or null if none.
unsigned NumRets
How many 'ret' instructions the blocks contain.
LLVM_NODISCARD std::enable_if<!is_simple_type< Y >::value, typename cast_retty< X, const Y >::ret_type >::type dyn_cast(const Y &Val)
FunTy * getCalledFunction() const
Return the function being called if this is a direct call, otherwise return null (if it's an indirect...
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
static void completeEphemeralValues(SmallPtrSetImpl< const Value *> &Visited, SmallVectorImpl< const Value *> &Worklist, SmallPtrSetImpl< const Value *> &EphValues)
bool isSafeToSpeculativelyExecute(const Value *V, const Instruction *CtxI=nullptr, const DominatorTree *DT=nullptr)
Return true if the instruction does not have any effects besides calculating the result and does not ...
LLVM Value Representation.
unsigned NumInsts
Number of instructions in the analyzed blocks.
const BasicBlock * getParent() const
an instruction to allocate memory on the stack