26#define DEBUG_TYPE "call-promotion-utils"
56 int Idx = Phi.getBasicBlockIndex(OrigBlock);
59 Phi.setIncomingBlock(
Idx, MergeBlock);
88 int Idx = Phi.getBasicBlockIndex(OrigBlock);
91 auto *V = Phi.getIncomingValue(
Idx);
92 Phi.setIncomingBlock(
Idx, ThenBlock);
93 Phi.addIncoming(V, ElseBlock);
119 for (
User *U : UsersToUpdate)
120 U->replaceUsesOfWith(OrigInst, Phi);
121 Phi->addIncoming(OrigInst, OrigInst->
getParent());
122 Phi->addIncoming(NewInst, NewInst->
getParent());
174 if (
auto *Invoke = dyn_cast<InvokeInst>(&CB))
186 for (
User *U : UsersToUpdate)
187 U->replaceUsesOfWith(&CB, Cast);
297 ThenBlock->
setName(
"if.true.direct_targ");
302 Value *NewRetVal = NewInst;
304 if (
auto *BitCast = dyn_cast_or_null<BitCastInst>(Next)) {
305 assert(BitCast->getOperand(0) == OrigInst &&
306 "bitcast following musttail call must use the call");
307 auto NewBitCast = BitCast->clone();
308 NewBitCast->replaceUsesOfWith(OrigInst, NewInst);
309 NewBitCast->insertBefore(ThenTerm);
310 NewRetVal = NewBitCast;
311 Next = BitCast->getNextNode();
315 ReturnInst *Ret = dyn_cast_or_null<ReturnInst>(Next);
316 assert(Ret &&
"musttail call must precede a ret with an optional bitcast");
317 auto NewRet = Ret->clone();
318 if (Ret->getReturnValue())
319 NewRet->replaceUsesOfWith(Ret->getReturnValue(), NewRetVal);
320 NewRet->insertBefore(ThenTerm);
339 ThenBlock->
setName(
"if.true.direct_targ");
340 ElseBlock->
setName(
"if.false.orig_indirect");
341 MergeBlock->
setName(
"if.end.icp");
350 if (
auto *OrigInvoke = dyn_cast<InvokeInst>(OrigInst)) {
351 auto *NewInvoke = cast<InvokeInst>(NewInst);
360 Builder.
CreateBr(OrigInvoke->getNormalDest());
368 OrigInvoke->setNormalDest(MergeBlock);
369 NewInvoke->setNormalDest(MergeBlock);
395 const char **FailureReason) {
398 auto &
DL = Callee->getDataLayout();
403 Type *FuncRetTy = Callee->getReturnType();
404 if (CallRetTy != FuncRetTy)
407 *FailureReason =
"Return type mismatch";
412 unsigned NumParams = Callee->getFunctionType()->getNumParams();
419 if (NumArgs != NumParams && !Callee->isVarArg()) {
421 *FailureReason =
"The number of arguments mismatch";
429 for (;
I < NumParams; ++
I) {
432 if (Callee->hasParamAttribute(
I, Attribute::ByVal) !=
435 *FailureReason =
"byval mismatch";
438 if (Callee->hasParamAttribute(
I, Attribute::InAlloca) !=
441 *FailureReason =
"inalloca mismatch";
445 Type *FormalTy = Callee->getFunctionType()->getFunctionParamType(
I);
447 if (FormalTy == ActualTy)
451 *FailureReason =
"Argument type mismatch";
462 *FailureReason =
"Musttail call Argument type mismatch";
467 for (;
I < NumArgs;
I++) {
469 assert(Callee->isVarArg());
472 *FailureReason =
"SRet arg to vararg function";
501 Type *CalleeRetTy = Callee->getReturnType();
509 auto CalleeType = Callee->getFunctionType();
510 auto CalleeParamNum = CalleeType->getNumParams();
516 bool AttributeChanged =
false;
518 for (
unsigned ArgNo = 0; ArgNo < CalleeParamNum; ++ArgNo) {
520 Type *FormalTy = CalleeType->getParamType(ArgNo);
521 Type *ActualTy = Arg->getType();
522 if (FormalTy != ActualTy) {
533 ArgAttrs.
addByValAttr(Callee->getParamByValType(ArgNo));
538 AttributeChanged =
true;
547 if (!CallSiteRetTy->
isVoidTy() && CallSiteRetTy != CalleeRetTy) {
550 AttributeChanged =
true;
554 if (AttributeChanged)
578 assert(!AddressPoints.
empty() &&
"Caller should guarantee");
581 for (
auto &AddressPoint : AddressPoints)
601 LoadInst *VTableEntryLoad = dyn_cast<LoadInst>(Callee);
602 if (!VTableEntryLoad)
605 APInt VTableOffset(
DL.getTypeSizeInBits(VTableEntryPtr->
getType()), 0);
607 DL, VTableOffset,
true);
608 LoadInst *VTablePtrLoad = dyn_cast<LoadInst>(VTableBasePtr);
612 APInt ObjectOffset(
DL.getTypeSizeInBits(Object->getType()), 0);
613 Value *ObjectBase = Object->stripAndAccumulateConstantOffsets(
614 DL, ObjectOffset,
true);
615 if (!(isa<AllocaInst>(ObjectBase) && ObjectOffset == 0))
622 VTablePtrLoad, VTablePtrLoad->
getParent(), BBI, 0,
nullptr,
nullptr);
625 APInt VTableOffsetGVBase(
DL.getTypeSizeInBits(VTablePtr->
getType()), 0);
627 DL, VTableOffsetGVBase,
true);
633 APInt VTableGVOffset = VTableOffsetGVBase + VTableOffset;
638 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.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
bool empty() const
empty - Check if the array is empty.
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="", InsertPosition InsertBefore=nullptr)
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="")
Value * CreateOr(Value *LHS, Value *RHS, 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.
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()
const ParentTy * getParent() const
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...
CallBase & promoteCallWithVTableCmp(CallBase &CB, Instruction *VPtr, Function *Callee, ArrayRef< Constant * > AddressPoints, MDNode *BranchWeights)
This is similar to promoteCallWithIfThenElse except that the condition to promote a virtual call is t...
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 ...