27#define DEBUG_TYPE "call-promotion-utils"
57 int Idx = Phi.getBasicBlockIndex(OrigBlock);
60 Phi.setIncomingBlock(
Idx, MergeBlock);
89 int Idx = Phi.getBasicBlockIndex(OrigBlock);
92 auto *V = Phi.getIncomingValue(
Idx);
93 Phi.setIncomingBlock(
Idx, ThenBlock);
94 Phi.addIncoming(V, ElseBlock);
120 for (
User *U : UsersToUpdate)
121 U->replaceUsesOfWith(OrigInst, Phi);
122 Phi->addIncoming(OrigInst, OrigInst->
getParent());
123 Phi->addIncoming(NewInst, NewInst->
getParent());
175 if (
auto *Invoke = dyn_cast<InvokeInst>(&CB))
187 for (
User *U : UsersToUpdate)
188 U->replaceUsesOfWith(&CB, Cast);
298 ThenBlock->
setName(
"if.true.direct_targ");
303 Value *NewRetVal = NewInst;
305 if (
auto *BitCast = dyn_cast_or_null<BitCastInst>(Next)) {
306 assert(BitCast->getOperand(0) == OrigInst &&
307 "bitcast following musttail call must use the call");
308 auto NewBitCast = BitCast->clone();
309 NewBitCast->replaceUsesOfWith(OrigInst, NewInst);
310 NewBitCast->insertBefore(ThenTerm);
311 NewRetVal = NewBitCast;
312 Next = BitCast->getNextNode();
316 ReturnInst *Ret = dyn_cast_or_null<ReturnInst>(Next);
317 assert(Ret &&
"musttail call must precede a ret with an optional bitcast");
318 auto NewRet = Ret->clone();
319 if (Ret->getReturnValue())
320 NewRet->replaceUsesOfWith(Ret->getReturnValue(), NewRetVal);
321 NewRet->insertBefore(ThenTerm);
340 ThenBlock->
setName(
"if.true.direct_targ");
341 ElseBlock->
setName(
"if.false.orig_indirect");
342 MergeBlock->
setName(
"if.end.icp");
351 if (
auto *OrigInvoke = dyn_cast<InvokeInst>(OrigInst)) {
352 auto *NewInvoke = cast<InvokeInst>(NewInst);
361 Builder.
CreateBr(OrigInvoke->getNormalDest());
369 OrigInvoke->setNormalDest(MergeBlock);
370 NewInvoke->setNormalDest(MergeBlock);
396 const char **FailureReason) {
399 auto &
DL = Callee->getDataLayout();
404 Type *FuncRetTy = Callee->getReturnType();
405 if (CallRetTy != FuncRetTy)
408 *FailureReason =
"Return type mismatch";
413 unsigned NumParams = Callee->getFunctionType()->getNumParams();
420 if (NumArgs != NumParams && !Callee->isVarArg()) {
422 *FailureReason =
"The number of arguments mismatch";
430 for (;
I < NumParams; ++
I) {
433 if (Callee->hasParamAttribute(
I, Attribute::ByVal) !=
436 *FailureReason =
"byval mismatch";
439 if (Callee->hasParamAttribute(
I, Attribute::InAlloca) !=
442 *FailureReason =
"inalloca mismatch";
446 Type *FormalTy = Callee->getFunctionType()->getFunctionParamType(
I);
448 if (FormalTy == ActualTy)
452 *FailureReason =
"Argument type mismatch";
463 *FailureReason =
"Musttail call Argument type mismatch";
468 for (;
I < NumArgs;
I++) {
470 assert(Callee->isVarArg());
473 *FailureReason =
"SRet arg to vararg function";
502 Type *CalleeRetTy = Callee->getReturnType();
510 auto CalleeType = Callee->getFunctionType();
511 auto CalleeParamNum = CalleeType->getNumParams();
517 bool AttributeChanged =
false;
519 for (
unsigned ArgNo = 0; ArgNo < CalleeParamNum; ++ArgNo) {
521 Type *FormalTy = CalleeType->getParamType(ArgNo);
522 Type *ActualTy = Arg->getType();
523 if (FormalTy != ActualTy) {
534 ArgAttrs.
addByValAttr(Callee->getParamByValType(ArgNo));
539 AttributeChanged =
true;
548 if (!CallSiteRetTy->
isVoidTy() && CallSiteRetTy != CalleeRetTy) {
551 AttributeChanged =
true;
555 if (AttributeChanged)
579 assert(!AddressPoints.
empty() &&
"Caller should guarantee");
582 for (
auto &AddressPoint : AddressPoints)
602 LoadInst *VTableEntryLoad = dyn_cast<LoadInst>(Callee);
603 if (!VTableEntryLoad)
606 APInt VTableOffset(
DL.getTypeSizeInBits(VTableEntryPtr->
getType()), 0);
608 DL, VTableOffset,
true);
609 LoadInst *VTablePtrLoad = dyn_cast<LoadInst>(VTableBasePtr);
613 APInt ObjectOffset(
DL.getTypeSizeInBits(Object->getType()), 0);
614 Value *ObjectBase = Object->stripAndAccumulateConstantOffsets(
615 DL, ObjectOffset,
true);
616 if (!(isa<AllocaInst>(ObjectBase) && ObjectOffset == 0))
623 VTablePtrLoad, VTablePtrLoad->
getParent(), BBI, 0,
nullptr,
nullptr);
626 APInt VTableOffsetGVBase(
DL.getTypeSizeInBits(VTablePtr->
getType()), 0);
628 DL, VTableOffsetGVBase,
true);
634 APInt VTableGVOffset = VTableOffsetGVBase + VTableOffset;
639 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
Module.h This file contains the declarations for the Module class.
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 ...