Home
last modified time | relevance | path

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

123456789

/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDExprEngine.h194 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
197 void ProcessStmt(const CFGStmt S, ExplodedNode *Pred);
199 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
201 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
203 void ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred);
206 ExplodedNode *Pred, ExplodedNodeSet &Dst);
208 ExplodedNode *Pred, ExplodedNodeSet &Dst);
210 ExplodedNode *Pred, ExplodedNodeSet &Dst);
212 ExplodedNode *Pred, ExplodedNodeSet &Dst);
214 ExplodedNode *Pred, ExplodedNodeSet &Dst);
[all …]
HDCoreEngine.h89 ExplodedNode *Pred);
91 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
92 void HandleBlockEntrance(const BlockEntrance &E, ExplodedNode *Pred);
93 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
94 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
97 ExplodedNode *Pred);
99 const CFGBlock *B, ExplodedNode *Pred);
103 ExplodedNode *Pred);
132 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
240 ExplodedNode *Pred,
[all …]
HDCheckerContext.h73 ExplodedNode *Pred; variable
93 Pred(pred), in Eng()
98 assert(Pred->getState() && in Eng()
117 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor()
118 const ProgramStateRef &getState() const { return Pred->getState(); } in getState()
139 return Pred->getLocationContext(); in getLocationContext()
143 return Pred->getStackFrame(); in getStackFrame()
174 return Pred->getLocationContext()->getAnalysisDeclContext(); in getCurrentAnalysisDeclContext()
221 ExplodedNode *Pred,
223 return addTransitionImpl(State, false, Pred, Tag);
[all …]
HDSubEngine.h56 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
64 ExplodedNode *Pred) = 0;
70 ExplodedNode *Pred,
80 ExplodedNode *Pred,
89 ExplodedNode *Pred,
105 ExplodedNode *Pred) = 0;
108 virtual void processCallEnter(CallEnter CE, ExplodedNode *Pred) = 0;
111 virtual void processCallExit(ExplodedNode *Pred) = 0;
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDExprEngineObjC.cpp23 ExplodedNode *Pred, in VisitLvalObjCIvarRefExpr() argument
25 ProgramStateRef state = Pred->getState(); in VisitLvalObjCIvarRefExpr()
26 const LocationContext *LCtx = Pred->getLocationContext(); in VisitLvalObjCIvarRefExpr()
31 StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx); in VisitLvalObjCIvarRefExpr()
32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
40 ExplodedNode *Pred, in VisitObjCAtSynchronizedStmt() argument
42 getCheckerManager().runCheckersForPreStmt(Dst, Pred, S, *this); in VisitObjCAtSynchronizedStmt()
46 ExplodedNode *Pred, in VisitObjCForCollectionStmt() argument
75 ProgramStateRef state = Pred->getState(); in VisitObjCForCollectionStmt()
81 elementV = state->getLValue(elemD, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
[all …]
HDExprEngine.cpp287 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement() argument
289 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processCFGElement()
295 ProcessStmt(const_cast<Stmt*>(E.castAs<CFGStmt>().getStmt()), Pred); in processCFGElement()
298 ProcessInitializer(E.castAs<CFGInitializer>().getInitializer(), Pred); in processCFGElement()
302 Pred); in processCFGElement()
309 ProcessImplicitDtor(E.castAs<CFGImplicitDtor>(), Pred); in processCFGElement()
316 const ExplodedNode *Pred, in shouldRemoveDeadBindings() argument
324 if (Pred->getLocation().getAs<BlockEntrance>()) in shouldRemoveDeadBindings()
341 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead() argument
357 ProgramStateRef CleanedState = Pred->getState(); in removeDead()
[all …]
HDCoreEngine.cpp229 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem() argument
234 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred); in dispatchWorkItem()
238 HandleBlockEntrance(Loc.castAs<BlockEntrance>(), Pred); in dispatchWorkItem()
247 SubEng.processCallEnter(CEnter, Pred); in dispatchWorkItem()
252 SubEng.processCallExit(Pred); in dispatchWorkItem()
256 assert(Pred->hasSinglePred() && in dispatchWorkItem()
258 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
259 dispatchWorkItem(Pred, PNode->getLocation(), WU); in dispatchWorkItem()
267 HandlePostStmt(WU.getBlock(), WU.getIndex(), Pred); in dispatchWorkItem()
284 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge() argument
[all …]
HDExprEngineCXX.cpp26 ExplodedNode *Pred, in CreateCXXTemporaryObject() argument
28 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in CreateCXXTemporaryObject()
30 ProgramStateRef state = Pred->getState(); in CreateCXXTemporaryObject()
31 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject()
34 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy() argument
56 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy()
59 Bldr.takeNodes(Pred); in performTrivialCopy()
66 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
71 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
[all …]
HDExprEngineC.cpp23 ExplodedNode *Pred, in VisitBinaryOperator() argument
32 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this); in VisitBinaryOperator()
187 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr() argument
194 Pred->getLocationContext(), in VisitBlockExpr()
197 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
218 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in VisitBlockExpr()
219 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
220 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
228 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitCast() argument
231 getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this); in VisitCast()
[all …]
HDExprEngineCallAndReturn.cpp40 void ExprEngine::processCallEnter(CallEnter CE, ExplodedNode *Pred) { in processCallEnter() argument
58 ProgramStateRef state = Pred->getState(); in processCallEnter()
63 Node->addPredecessor(Pred, G); in processCallEnter()
160 ExplodedNode *Pred, in removeDeadOnEndOfFunction() argument
165 std::tie(LastSt, Blk) = getLastStmt(Pred); in removeDeadOnEndOfFunction()
167 Dst.Add(Pred); in removeDeadOnEndOfFunction()
177 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction()
178 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, in removeDeadOnEndOfFunction()
417 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
421 const LocationContext *CurLC = Pred->getLocationContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
[all …]
HDCheckerManager.cpp153 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
158 Pred->getLocationContext(), checkFn.Checker); in runChecker()
159 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
195 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
197 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
199 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C); in runChecker()
238 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
240 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
242 checkFn(*Call.cloneWithState(Pred->getState()), C); in runChecker()
282 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
[all …]
/NextBSD/contrib/libstdc++/include/ext/pb_ds/detail/binary_heap_/
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 ()()
Dbinary_heap_.hpp226 template<typename Pred>
228 erase_if(Pred pred);
251 template<typename Pred>
253 split(Pred pred, PB_DS_CLASS_C_DEC& other);
313 template<typename Pred>
315 partition(Pred pred);
Derase_fn_imps.hpp114 template<typename Pred>
117 erase_if(Pred pred) in erase_if()
124 Pred, in erase_if()
223 template<typename Pred>
226 partition(Pred pred) in partition()
/NextBSD/contrib/llvm/include/llvm/Transforms/Utils/
HDSSAUpdaterImpl.h127 BlkT *Pred = Preds[p]; in BuildBlockList() local
130 BBMap.FindAndConstruct(Pred); in BuildBlockList()
137 ValT PredVal = AvailableVals->lookup(Pred); in BuildBlockList()
138 BBInfo *PredInfo = new (Allocator) BBInfo(Pred, PredVal); in BuildBlockList()
240 BBInfo *Pred = Info->Preds[p]; in FindDominators() local
243 if (Pred->BlkNum == 0) { in FindDominators()
244 Pred->AvailableVal = Traits::GetUndefVal(Pred->BB, Updater); in FindDominators()
245 (*AvailableVals)[Pred->BB] = Pred->AvailableVal; in FindDominators()
246 Pred->DefBB = Pred; in FindDominators()
247 Pred->BlkNum = PseudoEntry->BlkNum; in FindDominators()
[all …]
/NextBSD/contrib/llvm/lib/Analysis/
HDInstructionSimplify.cpp90 static bool isSameCompare(Value *V, CmpInst::Predicate Pred, Value *LHS, in isSameCompare() argument
97 if (CPred == Pred && CLHS == LHS && CRHS == RHS) in isSameCompare()
99 return CPred == CmpInst::getSwappedPredicate(Pred) && CLHS == RHS && in isSameCompare()
369 static Value *ThreadCmpOverSelect(CmpInst::Predicate Pred, Value *LHS, in ThreadCmpOverSelect() argument
379 Pred = CmpInst::getSwappedPredicate(Pred); in ThreadCmpOverSelect()
389 Value *TCmp = SimplifyCmpInst(Pred, TV, RHS, Q, MaxRecurse); in ThreadCmpOverSelect()
397 if (!isSameCompare(Cond, Pred, TV, RHS)) in ThreadCmpOverSelect()
403 Value *FCmp = SimplifyCmpInst(Pred, FV, RHS, Q, MaxRecurse); in ThreadCmpOverSelect()
411 if (!isSameCompare(Cond, Pred, FV, RHS)) in ThreadCmpOverSelect()
493 static Value *ThreadCmpOverPHI(CmpInst::Predicate Pred, Value *LHS, Value *RHS, in ThreadCmpOverPHI() argument
[all …]
/NextBSD/contrib/llvm/lib/CodeGen/
HDMachineBlockPlacement.cpp389 for (MachineBasicBlock *Pred : Succ->predecessors()) { in selectBestSuccessor()
391 if (Pred == Succ || (BlockFilter && !BlockFilter->count(Pred)) || in selectBestSuccessor()
392 BlockToChain[Pred] == &Chain) in selectBestSuccessor()
395 if (Pred->pred_size() > 1 || *Pred->pred_begin() != BB) in selectBestSuccessor()
398 if (Pred->size() < OutlineOptionalThreshold) in selectBestSuccessor()
421 for (MachineBasicBlock *Pred : Succ->predecessors()) { in selectBestSuccessor()
422 if (Pred == Succ || (BlockFilter && !BlockFilter->count(Pred)) || in selectBestSuccessor()
423 BlockToChain[Pred] == &Chain) in selectBestSuccessor()
426 MBFI->getBlockFreq(Pred) * MBPI->getEdgeProbability(Pred, Succ); in selectBestSuccessor()
599 for (MachineBasicBlock *Pred : L.getHeader()->predecessors()) { in findBestLoopTop()
[all …]
HDMachineTraceMetrics.cpp170 if (!TBI->Pred) { in computeDepthResources()
180 unsigned PredNum = TBI->Pred->getNumber(); in computeDepthResources()
183 const FixedBlockInfo *PredFBI = MTM.getResources(TBI->Pred); in computeDepthResources()
323 for (const MachineBasicBlock *Pred : MBB->predecessors()) { in pickTracePred() local
325 getDepthResources(Pred); in pickTracePred()
332 Best = Pred, BestDepth = Depth; in pickTracePred()
466 TBI.Pred = pickTracePred(I); in computeTrace()
468 if (TBI.Pred) in computeTrace()
469 dbgs() << "BB#" << TBI.Pred->getNumber() << '\n'; in computeTrace()
512 for (const MachineBasicBlock *Pred : MBB->predecessors()) { in invalidate() local
[all …]
/NextBSD/contrib/llvm/lib/Target/ARM/
HDARMLoadStoreOptimizer.cpp128 ARMCC::CondCodes Pred, unsigned PredReg);
131 bool BaseKill, unsigned Opcode, ARMCC::CondCodes Pred, unsigned PredReg,
135 bool BaseKill, unsigned Opcode, ARMCC::CondCodes Pred, unsigned PredReg,
432 ARMCC::CondCodes Pred, unsigned PredReg) { in UpdateBaseRegUses() argument
500 .addReg(Base).addImm(WordOffset * 4).addImm(Pred).addReg(PredReg); in UpdateBaseRegUses()
518 .addReg(Base).addImm(WordOffset * 4).addImm(Pred).addReg(PredReg); in UpdateBaseRegUses()
567 bool BaseKill, unsigned Opcode, ARMCC::CondCodes Pred, unsigned PredReg, in CreateLoadStoreMulti() argument
674 if (Pred != ARMCC::AL) in CreateLoadStoreMulti()
681 .addImm(Pred).addReg(PredReg); in CreateLoadStoreMulti()
691 .addImm(Pred).addReg(PredReg); in CreateLoadStoreMulti()
[all …]
/NextBSD/contrib/llvm/lib/Transforms/InstCombine/
HDInstCombineCompares.cpp743 ICmpInst::Predicate Pred) { in FoldICmpAddOpCst() argument
751 if (Pred == ICmpInst::ICMP_ULT || Pred == ICmpInst::ICMP_ULE) { in FoldICmpAddOpCst()
760 if (Pred == ICmpInst::ICMP_UGT || Pred == ICmpInst::ICMP_UGE) in FoldICmpAddOpCst()
773 if (Pred == ICmpInst::ICMP_SLT || Pred == ICmpInst::ICMP_SLE) in FoldICmpAddOpCst()
783 assert(Pred == ICmpInst::ICMP_SGT || Pred == ICmpInst::ICMP_SGE); in FoldICmpAddOpCst()
829 ICmpInst::Predicate Pred = ICI.getPredicate(); in FoldICmpDivCst() local
899 Pred = ICmpInst::getSwappedPredicate(Pred); in FoldICmpDivCst()
903 switch (Pred) { in FoldICmpDivCst()
933 return new ICmpInst(Pred, X, LoBound); in FoldICmpDivCst()
940 if (Pred == ICmpInst::ICMP_UGT) in FoldICmpDivCst()
[all …]
/NextBSD/contrib/llvm/include/llvm/IR/
HDPatternMatch.h705 CmpClass_match(PredicateTy &Pred, const LHS_t &LHS, const RHS_t &RHS) in CmpClass_match()
706 : Predicate(Pred), L(LHS), R(RHS) {} in CmpClass_match()
720 m_Cmp(CmpInst::Predicate &Pred, const LHS &L, const RHS &R) { in m_Cmp() argument
721 return CmpClass_match<LHS, RHS, CmpInst, CmpInst::Predicate>(Pred, L, R); in m_Cmp()
726 m_ICmp(ICmpInst::Predicate &Pred, const LHS &L, const RHS &R) { in m_ICmp() argument
727 return CmpClass_match<LHS, RHS, ICmpInst, ICmpInst::Predicate>(Pred, L, R); in m_ICmp()
732 m_FCmp(FCmpInst::Predicate &Pred, const LHS &L, const RHS &R) { in m_FCmp() argument
733 return CmpClass_match<LHS, RHS, FCmpInst, FCmpInst::Predicate>(Pred, L, R); in m_FCmp()
974 typename CmpInst_t::Predicate Pred = in match() local
977 if (!Pred_t::match(Pred)) in match()
[all …]
/NextBSD/contrib/llvm/lib/Transforms/Utils/
HDFlattenCFG.cpp140 BasicBlock *Pred = *PI; in FlattenParallelAndOr() local
141 BranchInst *PBI = dyn_cast<BranchInst>(Pred->getTerminator()); in FlattenParallelAndOr()
147 BasicBlock *PP = Pred->getSinglePredecessor(); in FlattenParallelAndOr()
156 Pred->hasAddressTaken()) in FlattenParallelAndOr()
159 UnCondBlock = Pred; in FlattenParallelAndOr()
175 if (Pred->hasAddressTaken()) in FlattenParallelAndOr()
180 for (BasicBlock::iterator BI = Pred->begin(), BE = PBI; BI != BE;) { in FlattenParallelAndOr()
190 FirstCondBlock = Pred; in FlattenParallelAndOr()
209 LastCondBlock = Pred; in FlattenParallelAndOr()
215 LastCondBlock = Pred; in FlattenParallelAndOr()
/NextBSD/contrib/llvm/tools/clang/lib/Analysis/
HDThreadSafetyTIL.cpp56 unsigned BasicBlock::addPredecessor(BasicBlock *Pred) { in addPredecessor() argument
59 Predecessors.push_back(Pred); in addPredecessor()
198 for (auto *Pred : Predecessors) in topologicalFinalSort() local
199 ID = Pred->topologicalFinalSort(Blocks, ID); in topologicalFinalSort()
212 for (auto *Pred : Predecessors) { in computeDominator() local
214 if (Pred->BlockID >= BlockID) continue; in computeDominator()
217 Candidate = Pred; in computeDominator()
221 auto *Alternate = Pred; in computeDominator()
/NextBSD/contrib/libstdc++/include/ext/pb_ds/detail/rc_binomial_heap_/
Drc_binomial_heap_.hpp145 template<typename Pred>
147 erase_if(Pred pred);
149 template<typename Pred>
151 split(Pred pred, PB_DS_CLASS_C_DEC& other);
/NextBSD/contrib/libc++/include/ext/
Dhash_set21 template <class Value, class Hash = hash<Value>, class Pred = equal_to<Value>,
30 typedef Pred key_equal;
93 template <class Value, class Hash, class Pred, class Alloc>
94 void swap(hash_set<Value, Hash, Pred, Alloc>& x,
95 hash_set<Value, Hash, Pred, Alloc>& y);
97 template <class Value, class Hash, class Pred, class Alloc>
99 operator==(const hash_set<Value, Hash, Pred, Alloc>& x,
100 const hash_set<Value, Hash, Pred, Alloc>& y);
102 template <class Value, class Hash, class Pred, class Alloc>
104 operator!=(const hash_set<Value, Hash, Pred, Alloc>& x,
[all …]

123456789