Home
last modified time | relevance | path

Searched refs:CtxI (Results 1 – 19 of 19) sorted by relevance

/llvm-project-15.0.7/llvm/test/Transforms/Attributor/
H A Ddepgraph.ll62 ; GRAPH-NEXT: [AAPotentialValues] for CtxI <<null inst>> at position {flt: [@-1]} with state set-st…
68 ; GRAPH-NEXT: [AAIsDead] for CtxI ' ret i32* %.0' at position {flt: [@-1]} with state assumed-live
105 ; GRAPH-NEXT: [AAIsDead] for CtxI ' %2 = load i32, i32* %0, align 4' at position {flt: [@-1]} with…
107 ; GRAPH-NEXT: [AAIsDead] for CtxI ' %3 = icmp eq i32 %2, 0' at position {flt: [@-1]} with state as…
109 ; GRAPH-NEXT: [AAIsDead] for CtxI ' br i1 %3, label %4, label %7' at position {flt: [@-1]} with st…
153 ; GRAPH-NEXT: [AAIsDead] for CtxI ' br label %8' at position {flt: [@-1]} with state assumed-live
169 ; GRAPH-NEXT: [AANoUndef] for CtxI ' %2 = load i32, i32* %0, align 4' at position {arg: [@0]} with…
203 ; GRAPH-NEXT: [AANonNull] for CtxI ' %2 = load i32, i32* %0, align 4' at position {arg: [@0]} with…
225 ; GRAPH-NEXT: [AANoAlias] for CtxI ' %2 = load i32, i32* %0, align 4' at position {arg: [@0]} with…
241 ; GRAPH-NEXT: [AAIsDead] for CtxI ' br label %8' at position {flt: [@-1]} with state assumed-live
[all …]
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DLoads.cpp41 const Instruction *CtxI, const DominatorTree *DT, in isDereferenceableAndAlignedPointer() argument
71 BC->getOperand(0), Alignment, Size, DL, CtxI, DT, TLI, in isDereferenceableAndAlignedPointer()
91 if (CtxI) { in isDereferenceableAndAlignedPointer()
99 if (!isValidAssumeForContext(Assume, CtxI)) in isDereferenceableAndAlignedPointer()
136 CtxI, DT, TLI, Visited, MaxDepth); in isDereferenceableAndAlignedPointer()
147 Size, DL, CtxI, DT, TLI, in isDereferenceableAndAlignedPointer()
192 const Instruction *CtxI, in isDereferenceableAndAlignedPointer() argument
208 const Instruction *CtxI, in isDereferenceableAndAlignedPointer() argument
229 const Instruction *CtxI, in isDereferenceablePointer() argument
334 const Instruction* CtxI = DT ? ScanFrom : nullptr; in isSafeToLoadUnconditionally() local
[all …]
H A DAssumeBundleQueries.cpp198 const Instruction *CtxI, const DominatorTree *DT, AssumptionCache *AC) { in getKnowledgeValidInContext() argument
201 return isValidAssumeForContext(I, CtxI, DT); in getKnowledgeValidInContext()
H A DValueTracking.cpp2296 if (!CtxI || !DT) in isKnownNonNullFromDominatingCondition()
2313 DT->dominates(CB, CtxI)) in isKnownNonNullFromDominatingCondition()
2321 DT->dominates(I, CtxI)) in isKnownNonNullFromDominatingCondition()
2370 DT->dominates(cast<Instruction>(Curr), CtxI)) { in isKnownNonNullFromDominatingCondition()
4693 const Instruction *CtxI, in isSafeToSpeculativelyExecute() argument
5354 if (!CtxI || !CtxI->getParent() || !DT) in isGuaranteedNotToBeUndefOrPoison()
5357 auto *DNode = DT->getNode(CtxI->getParent()); in isGuaranteedNotToBeUndefOrPoison()
5407 const Instruction *CtxI, in isGuaranteedNotToBePoison() argument
7222 const Instruction *CtxI, in computeConstantRange() argument
7253 if (CtxI && AC) { in computeConstantRange()
[all …]
H A DScalarEvolution.cpp10777 const Instruction *CtxI, const SCEV *MaxIter) { in getLoopInvariantExitCondDuringFirstIterations() argument
11163 const Instruction *CtxI = &BB->front(); in isBasicBlockEntryGuardedByCond() local
11338 FoundRHS, CtxI); in isImpliedCond()
11344 const Instruction *CtxI) { in isImpliedCondBalancedTypes() argument
11386 CtxI); in isImpliedCondBalancedTypes()
11395 FoundLHS, FoundRHS, CtxI)) in isImpliedCondBalancedTypes()
11401 getNotSCEV(FoundRHS), CtxI)) in isImpliedCondBalancedTypes()
11487 CtxI)) in isImpliedCondBalancedTypes()
11630 if (!CtxI) in isImpliedCondOperandsViaAddRecStart()
11632 const BasicBlock *ContextBB = CtxI->getParent(); in isImpliedCondOperandsViaAddRecStart()
[all …]
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DLoads.h36 const Instruction *CtxI = nullptr,
46 const Instruction *CtxI = nullptr,
56 const Instruction *CtxI = nullptr,
178 Instruction *CtxI);
H A DValueTracking.h462 const Instruction *CtxI = nullptr,
485 const Instruction *CtxI = nullptr, const DominatorTree *DT = nullptr,
573 const Instruction *CtxI = nullptr,
689 const Instruction *CtxI = nullptr,
693 const Instruction *CtxI = nullptr,
H A DAssumeBundleQueries.h166 const Instruction *CtxI, const DominatorTree *DT = nullptr,
H A DScalarEvolution.h1047 const SCEV *RHS, const Instruction *CtxI);
1053 const SCEV *RHS, const Instruction *CtxI);
1103 const Instruction *CtxI,
1814 const Instruction *CtxI);
1889 const Instruction *CtxI);
/llvm-project-15.0.7/llvm/lib/Transforms/IPO/
H A DAttributorAttributes.cpp594 auto EIt = Explorer.begin(CtxI), EEnd = Explorer.end(CtxI); in followUsesInContext()
2301 if (Instruction *CtxI = getCtxI()) in initialize() local
4157 if (Instruction *CtxI = getCtxI()) in initialize() local
5398 CloneI->insertBefore(CtxI); in reproduceInst()
5423 if (CtxI && AA::isValidAtPosition(AA::ValueAndContext(*EffectiveV, *CtxI), in reproduceValue()
8114 if (!LVI || !CtxI) in getConstantRangeFromLVI()
8128 if (!CtxI || (!AllowAACtxI && CtxI == getCtxI())) in isValidCtxInstructionForOutsideAnalysis()
8354 const Instruction *CtxI, in calculateBinaryOperator()
8406 const Instruction *CtxI, in calculateCastInst()
9405 Values.push_back({*V, CtxI}); in updateImpl()
[all …]
H A DAttributor.cpp252 const Instruction *CtxI = VAC.getCtxI(); in isValidAtPosition() local
253 if (CtxI) in isValidAtPosition()
254 Scope = CtxI->getFunction(); in isValidAtPosition()
262 return DT->dominates(I, CtxI); in isValidAtPosition()
264 if (CtxI && I->getParent() == CtxI->getParent()) in isValidAtPosition()
267 [&](const Instruction &AfterI) { return &AfterI == CtxI; }); in isValidAtPosition()
1278 Instruction *CtxI = IRP.getCtxI(); in isAssumedDead() local
1279 if (CtxI && in isAssumedDead()
1280 isAssumedDead(*CtxI, QueryingAA, FnLivenessAA, UsedAssumedInformation, in isAssumedDead()
/llvm-project-15.0.7/llvm/include/llvm/Transforms/Utils/
H A DAssumeBundleBuilder.h49 Instruction *CtxI,
/llvm-project-15.0.7/llvm/lib/Transforms/Utils/
H A DAssumeBundleBuilder.cpp308 Instruction *CtxI, AssumptionCache *AC, in buildAssumeFromKnowledge() argument
310 AssumeBuilderState Builder(CtxI->getModule(), CtxI, AC, DT); in buildAssumeFromKnowledge()
H A DSimplifyIndVar.cpp289 const Instruction *CtxI = findCommonDominator(Users, *DT); in eliminateIVComparison() local
290 if (auto Ev = SE->evaluatePredicateAt(Pred, S, X, CtxI)) { in eliminateIVComparison()
1600 const Instruction *CtxI = findCommonDominator(ExtUsers, *DT); in widenWithVariantUse() local
1617 SE->getNegativeSCEV(RHS), CtxI); in widenWithVariantUse()
/llvm-project-15.0.7/llvm/include/llvm/Transforms/IPO/
H A DAttributor.h166 ValueAndContext(Value &V, const Instruction *CtxI) : Base(&V, CtxI) {} in ValueAndContext()
167 ValueAndContext(Value &V, const Instruction &CtxI) : Base(&V, &CtxI) {} in ValueAndContext()
225 const AbstractAttribute &QueryingAA, const Instruction *CtxI,
4304 const Instruction *CtxI = nullptr) const = 0;
4310 const Instruction *CtxI = nullptr) const = 0;
4315 getAssumedConstant(Attributor &A, const Instruction *CtxI = nullptr) const {
4316 ConstantRange RangeV = getAssumedConstantRange(A, CtxI);
4566 getAssumedConstant(Attributor &A, const Instruction *CtxI = nullptr) const {
/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DLICM.cpp156 OptimizationRemarkEmitter *ORE, const Instruction *CtxI,
1743 OptimizationRemarkEmitter *ORE, const Instruction *CtxI, in isSafeToExecuteUnconditionally() argument
1745 if (AllowSpeculation && isSafeToSpeculativelyExecute(&Inst, CtxI, DT, TLI)) in isSafeToExecuteUnconditionally()
/llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/
H A DInstCombinePHI.cpp1452 Instruction *CtxI = PN.getIncomingBlock(I)->getTerminator(); in visitPHINode() local
1454 if (isKnownNonZero(VA, DL, 0, &AC, CtxI, &DT)) { in visitPHINode()
H A DInstCombineInternal.h227 Instruction &CtxI, Value *&OperationResult,
/llvm-project-15.0.7/llvm/lib/Transforms/Vectorize/
H A DVectorCombine.cpp872 Value *Idx, Instruction *CtxI, in canScalarizeAccess() argument
889 true, &AC, CtxI, &DT))) in canScalarizeAccess()