28#define DEBUG_TYPE "instcombine"
34STATISTIC(NumDeadStore,
"Number of dead stores eliminated");
35STATISTIC(NumGlobalCopies,
"Number of allocas copied from constant global");
38 "instcombine-max-copied-from-constant-users",
cl::init(300),
39 cl::desc(
"Maximum users to visit in copy from constant transform"),
61 while (!Worklist.
empty()) {
63 if (!Visited.
insert(Elem).second)
68 const auto [
Value, IsOffset] = Elem;
74 if (!LI->isSimple())
return false;
100 if (
Call->isCallee(&U))
103 unsigned DataOpNo =
Call->getDataOperandNo(&U);
104 bool IsArgOperand =
Call->isArgOperand(&U);
107 if (IsArgOperand &&
Call->isInAllocaArgument(DataOpNo))
113 bool NoCapture =
Call->doesNotCapture(DataOpNo);
115 (
Call->onlyReadsMemory() ||
Call->onlyReadsMemory(DataOpNo)))
120 if (
I->isLifetimeStartOrEnd()) {
121 assert(
I->use_empty() &&
"Lifetime markers have no result to use!");
133 if (
MI->isVolatile())
138 if (U.getOperandNo() == 1)
142 if (TheCopy)
return false;
146 if (IsOffset)
return false;
149 if (U.getOperandNo() != 0)
return false;
180 if (!AllocaSize || AllocaSize->isScalable())
200 if (
C->getValue().getActiveBits() <= 64) {
238class PointerReplacer {
240 PointerReplacer(InstCombinerImpl &IC, Instruction &Root,
unsigned SrcAS)
241 : IC(IC), Root(Root), FromAS(SrcAS) {}
244 void replacePointer(
Value *V);
248 Value *getReplacement(
Value *V)
const {
return WorkMap.lookup(V); }
250 return I == &Root || UsersToReplace.contains(
I);
253 bool isEqualOrValidAddrSpaceCast(
const Instruction *
I,
254 unsigned FromAS)
const {
258 unsigned ToAS = ASC->getDestAddressSpace();
259 return (FromAS == ToAS) || IC.isValidAddrSpaceCast(FromAS, ToAS);
262 SmallSetVector<Instruction *, 32> UsersToReplace;
263 MapVector<Value *, Value *> WorkMap;
264 InstCombinerImpl &IC;
270bool PointerReplacer::collectUsers() {
271 SmallVector<Instruction *> Worklist;
272 SmallSetVector<Instruction *, 32> ValuesToRevisit;
274 auto PushUsersToWorklist = [&](
Instruction *Inst) {
275 for (
auto *U : Inst->users())
281 auto TryPushInstOperand = [&](
Instruction *InstOp) {
282 if (!UsersToReplace.contains(InstOp)) {
283 if (!ValuesToRevisit.
insert(InstOp))
290 PushUsersToWorklist(&Root);
291 while (!Worklist.
empty()) {
294 if (
Load->isVolatile())
296 UsersToReplace.insert(
Load);
301 bool IsReplaceable =
all_of(
PHI->incoming_values(),
302 [](
Value *V) { return isa<Instruction>(V); });
303 if (IsReplaceable &&
all_of(
PHI->incoming_values(), [&](
Value *V) {
304 return isAvailable(cast<Instruction>(V));
306 UsersToReplace.insert(
PHI);
307 PushUsersToWorklist(
PHI);
314 if (!IsReplaceable || !ValuesToRevisit.
insert(
PHI))
320 for (
unsigned Idx = 0; Idx <
PHI->getNumIncomingValues(); ++Idx) {
327 if (!TrueInst || !FalseInst)
331 UsersToReplace.insert(SI);
332 PushUsersToWorklist(SI);
339 if (!TryPushInstOperand(TrueInst) || !TryPushInstOperand(FalseInst))
346 UsersToReplace.insert(
GEP);
347 PushUsersToWorklist(
GEP);
352 if (!TryPushInstOperand(PtrOp))
355 if (
MI->isVolatile())
357 UsersToReplace.insert(Inst);
358 }
else if (isEqualOrValidAddrSpaceCast(Inst, FromAS)) {
359 UsersToReplace.insert(Inst);
360 PushUsersToWorklist(Inst);
366 LLVM_DEBUG(
dbgs() <<
"Cannot handle pointer user: " << *Inst <<
'\n');
374void PointerReplacer::replacePointer(
Value *V) {
378 SmallVector<Instruction *> Worklist;
379 SetVector<Instruction *> PostOrderWorklist;
380 SmallPtrSet<Instruction *, 32> Visited;
384 while (!Worklist.
empty()) {
389 if (Visited.
insert(
I).second) {
390 for (
auto *U :
I->users()) {
392 if (UsersToReplace.contains(UserInst) && !Visited.
contains(UserInst))
404 for (Instruction *
I :
reverse(PostOrderWorklist))
408void PointerReplacer::replace(Instruction *
I) {
409 if (getReplacement(
I))
413 auto *
V = getReplacement(
LT->getPointerOperand());
414 assert(V &&
"Operand not replaced");
415 auto *NewI =
new LoadInst(
LT->getType(), V,
"",
LT->getProperties());
417 NewI->copyMetadata(*LT);
424 WorkMap[NewI] = NewI;
428 Value *
V = WorkMap.lookup(
PHI->getIncomingValue(0));
429 PHI->mutateType(V ?
V->getType() :
PHI->getIncomingValue(0)->getType());
430 for (
unsigned int I = 0;
I <
PHI->getNumIncomingValues(); ++
I) {
431 Value *
V = WorkMap.lookup(
PHI->getIncomingValue(
I));
432 PHI->setIncomingValue(
I, V ? V :
PHI->getIncomingValue(
I));
436 auto *
V = getReplacement(
GEP->getPointerOperand());
437 assert(V &&
"Operand not replaced");
438 SmallVector<Value *, 8> Indices(
GEP->indices());
443 NewI->setNoWrapFlags(
GEP->getNoWrapFlags());
446 Value *TrueValue =
SI->getTrueValue();
447 Value *FalseValue =
SI->getFalseValue();
448 if (
Value *Replacement = getReplacement(TrueValue))
449 TrueValue = Replacement;
450 if (
Value *Replacement = getReplacement(FalseValue))
451 FalseValue = Replacement;
453 SI->getName(),
nullptr, SI);
458 auto *DestV = MemCpy->getRawDest();
459 auto *SrcV = MemCpy->getRawSource();
461 if (
auto *DestReplace = getReplacement(DestV))
463 if (
auto *SrcReplace = getReplacement(SrcV))
468 MemCpy->getIntrinsicID(), DestV, MemCpy->getDestAlign(), SrcV,
469 MemCpy->getSourceAlign(), MemCpy->getLength(), MemCpy->isVolatile());
472 NewI->setAAMetadata(AAMD);
475 WorkMap[MemCpy] = NewI;
477 auto *
V = getReplacement(ASC->getPointerOperand());
478 assert(V &&
"Operand not replaced");
479 assert(isEqualOrValidAddrSpaceCast(
480 ASC,
V->getType()->getPointerAddressSpace()) &&
481 "Invalid address space cast!");
483 if (
V->getType()->getPointerAddressSpace() !=
484 ASC->getType()->getPointerAddressSpace()) {
485 auto *NewI =
new AddrSpaceCastInst(V, ASC->getType(),
"");
517 if (&*FirstInst != &AI) {
522 std::optional<TypeSize> EntryAISize =
524 if (!EntryAISize || !EntryAISize->isZero()) {
546 Value *TheSrc = Copy->getSource();
549 TheSrc, AllocaAlign,
DL, &AI, &
AC, &
DT);
550 if (AllocaAlign <= SourceAlign &&
555 LLVM_DEBUG(
dbgs() <<
"Found alloca equal to global: " << AI <<
'\n');
568 PointerReplacer PtrReplacer(*
this, AI, SrcAddrSpace);
569 if (PtrReplacer.collectUsers()) {
573 PtrReplacer.replacePointer(TheSrc);
586 return Ty->isIntOrPtrTy() || Ty->isFloatingPointTy();
599 const Twine &Suffix) {
601 "can't fold an atomic load to requested type");
615 "can't fold an atomic store of requested type");
617 Value *Ptr =
SI.getPointerOperand();
619 SI.getAllMetadata(MD);
622 for (
const auto &MDPair : MD) {
623 unsigned ID = MDPair.first;
634 case LLVMContext::MD_dbg:
635 case LLVMContext::MD_DIAssignID:
636 case LLVMContext::MD_tbaa:
637 case LLVMContext::MD_prof:
638 case LLVMContext::MD_fpmath:
639 case LLVMContext::MD_tbaa_struct:
640 case LLVMContext::MD_alias_scope:
641 case LLVMContext::MD_noalias:
642 case LLVMContext::MD_nontemporal:
643 case LLVMContext::MD_mem_parallel_loop_access:
644 case LLVMContext::MD_access_group:
648 case LLVMContext::MD_invariant_load:
649 case LLVMContext::MD_nonnull:
650 case LLVMContext::MD_noundef:
651 case LLVMContext::MD_range:
652 case LLVMContext::MD_align:
653 case LLVMContext::MD_dereferenceable:
654 case LLVMContext::MD_dereferenceable_or_null:
684 if (!
Load.isUnordered())
687 if (
Load.isElementwise())
690 if (
Load.use_empty())
694 if (
Load.getPointerOperand()->isSwiftError())
700 if (
Load.hasOneUse()) {
706 if (BC->getType()->isX86_AMXTy())
711 Type *DestTy = CastUser->getDestTy();
735 if (!
T->isAggregateType())
742 auto NumElements = ST->getNumElements();
743 if (NumElements == 1) {
748 NewLoad->
copyMetadata(LI, LLVMContext::MD_invariant_load);
756 auto *SL =
DL.getStructLayout(ST);
758 if (SL->hasPadding())
763 auto *IdxType =
DL.getIndexType(Addr->getType());
766 for (
unsigned i = 0; i < NumElements; i++) {
771 ST->getElementType(i), Ptr,
777 L->copyMetadata(LI, LLVMContext::MD_invariant_load);
786 auto *ET = AT->getElementType();
787 auto NumElements = AT->getNumElements();
788 if (NumElements == 1) {
808 auto *Zero = ConstantInt::get(IdxType, 0);
812 for (
uint64_t i = 0; i < NumElements; i++) {
813 Value *Indices[2] = {
815 ConstantInt::get(IdxType, i),
821 EltAlign, Name +
".unpack");
847 P =
P->stripPointerCasts();
864 if (GA->isInterposable())
873 std::optional<TypeSize> AllocSize = AI->getAllocationSize(
DL);
874 if (!AllocSize || AllocSize->isScalable() ||
875 AllocSize->getFixedValue() > MaxSize)
881 if (!GV->hasDefinitiveInitializer() || !GV->isConstant())
885 if (InitSize > MaxSize)
891 }
while (!Worklist.
empty());
935 Idx = FirstNZIdx(GEPI);
949 if (!AllocTy || !AllocTy->
isSized())
952 uint64_t TyAllocSize =
DL.getTypeAllocSize(AllocTy).getFixedValue();
958 auto IsAllNonNegative = [&]() {
959 for (
unsigned i = Idx+1, e = GEPI->
getNumOperands(); i != e; ++i) {
961 if (
Known.isNonNegative())
993 ConstantInt::get(GEPI->getOperand(Idx)->getType(), 0));
998 if (GEPI->getParent() == MemI.
getParent() &&
1015 auto *Ptr =
SI.getPointerOperand();
1017 Ptr = GEPI->getOperand(0);
1024 const Value *GEPI0 = GEPI->getOperand(0);
1036Value *InstCombinerImpl::simplifyNonNullOperand(
Value *V,
1037 bool HasDereferenceable,
1041 return Sel->getOperand(2);
1044 return Sel->getOperand(1);
1047 if (!
V->hasOneUse())
1055 if (HasDereferenceable ||
GEP->isInBounds()) {
1056 if (
auto *Res = simplifyNonNullOperand(
GEP->getPointerOperand(),
1057 HasDereferenceable,
Depth + 1)) {
1058 replaceOperand(*
GEP, 0, Res);
1067 for (Use &U :
PHI->incoming_values()) {
1069 if (
auto *Res = simplifyNonNullOperand(
U.get(), HasDereferenceable,
1102 bool IsLoadCSE =
false;
1125 if (
Op->hasOneUse()) {
1148 Alignment,
DL,
SI) &&
1150 Alignment,
DL,
SI)) {
1152 auto MaybeCastedLoadOperand = [&](
Value *
Op) {
1155 Op->getName() +
".cast");
1158 Value *LoadOp1 = MaybeCastedLoadOperand(
SI->getOperand(1));
1163 Value *LoadOp2 = MaybeCastedLoadOperand(
SI->getOperand(2));
1179 if (
Value *V = simplifyNonNullOperand(
Op,
true))
1185 if (
II->getIntrinsicID() == Intrinsic::protected_field_ptr) {
1186 std::vector<OperandBundleDef> DSBundle;
1196 NewLI->setOperand(0,
II->getOperand(0));
1200 F.getParent(), Intrinsic::ptrauth_auth, {});
1201 auto *LIInt =
Builder.CreatePtrToInt(NewLI,
Builder.getInt64Ty());
1236 auto *W =
E->getVectorOperand();
1242 if (!CI ||
IV->getNumIndices() != 1 || CI->getZExtValue() != *
IV->idx_begin())
1244 V =
IV->getAggregateOperand();
1250 auto *VT = V->getType();
1253 if (
DL.getTypeStoreSizeInBits(UT) !=
DL.getTypeStoreSizeInBits(VT)) {
1263 for (
const auto *EltT : ST->elements()) {
1264 if (EltT != UT->getElementType())
1294 if (!
SI.isUnordered())
1298 if (
SI.getPointerOperand()->isSwiftError())
1301 Value *V =
SI.getValueOperand();
1305 assert(!BC->getType()->isX86_AMXTy() &&
1306 "store to x86_amx* should not happen!");
1307 V = BC->getOperand(0);
1310 if (V->getType()->isX86_AMXTy())
1335 Value *V =
SI.getValueOperand();
1336 Type *
T = V->getType();
1338 if (!
T->isAggregateType())
1343 unsigned Count = ST->getNumElements();
1353 auto *SL =
DL.getStructLayout(ST);
1355 if (SL->hasPadding())
1358 const auto Align =
SI.getAlign();
1362 auto *Addr =
SI.getPointerOperand();
1364 AddrName +=
".repack";
1366 auto *IdxType =
DL.getIndexType(Addr->getType());
1367 for (
unsigned i = 0; i <
Count; i++) {
1383 auto NumElements = AT->getNumElements();
1384 if (NumElements == 1) {
1398 TypeSize EltSize =
DL.getTypeAllocSize(AT->getElementType());
1399 const auto Align =
SI.getAlign();
1403 auto *Addr =
SI.getPointerOperand();
1405 AddrName +=
".repack";
1408 auto *Zero = ConstantInt::get(IdxType, 0);
1411 for (
uint64_t i = 0; i < NumElements; i++) {
1412 Value *Indices[2] = {
1414 ConstantInt::get(IdxType, i),
1441 if (
A ==
B)
return true;
1461 Value *Val =
SI.getOperand(0);
1462 Value *Ptr =
SI.getOperand(1);
1478 if (!
SI.isUnordered())
return nullptr;
1487 if (
GEP->getOperand(0)->hasOneUse())
1503 for (
unsigned ScanInsts = 6; BBI !=
SI.getParent()->begin() && ScanInsts;
1508 if (BBI->isDebugOrPseudoInst()) {
1515 if (PrevSI->isUnordered() &&
1517 PrevSI->getValueOperand()->getType() ==
1518 SI.getValueOperand()->getType()) {
1535 assert(
SI.isUnordered() &&
"can't eliminate ordering operation");
1545 if (BBI->mayWriteToMemory() || BBI->mayReadFromMemory() || BBI->mayThrow())
1584 if (
Value *V = simplifyNonNullOperand(Ptr,
true))
1591 if (
II->getIntrinsicID() == Intrinsic::protected_field_ptr) {
1592 std::vector<OperandBundleDef> DSBundle;
1602 F.getParent(), Intrinsic::ptrauth_sign, {});
1603 auto *ValInt =
Builder.CreatePtrToInt(Val,
Builder.getInt64Ty());
1606 {ValInt,
Builder.getInt32( 2),
1627 if (!
SI.isUnordered())
1638 if (*PredIter == StoreBB)
1644 if (StoreBB == DestBB || OtherBB == DestBB)
1649 if (BBI == OtherBB->
begin())
1652 auto OtherStoreIsMergeable = [&](
StoreInst *OtherStore) ->
bool {
1654 OtherStore->getPointerOperand() !=
SI.getPointerOperand())
1657 auto *SIVTy =
SI.getValueOperand()->getType();
1658 auto *OSVTy = OtherStore->getValueOperand()->getType();
1660 SI.hasSameSpecialState(OtherStore);
1669 while (BBI->isDebugOrPseudoInst()) {
1670 if (BBI==OtherBB->
begin())
1677 if (!OtherStoreIsMergeable(OtherStore))
1682 if (OtherBr->getSuccessor(0) != StoreBB &&
1683 OtherBr->getSuccessor(1) != StoreBB)
1692 if (OtherStoreIsMergeable(OtherStore))
1697 if (BBI->mayReadFromMemory() || BBI->mayThrow() ||
1698 BBI->mayWriteToMemory() || BBI == OtherBB->
begin())
1706 if (
I->mayReadFromMemory() ||
I->mayThrow() ||
I->mayWriteToMemory())
1717 if (MergedVal !=
SI.getValueOperand()) {
1721 Builder.SetInsertPoint(OtherStore);
1731 new StoreInst(MergedVal,
SI.getOperand(1),
SI.getProperties());
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static void addToWorklist(Instruction &I, SmallVector< Instruction *, 4 > &Worklist)
This file provides internal interfaces used to implement the InstCombine.
static StoreInst * combineStoreToNewValue(InstCombinerImpl &IC, StoreInst &SI, Value *V)
Combine a store to a new type.
static Instruction * combineLoadToOperationType(InstCombinerImpl &IC, LoadInst &Load)
Combine loads to match the type of their uses' value after looking through intervening bitcasts.
static Instruction * replaceGEPIdxWithZero(InstCombinerImpl &IC, Value *Ptr, Instruction &MemI)
static Instruction * simplifyAllocaArraySize(InstCombinerImpl &IC, AllocaInst &AI, DominatorTree &DT)
static bool canSimplifyNullStoreOrGEP(StoreInst &SI)
static bool equivalentAddressValues(Value *A, Value *B)
equivalentAddressValues - Test if A and B will obviously have the same value.
static bool canReplaceGEPIdxWithZero(InstCombinerImpl &IC, GetElementPtrInst *GEPI, Instruction *MemI, unsigned &Idx)
static bool canSimplifyNullLoadOrGEP(LoadInst &LI, Value *Op)
static bool isSupportedAtomicType(Type *Ty)
static bool isDereferenceableForAllocaSize(const Value *V, const AllocaInst *AI, const DataLayout &DL)
Returns true if V is dereferenceable for size of alloca.
static Instruction * unpackLoadToAggregate(InstCombinerImpl &IC, LoadInst &LI)
static cl::opt< unsigned > MaxCopiedFromConstantUsers("instcombine-max-copied-from-constant-users", cl::init(300), cl::desc("Maximum users to visit in copy from constant transform"), cl::Hidden)
static bool combineStoreToValueType(InstCombinerImpl &IC, StoreInst &SI)
Combine stores to match the type of value being stored.
static bool unpackStoreToAggregate(InstCombinerImpl &IC, StoreInst &SI)
static Value * likeBitCastFromVector(InstCombinerImpl &IC, Value *V)
Look for extractelement/insertvalue sequence that acts like a bitcast.
static bool isOnlyCopiedFromConstantMemory(AAResults *AA, AllocaInst *V, MemTransferInst *&TheCopy, SmallVectorImpl< Instruction * > &ToDelete)
isOnlyCopiedFromConstantMemory - Recursively walk the uses of a (derived) pointer to an alloca.
static bool isObjectSizeLessThanOrEq(Value *V, uint64_t MaxSize, const DataLayout &DL)
This file provides the interface for the instcombine pass implementation.
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
This file implements a map that provides insertion order iteration.
uint64_t IntrinsicInst * II
This file defines the SmallString class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
static const uint32_t IV[8]
Class for arbitrary precision integers.
This class represents a conversion between pointers from one address space to another.
an instruction to allocate memory on the stack
Align getAlign() const
Return the alignment of the memory that is being allocated by the instruction.
PointerType * getType() const
Overload to return most specific pointer type.
Type * getAllocatedType() const
Return the type that is being allocated by the instruction.
bool isUsedWithInAlloca() const
Return true if this alloca is used as an inalloca argument to a call.
unsigned getAddressSpace() const
Return the address space for the allocation.
LLVM_ABI std::optional< TypeSize > getAllocationSize(const DataLayout &DL) const
Get allocation size in bytes.
LLVM_ABI bool isArrayAllocation() const
Return true if there is an allocation size parameter to the allocation instruction that is not 1.
void setAlignment(Align Align)
const Value * getArraySize() const
Get the number of elements allocated.
static LLVM_ABI ArrayType * get(Type *ElementType, uint64_t NumElements)
This static method is the primary way to construct an ArrayType.
LLVM Basic Block Representation.
iterator begin()
Instruction iterator methods.
LLVM_ABI const_iterator getFirstInsertionPt() const
Returns an iterator to the first instruction in this block that is suitable for inserting a non-PHI i...
LLVM_ABI InstListType::const_iterator getFirstNonPHIOrDbg(bool SkipPseudoOp=true) const
Returns a pointer to the first instruction in this block that is not a PHINode or a debug intrinsic,...
LLVM_ABI bool hasNPredecessors(unsigned N) const
Return true if this block has exactly N predecessors.
InstListType::iterator iterator
Instruction iterators...
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction; assumes that the block is well-formed.
This class is a wrapper over an AAResults, and it is intended to be used only when there are no IR ch...
static LLVM_ABI 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 LLVM_ABI Constant * getBitCast(Constant *C, Type *Ty, bool OnlyIfReduced=false)
This is the shared class of boolean and integer constants.
This is an important base class in LLVM.
A parsed version of the target data layout string in and methods for querying it.
LLVM_ABI IntegerType * getIndexType(LLVMContext &C, unsigned AddressSpace) const
Returns the type of a GEP index in AddressSpace.
static LLVM_ABI DebugLoc getMergedLocation(DebugLoc LocA, DebugLoc LocB)
When two instructions are combined into a single instruction we also need to combine the original loc...
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
an instruction for type-safe pointer arithmetic to access elements of arrays and structs
LLVM_ABI bool isInBounds() const
Determine whether the GEP has the inbounds flag.
static GetElementPtrInst * Create(Type *PointeeType, Value *Ptr, ArrayRef< Value * > IdxList, const Twine &NameStr="", InsertPosition InsertBefore=nullptr)
static LLVM_ABI Type * getIndexedType(Type *Ty, ArrayRef< Value * > IdxList)
Returns the result type of a getelementptr with the given source element type and indexes.
Type * getSourceElementType() const
AllocaInst * CreateAlloca(Type *Ty, unsigned AddrSpace, Value *ArraySize=nullptr, const Twine &Name="")
Value * CreateInsertValue(Value *Agg, Value *Val, ArrayRef< unsigned > Idxs, const Twine &Name="")
LoadInst * CreateAlignedLoad(Type *Ty, Value *Ptr, MaybeAlign Align, const char *Name)
Value * CreateExtractValue(Value *Agg, ArrayRef< unsigned > Idxs, const Twine &Name="")
Value * CreateInBoundsGEP(Type *Ty, Value *Ptr, ArrayRef< Value * > IdxList, const Twine &Name="")
ConstantInt * getInt32(uint32_t C)
Get a constant 32-bit value.
StoreInst * CreateStore(Value *Val, Value *Ptr, bool isVolatile=false)
LLVM_ABI Value * CreateTypeSize(Type *Ty, TypeSize Size)
Create an expression which evaluates to the number of units in Size at runtime.
Value * CreateIntCast(Value *V, Type *DestTy, bool isSigned, const Twine &Name="")
void SetInsertPoint(BasicBlock *TheBB)
This specifies that created instructions should be appended to the end of the specified block.
StoreInst * CreateAlignedStore(Value *Val, Value *Ptr, MaybeAlign Align, bool isVolatile=false)
Value * CreateInBoundsPtrAdd(Value *Ptr, Value *Offset, const Twine &Name="")
LLVM_ABI CallInst * CreateMemTransferInst(Intrinsic::ID IntrID, Value *Dst, MaybeAlign DstAlign, Value *Src, MaybeAlign SrcAlign, Value *Size, bool isVolatile=false, const AAMDNodes &AAInfo=AAMDNodes())
void handleUnreachableFrom(Instruction *I, SmallVectorImpl< BasicBlock * > &Worklist)
Instruction * visitLoadInst(LoadInst &LI)
void handlePotentiallyDeadBlocks(SmallVectorImpl< BasicBlock * > &Worklist)
Instruction * eraseInstFromFunction(Instruction &I) override
Combiner aware instruction erasure.
Instruction * visitStoreInst(StoreInst &SI)
bool mergeStoreIntoSuccessor(StoreInst &SI)
Try to transform: if () { *P = v1; } else { *P = v2 } or: *P = v1; if () { *P = v2; }...
void CreateNonTerminatorUnreachable(Instruction *InsertAt)
Create and insert the idiom we use to indicate a block is unreachable without having to rewrite the C...
bool removeInstructionsBeforeUnreachable(Instruction &I)
LoadInst * combineLoadToNewType(LoadInst &LI, Type *NewTy, const Twine &Suffix="")
Helper to combine a load to a new type.
Instruction * visitAllocSite(Instruction &FI)
Instruction * visitAllocaInst(AllocaInst &AI)
const DataLayout & getDataLayout() const
Instruction * InsertNewInstBefore(Instruction *New, BasicBlock::iterator Old)
Inserts an instruction New before instruction Old.
Instruction * replaceInstUsesWith(Instruction &I, Value *V)
A combiner-aware RAUW-like routine.
uint64_t MaxArraySizeForCombine
Maximum size of array considered when transforming.
InstructionWorklist & Worklist
A worklist of the instructions that need to be simplified.
Instruction * InsertNewInstWith(Instruction *New, BasicBlock::iterator Old)
Same as InsertNewInstBefore, but also sets the debug loc.
void computeKnownBits(const Value *V, KnownBits &Known, const Instruction *CxtI, unsigned Depth=0) const
Instruction * replaceOperand(Instruction &I, unsigned OpNum, Value *V)
Replace operand of instruction and add old operand to the worklist.
LLVM_ABI Instruction * clone() const
Create a copy of 'this' instruction that is identical in all ways except the following:
LLVM_ABI bool isLifetimeStartOrEnd() const LLVM_READONLY
Return true if the instruction is a llvm.lifetime.start or llvm.lifetime.end marker.
LLVM_ABI void mergeDIAssignID(ArrayRef< const Instruction * > SourceInstructions)
Merge the DIAssignID metadata from this instruction and those attached to instructions in SourceInstr...
const DebugLoc & getDebugLoc() const
Return the debug location for this node as a DebugLoc.
LLVM_ABI void setAAMetadata(const AAMDNodes &N)
Sets the AA metadata on this instruction from the AAMDNodes structure.
LLVM_ABI void moveBefore(InstListType::iterator InsertPos)
Unlink this instruction from its current basic block and insert it into the basic block that MovePos ...
LLVM_ABI bool isAtomic() const LLVM_READONLY
Return true if this instruction has an AtomicOrdering of unordered or higher.
LLVM_ABI const Function * getFunction() const
Return the function this instruction belongs to.
LLVM_ABI BasicBlock * getSuccessor(unsigned Idx) const LLVM_READONLY
Return the specified successor. This instruction must be a terminator.
LLVM_ABI void setMetadata(unsigned KindID, MDNode *Node)
Set the metadata of the specified kind to the specified node.
LLVM_ABI AAMDNodes getAAMetadata() const
Returns the AA metadata for this instruction.
void setDebugLoc(DebugLoc Loc)
Set the debug location information for this instruction.
LLVM_ABI void copyMetadata(const Instruction &SrcInst, ArrayRef< unsigned > WL=ArrayRef< unsigned >())
Copy metadata from SrcInst to this instruction.
An instruction for reading from memory.
unsigned getPointerAddressSpace() const
Returns the address space of the pointer operand.
Value * getPointerOperand()
LoadStoreInstProperties getProperties() const
Returns the properties of this load instruction.
Align getAlign() const
Return the alignment of the access that is being performed.
This class wraps the llvm.memcpy/memmove intrinsics.
void addIncoming(Value *V, BasicBlock *BB)
Add an incoming value to the end of the PHI list.
static PHINode * Create(Type *Ty, unsigned NumReservedValues, const Twine &NameStr="", InsertPosition InsertBefore=nullptr)
Constructors - NumReservedValues is a hint for the number of incoming edges that this phi node will h...
PointerIntPair - This class implements a pair of a pointer and small integer.
static LLVM_ABI PoisonValue * get(Type *T)
Static factory methods - Return an 'poison' object of the specified type.
This class represents the LLVM 'select' instruction.
static SelectInst * Create(Value *C, Value *S1, Value *S2, const Twine &NameStr="", InsertPosition InsertBefore=nullptr, const Instruction *MDFrom=nullptr)
bool contains(const_arg_type key) const
Check if the SetVector contains the given key.
bool insert(const value_type &X)
Insert a new element into the SetVector.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
bool contains(ConstPtrType Ptr) const
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
reference emplace_back(ArgTypes &&... Args)
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
An instruction for storing to memory.
Value * getValueOperand()
Represent a constant reference to a string, i.e.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
static constexpr TypeSize getZero()
The instances of the Type class are immutable: once they are created, they are never changed.
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
LLVM_ABI bool isScalableTy(SmallPtrSetImpl< const Type * > &Visited) const
Return true if this is a type whose size is a known multiple of vscale.
LLVM_ABI unsigned getPointerAddressSpace() const
Get the address space of this pointer or pointer vector type.
bool isByteOrByteVectorTy() const
Return true if this is a byte type or a vector of byte types.
bool isSized(SmallPtrSetImpl< Type * > *Visited=nullptr) const
Return true if it makes sense to take the size of this type.
static LLVM_ABI Type * getIntFromByteType(Type *)
Returns an integer (vector of integer) type with the same size of a byte of the given byte (vector of...
bool isPtrOrPtrVectorTy() const
Return true if this is a pointer type or a vector of pointer types.
bool isX86_AMXTy() const
Return true if this is X86 AMX.
bool isIntegerTy() const
True if this is an instance of IntegerType.
void setOperand(unsigned i, Value *Val)
Value * getOperand(unsigned i) const
unsigned getNumOperands() const
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
bool hasOneUse() const
Return true if there is exactly one use of this value.
LLVM_ABI void replaceAllUsesWith(Value *V)
Change all uses of this to point to a new Value.
iterator_range< use_iterator > uses()
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
LLVM_ABI void takeName(Value *V)
Transfer the name from V to this value.
const ParentTy * getParent() const
self_iterator getIterator()
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
Abstract Attribute helper functions.
LLVM_ABI Function * getOrInsertDeclaration(Module *M, ID id, ArrayRef< Type * > OverloadTys={})
Look up the Function declaration of the intrinsic id in the Module M.
bool match(Val *V, const Pattern &P)
match_immconstant_ty m_ImmConstant()
Match an arbitrary immediate Constant and ignore it.
auto m_Undef()
Match an arbitrary undef constant.
initializer< Ty > init(const Ty &Val)
LLVM_ABI bool isAvailable()
friend class Instruction
Iterator for Instructions in a `BasicBlock.
This is an optimization pass for GlobalISel generic memory operations.
LLVM_ABI cl::opt< bool > ProfcheckDisableMetadataFixes
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
@ Known
Known to have no common set bits.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
@ Load
The value being inserted comes from a load (InsertElement only).
LLVM_ABI void copyMetadataForLoad(LoadInst &Dest, const LoadInst &Source)
Copy the metadata from the source instruction to the destination (the replacement for the source inst...
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
LLVM_ABI 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 ...
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Value
auto reverse(ContainerTy &&C)
LLVM_ABI Align getOrEnforceKnownAlignment(Value *V, MaybeAlign PrefAlign, const DataLayout &DL, const Instruction *CxtI=nullptr, AssumptionCache *AC=nullptr, const DominatorTree *DT=nullptr)
Try to ensure that the alignment of V is at least PrefAlign bytes.
bool isModSet(const ModRefInfo MRI)
LLVM_ABI bool NullPointerIsDefined(const Function *F, unsigned AS=0)
Check whether null pointer dereferencing is considered undefined behavior for a given function or an ...
LLVM_ABI bool isSafeToLoadUnconditionally(Value *V, Align Alignment, const APInt &Size, const DataLayout &DL, Instruction *ScanFrom, AssumptionCache *AC=nullptr, const DominatorTree *DT=nullptr, const TargetLibraryInfo *TLI=nullptr)
Return true if we know that executing a load from this value cannot trap.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
LLVM_ABI bool replaceAllDbgUsesWith(Instruction &From, Value &To, Instruction &DomPoint, DominatorTree &DT)
Point debug users of From to To or salvage them.
LLVM_ABI Value * simplifyLoadInst(LoadInst *LI, Value *PtrOp, const SimplifyQuery &Q)
Given a load instruction and its pointer operand, fold the result or return null.
LLVM_ABI void combineMetadataForCSE(Instruction *K, const Instruction *J, bool DoesKMove)
Combine the metadata of two instructions so that K can replace J.
OperandBundleDefT< Value * > OperandBundleDef
void replace(R &&Range, const T &OldValue, const T &NewValue)
Provide wrappers to std::replace which take ranges instead of having to pass begin/end explicitly.
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Count
DWARFExpression::Operation Op
PredIterator< BasicBlock, Value::user_iterator > pred_iterator
LLVM_ABI bool isDereferenceableAndAlignedPointer(const Value *V, Type *Ty, Align Alignment, const SimplifyQuery &Q, bool IgnoreFree=false)
Returns true if V is always a dereferenceable pointer with alignment greater or equal than requested.
ArrayRef(const T &OneElt) -> ArrayRef< T >
LLVM_ABI bool isGuaranteedToTransferExecutionToSuccessor(const Instruction *I)
Return true if this function can prove that the instruction I will always transfer execution to one o...
auto pred_begin(const MachineBasicBlock *BB)
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Align commonAlignment(Align A, uint64_t Offset)
Returns the alignment that satisfies both alignments.
A collection of metadata nodes that might be associated with a memory access used by the alias-analys...
LLVM_ABI AAMDNodes merge(const AAMDNodes &Other) const
Given two sets of AAMDNodes applying to potentially different locations, determine the best AAMDNodes...
This struct is a compact representation of a valid (non-zero power of two) alignment.