Home
last modified time | relevance | path

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

12345678910>>...39

/external/clang/lib/StaticAnalyzer/Core/
DExprEngineObjC.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 …]
DExprEngine.cpp289 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement() argument
291 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processCFGElement()
297 ProcessStmt(const_cast<Stmt*>(E.castAs<CFGStmt>().getStmt()), Pred); in processCFGElement()
300 ProcessInitializer(E.castAs<CFGInitializer>().getInitializer(), Pred); in processCFGElement()
304 Pred); in processCFGElement()
311 ProcessImplicitDtor(E.castAs<CFGImplicitDtor>(), Pred); in processCFGElement()
318 const ExplodedNode *Pred, in shouldRemoveDeadBindings() argument
326 if (Pred->getLocation().getAs<BlockEntrance>()) in shouldRemoveDeadBindings()
343 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead() argument
359 ProgramStateRef CleanedState = Pred->getState(); in removeDead()
[all …]
DCoreEngine.cpp242 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem() argument
247 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred); in dispatchWorkItem()
251 HandleBlockEntrance(Loc.castAs<BlockEntrance>(), Pred); in dispatchWorkItem()
259 HandleCallEnter(Loc.castAs<CallEnter>(), Pred); in dispatchWorkItem()
264 SubEng.processCallExit(Pred); in dispatchWorkItem()
268 assert(Pred->hasSinglePred() && in dispatchWorkItem()
270 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
271 dispatchWorkItem(Pred, PNode->getLocation(), WU); in dispatchWorkItem()
279 HandlePostStmt(WU.getBlock(), WU.getIndex(), Pred); in dispatchWorkItem()
296 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge() argument
[all …]
DExprEngineCXX.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 …]
DExprEngineC.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
195 Pred->getLocationContext(), in VisitBlockExpr()
198 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
230 originalV = State->getSVal(copyExpr, Pred->getLocationContext()); in VisitBlockExpr()
240 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in VisitBlockExpr()
241 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
242 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
250 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitCast() argument
[all …]
/external/llvm-project/clang/lib/StaticAnalyzer/Core/
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 …]
DCoreEngine.cpp153 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem() argument
158 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred); in dispatchWorkItem()
162 HandleBlockEntrance(Loc.castAs<BlockEntrance>(), Pred); in dispatchWorkItem()
170 HandleCallEnter(Loc.castAs<CallEnter>(), Pred); in dispatchWorkItem()
174 ExprEng.processCallExit(Pred); in dispatchWorkItem()
178 assert(Pred->hasSinglePred() && in dispatchWorkItem()
180 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
181 dispatchWorkItem(Pred, PNode->getLocation(), WU); in dispatchWorkItem()
191 HandlePostStmt(WU.getBlock(), WU.getIndex(), Pred); in dispatchWorkItem()
208 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge() argument
[all …]
DExprEngine.cpp627 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement() argument
629 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processCFGElement()
637 ProcessStmt(E.castAs<CFGStmt>().getStmt(), Pred); in processCFGElement()
640 ProcessInitializer(E.castAs<CFGInitializer>(), Pred); in processCFGElement()
644 Pred); in processCFGElement()
651 ProcessImplicitDtor(E.castAs<CFGImplicitDtor>(), Pred); in processCFGElement()
654 ProcessLoopExit(E.castAs<CFGLoopExit>().getLoopStmt(), Pred); in processCFGElement()
665 const ExplodedNode *Pred, in shouldRemoveDeadBindings() argument
672 if (Pred->getLocation().getAs<BlockEntrance>()) in shouldRemoveDeadBindings()
689 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead() argument
[all …]
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 …]
DExprEngineCXX.cpp27 ExplodedNode *Pred, in CreateCXXTemporaryObject() argument
29 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in CreateCXXTemporaryObject()
31 ProgramStateRef state = Pred->getState(); in CreateCXXTemporaryObject()
32 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject()
35 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
40 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy() argument
68 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy()
71 Bldr.takeNodes(Pred); in performTrivialCopy()
78 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
[all …]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.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 …]
DCoreEngine.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);
95 void HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred);
97 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
100 ExplodedNode *Pred);
102 const CFGBlock *B, ExplodedNode *Pred);
106 ExplodedNode *Pred);
135 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
[all …]
/external/swiftshader/third_party/llvm-10.0/llvm/include/llvm/FuzzMutate/
DOpDescriptor.h55 PredT Pred;
60 SourcePred(PredT Pred, MakeT Make) : Pred(Pred), Make(Make) {} in SourcePred() argument
61 SourcePred(PredT Pred, NoneType) : Pred(Pred) { in SourcePred() argument
62 Make = [Pred](ArrayRef<Value *> Cur, ArrayRef<Type *> BaseTypes) { in SourcePred()
67 if (Pred(Cur, V)) in SourcePred()
78 return Pred(Cur, New); in matches()
96 auto Pred = [Only](ArrayRef<Value *>, const Value *V) { in onlyType()
102 return {Pred, Make}; in onlyType()
106 auto Pred = [](ArrayRef<Value *>, const Value *V) { in anyType()
110 return {Pred, Make}; in anyType()
[all …]
/external/llvm-project/llvm/include/llvm/FuzzMutate/
DOpDescriptor.h55 PredT Pred;
60 SourcePred(PredT Pred, MakeT Make) : Pred(Pred), Make(Make) {} in SourcePred() argument
61 SourcePred(PredT Pred, NoneType) : Pred(Pred) { in SourcePred() argument
62 Make = [Pred](ArrayRef<Value *> Cur, ArrayRef<Type *> BaseTypes) { in SourcePred()
67 if (Pred(Cur, V)) in SourcePred()
78 return Pred(Cur, New); in matches()
96 auto Pred = [Only](ArrayRef<Value *>, const Value *V) { in onlyType()
102 return {Pred, Make}; in onlyType()
106 auto Pred = [](ArrayRef<Value *>, const Value *V) { in anyType()
110 return {Pred, Make}; in anyType()
[all …]
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h296 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
299 void ProcessStmt(const Stmt *S, ExplodedNode *Pred);
301 void ProcessLoopExit(const Stmt* S, ExplodedNode *Pred);
303 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
305 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
307 void ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred);
310 ExplodedNode *Pred, ExplodedNodeSet &Dst);
312 ExplodedNode *Pred, ExplodedNodeSet &Dst);
314 ExplodedNode *Pred, ExplodedNodeSet &Dst);
316 ExplodedNode *Pred, ExplodedNodeSet &Dst);
[all …]
DCoreEngine.h105 ExplodedNode *Pred);
107 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
108 void HandleBlockEntrance(const BlockEntrance &E, ExplodedNode *Pred);
109 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
111 void HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred);
113 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
116 ExplodedNode *Pred);
118 const CFGBlock *B, ExplodedNode *Pred);
122 ExplodedNode *Pred);
124 void HandleVirtualBaseBranch(const CFGBlock *B, ExplodedNode *Pred);
[all …]
DCheckerContext.h26 ExplodedNode *Pred; variable
46 Pred(pred), in Eng()
51 assert(Pred->getState() && in Eng()
70 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor()
71 const ProgramStateRef &getState() const { return Pred->getState(); } in getState()
92 return Pred->getLocationContext(); in getLocationContext()
96 return Pred->getStackFrame(); in getStackFrame()
125 return Pred->getLocationContext()->getAnalysisDeclContext(); in getCurrentAnalysisDeclContext()
147 return Pred->getSVal(S); in getSVal()
178 ExplodedNode *addTransition(ProgramStateRef State, ExplodedNode *Pred,
[all …]
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Target/WebAssembly/
DWebAssemblyFixIrreducibleControlFlow.cpp80 for (auto *Pred : MBB->predecessors()) { in ReachabilityGraph() local
81 assert(inRegion(Pred)); in ReachabilityGraph()
147 for (auto *Pred : MBB->predecessors()) { in calculate() local
148 if (Reachable[Pred].insert(Succ).second) { in calculate()
149 WorkList.emplace_back(Pred, Succ); in calculate()
166 for (auto *Pred : Looper->predecessors()) { in calculate() local
169 if (!canReach(Looper, Pred)) { in calculate()
171 LoopEnterers[Looper].insert(Pred); in calculate()
201 for (auto *Pred : Entry->predecessors()) { in calculate() local
202 if (!Enterers.count(Pred)) { in calculate()
[all …]
/external/llvm-project/llvm/lib/Target/WebAssembly/
DWebAssemblyFixIrreducibleControlFlow.cpp91 for (auto *Pred : MBB->predecessors()) { in ReachabilityGraph() local
92 assert(inRegion(Pred)); in ReachabilityGraph()
158 for (auto *Pred : MBB->predecessors()) { in calculate() local
159 if (Reachable[Pred].insert(Succ).second) { in calculate()
160 WorkList.emplace_back(Pred, Succ); in calculate()
177 for (auto *Pred : Looper->predecessors()) { in calculate() local
180 if (!canReach(Looper, Pred)) { in calculate()
182 LoopEnterers[Looper].insert(Pred); in calculate()
212 for (auto *Pred : Entry->predecessors()) { in calculate() local
213 if (!Enterers.count(Pred)) { in calculate()
[all …]
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/
DCmpInstAnalysis.cpp22 ICmpInst::Predicate Pred = InvertPred ? ICI->getInversePredicate() in getICmpCode() local
24 switch (Pred) { in getICmpCode()
43 CmpInst::Predicate &Pred) { in getPredForICmpCode() argument
48 case 1: Pred = Sign ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT; break; in getPredForICmpCode()
49 case 2: Pred = ICmpInst::ICMP_EQ; break; in getPredForICmpCode()
50 case 3: Pred = Sign ? ICmpInst::ICMP_SGE : ICmpInst::ICMP_UGE; break; in getPredForICmpCode()
51 case 4: Pred = Sign ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT; break; in getPredForICmpCode()
52 case 5: Pred = ICmpInst::ICMP_NE; break; in getPredForICmpCode()
53 case 6: Pred = Sign ? ICmpInst::ICMP_SLE : ICmpInst::ICMP_ULE; break; in getPredForICmpCode()
67 CmpInst::Predicate &Pred, in decomposeBitTestICmp() argument
[all …]
DScalarEvolutionNormalization.cpp36 const NormalizePredTy Pred; member
38 NormalizeDenormalizeRewriter(TransformKind Kind, NormalizePredTy Pred, in NormalizeDenormalizeRewriter()
41 Pred(Pred) {} in NormalizeDenormalizeRewriter()
53 if (!Pred(AR)) in visitAddRecExpr()
99 auto Pred = [&](const SCEVAddRecExpr *AR) { in normalizeForPostIncUse() local
102 return NormalizeDenormalizeRewriter(Normalize, Pred, SE).visit(S); in normalizeForPostIncUse()
105 const SCEV *llvm::normalizeForPostIncUseIf(const SCEV *S, NormalizePredTy Pred, in normalizeForPostIncUseIf() argument
107 return NormalizeDenormalizeRewriter(Normalize, Pred, SE).visit(S); in normalizeForPostIncUseIf()
113 auto Pred = [&](const SCEVAddRecExpr *AR) { in denormalizeForPostIncUse() local
116 return NormalizeDenormalizeRewriter(Denormalize, Pred, SE).visit(S); in denormalizeForPostIncUse()
/external/llvm-project/llvm/lib/Analysis/
DCmpInstAnalysis.cpp22 ICmpInst::Predicate Pred = InvertPred ? ICI->getInversePredicate() in getICmpCode() local
24 switch (Pred) { in getICmpCode()
43 CmpInst::Predicate &Pred) { in getPredForICmpCode() argument
48 case 1: Pred = Sign ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT; break; in getPredForICmpCode()
49 case 2: Pred = ICmpInst::ICMP_EQ; break; in getPredForICmpCode()
50 case 3: Pred = Sign ? ICmpInst::ICMP_SGE : ICmpInst::ICMP_UGE; break; in getPredForICmpCode()
51 case 4: Pred = Sign ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT; break; in getPredForICmpCode()
52 case 5: Pred = ICmpInst::ICMP_NE; break; in getPredForICmpCode()
53 case 6: Pred = Sign ? ICmpInst::ICMP_SLE : ICmpInst::ICMP_ULE; break; in getPredForICmpCode()
67 CmpInst::Predicate &Pred, in decomposeBitTestICmp() argument
[all …]
DScalarEvolutionNormalization.cpp36 const NormalizePredTy Pred; member
38 NormalizeDenormalizeRewriter(TransformKind Kind, NormalizePredTy Pred, in NormalizeDenormalizeRewriter()
41 Pred(Pred) {} in NormalizeDenormalizeRewriter()
53 if (!Pred(AR)) in visitAddRecExpr()
99 auto Pred = [&](const SCEVAddRecExpr *AR) { in normalizeForPostIncUse() local
102 return NormalizeDenormalizeRewriter(Normalize, Pred, SE).visit(S); in normalizeForPostIncUse()
105 const SCEV *llvm::normalizeForPostIncUseIf(const SCEV *S, NormalizePredTy Pred, in normalizeForPostIncUseIf() argument
107 return NormalizeDenormalizeRewriter(Normalize, Pred, SE).visit(S); in normalizeForPostIncUseIf()
113 auto Pred = [&](const SCEVAddRecExpr *AR) { in denormalizeForPostIncUse() local
116 return NormalizeDenormalizeRewriter(Denormalize, Pred, SE).visit(S); in denormalizeForPostIncUse()
/external/swiftshader/third_party/subzero/src/
DIceTargetLoweringARM32.h328 CondARM32::Cond Pred = CondARM32::AL) {
329 Context.insert<InstARM32Add>(Dest, Src0, Src1, Pred);
332 CondARM32::Cond Pred = CondARM32::AL) {
334 Context.insert<InstARM32Add>(Dest, Src0, Src1, Pred, SetFlags);
340 CondARM32::Cond Pred = CondARM32::AL) {
341 Context.insert<InstARM32Adc>(Dest, Src0, Src1, Pred);
344 CondARM32::Cond Pred = CondARM32::AL) {
345 Context.insert<InstARM32And>(Dest, Src0, Src1, Pred);
348 CondARM32::Cond Pred = CondARM32::AL) {
349 Context.insert<InstARM32Asr>(Dest, Src0, Src1, Pred);
[all …]
/external/llvm-project/llvm/lib/Transforms/InstCombine/
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()
1105 ICmpInst::Predicate Pred) { in foldICmpAddOpConst() argument
1114 if (Pred == ICmpInst::ICMP_ULT || Pred == ICmpInst::ICMP_ULE) { in foldICmpAddOpConst()
1123 if (Pred == ICmpInst::ICMP_UGT || Pred == ICmpInst::ICMP_UGE) in foldICmpAddOpConst()
[all …]

12345678910>>...39