Home
last modified time | relevance | path

Searched refs:Pred (Results 1 – 25 of 440) sorted by relevance

12345678910>>...18

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp22 ExplodedNode *Pred, in VisitLvalObjCIvarRefExpr() argument
24 ProgramStateRef state = Pred->getState(); in VisitLvalObjCIvarRefExpr()
25 const LocationContext *LCtx = Pred->getLocationContext(); in VisitLvalObjCIvarRefExpr()
30 StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx); in VisitLvalObjCIvarRefExpr()
31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
39 ExplodedNode *Pred, in VisitObjCAtSynchronizedStmt() argument
41 getCheckerManager().runCheckersForPreStmt(Dst, Pred, S, *this); in VisitObjCAtSynchronizedStmt()
52 for (ExplodedNode *Pred : dstLocation) { in populateObjCForDestinationSet()
53 ProgramStateRef state = Pred->getState(); in populateObjCForDestinationSet()
54 const LocationContext *LCtx = Pred->getLocationContext(); in populateObjCForDestinationSet()
[all …]
H A DCoreEngine.cpp182 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem() argument
187 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred); in dispatchWorkItem()
191 HandleBlockEntrance(Loc.castAs<BlockEntrance>(), Pred); in dispatchWorkItem()
199 HandleCallEnter(Loc.castAs<CallEnter>(), Pred); in dispatchWorkItem()
203 ExprEng.processCallExit(Pred); in dispatchWorkItem()
207 assert(Pred->hasSinglePred() && in dispatchWorkItem()
209 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
210 dispatchWorkItem(Pred, PNode->getLocation(), WU); in dispatchWorkItem()
220 HandlePostStmt(WU.getBlock(), WU.getIndex(), Pred); in dispatchWorkItem()
237 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge() argument
[all …]
H A DExprEngine.cpp961 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement() argument
963 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processCFGElement()
971 ProcessStmt(E.castAs<CFGStmt>().getStmt(), Pred); in processCFGElement()
974 ProcessInitializer(E.castAs<CFGInitializer>(), Pred); in processCFGElement()
978 Pred); in processCFGElement()
985 ProcessImplicitDtor(E.castAs<CFGImplicitDtor>(), Pred); in processCFGElement()
988 ProcessLoopExit(E.castAs<CFGLoopExit>().getLoopStmt(), Pred); in processCFGElement()
999 const ExplodedNode *Pred, in shouldRemoveDeadBindings() argument
1006 if (Pred->getLocation().getAs<BlockEntrance>()) in shouldRemoveDeadBindings()
1023 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead() argument
[all …]
H A DExprEngineC.cpp41 ExplodedNode *Pred, in VisitBinaryOperator() argument
50 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this); in VisitBinaryOperator()
196 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr() argument
204 Pred->getLocationContext(), in VisitBlockExpr()
207 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
238 const LocationContext *LCtx = Pred->getLocationContext(); in VisitBlockExpr()
250 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in VisitBlockExpr()
251 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
252 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
262 ExplodedNode* Pred) { in handleLValueBitCast() argument
[all …]
H A DExprEngineCXX.cpp29 ExplodedNode *Pred, in CreateCXXTemporaryObject() argument
31 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in CreateCXXTemporaryObject()
33 ProgramStateRef state = Pred->getState(); in CreateCXXTemporaryObject()
34 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject()
37 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
42 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy() argument
70 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy()
73 Bldr.takeNodes(Pred); in performTrivialCopy()
80 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
85 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
[all …]
H A DExprEngineCallAndReturn.cpp45 ExplodedNode *Pred) { in processCallEnter() argument
61 ProgramStateRef state = Pred->getState(); in processCallEnter()
67 Node->addPredecessor(Pred, G); in processCallEnter()
166 ExplodedNode *Pred, in removeDeadOnEndOfFunction() argument
171 std::tie(LastSt, Blk) = getLastStmt(Pred); in removeDeadOnEndOfFunction()
173 Dst.Add(Pred); in removeDeadOnEndOfFunction()
183 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction()
184 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, in removeDeadOnEndOfFunction()
505 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_MAP_WITH_PROGRAMSTATE()
514 inlineCall(Engine.getWorkList(), Call, D, Bldr, Pred, State); in REGISTER_MAP_WITH_PROGRAMSTATE()
[all …]
H A DCheckerManager.cpp168 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
173 Pred->getLocationContext(), checkFn.Checker); in runChecker()
174 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
215 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
229 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
231 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C); in runChecker()
285 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
287 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
289 checkFn(*Call.cloneWithState(Pred->getState()), C); in runChecker()
332 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
[all …]
/openbsd-src/gnu/llvm/llvm/lib/Analysis/
H A DCmpInstAnalysis.cpp21 unsigned llvm::getICmpCode(CmpInst::Predicate Pred) { in getICmpCode() argument
22 switch (Pred) { in getICmpCode()
41 CmpInst::Predicate &Pred) { in getPredForICmpCode() argument
46 case 1: Pred = Sign ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT; break; in getPredForICmpCode()
47 case 2: Pred = ICmpInst::ICMP_EQ; break; in getPredForICmpCode()
48 case 3: Pred = Sign ? ICmpInst::ICMP_SGE : ICmpInst::ICMP_UGE; break; in getPredForICmpCode()
49 case 4: Pred = Sign ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT; break; in getPredForICmpCode()
50 case 5: Pred = ICmpInst::ICMP_NE; break; in getPredForICmpCode()
51 case 6: Pred = Sign ? ICmpInst::ICMP_SLE : ICmpInst::ICMP_ULE; break; in getPredForICmpCode()
65 CmpInst::Predicate &Pred) { in getPredForFCmpCode() argument
[all …]
H A DScalarEvolutionNormalization.cpp37 const NormalizePredTy Pred; member
39 NormalizeDenormalizeRewriter(TransformKind Kind, NormalizePredTy Pred, in NormalizeDenormalizeRewriter()
42 Pred(Pred) {} in NormalizeDenormalizeRewriter()
54 if (!Pred(AR)) in visitAddRecExpr()
100 auto Pred = [&](const SCEVAddRecExpr *AR) { in normalizeForPostIncUse() local
103 return NormalizeDenormalizeRewriter(Normalize, Pred, SE).visit(S); in normalizeForPostIncUse()
106 const SCEV *llvm::normalizeForPostIncUseIf(const SCEV *S, NormalizePredTy Pred, in normalizeForPostIncUseIf() argument
108 return NormalizeDenormalizeRewriter(Normalize, Pred, SE).visit(S); in normalizeForPostIncUseIf()
114 auto Pred = [&](const SCEVAddRecExpr *AR) { in denormalizeForPostIncUse() local
117 return NormalizeDenormalizeRewriter(Denormalize, Pred, SE).visit(S); in denormalizeForPostIncUse()
/openbsd-src/gnu/llvm/llvm/include/llvm/FuzzMutate/
H A DOpDescriptor.h54 PredT Pred;
59 SourcePred(PredT Pred, MakeT Make) : Pred(Pred), Make(Make) {} in SourcePred() argument
60 SourcePred(PredT Pred, std::nullopt_t) : Pred(Pred) { in SourcePred() argument
61 Make = [Pred](ArrayRef<Value *> Cur, ArrayRef<Type *> BaseTypes) { in SourcePred()
66 if (Pred(Cur, V)) in SourcePred()
77 return Pred(Cur, New); in matches()
95 auto Pred = [Only](ArrayRef<Value *>, const Value *V) { in onlyType()
101 return {Pred, Make}; in onlyType()
105 auto Pred = [](ArrayRef<Value *>, const Value *V) { in anyType()
109 return {Pred, Make}; in anyType()
[all …]
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h299 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
302 void ProcessStmt(const Stmt *S, ExplodedNode *Pred);
304 void ProcessLoopExit(const Stmt* S, ExplodedNode *Pred);
306 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
308 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
310 void ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred);
313 ExplodedNode *Pred, ExplodedNodeSet &Dst);
315 ExplodedNode *Pred, ExplodedNodeSet &Dst);
317 ExplodedNode *Pred, ExplodedNodeSet &Dst);
319 ExplodedNode *Pred, ExplodedNodeSet &Dst);
[all …]
H A DCoreEngine.h109 ExplodedNode *Pred);
111 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
112 void HandleBlockEntrance(const BlockEntrance &E, ExplodedNode *Pred);
113 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
115 void HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred);
117 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
120 ExplodedNode *Pred);
122 const CFGBlock *B, ExplodedNode *Pred);
126 ExplodedNode *Pred);
128 void HandleVirtualBaseBranch(const CFGBlock *B, ExplodedNode *Pred);
[all …]
H A DCheckerContext.h27 ExplodedNode *Pred; variable
47 Pred(pred), in Eng()
52 assert(Pred->getState() && in Eng()
71 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor()
72 const ProgramStateRef &getState() const { return Pred->getState(); } in getState()
95 return Pred->getLocationContext(); in getLocationContext()
99 return Pred->getStackFrame(); in getStackFrame()
128 return Pred->getLocationContext()->getAnalysisDeclContext(); in getCurrentAnalysisDeclContext()
150 return Pred->getSVal(S); in getSVal()
181 ExplodedNode *addTransition(ProgramStateRef State, ExplodedNode *Pred,
[all …]
/openbsd-src/gnu/llvm/llvm/lib/Target/WebAssembly/
H A DWebAssemblyFixIrreducibleControlFlow.cpp92 for (auto *Pred : MBB->predecessors()) { in ReachabilityGraph() local
93 assert(inRegion(Pred)); in ReachabilityGraph()
159 for (auto *Pred : MBB->predecessors()) { in calculate() local
160 if (Reachable[Pred].insert(Succ).second) { in calculate()
161 WorkList.emplace_back(Pred, Succ); in calculate()
178 for (auto *Pred : Looper->predecessors()) { in calculate() local
181 if (!canReach(Looper, Pred)) { in calculate()
183 LoopEnterers[Looper].insert(Pred); in calculate()
213 for (auto *Pred : Entry->predecessors()) { in calculate() local
214 if (!Enterers.count(Pred)) { in calculate()
[all …]
/openbsd-src/gnu/llvm/llvm/lib/Transforms/InstCombine/
H A DInstCombineCompares.cpp77 static bool isSignTest(ICmpInst::Predicate &Pred, const APInt &C) { in isSignTest() argument
78 if (!ICmpInst::isSigned(Pred)) in isSignTest()
82 return ICmpInst::isRelational(Pred); in isSignTest()
85 if (Pred == ICmpInst::ICMP_SLT) { in isSignTest()
86 Pred = ICmpInst::ICMP_SLE; in isSignTest()
90 if (Pred == ICmpInst::ICMP_SGT) { in isSignTest()
91 Pred = ICmpInst::ICMP_SGE; in isSignTest()
977 ICmpInst::Predicate Pred) { in foldICmpAddOpConst() argument
986 if (Pred == ICmpInst::ICMP_ULT || Pred == ICmpInst::ICMP_ULE) { in foldICmpAddOpConst()
995 if (Pred == ICmpInst::ICMP_UGT || Pred == ICmpInst::ICMP_UGE) in foldICmpAddOpConst()
[all …]
/openbsd-src/gnu/gcc/libstdc++-v3/include/ext/pb_ds/detail/binary_heap_/
H A Dentry_pred.hpp56 class Pred,
61 typedef Pred type;
64 template<typename Value_Type, class Pred, class Allocator>
67 Pred,
77 struct type : public Pred
85 type(const Pred& other) : Pred(other) in type()
91 return Pred::operator()(*p_v); in operator ()()
/openbsd-src/gnu/llvm/llvm/include/llvm/Transforms/Utils/
H A DSSAUpdaterImpl.h139 BlkT *Pred = Preds[p]; in BuildBlockList() local
142 BBMap.FindAndConstruct(Pred); in BuildBlockList()
149 ValT PredVal = AvailableVals->lookup(Pred); in BuildBlockList()
150 BBInfo *PredInfo = new (Allocator) BBInfo(Pred, PredVal); in BuildBlockList()
252 BBInfo *Pred = Info->Preds[p]; in FindDominators() local
255 if (Pred->BlkNum == 0) { in FindDominators()
256 Pred->AvailableVal = Traits::GetUndefVal(Pred->BB, Updater); in FindDominators()
257 (*AvailableVals)[Pred->BB] = Pred->AvailableVal; in FindDominators()
258 Pred->DefBB = Pred; in FindDominators()
259 Pred->BlkNum = PseudoEntry->BlkNum; in FindDominators()
[all …]
/openbsd-src/gnu/llvm/llvm/lib/Target/AMDGPU/
H A DAMDGPUExportClustering.cpp69 for (const SDep &Pred : SUb->Preds) { in buildCluster() local
70 SUnit *PredSU = Pred.getSUnit(); in buildCluster()
71 if (!isExport(*PredSU) && !Pred.isWeak()) in buildCluster()
85 for (const SDep &Pred : SU.Preds) { in removeExportDependencies() local
86 SUnit *PredSU = Pred.getSUnit(); in removeExportDependencies()
87 if (Pred.isBarrier() && isExport(*PredSU)) { in removeExportDependencies()
88 ToRemove.push_back(Pred); in removeExportDependencies()
102 for (SDep Pred : ToRemove) in removeExportDependencies() local
103 SU.removePred(Pred); in removeExportDependencies()
104 for (SDep Pred : ToAdd) in removeExportDependencies() local
[all …]
/openbsd-src/gnu/llvm/llvm/examples/IRTransforms/
H A DSimplifyCFG.cpp269 BasicBlock *Pred = BB.getSinglePredecessor(); in mergeIntoSinglePredecessor_v1() local
272 if (!Pred || Pred->getSingleSuccessor() != &BB) in mergeIntoSinglePredecessor_v1()
276 if (Pred == &BB) in mergeIntoSinglePredecessor_v1()
280 BB.replaceAllUsesWith(Pred); in mergeIntoSinglePredecessor_v1()
288 I.moveBefore(Pred->getTerminator()); in mergeIntoSinglePredecessor_v1()
292 Pred->getTerminator()->eraseFromParent(); in mergeIntoSinglePredecessor_v1()
311 BasicBlock *Pred = BB.getSinglePredecessor(); in mergeIntoSinglePredecessor_v2() local
314 if (!Pred || Pred->getSingleSuccessor() != &BB) in mergeIntoSinglePredecessor_v2()
318 if (Pred == &BB) in mergeIntoSinglePredecessor_v2()
325 DTUpdates.push_back({DominatorTree::Insert, Pred, Succ}); in mergeIntoSinglePredecessor_v2()
[all …]
/openbsd-src/gnu/llvm/llvm/lib/Target/PowerPC/
H A DPPCEarlyReturn.cpp65 for (MachineBasicBlock *Pred : ReturnMBB.predecessors()) { in processBlock()
68 if (Pred->empty()) in processBlock()
71 for (MachineBasicBlock::iterator J = Pred->getLastNonDebugInstr();;) { in processBlock()
72 if (J == Pred->end()) in processBlock()
80 Pred->insert(J, MI); in processBlock()
97 Pred->insert(J, MI); in processBlock()
114 Pred->insert(J, MI); in processBlock()
134 if (J == Pred->begin()) in processBlock()
140 if (Pred->canFallThrough() && Pred->isLayoutSuccessor(&ReturnMBB)) in processBlock()
145 PredToRemove.push_back(Pred); in processBlock()
/openbsd-src/gnu/llvm/llvm/lib/Transforms/Scalar/
H A DConstraintElimination.cpp88 CmpInst::Predicate Pred; member
92 PreconditionTy(CmpInst::Predicate Pred, Value *Op0, Value *Op1) in PreconditionTy()
93 : Pred(Pred), Op0(Op0), Op1(Op1) {} in PreconditionTy()
156 bool doesHold(CmpInst::Predicate Pred, Value *A, Value *B) const;
158 void addFact(CmpInst::Predicate Pred, Value *A, Value *B, unsigned NumIn,
165 ConstraintTy getConstraint(CmpInst::Predicate Pred, Value *Op0, Value *Op1,
175 ConstraintTy getConstraintForSolving(CmpInst::Predicate Pred, Value *Op0,
180 void transferToOtherSystem(CmpInst::Predicate Pred, Value *A, Value *B,
389 ConstraintInfo::getConstraint(CmpInst::Predicate Pred, Value *Op0, Value *Op1, in getConstraint() argument
394 switch (Pred) { in getConstraint()
[all …]
H A DLoopPredication.cpp249 ICmpInst::Predicate Pred; member
252 LoopICmp(ICmpInst::Predicate Pred, const SCEVAddRecExpr *IV, in LoopICmp()
254 : Pred(Pred), IV(IV), Limit(Limit) {} in LoopICmp()
257 dbgs() << "LoopICmp Pred = " << Pred << ", IV = " << *IV in dump()
296 ICmpInst::Predicate Pred, const SCEV *LHS,
390 auto Pred = ICI->getPredicate(); in parseLoopICmp() local
405 Pred = ICmpInst::getSwappedPredicate(Pred); in parseLoopICmp()
412 return LoopICmp(Pred, AR, RHSS); in parseLoopICmp()
417 ICmpInst::Predicate Pred, const SCEV *LHS, in expandCheck() argument
424 if (SE->isLoopEntryGuardedByCond(L, Pred, LHS, RHS)) in expandCheck()
[all …]
H A DLoopBoundSplit.cpp35 ICmpInst::Predicate Pred = ICmpInst::BAD_ICMP_PREDICATE; member
54 if (match(ICmp, m_ICmp(Cond.Pred, m_Value(Cond.AddRecValue), in analyzeICmp()
64 Cond.Pred = ICmpInst::getSwappedPredicate(Cond.Pred); in analyzeICmp()
92 if (Cond.Pred == ICmpInst::ICMP_SLT || Cond.Pred == ICmpInst::ICMP_ULT) in calculateUpperBound()
98 if (Cond.Pred != ICmpInst::ICMP_ULE && Cond.Pred != ICmpInst::ICMP_SLE) in calculateUpperBound()
104 APInt Max = ICmpInst::isSigned(Cond.Pred) in calculateUpperBound()
109 ICmpInst::Predicate Pred = in calculateUpperBound() local
110 ICmpInst::isSigned(Cond.Pred) ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT; in calculateUpperBound()
111 if (SE.isKnownPredicate(Pred, Cond.BoundSCEV, MaxSCEV)) { in calculateUpperBound()
115 Cond.Pred = Pred; in calculateUpperBound()
[all …]
/openbsd-src/gnu/llvm/llvm/lib/FuzzMutate/
H A DRandomIRBuilder.cpp30 SourcePred Pred, in findOrCreateSource() argument
32 auto MatchesPred = [&Srcs, &Pred](Instruction *Inst) { in findOrCreateSource()
33 return Pred.matches(Srcs, Inst); in findOrCreateSource()
40 return newSource(BB, Insts, Srcs, Pred, allowConstant); in findOrCreateSource()
44 ArrayRef<Value *> Srcs, SourcePred Pred, in newSource() argument
48 RS.sample(Pred.generate(Srcs, KnownTypes)); in newSource()
51 Value *Ptr = findPointer(BB, Insts, Srcs, Pred); in newSource()
66 if (Pred.matches(Srcs, NewLoad)) in newSource()
168 ArrayRef<Value *> Srcs, SourcePred Pred) { in findPointer() argument
169 auto IsMatchingPtr = [&Srcs, &Pred](Instruction *Inst) { in findPointer()
[all …]
/openbsd-src/gnu/llvm/llvm/lib/CodeGen/
H A DMachineBlockPlacement.cpp477 bool isBestSuccessor(MachineBasicBlock *BB, MachineBasicBlock *Pred,
1158 for (MachineBasicBlock *Pred : Succ->predecessors()) { in canTailDuplicateUnplacedPreds()
1162 if (Pred == BB || (BlockFilter && !BlockFilter->count(Pred)) in canTailDuplicateUnplacedPreds()
1163 || BlockToChain[Pred] == &Chain) in canTailDuplicateUnplacedPreds()
1165 if (!TailDup.canTailDuplicate(Succ, Pred)) { in canTailDuplicateUnplacedPreds()
1166 if (Successors.size() > 1 && hasSameSuccessors(*Pred, Successors)) in canTailDuplicateUnplacedPreds()
1319 for (MachineBasicBlock* Pred : PDom->predecessors()) { in precomputeTriangleChains()
1320 if (Pred == &BB) in precomputeTriangleChains()
1322 if (!TailDup.canTailDuplicate(PDom, Pred)) { in precomputeTriangleChains()
1541 for (MachineBasicBlock *Pred : Succ->predecessors()) { in hasBetterLayoutPredecessor()
[all …]

12345678910>>...18