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 DenseMap<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;
426 Value *FirstIncoming =
PHI->getIncomingValue(0);
429 if (
PHI->getType() == NewType) {
430 for (
unsigned I = 0;
I <
PHI->getNumIncomingValues(); ++
I) {
432 PHI->setIncomingValue(
I, V ? V :
PHI->getIncomingValue(
I));
441 NewPHI->copyMetadata(*
PHI);
442 WorkMap[
PHI] = NewPHI;
443 for (
auto [IncomingValue, IncomingBlock] :
446 assert(V &&
V->getType() == NewType &&
447 "Type-changing PHI incoming value was not replaced");
448 NewPHI->addIncoming(V, IncomingBlock);
451 auto *
V = getReplacement(
GEP->getPointerOperand());
452 assert(V &&
"Operand not replaced");
453 SmallVector<Value *, 8> Indices(
GEP->indices());
458 NewI->setNoWrapFlags(
GEP->getNoWrapFlags());
461 Value *TrueValue =
SI->getTrueValue();
462 Value *FalseValue =
SI->getFalseValue();
463 if (
Value *Replacement = getReplacement(TrueValue))
464 TrueValue = Replacement;
465 if (
Value *Replacement = getReplacement(FalseValue))
466 FalseValue = Replacement;
468 SI->getName(),
nullptr, SI);
473 auto *DestV = MemCpy->getRawDest();
474 auto *SrcV = MemCpy->getRawSource();
476 if (
auto *DestReplace = getReplacement(DestV))
478 if (
auto *SrcReplace = getReplacement(SrcV))
483 MemCpy->getIntrinsicID(), DestV, MemCpy->getDestAlign(), SrcV,
484 MemCpy->getSourceAlign(), MemCpy->getLength(), MemCpy->isVolatile());
487 NewI->setAAMetadata(AAMD);
490 WorkMap[MemCpy] = NewI;
492 auto *
V = getReplacement(ASC->getPointerOperand());
493 assert(V &&
"Operand not replaced");
494 assert(isEqualOrValidAddrSpaceCast(
495 ASC,
V->getType()->getPointerAddressSpace()) &&
496 "Invalid address space cast!");
498 if (
V->getType()->getPointerAddressSpace() !=
499 ASC->getType()->getPointerAddressSpace()) {
500 auto *NewI =
new AddrSpaceCastInst(V, ASC->getType(),
"");
532 if (&*FirstInst != &AI) {
537 std::optional<TypeSize> EntryAISize =
539 if (!EntryAISize || !EntryAISize->isZero()) {
561 Value *TheSrc = Copy->getSource();
564 TheSrc, AllocaAlign,
DL, &AI, &
AC, &
DT);
565 if (AllocaAlign <= SourceAlign &&
570 LLVM_DEBUG(
dbgs() <<
"Found alloca equal to global: " << AI <<
'\n');
583 PointerReplacer PtrReplacer(*
this, AI, SrcAddrSpace);
584 if (PtrReplacer.collectUsers()) {
588 PtrReplacer.replacePointer(TheSrc);
601 return Ty->isIntOrPtrTy() || Ty->isFloatingPointTy();
614 const Twine &Suffix) {
616 "can't fold an atomic load to requested type");
630 "can't fold an atomic store of requested type");
632 Value *Ptr =
SI.getPointerOperand();
634 SI.getAllMetadata(MD);
637 for (
const auto &MDPair : MD) {
638 unsigned ID = MDPair.first;
649 case LLVMContext::MD_dbg:
650 case LLVMContext::MD_DIAssignID:
651 case LLVMContext::MD_tbaa:
652 case LLVMContext::MD_prof:
653 case LLVMContext::MD_fpmath:
654 case LLVMContext::MD_tbaa_struct:
655 case LLVMContext::MD_alias_scope:
656 case LLVMContext::MD_noalias:
657 case LLVMContext::MD_nontemporal:
658 case LLVMContext::MD_mem_parallel_loop_access:
659 case LLVMContext::MD_access_group:
663 case LLVMContext::MD_invariant_load:
664 case LLVMContext::MD_nonnull:
665 case LLVMContext::MD_noundef:
666 case LLVMContext::MD_range:
667 case LLVMContext::MD_align:
668 case LLVMContext::MD_dereferenceable:
669 case LLVMContext::MD_dereferenceable_or_null:
699 if (!
Load.isUnordered())
702 if (
Load.isElementwise())
705 if (
Load.use_empty())
709 if (
Load.getPointerOperand()->isSwiftError())
715 if (
Load.hasOneUse()) {
721 if (BC->getType()->isX86_AMXTy())
726 Type *DestTy = CastUser->getDestTy();
750 if (!
T->isAggregateType())
757 auto NumElements = ST->getNumElements();
758 if (NumElements == 1) {
763 NewLoad->
copyMetadata(LI, LLVMContext::MD_invariant_load);
771 auto *SL =
DL.getStructLayout(ST);
773 if (SL->hasPadding())
778 auto *IdxType =
DL.getIndexType(Addr->getType());
781 for (
unsigned i = 0; i < NumElements; i++) {
786 ST->getElementType(i), Ptr,
792 L->copyMetadata(LI, LLVMContext::MD_invariant_load);
801 auto *ET = AT->getElementType();
802 auto NumElements = AT->getNumElements();
803 if (NumElements == 1) {
823 auto *Zero = ConstantInt::get(IdxType, 0);
827 for (
uint64_t i = 0; i < NumElements; i++) {
828 Value *Indices[2] = {
830 ConstantInt::get(IdxType, i),
836 EltAlign, Name +
".unpack");
862 P =
P->stripPointerCasts();
879 if (GA->isInterposable())
888 std::optional<TypeSize> AllocSize = AI->getAllocationSize(
DL);
889 if (!AllocSize || AllocSize->isScalable() ||
890 AllocSize->getFixedValue() > MaxSize)
896 if (!GV->hasDefinitiveInitializer() || !GV->isConstant())
900 if (InitSize > MaxSize)
906 }
while (!Worklist.
empty());
950 Idx = FirstNZIdx(GEPI);
964 if (!AllocTy || !AllocTy->
isSized())
967 uint64_t TyAllocSize =
DL.getTypeAllocSize(AllocTy).getFixedValue();
973 auto IsAllNonNegative = [&]() {
974 for (
unsigned i = Idx+1, e = GEPI->
getNumOperands(); i != e; ++i) {
976 if (
Known.isNonNegative())
1008 ConstantInt::get(GEPI->getOperand(Idx)->getType(), 0));
1013 if (GEPI->getParent() == MemI.
getParent() &&
1030 auto *Ptr =
SI.getPointerOperand();
1032 Ptr = GEPI->getOperand(0);
1039 const Value *GEPI0 = GEPI->getOperand(0);
1051Value *InstCombinerImpl::simplifyNonNullOperand(
Value *V,
1052 bool HasDereferenceable,
1056 return Sel->getOperand(2);
1059 return Sel->getOperand(1);
1062 if (!
V->hasOneUse())
1070 if (HasDereferenceable ||
GEP->isInBounds()) {
1071 if (
auto *Res = simplifyNonNullOperand(
GEP->getPointerOperand(),
1072 HasDereferenceable,
Depth + 1)) {
1073 replaceOperand(*
GEP, 0, Res);
1082 for (Use &U :
PHI->incoming_values()) {
1084 if (
auto *Res = simplifyNonNullOperand(
U.get(), HasDereferenceable,
1117 bool IsLoadCSE =
false;
1140 if (
Op->hasOneUse()) {
1163 Alignment,
DL,
SI) &&
1165 Alignment,
DL,
SI)) {
1167 auto MaybeCastedLoadOperand = [&](
Value *
Op) {
1170 Op->getName() +
".cast");
1173 Value *LoadOp1 = MaybeCastedLoadOperand(
SI->getOperand(1));
1178 Value *LoadOp2 = MaybeCastedLoadOperand(
SI->getOperand(2));
1194 if (
Value *V = simplifyNonNullOperand(
Op,
true))
1200 if (
II->getIntrinsicID() == Intrinsic::protected_field_ptr) {
1201 std::vector<OperandBundleDef> DSBundle;
1211 NewLI->setOperand(0,
II->getOperand(0));
1215 F.getParent(), Intrinsic::ptrauth_auth, {});
1216 auto *LIInt =
Builder.CreatePtrToInt(NewLI,
Builder.getInt64Ty());
1251 auto *W =
E->getVectorOperand();
1257 if (!CI ||
IV->getNumIndices() != 1 || CI->getZExtValue() != *
IV->idx_begin())
1259 V =
IV->getAggregateOperand();
1265 auto *VT = V->getType();
1268 if (
DL.getTypeStoreSizeInBits(UT) !=
DL.getTypeStoreSizeInBits(VT)) {
1278 for (
const auto *EltT : ST->elements()) {
1279 if (EltT != UT->getElementType())
1309 if (!
SI.isUnordered())
1313 if (
SI.getPointerOperand()->isSwiftError())
1316 Value *V =
SI.getValueOperand();
1320 assert(!BC->getType()->isX86_AMXTy() &&
1321 "store to x86_amx* should not happen!");
1322 V = BC->getOperand(0);
1325 if (V->getType()->isX86_AMXTy())
1350 Value *V =
SI.getValueOperand();
1351 Type *
T = V->getType();
1353 if (!
T->isAggregateType())
1358 unsigned Count = ST->getNumElements();
1368 auto *SL =
DL.getStructLayout(ST);
1370 if (SL->hasPadding())
1373 const auto Align =
SI.getAlign();
1377 auto *Addr =
SI.getPointerOperand();
1379 AddrName +=
".repack";
1381 auto *IdxType =
DL.getIndexType(Addr->getType());
1382 for (
unsigned i = 0; i <
Count; i++) {
1398 auto NumElements = AT->getNumElements();
1399 if (NumElements == 1) {
1413 TypeSize EltSize =
DL.getTypeAllocSize(AT->getElementType());
1414 const auto Align =
SI.getAlign();
1418 auto *Addr =
SI.getPointerOperand();
1420 AddrName +=
".repack";
1423 auto *Zero = ConstantInt::get(IdxType, 0);
1426 for (
uint64_t i = 0; i < NumElements; i++) {
1427 Value *Indices[2] = {
1429 ConstantInt::get(IdxType, i),
1456 if (
A ==
B)
return true;
1476 Value *Val =
SI.getOperand(0);
1477 Value *Ptr =
SI.getOperand(1);
1493 if (!
SI.isUnordered())
return nullptr;
1502 if (
GEP->getOperand(0)->hasOneUse())
1518 for (
unsigned ScanInsts = 6; BBI !=
SI.getParent()->begin() && ScanInsts;
1523 if (BBI->isDebugOrPseudoInst()) {
1530 if (PrevSI->isUnordered() &&
1532 PrevSI->getValueOperand()->getType() ==
1533 SI.getValueOperand()->getType()) {
1550 assert(
SI.isUnordered() &&
"can't eliminate ordering operation");
1560 if (BBI->mayWriteToMemory() || BBI->mayReadFromMemory() || BBI->mayThrow())
1599 if (
Value *V = simplifyNonNullOperand(Ptr,
true))
1606 if (
II->getIntrinsicID() == Intrinsic::protected_field_ptr) {
1607 std::vector<OperandBundleDef> DSBundle;
1617 F.getParent(), Intrinsic::ptrauth_sign, {});
1618 auto *ValInt =
Builder.CreatePtrToInt(Val,
Builder.getInt64Ty());
1621 {ValInt,
Builder.getInt32( 2),
1642 if (!
SI.isUnordered())
1653 if (*PredIter == StoreBB)
1659 if (StoreBB == DestBB || OtherBB == DestBB)
1664 if (BBI == OtherBB->
begin())
1667 auto OtherStoreIsMergeable = [&](
StoreInst *OtherStore) ->
bool {
1669 OtherStore->getPointerOperand() !=
SI.getPointerOperand())
1672 auto *SIVTy =
SI.getValueOperand()->getType();
1673 auto *OSVTy = OtherStore->getValueOperand()->getType();
1675 SI.hasSameSpecialState(OtherStore);
1684 while (BBI->isDebugOrPseudoInst()) {
1685 if (BBI==OtherBB->
begin())
1692 if (!OtherStoreIsMergeable(OtherStore))
1697 if (OtherBr->getSuccessor(0) != StoreBB &&
1698 OtherBr->getSuccessor(1) != StoreBB)
1707 if (OtherStoreIsMergeable(OtherStore))
1712 if (BBI->mayReadFromMemory() || BBI->mayThrow() ||
1713 BBI->mayWriteToMemory() || BBI == OtherBB->
begin())
1721 if (
I->mayReadFromMemory() ||
I->mayThrow() ||
I->mayWriteToMemory())
1732 if (MergedVal !=
SI.getValueOperand()) {
1736 Builder.SetInsertPoint(OtherStore);
1746 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...
ValueT lookup(const_arg_type_t< KeyT > Val) const
Return the entry for the specified key, or a default constructed value if no such entry exists.
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.
detail::zippy< detail::zip_first, T, U, Args... > zip_equal(T &&t, U &&u, Args &&...args)
zip iterator that assumes that all iteratees have the same length.
@ 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.