Home
last modified time | relevance | path

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

12345678910>>...25

/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 …]
DExprEngineCallAndReturn.cpp41 ExplodedNode *Pred) { in processCallEnter() argument
57 ProgramStateRef state = Pred->getState(); in processCallEnter()
63 Node->addPredecessor(Pred, G); in processCallEnter()
163 ExplodedNode *Pred, in removeDeadOnEndOfFunction() argument
168 std::tie(LastSt, Blk) = getLastStmt(Pred); in removeDeadOnEndOfFunction()
170 Dst.Add(Pred); in removeDeadOnEndOfFunction()
180 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction()
181 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, in removeDeadOnEndOfFunction()
405 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
409 const LocationContext *CurLC = Pred->getLocationContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
[all …]
DCheckerManager.cpp153 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
158 Pred->getLocationContext(), checkFn.Checker); in runChecker()
159 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
198 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
213 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
215 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C); in runChecker()
265 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
267 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
269 checkFn(*Call.cloneWithState(Pred->getState()), C); in runChecker()
309 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
[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 …]
DCheckerContext.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 …]
DSubEngine.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,
112 ExplodedNode *Pred) = 0;
116 ExplodedNode *Pred) = 0;
119 virtual void processCallExit(ExplodedNode *Pred) = 0;
/external/swiftshader/third_party/llvm-7.0/llvm/include/llvm/FuzzMutate/
DOpDescriptor.h56 PredT Pred;
61 SourcePred(PredT Pred, MakeT Make) : Pred(Pred), Make(Make) {} in SourcePred() argument
62 SourcePred(PredT Pred, NoneType) : Pred(Pred) { in SourcePred() argument
63 Make = [Pred](ArrayRef<Value *> Cur, ArrayRef<Type *> BaseTypes) { in SourcePred()
68 if (Pred(Cur, V)) in SourcePred()
79 return Pred(Cur, New); in matches()
97 auto Pred = [Only](ArrayRef<Value *>, const Value *V) { in onlyType()
103 return {Pred, Make}; in onlyType()
107 auto Pred = [](ArrayRef<Value *>, const Value *V) { in anyType()
111 return {Pred, Make}; in anyType()
[all …]
/external/swiftshader/third_party/subzero/src/
DIceTargetLoweringARM32.h335 CondARM32::Cond Pred = CondARM32::AL) {
336 Context.insert<InstARM32Add>(Dest, Src0, Src1, Pred);
339 CondARM32::Cond Pred = CondARM32::AL) {
341 Context.insert<InstARM32Add>(Dest, Src0, Src1, Pred, SetFlags);
347 CondARM32::Cond Pred = CondARM32::AL) {
348 Context.insert<InstARM32Adc>(Dest, Src0, Src1, Pred);
351 CondARM32::Cond Pred = CondARM32::AL) {
352 Context.insert<InstARM32And>(Dest, Src0, Src1, Pred);
355 CondARM32::Cond Pred = CondARM32::AL) {
356 Context.insert<InstARM32Asr>(Dest, Src0, Src1, Pred);
[all …]
/external/swiftshader/third_party/llvm-7.0/llvm/lib/Transforms/Scalar/
DLoopPredication.cpp225 ICmpInst::Predicate Pred; member
228 LoopICmp(ICmpInst::Predicate Pred, const SCEVAddRecExpr *IV, in LoopICmp()
230 : Pred(Pred), IV(IV), Limit(Limit) {} in LoopICmp()
233 dbgs() << "LoopICmp Pred = " << Pred << ", IV = " << *IV in dump()
251 Optional<LoopICmp> parseLoopICmp(ICmpInst::Predicate Pred, Value *LHS,
258 ICmpInst::Predicate Pred, const SCEV *LHS, const SCEV *RHS,
354 LoopPredication::parseLoopICmp(ICmpInst::Predicate Pred, Value *LHS, in parseLoopICmp() argument
367 Pred = ICmpInst::getSwappedPredicate(Pred); in parseLoopICmp()
374 return LoopICmp(Pred, AR, RHSS); in parseLoopICmp()
379 ICmpInst::Predicate Pred, const SCEV *LHS, in expandCheck() argument
[all …]
/external/swiftshader/third_party/llvm-7.0/llvm/lib/Transforms/InstCombine/
DInstCombineCompares.cpp76 static bool isSignBitCheck(ICmpInst::Predicate Pred, const APInt &RHS, in isSignBitCheck() argument
78 switch (Pred) { in isSignBitCheck()
105 static bool isSignTest(ICmpInst::Predicate &Pred, const APInt &C) { in isSignTest() argument
106 if (!ICmpInst::isSigned(Pred)) in isSignTest()
110 return ICmpInst::isRelational(Pred); in isSignTest()
113 if (Pred == ICmpInst::ICMP_SLT) { in isSignTest()
114 Pred = ICmpInst::ICMP_SLE; in isSignTest()
118 if (Pred == ICmpInst::ICMP_SGT) { in isSignTest()
119 Pred = ICmpInst::ICMP_SGE; in isSignTest()
1084 ICmpInst::Predicate Pred) { in foldICmpAddOpConst() argument
[all …]
/external/swiftshader/third_party/llvm-7.0/llvm/lib/Analysis/
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()
DCmpInstAnalysis.cpp23 ICmpInst::Predicate Pred = InvertPred ? ICI->getInversePredicate() in getICmpCode() local
25 switch (Pred) { in getICmpCode()
68 CmpInst::Predicate &Pred, in decomposeBitTestICmp() argument
76 switch (Pred) { in decomposeBitTestICmp()
84 Pred = ICmpInst::ICMP_NE; in decomposeBitTestICmp()
91 Pred = ICmpInst::ICMP_NE; in decomposeBitTestICmp()
98 Pred = ICmpInst::ICMP_EQ; in decomposeBitTestICmp()
105 Pred = ICmpInst::ICMP_EQ; in decomposeBitTestICmp()
112 Pred = ICmpInst::ICMP_EQ; in decomposeBitTestICmp()
119 Pred = ICmpInst::ICMP_EQ; in decomposeBitTestICmp()
[all …]
/external/swiftshader/third_party/llvm-7.0/llvm/include/llvm/Transforms/Utils/
DSSAUpdaterImpl.h140 BlkT *Pred = Preds[p]; in BuildBlockList() local
143 BBMap.FindAndConstruct(Pred); in BuildBlockList()
150 ValT PredVal = AvailableVals->lookup(Pred); in BuildBlockList()
151 BBInfo *PredInfo = new (Allocator) BBInfo(Pred, PredVal); in BuildBlockList()
253 BBInfo *Pred = Info->Preds[p]; in FindDominators() local
256 if (Pred->BlkNum == 0) { in FindDominators()
257 Pred->AvailableVal = Traits::GetUndefVal(Pred->BB, Updater); in FindDominators()
258 (*AvailableVals)[Pred->BB] = Pred->AvailableVal; in FindDominators()
259 Pred->DefBB = Pred; in FindDominators()
260 Pred->BlkNum = PseudoEntry->BlkNum; in FindDominators()
[all …]
/external/swiftshader/third_party/LLVM/include/llvm/Transforms/Utils/
DSSAUpdaterImpl.h117 BlkT *Pred = Preds[p]; in BuildBlockList() local
120 BBMap.FindAndConstruct(Pred); in BuildBlockList()
127 ValT PredVal = AvailableVals->lookup(Pred); in BuildBlockList()
128 BBInfo *PredInfo = new (Allocator) BBInfo(Pred, PredVal); in BuildBlockList()
230 BBInfo *Pred = Info->Preds[p]; in FindDominators() local
233 if (Pred->BlkNum == 0) { in FindDominators()
234 Pred->AvailableVal = Traits::GetUndefVal(Pred->BB, Updater); in FindDominators()
235 (*AvailableVals)[Pred->BB] = Pred->AvailableVal; in FindDominators()
236 Pred->DefBB = Pred; in FindDominators()
237 Pred->BlkNum = PseudoEntry->BlkNum; in FindDominators()
[all …]
/external/llvm/include/llvm/Transforms/Utils/
DSSAUpdaterImpl.h128 BlkT *Pred = Preds[p]; in BuildBlockList() local
131 BBMap.FindAndConstruct(Pred); in BuildBlockList()
138 ValT PredVal = AvailableVals->lookup(Pred); in BuildBlockList()
139 BBInfo *PredInfo = new (Allocator) BBInfo(Pred, PredVal); in BuildBlockList()
241 BBInfo *Pred = Info->Preds[p]; in FindDominators() local
244 if (Pred->BlkNum == 0) { in FindDominators()
245 Pred->AvailableVal = Traits::GetUndefVal(Pred->BB, Updater); in FindDominators()
246 (*AvailableVals)[Pred->BB] = Pred->AvailableVal; in FindDominators()
247 Pred->DefBB = Pred; in FindDominators()
248 Pred->BlkNum = PseudoEntry->BlkNum; in FindDominators()
[all …]
/external/swiftshader/third_party/LLVM/include/llvm/Analysis/
DBlockFrequencyImpl.h163 BlockT *Pred = *PI; in getSingleBlockPred() local
169 return Pred; in getSingleBlockPred()
183 if(BlockT *Pred = getSingleBlockPred(BB)) { in doBlock() local
184 if (BlocksInLoop.count(Pred)) in doBlock()
185 setBlockFreq(BB, getEdgeFreq(Pred, BB)); in doBlock()
197 BlockT *Pred = *PI; in doBlock() local
199 if (isReachable(Pred) && isBackedge(Pred, BB)) { in doBlock()
201 } else if (BlocksInLoop.count(Pred)) { in doBlock()
202 incBlockFreq(BB, getEdgeFreq(Pred, BB)); in doBlock()
241 BlockT *Pred = *PI; in doLoop() local
[all …]
/external/swiftshader/third_party/llvm-7.0/llvm/lib/FuzzMutate/
DRandomIRBuilder.cpp30 SourcePred Pred) { in findOrCreateSource() argument
31 auto MatchesPred = [&Srcs, &Pred](Instruction *Inst) { in findOrCreateSource()
32 return Pred.matches(Srcs, Inst); in findOrCreateSource()
39 return newSource(BB, Insts, Srcs, Pred); in findOrCreateSource()
43 ArrayRef<Value *> Srcs, SourcePred Pred) { in newSource() argument
46 RS.sample(Pred.generate(Srcs, KnownTypes)); in newSource()
49 Value *Ptr = findPointer(BB, Insts, Srcs, Pred); in newSource()
60 if (Pred.matches(Srcs, NewLoad)) in newSource()
135 ArrayRef<Value *> Srcs, SourcePred Pred) { in findPointer() argument
136 auto IsMatchingPtr = [&Srcs, &Pred](Instruction *Inst) { in findPointer()
[all …]
/external/libchrome/base/containers/
Dhash_tables.h47 class Pred = std::equal_to<Key>,
49 using hash_map = std::unordered_map<Key, T, Hash, Pred, Alloc>;
55 class Pred = std::equal_to<Key>,
57 using hash_multimap = std::unordered_multimap<Key, T, Hash, Pred, Alloc>;
62 class Pred = std::equal_to<Key>,
64 using hash_multiset = std::unordered_multiset<Key, Hash, Pred, Alloc>;
69 class Pred = std::equal_to<Key>,
71 using hash_set = std::unordered_set<Key, Hash, Pred, Alloc>;
/external/swiftshader/third_party/llvm-7.0/llvm/lib/Target/SystemZ/
DSystemZTDC.cpp125 auto Pred = I.getPredicate(); in convertFCmp() local
144 if ((Pred & CmpInst::FCMP_OGE) != CmpInst::FCMP_OGE && in convertFCmp()
145 (Pred & CmpInst::FCMP_OGE) != 0) in convertFCmp()
150 if ((Pred & CmpInst::FCMP_OLE) != CmpInst::FCMP_OLE && in convertFCmp()
151 (Pred & CmpInst::FCMP_OLE) != 0) in convertFCmp()
205 if (Pred & CmpInst::FCMP_OEQ) in convertFCmp()
207 if (Pred & CmpInst::FCMP_OGT) in convertFCmp()
209 if (Pred & CmpInst::FCMP_OLT) in convertFCmp()
211 if (Pred & CmpInst::FCMP_UNO) in convertFCmp()
235 auto Pred = I.getPredicate(); in convertICmp() local
[all …]
/external/llvm/lib/Target/SystemZ/
DSystemZTDC.cpp125 auto Pred = I.getPredicate(); in convertFCmp() local
144 if ((Pred & CmpInst::FCMP_OGE) != CmpInst::FCMP_OGE && in convertFCmp()
145 (Pred & CmpInst::FCMP_OGE) != 0) in convertFCmp()
150 if ((Pred & CmpInst::FCMP_OLE) != CmpInst::FCMP_OLE && in convertFCmp()
151 (Pred & CmpInst::FCMP_OLE) != 0) in convertFCmp()
205 if (Pred & CmpInst::FCMP_OEQ) in convertFCmp()
207 if (Pred & CmpInst::FCMP_OGT) in convertFCmp()
209 if (Pred & CmpInst::FCMP_OLT) in convertFCmp()
211 if (Pred & CmpInst::FCMP_UNO) in convertFCmp()
235 auto Pred = I.getPredicate(); in convertICmp() local
[all …]

12345678910>>...25