138#define DEBUG_TYPE "infer-address-spaces"
144 std::numeric_limits<unsigned>::max();
155using PredicatedAddrSpaceMapTy =
160 unsigned FlatAddrSpace = 0;
169 InferAddressSpaces(
unsigned AS) : FunctionPass(ID), FlatAddrSpace(AS) {
173 void getAnalysisUsage(AnalysisUsage &AU)
const override {
182class InferAddressSpacesImpl {
185 const DominatorTree *DT =
nullptr;
186 const TargetTransformInfo *TTI =
nullptr;
187 const DataLayout *DL =
nullptr;
191 unsigned FlatAddrSpace = 0;
195 const bool AssumeDefaultIsFlatAddressSpace =
false;
197 DenseMap<const Value *, Value *> PtrIntCastPairs;
202 Value *getIntToPtrPointerOperand(
const Operator *I2P)
const;
207 void collectIntToPtrPointerOperand();
211 bool isSafeToCastIntToPtrAddrSpace(
const Operator *I2P)
const {
212 return PtrIntCastPairs.contains(I2P);
214 bool isAddressExpression(
const Value &V,
const DataLayout &DL,
215 const TargetTransformInfo *TTI)
const;
216 Value *cloneConstantExprWithNewAddressSpace(
217 ConstantExpr *CE,
unsigned NewAddrSpace,
219 const TargetTransformInfo *TTI)
const;
221 SmallVector<Value *, 2>
222 getPointerOperands(
const Value &V,
const DataLayout &DL,
223 const TargetTransformInfo *TTI)
const;
227 bool updateAddressSpace(
const Value &V,
228 ValueToAddrSpaceMapTy &InferredAddrSpace,
229 PredicatedAddrSpaceMapTy &PredicatedAS)
const;
232 void enqueueUsers(
Value &V,
const ValueToAddrSpaceMapTy &InferredAddrSpace,
233 SetVector<Value *> &Worklist)
const;
236 void runToFixPoint(SetVector<Value *> &Worklist,
237 ValueToAddrSpaceMapTy &InferredAddrSpace,
238 PredicatedAddrSpaceMapTy &PredicatedAS)
const;
243 ValueToAddrSpaceMapTy &InferredAddrSpace,
244 PredicatedAddrSpaceMapTy &PredicatedAS)
const;
246 bool isSafeToCastConstAddrSpace(Constant *
C,
unsigned NewAS)
const;
248 Value *clonePtrMaskWithNewAddressSpace(
249 IntrinsicInst *
I,
unsigned NewAddrSpace,
251 const PredicatedAddrSpaceMapTy &PredicatedAS,
252 SmallVectorImpl<const Use *> *PoisonUsesToFix)
const;
254 Value *cloneInstructionWithNewAddressSpace(
255 Instruction *
I,
unsigned NewAddrSpace,
257 const PredicatedAddrSpaceMapTy &PredicatedAS,
258 SmallVectorImpl<const Use *> *PoisonUsesToFix)
const;
260 void performPointerReplacement(
262 SmallVectorImpl<Instruction *> &DeadInstructions)
const;
267 bool rewriteWithNewAddressSpaces(
269 const ValueToAddrSpaceMapTy &InferredAddrSpace,
270 const PredicatedAddrSpaceMapTy &PredicatedAS)
const;
272 void appendsFlatAddressExpressionToPostorderStack(
273 Value *V, PostorderStackTy &PostorderStack,
274 DenseSet<Value *> &Visited)
const;
276 bool rewriteIntrinsicOperands(IntrinsicInst *
II,
Value *OldV,
278 void collectRewritableIntrinsicOperands(IntrinsicInst *
II,
279 PostorderStackTy &PostorderStack,
280 DenseSet<Value *> &Visited)
const;
282 std::vector<WeakTrackingVH> collectFlatAddressExpressions(
Function &F)
const;
284 Value *cloneValueWithNewAddressSpace(
285 Value *V,
unsigned NewAddrSpace,
287 const PredicatedAddrSpaceMapTy &PredicatedAS,
288 SmallVectorImpl<const Use *> *PoisonUsesToFix)
const;
289 unsigned joinAddressSpaces(
unsigned AS1,
unsigned AS2)
const;
291 unsigned getPredicatedAddrSpace(
const Value &PtrV,
292 const Value *UserCtx)
const;
295 InferAddressSpacesImpl(AssumptionCache &AC,
const DominatorTree *DT,
296 const TargetTransformInfo *TTI,
unsigned FlatAddrSpace,
297 bool AssumeDefaultIsFlatAddressSpace)
298 : AC(AC), DT(DT), TTI(TTI), FlatAddrSpace(FlatAddrSpace),
299 AssumeDefaultIsFlatAddressSpace(AssumeDefaultIsFlatAddressSpace) {}
305char InferAddressSpaces::ID = 0;
315 assert(Ty->isPtrOrPtrVectorTy());
317 return Ty->getWithNewType(NPT);
327 if (!P2I || P2I->getOpcode() != Instruction::PtrToInt)
343 unsigned P2IOp0AS = P2I->getOperand(0)->getType()->getPointerAddressSpace();
349 P2I->getOperand(0)->getType(), P2I->getType(),
351 (P2IOp0AS == I2PAS ||
TTI->isNoopAddrSpaceCast(P2IOp0AS, I2PAS));
358bool InferAddressSpacesImpl::isAddressExpression(
363 return Arg->getType()->isPointerTy() &&
370 switch (
Op->getOpcode()) {
371 case Instruction::PHI:
372 assert(
Op->getType()->isPtrOrPtrVectorTy());
374 case Instruction::BitCast:
375 case Instruction::AddrSpaceCast:
376 case Instruction::GetElementPtr:
378 case Instruction::Select:
379 return Op->getType()->isPtrOrPtrVectorTy();
380 case Instruction::Call: {
382 return II &&
II->getIntrinsicID() == Intrinsic::ptrmask;
384 case Instruction::IntToPtr:
386 isSafeToCastIntToPtrAddrSpace(
Op);
396SmallVector<Value *, 2> InferAddressSpacesImpl::getPointerOperands(
397 const Value &V,
const DataLayout &
DL,
398 const TargetTransformInfo *
TTI)
const {
403 switch (
Op.getOpcode()) {
404 case Instruction::PHI: {
406 return {IncomingValues.begin(), IncomingValues.end()};
408 case Instruction::BitCast:
409 case Instruction::AddrSpaceCast:
410 case Instruction::GetElementPtr:
411 return {
Op.getOperand(0)};
412 case Instruction::Select:
413 return {
Op.getOperand(1),
Op.getOperand(2)};
414 case Instruction::Call: {
416 assert(
II.getIntrinsicID() == Intrinsic::ptrmask &&
417 "unexpected intrinsic call");
418 return {
II.getArgOperand(0)};
420 case Instruction::IntToPtr: {
423 return {P2I->getOperand(0)};
425 assert(isSafeToCastIntToPtrAddrSpace(&
Op));
426 return {getIntToPtrPointerOperand(&
Op)};
440 switch (
Op->getOpcode()) {
441 case Instruction::Xor:
442 case Instruction::Or:
444 case Instruction::And:
452InferAddressSpacesImpl::getIntToPtrPointerOperand(
const Operator *I2P)
const {
459 if (
auto *OldPtr = PtrIntCastPairs.
lookup(I2P))
464 if (!
match(LogicalOp,
475 if (PreservedPtrMask.
isZero())
477 APInt ChangedPtrBits =
486 if (ChangedPtrBits.
isSubsetOf(PreservedPtrMask))
492void InferAddressSpacesImpl::collectIntToPtrPointerOperand() {
499 PtrIntCastPairs.
insert({&
I, OldPtr});
503bool InferAddressSpacesImpl::rewriteIntrinsicOperands(IntrinsicInst *
II,
506 Module *
M =
II->getParent()->getParent()->getParent();
509 case Intrinsic::objectsize:
510 case Intrinsic::masked_load: {
511 Type *DestTy =
II->getType();
515 II->setArgOperand(0, NewV);
516 II->setCalledFunction(NewDecl);
519 case Intrinsic::ptrmask:
522 case Intrinsic::masked_gather: {
523 Type *RetTy =
II->getType();
527 II->setArgOperand(0, NewV);
528 II->setCalledFunction(NewDecl);
531 case Intrinsic::masked_store:
532 case Intrinsic::masked_scatter: {
533 Type *ValueTy =
II->getOperand(0)->getType();
536 M,
II->getIntrinsicID(), {ValueTy, NewPtrTy});
537 II->setArgOperand(1, NewV);
538 II->setCalledFunction(NewDecl);
541 case Intrinsic::prefetch:
542 case Intrinsic::is_constant: {
544 M,
II->getIntrinsicID(), {NewV->getType()});
545 II->setArgOperand(0, NewV);
546 II->setCalledFunction(NewDecl);
549 case Intrinsic::fake_use: {
550 II->replaceUsesOfWith(OldV, NewV);
553 case Intrinsic::lifetime_start:
554 case Intrinsic::lifetime_end: {
558 M,
II->getIntrinsicID(), {NewV->getType()});
559 II->setArgOperand(0, NewV);
560 II->setCalledFunction(NewDecl);
568 II->replaceAllUsesWith(Rewrite);
569 II->eraseFromParent();
576void InferAddressSpacesImpl::collectRewritableIntrinsicOperands(
577 IntrinsicInst *
II, PostorderStackTy &PostorderStack,
578 DenseSet<Value *> &Visited)
const {
579 auto IID =
II->getIntrinsicID();
581 case Intrinsic::ptrmask:
582 case Intrinsic::objectsize:
583 appendsFlatAddressExpressionToPostorderStack(
II->getArgOperand(0),
584 PostorderStack, Visited);
586 case Intrinsic::is_constant: {
587 Value *Ptr =
II->getArgOperand(0);
589 appendsFlatAddressExpressionToPostorderStack(Ptr, PostorderStack,
595 case Intrinsic::masked_load:
596 case Intrinsic::masked_gather:
597 case Intrinsic::prefetch:
598 appendsFlatAddressExpressionToPostorderStack(
II->getArgOperand(0),
599 PostorderStack, Visited);
601 case Intrinsic::masked_store:
602 case Intrinsic::masked_scatter:
603 appendsFlatAddressExpressionToPostorderStack(
II->getArgOperand(1),
604 PostorderStack, Visited);
606 case Intrinsic::fake_use: {
608 if (
Op->getType()->isPtrOrPtrVectorTy()) {
609 appendsFlatAddressExpressionToPostorderStack(
Op, PostorderStack,
616 case Intrinsic::lifetime_start:
617 case Intrinsic::lifetime_end: {
618 appendsFlatAddressExpressionToPostorderStack(
II->getArgOperand(0),
619 PostorderStack, Visited);
623 SmallVector<int, 2> OpIndexes;
625 for (
int Idx : OpIndexes) {
626 appendsFlatAddressExpressionToPostorderStack(
II->getArgOperand(Idx),
627 PostorderStack, Visited);
637void InferAddressSpacesImpl::appendsFlatAddressExpressionToPostorderStack(
638 Value *V, PostorderStackTy &PostorderStack,
639 DenseSet<Value *> &Visited)
const {
640 assert(
V->getType()->isPtrOrPtrVectorTy());
646 if (isAddressExpression(*CE, *
DL,
TTI) && Visited.
insert(CE).second)
647 PostorderStack.emplace_back(CE,
false);
652 if (
V->getType()->getPointerAddressSpace() == FlatAddrSpace &&
653 isAddressExpression(*V, *
DL,
TTI)) {
654 if (Visited.
insert(V).second) {
655 PostorderStack.emplace_back(V,
false);
658 for (
auto &O :
Op->operands())
660 if (isAddressExpression(*CE, *
DL,
TTI) && Visited.
insert(CE).second)
661 PostorderStack.emplace_back(CE,
false);
668std::vector<WeakTrackingVH>
669InferAddressSpacesImpl::collectFlatAddressExpressions(
Function &
F)
const {
672 PostorderStackTy PostorderStack;
674 DenseSet<Value *> Visited;
676 auto PushPtrOperand = [&](
Value *Ptr) {
677 appendsFlatAddressExpressionToPostorderStack(Ptr, PostorderStack, Visited);
685 PushPtrOperand(
GEP->getPointerOperand());
687 PushPtrOperand(LI->getPointerOperand());
689 PushPtrOperand(
SI->getPointerOperand());
691 PushPtrOperand(RMW->getPointerOperand());
693 PushPtrOperand(CmpX->getPointerOperand());
696 PushPtrOperand(
MI->getRawDest());
700 PushPtrOperand(MTI->getRawSource());
702 collectRewritableIntrinsicOperands(
II, PostorderStack, Visited);
704 if (
Cmp->getOperand(0)->getType()->isPtrOrPtrVectorTy()) {
705 PushPtrOperand(
Cmp->getOperand(0));
706 PushPtrOperand(
Cmp->getOperand(1));
709 PushPtrOperand(ASC->getPointerOperand());
716 if (
auto *RV = RI->getReturnValue();
717 RV && RV->getType()->isPtrOrPtrVectorTy())
722 std::vector<WeakTrackingVH> Postorder;
723 while (!PostorderStack.empty()) {
724 Value *TopVal = PostorderStack.back().getPointer();
727 if (PostorderStack.back().getInt()) {
729 Postorder.push_back(TopVal);
730 PostorderStack.pop_back();
734 PostorderStack.back().setInt(
true);
737 for (
Value *PtrOperand : getPointerOperands(*TopVal, *
DL,
TTI)) {
738 appendsFlatAddressExpressionToPostorderStack(PtrOperand, PostorderStack,
750 auto InsertBefore = [NewI](
auto It) {
760 auto InsertI =
F->getEntryBlock().getFirstNonPHIIt();
761 return InsertBefore(InsertI);
771 auto InsertI = OpInst->
getParent()->getFirstNonPHIIt();
772 return InsertBefore(InsertI);
785 const Use &OperandUse,
unsigned NewAddrSpace,
787 const PredicatedAddrSpaceMapTy &PredicatedAS,
797 if (
Value *NewOperand = ValueWithNewAddrSpace.
lookup(Operand)) {
798 Operand = NewOperand;
799 }
else if (!PredicatedAS.contains(std::make_pair(Inst, Operand))) {
800 assert(PoisonUsesToFix &&
"missing inferred operand replacement");
805 if (Operand->
getType() == NewPtrTy)
817 if (
Value *NewUser = ValueWithNewAddrSpace.
lookup(Inst))
826Value *InferAddressSpacesImpl::clonePtrMaskWithNewAddressSpace(
827 IntrinsicInst *
I,
unsigned NewAddrSpace,
829 const PredicatedAddrSpaceMapTy &PredicatedAS,
830 SmallVectorImpl<const Use *> *PoisonUsesToFix)
const {
831 const Use &PtrOpUse =
I->getArgOperandUse(0);
833 Value *MaskOp =
I->getArgOperand(1);
836 KnownBits OldPtrBits{
DL->getPointerSizeInBits(OldAddrSpace)};
837 KnownBits NewPtrBits{
DL->getPointerSizeInBits(NewAddrSpace)};
839 std::tie(OldPtrBits, NewPtrBits) =
854 OldPtrBits.
One |= ~OldPtrBits.Zero;
856 KnownBits ClearedBits =
KnownBits::sub(OldPtrBits, OldPtrBits & MaskBits);
861 std::optional<BasicBlock::iterator> InsertPoint =
862 I->getInsertionPointAfterDef();
863 assert(InsertPoint &&
"insertion after ptrmask should be possible");
866 new AddrSpaceCastInst(
I, NewPtrType,
"", *InsertPoint);
868 return AddrSpaceCast;
875 MaskOp =
B.CreateTrunc(MaskOp, MaskTy);
878 PtrOpUse, NewAddrSpace, ValueWithNewAddrSpace, PredicatedAS,
880 return B.CreateIntrinsic(Intrinsic::ptrmask, {NewPtr->
getType(), MaskTy},
893Value *InferAddressSpacesImpl::cloneInstructionWithNewAddressSpace(
894 Instruction *
I,
unsigned NewAddrSpace,
896 const PredicatedAddrSpaceMapTy &PredicatedAS,
897 SmallVectorImpl<const Use *> *PoisonUsesToFix)
const {
900 if (
I->getOpcode() == Instruction::AddrSpaceCast) {
901 Value *Src =
I->getOperand(0);
905 assert(Src->getType()->getPointerAddressSpace() == NewAddrSpace);
912 assert(
II->getIntrinsicID() == Intrinsic::ptrmask);
913 return clonePtrMaskWithNewAddressSpace(
914 II, NewAddrSpace, ValueWithNewAddrSpace, PredicatedAS, PoisonUsesToFix);
922 auto *NewI =
new AddrSpaceCastInst(
I, NewPtrTy);
923 NewI->insertAfter(
I->getIterator());
924 NewI->setDebugLoc(
I->getDebugLoc());
929 SmallVector<Value *, 4> NewPointerOperands;
930 for (
const Use &OperandUse :
I->operands()) {
931 if (!OperandUse.get()->getType()->isPtrOrPtrVectorTy())
935 OperandUse, NewAddrSpace, ValueWithNewAddrSpace, PredicatedAS,
939 switch (
I->getOpcode()) {
940 case Instruction::BitCast:
941 return new BitCastInst(NewPointerOperands[0], NewPtrType);
942 case Instruction::PHI: {
943 assert(
I->getType()->isPtrOrPtrVectorTy());
946 for (
unsigned Index = 0;
Index <
PHI->getNumIncomingValues(); ++
Index) {
949 PHI->getIncomingBlock(Index));
953 case Instruction::GetElementPtr: {
956 GEP->getSourceElementType(), NewPointerOperands[0],
957 SmallVector<Value *, 4>(
GEP->indices()));
961 case Instruction::Select:
962 assert(
I->getType()->isPtrOrPtrVectorTy());
964 NewPointerOperands[2],
"",
nullptr,
I);
965 case Instruction::IntToPtr: {
968 if (Src->getType() == NewPtrType)
974 return new AddrSpaceCastInst(Src, NewPtrType);
977 AddrSpaceCastInst *AsCast =
new AddrSpaceCastInst(
I, NewPtrType);
989Value *InferAddressSpacesImpl::cloneConstantExprWithNewAddressSpace(
990 ConstantExpr *CE,
unsigned NewAddrSpace,
992 const TargetTransformInfo *
TTI)
const {
994 CE->getType()->isPtrOrPtrVectorTy()
998 switch (
CE->getOpcode()) {
999 case Instruction::AddrSpaceCast:
1003 assert(CE->getOperand(0)->getType()->getPointerAddressSpace() ==
1005 return CE->getOperand(0);
1007 case Instruction::BitCast:
1008 if (Value *NewOperand = ValueWithNewAddrSpace.lookup(CE->getOperand(0)))
1009 return ConstantExpr::getBitCast(cast<Constant>(NewOperand), TargetType);
1010 return ConstantExpr::getAddrSpaceCast(CE, TargetType);
1012 case Instruction::IntToPtr:
1013 if (isNoopPtrIntCastPair(cast<Operator>(CE), *DL, TTI)) {
1014 Constant *Src = cast<ConstantExpr>(CE->getOperand(0))->getOperand(0);
1018 if (Src->getType() == TargetType)
1020 return ConstantExpr::getAddrSpaceCast(Src, TargetType);
1025 case Instruction::GetElementPtr: {
1033 NewBase = cloneConstantExprWithNewAddressSpace(
1036 assert(NewBase &&
"pointer operand of a rewritten GEP was not rewritten");
1038 SmallVector<Constant *, 4> NewOperands;
1040 for (
unsigned Index = 1;
Index <
CE->getNumOperands(); ++
Index)
1044 return CE->getWithOperands(NewOperands, TargetType,
false,
1058Value *InferAddressSpacesImpl::cloneValueWithNewAddressSpace(
1059 Value *V,
unsigned NewAddrSpace,
1061 const PredicatedAddrSpaceMapTy &PredicatedAS,
1062 SmallVectorImpl<const Use *> *PoisonUsesToFix)
const {
1064 assert(
V->getType()->getPointerAddressSpace() == FlatAddrSpace &&
1065 isAddressExpression(*V, *
DL,
TTI));
1073 Type *NewPtrTy = PointerType::get(Arg->getContext(), NewAddrSpace);
1074 auto *NewI =
new AddrSpaceCastInst(Arg, NewPtrTy);
1075 NewI->insertBefore(Insert);
1080 Value *NewV = cloneInstructionWithNewAddressSpace(
1081 I, NewAddrSpace, ValueWithNewAddrSpace, PredicatedAS, PoisonUsesToFix);
1083 if (NewI->getParent() ==
nullptr) {
1084 NewI->insertBefore(
I->getIterator());
1086 NewI->setDebugLoc(
I->getDebugLoc());
1092 return cloneConstantExprWithNewAddressSpace(
1098unsigned InferAddressSpacesImpl::joinAddressSpaces(
unsigned AS1,
1099 unsigned AS2)
const {
1103 if (AS1 == FlatAddrSpace || AS2 == FlatAddrSpace)
1114bool InferAddressSpacesImpl::run(
Function &CurFn) {
1116 DL = &
F->getDataLayout();
1117 PtrIntCastPairs.
clear();
1119 if (AssumeDefaultIsFlatAddressSpace)
1128 collectIntToPtrPointerOperand();
1130 std::vector<WeakTrackingVH> Postorder = collectFlatAddressExpressions(*
F);
1134 ValueToAddrSpaceMapTy InferredAddrSpace;
1135 PredicatedAddrSpaceMapTy PredicatedAS;
1136 inferAddressSpaces(Postorder, InferredAddrSpace, PredicatedAS);
1140 return rewriteWithNewAddressSpaces(Postorder, InferredAddrSpace,
1144void InferAddressSpacesImpl::enqueueUsers(
1145 Value &V,
const ValueToAddrSpaceMapTy &InferredAddrSpace,
1146 SetVector<Value *> &Worklist)
const {
1147 for (
Value *User :
V.users()) {
1149 if (Worklist.
count(User))
1152 ValueToAddrSpaceMapTy::const_iterator Pos = InferredAddrSpace.find(User);
1155 if (Pos == InferredAddrSpace.end())
1161 if (Pos->second == FlatAddrSpace)
1168void InferAddressSpacesImpl::runToFixPoint(
1169 SetVector<Value *> &Worklist, ValueToAddrSpaceMapTy &InferredAddrSpace,
1170 PredicatedAddrSpaceMapTy &PredicatedAS)
const {
1171 while (!Worklist.
empty()) {
1176 if (!updateAddressSpace(*V, InferredAddrSpace, PredicatedAS))
1179 enqueueUsers(*V, InferredAddrSpace, Worklist);
1185void InferAddressSpacesImpl::inferAddressSpaces(
1187 ValueToAddrSpaceMapTy &InferredAddrSpace,
1188 PredicatedAddrSpaceMapTy &PredicatedAS)
const {
1191 for (
Value *V : Postorder)
1194 runToFixPoint(Worklist, InferredAddrSpace, PredicatedAS);
1200 SmallVector<Value *, 4> Lowered;
1201 for (
Value *V : Postorder) {
1202 ValueToAddrSpaceMapTy::iterator
I = InferredAddrSpace.find(V);
1209 for (
Value *V : Lowered)
1210 enqueueUsers(*V, InferredAddrSpace, Worklist);
1212 runToFixPoint(Worklist, InferredAddrSpace, PredicatedAS);
1216InferAddressSpacesImpl::getPredicatedAddrSpace(
const Value &Ptr,
1217 const Value *UserCtx)
const {
1240bool InferAddressSpacesImpl::updateAddressSpace(
1241 const Value &V, ValueToAddrSpaceMapTy &InferredAddrSpace,
1242 PredicatedAddrSpaceMapTy &PredicatedAS)
const {
1243 assert(InferredAddrSpace.count(&V));
1245 LLVM_DEBUG(
dbgs() <<
"Updating the address space of\n " << V <<
'\n');
1261 SmallVector<Value *, 2> PtrOps = getPointerOperands(V, *
DL,
TTI);
1262 for (
Value *PtrOperand : PtrOps) {
1263 auto I = InferredAddrSpace.find(PtrOperand);
1265 if (
I == InferredAddrSpace.end()) {
1266 OperandAS = PtrOperand->getType()->getPointerAddressSpace();
1273 if (OperandAS == FlatAddrSpace) {
1275 unsigned AS = getPredicatedAddrSpace(*PtrOperand, &V);
1278 <<
" deduce operand AS from the predicate addrspace "
1282 PredicatedAS[std::make_pair(&V, PtrOperand)] = OperandAS;
1286 OperandAS =
I->second;
1289 NewAS = joinAddressSpaces(NewAS, OperandAS);
1290 if (NewAS == FlatAddrSpace)
1295 if (
any_of(ConstantPtrOps, [=](Constant *
C) {
1296 return !isSafeToCastConstAddrSpace(
C, NewAS);
1298 NewAS = FlatAddrSpace;
1303 PtrOps.size() == ConstantPtrOps.
size())
1307 unsigned OldAS = InferredAddrSpace.lookup(&V);
1308 assert(OldAS != FlatAddrSpace);
1315 InferredAddrSpace[&
V] = NewAS;
1324 if (U.get() == OldVal) {
1332template <
typename InstrType>
1334 InstrType *MemInstr,
Value *OldV,
1337 if (!MemInstr->isVolatile() ||
TTI.hasVolatileVariant(MemInstr, AddrSpace)) {
1376 B.CreateMemSet(NewV, MSI->getValue(), MSI->getLength(), MSI->getDestAlign(),
1378 MI->getAAMetadata());
1380 Value *Src = MTI->getRawSource();
1381 Value *Dest = MTI->getRawDest();
1391 if (MCI->isForceInlined())
1392 B.CreateMemCpyInline(Dest, MTI->getDestAlign(), Src,
1393 MTI->getSourceAlign(), MTI->getLength(),
1395 MI->getAAMetadata());
1397 B.CreateMemCpy(Dest, MTI->getDestAlign(), Src, MTI->getSourceAlign(),
1400 MI->getAAMetadata());
1403 B.CreateMemMove(Dest, MTI->getDestAlign(), Src, MTI->getSourceAlign(),
1406 MI->getAAMetadata());
1411 MI->eraseFromParent();
1417bool InferAddressSpacesImpl::isSafeToCastConstAddrSpace(Constant *
C,
1418 unsigned NewAS)
const {
1421 unsigned SrcAS =
C->getType()->getPointerAddressSpace();
1426 if (SrcAS != FlatAddrSpace && NewAS != FlatAddrSpace)
1435 if (
Op->getOpcode() == Instruction::AddrSpaceCast)
1439 if (
Op->getOpcode() == Instruction::IntToPtr &&
1440 Op->getType()->getPointerAddressSpace() == FlatAddrSpace)
1449 User *CurUser =
I->getUser();
1452 while (
I !=
End &&
I->getUser() == CurUser)
1458void InferAddressSpacesImpl::performPointerReplacement(
1460 SmallVectorImpl<Instruction *> &DeadInstructions)
const {
1462 User *CurUser =
U.getUser();
1468 if (CurUser == NewV)
1472 if (!CurUserI || CurUserI->getFunction() !=
F)
1482 if (rewriteIntrinsicOperands(
II, V, NewV))
1494 int SrcIdx =
U.getOperandNo();
1495 int OtherIdx = (SrcIdx == 0) ? 1 : 0;
1496 Value *OtherSrc =
Cmp->getOperand(OtherIdx);
1498 if (
Value *OtherNewV = ValueWithNewAddrSpace.
lookup(OtherSrc)) {
1499 if (OtherNewV->getType()->getPointerAddressSpace() == NewAS) {
1500 Cmp->setOperand(OtherIdx, OtherNewV);
1501 Cmp->setOperand(SrcIdx, NewV);
1508 if (isSafeToCastConstAddrSpace(KOtherSrc, NewAS)) {
1509 Cmp->setOperand(SrcIdx, NewV);
1519 if (ASC->getDestAddressSpace() == NewAS) {
1520 ASC->replaceAllUsesWith(NewV);
1535 InsertPos = std::next(NewVInst->getIterator());
1543 V,
new AddrSpaceCastInst(NewV,
V->getType(),
"", InsertPos));
1545 CurUserI->replaceUsesOfWith(
1550bool InferAddressSpacesImpl::rewriteWithNewAddressSpaces(
1552 const ValueToAddrSpaceMapTy &InferredAddrSpace,
1553 const PredicatedAddrSpaceMapTy &PredicatedAS)
const {
1560 for (
Value *V : Postorder) {
1561 unsigned NewAddrSpace = InferredAddrSpace.lookup(V);
1568 if (
V->getType()->getPointerAddressSpace() != NewAddrSpace) {
1570 cloneValueWithNewAddressSpace(V, NewAddrSpace, ValueWithNewAddrSpace,
1571 PredicatedAS, &PoisonUsesToFix);
1573 ValueWithNewAddrSpace[
V] =
New;
1577 if (ValueWithNewAddrSpace.
empty())
1581 for (
const Use *PoisonUse : PoisonUsesToFix) {
1582 User *
V = PoisonUse->getUser();
1587 unsigned OperandNo = PoisonUse->getOperandNo();
1592 *PoisonUse, NewAS, ValueWithNewAddrSpace, PredicatedAS,
nullptr);
1596 SmallVector<Instruction *, 16> DeadInstructions;
1601 for (
const WeakTrackingVH &WVH : Postorder) {
1602 assert(WVH &&
"value was unexpectedly deleted");
1605 if (NewV ==
nullptr)
1608 LLVM_DEBUG(
dbgs() <<
"Replacing the uses of " << *V <<
"\n with\n "
1620 if (
I->getFunction() ==
F)
1623 WorkList.
append(
U->user_begin(),
U->user_end());
1626 if (!WorkList.
empty()) {
1628 DenseSet<User *> Visited{WorkList.
begin(), WorkList.
end()};
1629 while (!WorkList.
empty()) {
1632 if (
I->getFunction() ==
F)
1633 VMapper.remapInstruction(*
I);
1636 for (User *U2 :
U->users())
1637 if (Visited.
insert(U2).second)
1645 Value::use_iterator
I,
E,
Next;
1646 for (
I =
V->use_begin(),
E =
V->use_end();
I !=
E;) {
1653 performPointerReplacement(V, NewV, U, ValueWithNewAddrSpace,
1657 if (
V->use_empty()) {
1666 auto DeadInstructionHandles =
1673bool InferAddressSpaces::runOnFunction(
Function &
F) {
1674 if (skipFunction(
F))
1677 auto *DTWP = getAnalysisIfAvailable<DominatorTreeWrapperPass>();
1678 DominatorTree *DT = DTWP ? &DTWP->getDomTree() :
nullptr;
1679 return InferAddressSpacesImpl(
1680 getAnalysis<AssumptionCacheTracker>().getAssumptionCache(
F), DT,
1681 &getAnalysis<TargetTransformInfoWrapperPass>().getTTI(
F),
1682 FlatAddrSpace,
false)
1691 bool AssumeDefaultIsFlatAddressSpace)
1693 AssumeDefaultIsFlatAddressSpace(AssumeDefaultIsFlatAddressSpace) {}
1695 unsigned AddressSpace,
bool AssumeDefaultIsFlatAddressSpace)
1697 AssumeDefaultIsFlatAddressSpace(AssumeDefaultIsFlatAddressSpace) {}
1705 AssumeDefaultIsFlatAddressSpace)
1717 static_cast<PassInfoMixin<InferAddressSpacesPass> *
>(
this)->
printPipeline(
1718 OS, MapClassName2PassName);
1719 if (AssumeDefaultIsFlatAddressSpace)
1720 OS <<
"<assume-default-is-flat-addrspace>";
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
Expand Atomic instructions
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
#define LLVM_UNLIKELY(EXPR)
This file contains the declarations for the subclasses of Constant, which represent the different fla...
This file defines the DenseMap class.
This file defines the DenseSet and SmallDenseSet classes.
static bool runOnFunction(Function &F, bool PostInlining)
This header defines various interfaces for pass management in LLVM.
This defines the Use class.
static bool replaceOperandIfSame(Instruction *Inst, unsigned OpIdx, Value *OldVal, Value *NewVal)
Replace operand OpIdx in Inst, if the value is the same as OldVal with NewVal.
static bool isNoopPtrIntCastPair(const Operator *I2P, const DataLayout &DL, const TargetTransformInfo *TTI)
static bool replaceIfSimplePointerUse(const TargetTransformInfo &TTI, User *Inst, Value *OldV, Value *NewV)
If OldV is used as the pointer operand of a compatible memory operation Inst, replaces the pointer op...
static Value * phiNodeOperandWithNewAddressSpace(AddrSpaceCastInst *NewI, Value *Operand)
static bool handleMemIntrinsicPtrUse(MemIntrinsic *MI, Value *OldV, Value *NewV)
Update memory intrinsic uses that require more complex processing than simple memory instructions.
static Value * operandWithNewAddressSpaceOrCreatePoison(const Use &OperandUse, unsigned NewAddrSpace, const ValueToValueMapTy &ValueWithNewAddrSpace, const PredicatedAddrSpaceMapTy &PredicatedAS, SmallVectorImpl< const Use * > *PoisonUsesToFix)
static Value::use_iterator skipToNextUser(Value::use_iterator I, Value::use_iterator End)
Infer address static false Type * getPtrOrVecOfPtrsWithNewAS(Type *Ty, unsigned NewAddrSpace)
static bool replaceSimplePointerUse(const TargetTransformInfo &TTI, InstrType *MemInstr, Value *OldV, Value *NewV)
static APInt computeMaxChangedPtrBits(const Operator *Op, const Value *Mask, const DataLayout &DL, AssumptionCache *AC, const DominatorTree *DT)
static const unsigned UninitializedAddressSpace
Machine Check Debug Module
uint64_t IntrinsicInst * II
#define INITIALIZE_PASS_DEPENDENCY(depName)
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
This file implements a set that has insertion order iteration characteristics.
This file defines the SmallVector class.
static SymbolRef::Type getType(const Symbol *Sym)
Class for arbitrary precision integers.
static APInt getAllOnes(unsigned numBits)
Return an APInt of a specified width with all bits set.
bool isZero() const
Determine if this value is zero, i.e. all bits are clear.
unsigned getBitWidth() const
Return the number of bits in the APInt.
bool isSubsetOf(const APInt &RHS) const
This operation checks that all bits set in this APInt are also set in RHS.
This class represents a conversion between pointers from one address space to another.
PassT::Result * getCachedResult(IRUnitT &IR) const
Get the cached result of an analysis pass for a given IR unit.
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
AnalysisUsage & addRequired()
LLVM_ABI void setPreservesCFG()
This function should be called by the pass, iff they do not:
A function analysis which provides an AssumptionCache.
An immutable pass that tracks lazily created AssumptionCache objects.
A cache of @llvm.assume calls within a function.
MutableArrayRef< ResultElem > assumptionsFor(const Value *V)
Access the list of assumptions which affect this value.
InstListType::iterator iterator
Instruction iterators...
Represents analyses that only rely on functions' control flow.
Value * getArgOperand(unsigned i) const
static LLVM_ABI bool isNoopCast(Instruction::CastOps Opcode, Type *SrcTy, Type *DstTy, const DataLayout &DL)
A no-op cast is one that can be effected without changing any bits.
static LLVM_ABI Constant * getAddrSpaceCast(Constant *C, Type *Ty, bool OnlyIfReduced=false)
This is an important base class in LLVM.
A parsed version of the target data layout string in and methods for querying it.
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.
std::pair< iterator, bool > insert(const std::pair< KeyT, ValueT > &KV)
Analysis pass which computes a DominatorTree.
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
FunctionPass class - This class is used to implement most global optimizations.
static GetElementPtrInst * Create(Type *PointeeType, Value *Ptr, ArrayRef< Value * > IdxList, const Twine &NameStr="", InsertPosition InsertBefore=nullptr)
LLVM_ABI void setIsInBounds(bool b=true)
Set or clear the inbounds flag on this GEP instruction.
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
LLVM_ABI InferAddressSpacesPass(bool AssumeDefaultIsFlatAddressSpace=false)
LLVM_ABI PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM)
LLVM_ABI void printPipeline(raw_ostream &OS, function_ref< StringRef(StringRef)> MapClassName2PassName)
const DebugLoc & getDebugLoc() const
Return the debug location for this node as a DebugLoc.
LLVM_ABI void insertBefore(InstListType::iterator InsertPos)
Insert an unlinked instruction into a basic block immediately before the specified position.
unsigned getOpcode() const
Returns a member of one of the enums like Instruction::Add.
void setDebugLoc(DebugLoc Loc)
Set the debug location information for this instruction.
LLVM_ABI void insertAfter(Instruction *InsertPos)
Insert an unlinked instruction into a basic block immediately after the specified instruction.
This is the common base class for memset/memcpy/memmove.
This is a utility class that provides an abstraction for the common functionality between Instruction...
unsigned getOpcode() const
Return the opcode for this Instruction or ConstantExpr.
void addIncoming(Value *V, BasicBlock *BB)
Add an incoming value to the end of the PHI list.
static unsigned getOperandNumForIncomingValue(unsigned i)
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...
static LLVM_ABI PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
static LLVM_ABI PointerType * get(LLVMContext &C, unsigned AddressSpace)
This constructs an opaque pointer to an object in a numbered address space.
static LLVM_ABI PoisonValue * get(Type *T)
Static factory methods - Return an 'poison' object of the specified type.
A set of analyses that are preserved following a run of a transformation pass.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
PreservedAnalyses & preserveSet()
Mark an analysis set as preserved.
static SelectInst * Create(Value *C, Value *S1, Value *S2, const Twine &NameStr="", InsertPosition InsertBefore=nullptr, const Instruction *MDFrom=nullptr)
size_type count(const_arg_type key) const
Count the number of elements of a given key in the SetVector.
bool empty() const
Determine if the SetVector is empty or not.
bool insert(const value_type &X)
Insert a new element into the SetVector.
value_type pop_back_val()
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void append(ItTy in_start, ItTy in_end)
Add the specified range to the end of the SmallVector.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Represent a constant reference to a string, i.e.
Analysis pass providing the TargetTransformInfo.
The instances of the Type class are immutable: once they are created, they are never changed.
bool isVectorTy() const
True if this is an instance of VectorType.
LLVM_ABI unsigned getPointerAddressSpace() const
Get the address space of this pointer or pointer vector type.
LLVM_ABI Type * getWithNewBitWidth(unsigned NewBitWidth) const
Given an integer or vector type, change the lane bitwidth to NewBitwidth, whilst keeping the old numb...
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
bool isPtrOrPtrVectorTy() const
Return true if this is a pointer type or a vector of pointer types.
A Use represents the edge between a Value definition and its users.
User * getUser() const
Returns the User that contains this Use.
const Use & getOperandUse(unsigned i) const
void setOperand(unsigned i, Value *Val)
LLVM_ABI bool replaceUsesOfWith(Value *From, Value *To)
Replace uses of one Value with another.
Value * getOperand(unsigned i) const
ValueT lookup(const KeyT &Val) const
lookup - Return the entry for the specified key, or a default constructed value if no such entry exis...
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
LLVM_ABI const Value * stripInBoundsOffsets(function_ref< void(const Value *)> Func=[](const Value *) {}) const
Strip off pointer casts and inbounds GEPs.
use_iterator_impl< Use > use_iterator
LLVM_ABI const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
std::pair< iterator, bool > insert(const ValueT &V)
An efficient, type-erasing, non-owning reference to a callable.
const ParentTy * getParent() const
self_iterator getIterator()
This class implements an extremely fast bulk output stream that can only output to a stream.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
constexpr std::underlying_type_t< E > Mask()
Get a bitmask with 1s in all places up to the high-order bit of E's largest value.
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)
auto m_Value()
Match an arbitrary value and ignore it.
BinOpPred_match< LHS, RHS, is_bitwiselogic_op, true > m_c_BitwiseLogic(const LHS &L, const RHS &R)
Matches bitwise logic operations in either order.
CastOperator_match< OpTy, Instruction::PtrToInt > m_PtrToInt(const OpTy &Op)
Matches PtrToInt.
@ CE
Windows NT (Windows on ARM)
PointerTypeMap run(const Module &M)
Compute the PointerTypeMap for the module M.
@ User
could "use" a pointer
NodeAddr< UseNode * > Use
friend class Instruction
Iterator for Instructions in a `BasicBlock.
This is an optimization pass for GlobalISel generic memory operations.
LLVM_ABI bool RecursivelyDeleteTriviallyDeadInstructions(Value *V, const TargetLibraryInfo *TLI=nullptr, MemorySSAUpdater *MSSAU=nullptr, std::function< void(Value *)> AboutToDeleteCallback=std::function< void(Value *)>())
If the specified value is a trivially dead instruction, delete it.
@ Known
Known to have no common set bits.
LLVM_ABI void initializeInferAddressSpacesPass(PassRegistry &)
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
constexpr from_range_t from_range
iterator_range< early_inc_iterator_impl< detail::IterOfRange< RangeT > > > make_early_inc_range(RangeT &&Range)
Make a range that does early increment to allow mutation of the underlying range without disrupting i...
LLVM_ABI void computeKnownBits(const Value *V, KnownBits &Known, const DataLayout &DL, AssumptionCache *AC=nullptr, const Instruction *CtxI=nullptr, const DominatorTree *DT=nullptr, bool UseInstrInfo=true, unsigned Depth=0)
Determine which bits of V are known to be either zero or one and return them in the KnownZero/KnownOn...
auto cast_or_null(const Y &Val)
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Value
LLVM_ABI bool isValidAssumeForContext(const Instruction *I, const Instruction *CtxI, const DominatorTree *DT=nullptr, bool AllowEphemerals=false)
Return true if it is valid to use the assumptions provided by an assume intrinsic,...
auto dyn_cast_or_null(const Y &Val)
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
@ RF_IgnoreMissingLocals
If this flag is set, the remapper ignores missing function-local entries (Argument,...
@ RF_NoModuleLevelChanges
If this flag is set, the remapper knows that only local values within a function (such as an instruct...
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
IRBuilder(LLVMContext &, FolderTy, InserterTy) -> IRBuilder< FolderTy, InserterTy >
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
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...
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
ValueMap< const Value *, WeakTrackingVH > ValueToValueMapTy
LLVM_ABI FunctionPass * createInferAddressSpacesPass(unsigned AddressSpace=~0u)
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Next
AnalysisManager< Function > FunctionAnalysisManager
Convenience typedef for the Function analysis manager.
@ End
Run the machine verifier once, at the end of the pipeline.
SmallVector< Out, Size > to_vector_of(R &&Range)
unsigned getBitWidth() const
Get the bit width of this value.
unsigned countMaxActiveBits() const
Returns the maximum number of bits needed to represent all possible unsigned values with these known ...
static KnownBits sub(const KnownBits &LHS, const KnownBits &RHS, bool NSW=false, bool NUW=false)
Compute knownbits resulting from subtraction of LHS and RHS.