24#define DEBUG_TYPE "call-promotion-utils"
54 int Idx = Phi.getBasicBlockIndex(OrigBlock);
57 Phi.setIncomingBlock(
Idx, MergeBlock);
86 int Idx = Phi.getBasicBlockIndex(OrigBlock);
89 auto *V = Phi.getIncomingValue(
Idx);
90 Phi.setIncomingBlock(
Idx, ThenBlock);
91 Phi.addIncoming(V, ElseBlock);
117 for (
User *U : UsersToUpdate)
118 U->replaceUsesOfWith(OrigInst, Phi);
119 Phi->addIncoming(OrigInst, OrigInst->
getParent());
120 Phi->addIncoming(NewInst, NewInst->
getParent());
172 if (
auto *Invoke = dyn_cast<InvokeInst>(&CB))
184 for (
User *U : UsersToUpdate)
185 U->replaceUsesOfWith(&CB, Cast);
295 ThenBlock->
setName(
"if.true.direct_targ");
300 Value *NewRetVal = NewInst;
302 if (
auto *BitCast = dyn_cast_or_null<BitCastInst>(Next)) {
303 assert(BitCast->getOperand(0) == OrigInst &&
304 "bitcast following musttail call must use the call");
305 auto NewBitCast = BitCast->clone();
306 NewBitCast->replaceUsesOfWith(OrigInst, NewInst);
307 NewBitCast->insertBefore(ThenTerm);
308 NewRetVal = NewBitCast;
309 Next = BitCast->getNextNode();
313 ReturnInst *Ret = dyn_cast_or_null<ReturnInst>(Next);
314 assert(Ret &&
"musttail call must precede a ret with an optional bitcast");
315 auto NewRet = Ret->clone();
316 if (Ret->getReturnValue())
317 NewRet->replaceUsesOfWith(Ret->getReturnValue(), NewRetVal);
318 NewRet->insertBefore(ThenTerm);
337 ThenBlock->
setName(
"if.true.direct_targ");
338 ElseBlock->
setName(
"if.false.orig_indirect");
339 MergeBlock->
setName(
"if.end.icp");
348 if (
auto *OrigInvoke = dyn_cast<InvokeInst>(OrigInst)) {
349 auto *NewInvoke = cast<InvokeInst>(NewInst);
358 Builder.
CreateBr(OrigInvoke->getNormalDest());
366 OrigInvoke->setNormalDest(MergeBlock);
367 NewInvoke->setNormalDest(MergeBlock);
393 const char **FailureReason) {
396 auto &
DL = Callee->getParent()->getDataLayout();
401 Type *FuncRetTy = Callee->getReturnType();
402 if (CallRetTy != FuncRetTy)
405 *FailureReason =
"Return type mismatch";
410 unsigned NumParams = Callee->getFunctionType()->getNumParams();
417 if (NumArgs != NumParams && !Callee->isVarArg()) {
419 *FailureReason =
"The number of arguments mismatch";
427 for (;
I < NumParams; ++
I) {
430 if (Callee->hasParamAttribute(
I, Attribute::ByVal) !=
433 *FailureReason =
"byval mismatch";
436 if (Callee->hasParamAttribute(
I, Attribute::InAlloca) !=
439 *FailureReason =
"inalloca mismatch";
443 Type *FormalTy = Callee->getFunctionType()->getFunctionParamType(
I);
445 if (FormalTy == ActualTy)
449 *FailureReason =
"Argument type mismatch";
460 *FailureReason =
"Musttail call Argument type mismatch";
465 for (;
I < NumArgs;
I++) {
467 assert(Callee->isVarArg());
470 *FailureReason =
"SRet arg to vararg function";
499 Type *CalleeRetTy = Callee->getReturnType();
507 auto CalleeType = Callee->getFunctionType();
508 auto CalleeParamNum = CalleeType->getNumParams();
514 bool AttributeChanged =
false;
516 for (
unsigned ArgNo = 0; ArgNo < CalleeParamNum; ++ArgNo) {
518 Type *FormalTy = CalleeType->getParamType(ArgNo);
519 Type *ActualTy = Arg->getType();
520 if (FormalTy != ActualTy) {
530 ArgAttrs.
addByValAttr(Callee->getParamByValType(ArgNo));
535 AttributeChanged =
true;
544 if (!CallSiteRetTy->
isVoidTy() && CallSiteRetTy != CalleeRetTy) {
547 AttributeChanged =
true;
551 if (AttributeChanged)
577 LoadInst *VTableEntryLoad = dyn_cast<LoadInst>(Callee);
578 if (!VTableEntryLoad)
581 APInt VTableOffset(
DL.getTypeSizeInBits(VTableEntryPtr->
getType()), 0);
583 DL, VTableOffset,
true);
584 LoadInst *VTablePtrLoad = dyn_cast<LoadInst>(VTableBasePtr);
588 APInt ObjectOffset(
DL.getTypeSizeInBits(Object->getType()), 0);
589 Value *ObjectBase = Object->stripAndAccumulateConstantOffsets(
590 DL, ObjectOffset,
true);
591 if (!(isa<AllocaInst>(ObjectBase) && ObjectOffset == 0))
598 VTablePtrLoad, VTablePtrLoad->
getParent(), BBI, 0,
nullptr,
nullptr);
601 APInt VTableOffsetGVBase(
DL.getTypeSizeInBits(VTablePtr->
getType()), 0);
603 DL, VTableOffsetGVBase,
true);
609 APInt VTableGVOffset = VTableOffsetGVBase + VTableOffset;
614 std::tie(DirectCallee, std::ignore) =
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
Returns the sub type a function will return at a given Idx Should correspond to the result type of an ExtractValue instruction executed with just that one unsigned Idx
const SmallVectorImpl< MachineOperand > & Cond
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
Class for arbitrary precision integers.
uint64_t getZExtValue() const
Get zero extended value.
unsigned getActiveBits() const
Compute the number of active bits in the value.
Type * getByValType() const
Retrieve the byval type.
AttrBuilder & addByValAttr(Type *Ty)
This turns a byval type into the form used internally in Attribute.
Type * getInAllocaType() const
Retrieve the inalloca type.
AttrBuilder & addInAllocaAttr(Type *Ty)
This turns an inalloca type into the form used internally in Attribute.
AttrBuilder & remove(const AttributeMask &AM)
Remove the attributes from the builder.
AttributeSet getFnAttrs() const
The function attributes are returned.
static AttributeList get(LLVMContext &C, ArrayRef< std::pair< unsigned, Attribute > > Attrs)
Create an AttributeList with the specified parameters in it.
AttributeSet getRetAttrs() const
The attributes for the ret value are returned.
bool hasParamAttr(unsigned ArgNo, Attribute::AttrKind Kind) const
Return true if the attribute exists for the given argument.
AttributeSet getParamAttrs(unsigned ArgNo) const
The attributes for the argument or parameter at the given index are returned.
static AttributeSet get(LLVMContext &C, const AttrBuilder &B)
LLVM Basic Block Representation.
iterator begin()
Instruction iterator methods.
iterator_range< const_phi_iterator > phis() const
Returns a range that iterates over the phis in the basic block.
InstListType::iterator iterator
Instruction iterators...
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
Function * getCalledFunction() const
Returns the function called, or null if this is an indirect function invocation or the function signa...
bool paramHasAttr(unsigned ArgNo, Attribute::AttrKind Kind) const
Determine whether the argument or parameter has the given attribute.
bool isMustTailCall() const
Tests if this call site must be tail call optimized.
Value * getCalledOperand() const
void setAttributes(AttributeList A)
Set the parameter attributes for this call.
Value * getArgOperand(unsigned i) const
void mutateFunctionType(FunctionType *FTy)
void setArgOperand(unsigned i, Value *v)
FunctionType * getFunctionType() const
void setCalledOperand(Value *V)
unsigned arg_size() const
AttributeList getAttributes() const
Return the parameter attributes for this call.
Function * getCaller()
Helper to get the caller (the parent function).
This is the base class for all instructions that perform data casts.
static bool isBitOrNoopPointerCastable(Type *SrcTy, Type *DestTy, const DataLayout &DL)
Check whether a bitcast, inttoptr, or ptrtoint cast between these types is valid and a no-op.
static CastInst * CreateBitOrPointerCast(Value *S, Type *Ty, const Twine &Name, BasicBlock::iterator InsertBefore)
Create a BitCast, a PtrToInt, or an IntToPTr cast instruction.
A parsed version of the target data layout string in and methods for querying it.
Module * getParent()
Get the module that this global value is contained inside of...
bool isConstant() const
If the value is a global constant, its value is immutable throughout the runtime execution of the pro...
bool hasDefinitiveInitializer() const
hasDefinitiveInitializer - Whether the global variable has an initializer, and any other instances of...
PHINode * CreatePHI(Type *Ty, unsigned NumReservedValues, const Twine &Name="")
Value * CreateICmpEQ(Value *LHS, Value *RHS, const Twine &Name="")
Value * CreateBitCast(Value *V, Type *DestTy, const Twine &Name="")
BranchInst * CreateBr(BasicBlock *Dest)
Create an unconditional 'br label X' instruction.
void SetInsertPoint(BasicBlock *TheBB)
This specifies that created instructions should be appended to the end of the specified block.
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
Instruction * clone() const
Create a copy of 'this' instruction that is identical in all ways except the following:
void insertBefore(Instruction *InsertPos)
Insert an unlinked instruction into a basic block immediately before the specified instruction.
const BasicBlock * getParent() const
InstListType::iterator eraseFromParent()
This method unlinks 'this' from the containing basic block and deletes it.
void setMetadata(unsigned KindID, MDNode *Node)
Set the metadata of the specified kind to the specified node.
void moveBefore(Instruction *MovePos)
Unlink this instruction from its current basic block and insert it into the basic block that MovePos ...
BasicBlock * getUnwindDest() const
BasicBlock * getNormalDest() const
This is an important class for using LLVM in a threaded context.
An instruction for reading from memory.
Value * getPointerOperand()
A Module instance is used to store all the information related to an LLVM module.
Class to represent pointers.
unsigned getAddressSpace() const
Return the address space of the Pointer type.
Return a value (possibly void), from a function.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
The instances of the Type class are immutable: once they are created, they are never changed.
bool isVoidTy() const
Return true if this is 'void'.
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
const Value * stripAndAccumulateConstantOffsets(const DataLayout &DL, APInt &Offset, bool AllowNonInbounds, bool AllowInvariantGroup=false, function_ref< bool(Value &Value, APInt &Offset)> ExternalAnalysis=nullptr) const
Accumulate the constant offset this value has compared to a base pointer.
void setName(const Twine &Name)
Change the name of the value.
iterator_range< user_iterator > users()
self_iterator getIterator()
NodeTy * getNextNode()
Get the next node, or nullptr for the list tail.
AttributeMask typeIncompatible(Type *Ty, AttributeSafetyKind ASK=ASK_ALL)
Which attributes cannot be applied to a type.
This is an optimization pass for GlobalISel generic memory operations.
bool isLegalToPromote(const CallBase &CB, Function *Callee, const char **FailureReason=nullptr)
Return true if the given indirect call site can be made to call Callee.
CallBase & promoteCallWithIfThenElse(CallBase &CB, Function *Callee, MDNode *BranchWeights=nullptr)
Promote the given indirect call site to conditionally call Callee.
Value * FindAvailableLoadedValue(LoadInst *Load, BasicBlock *ScanBB, BasicBlock::iterator &ScanFrom, unsigned MaxInstsToScan=DefMaxInstsToScan, BatchAAResults *AA=nullptr, bool *IsLoadCSE=nullptr, unsigned *NumScanedInst=nullptr)
Scan backwards to see if we have the value of the given load available locally within a small number ...
void SplitBlockAndInsertIfThenElse(Value *Cond, BasicBlock::iterator SplitBefore, Instruction **ThenTerm, Instruction **ElseTerm, MDNode *BranchWeights=nullptr, DomTreeUpdater *DTU=nullptr, LoopInfo *LI=nullptr)
SplitBlockAndInsertIfThenElse is similar to SplitBlockAndInsertIfThen, but also creates the ElseBlock...
CallBase & versionCallSite(CallBase &CB, Value *Callee, MDNode *BranchWeights)
Predicate and clone the given call site.
CallBase & promoteCall(CallBase &CB, Function *Callee, CastInst **RetBitCast=nullptr)
Promote the given indirect call site to unconditionally call Callee.
bool tryPromoteCall(CallBase &CB)
Try to promote (devirtualize) a virtual call on an Alloca.
Instruction * SplitBlockAndInsertIfThen(Value *Cond, BasicBlock::iterator SplitBefore, bool Unreachable, MDNode *BranchWeights=nullptr, DomTreeUpdater *DTU=nullptr, LoopInfo *LI=nullptr, BasicBlock *ThenBlock=nullptr)
Split the containing block at the specified instruction - everything before SplitBefore stays in the ...
BasicBlock * SplitEdge(BasicBlock *From, BasicBlock *To, DominatorTree *DT=nullptr, LoopInfo *LI=nullptr, MemorySSAUpdater *MSSAU=nullptr, const Twine &BBName="")
Split the edge connecting the specified blocks, and return the newly created basic block between From...
std::pair< Function *, Constant * > getFunctionAtVTableOffset(GlobalVariable *GV, uint64_t Offset, Module &M)
Given a vtable and a specified offset, returns the function and the trivial pointer at the specified ...