| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineObjC.cpp | 22 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 D | CoreEngine.cpp | 182 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()
225 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in ExecuteWorkListWithInitialState()
237 HandleBlockEdge(const BlockEdge & L,ExplodedNode * Pred) HandleBlockEdge() argument
307 HandleBlockEntrance(const BlockEntrance & L,ExplodedNode * Pred) HandleBlockEntrance() argument
324 HandleBlockExit(const CFGBlock * B,ExplodedNode * Pred) HandleBlockExit() argument
448 HandleCallEnter(const CallEnter & CE,ExplodedNode * Pred) HandleCallEnter() argument
454 HandleBranch(const Stmt * Cond,const Stmt * Term,const CFGBlock * B,ExplodedNode * Pred) HandleBranch() argument
466 HandleCleanupTemporaryBranch(const CXXBindTemporaryExpr * BTE,const CFGBlock * B,ExplodedNode * Pred) HandleCleanupTemporaryBranch() argument
477 HandleStaticInit(const DeclStmt * DS,const CFGBlock * B,ExplodedNode * Pred) HandleStaticInit() argument
488 HandlePostStmt(const CFGBlock * B,unsigned StmtIdx,ExplodedNode * Pred) HandlePostStmt() argument
501 HandleVirtualBaseBranch(const CFGBlock * B,ExplodedNode * Pred) HandleVirtualBaseBranch() argument
527 generateNode(const ProgramPoint & Loc,ProgramStateRef State,ExplodedNode * Pred) generateNode() argument
[all...] |
| H A D | ExprEngine.cpp | 966 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement() argument
968 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processCFGElement()
976 ProcessStmt(E.castAs<CFGStmt>().getStmt(), Pred); in processCFGElement()
979 ProcessInitializer(E.castAs<CFGInitializer>(), Pred); in processCFGElement()
983 Pred); in processCFGElement()
990 ProcessImplicitDtor(E.castAs<CFGImplicitDtor>(), Pred); in processCFGElement()
993 ProcessLoopExit(E.castAs<CFGLoopExit>().getLoopStmt(), Pred); in processCFGElement()
1005 const ExplodedNode *Pred, in shouldRemoveDeadBindings() argument
1012 if (Pred->getLocation().getAs<BlockEntrance>()) in shouldRemoveDeadBindings()
1029 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSe argument
1109 ProcessStmt(const Stmt * currStmt,ExplodedNode * Pred) ProcessStmt() argument
1139 ProcessLoopExit(const Stmt * S,ExplodedNode * Pred) ProcessLoopExit() argument
1158 ProcessInitializer(const CFGInitializer CFGInit,ExplodedNode * Pred) ProcessInitializer() argument
1291 ProcessImplicitDtor(const CFGImplicitDtor D,ExplodedNode * Pred) ProcessImplicitDtor() argument
1318 ProcessNewAllocator(const CXXNewExpr * NE,ExplodedNode * Pred) ProcessNewAllocator() argument
1338 ProcessAutomaticObjDtor(const CFGAutomaticObjDtor Dtor,ExplodedNode * Pred,ExplodedNodeSet & Dst) ProcessAutomaticObjDtor() argument
1410 ProcessDeleteDtor(const CFGDeleteDtor Dtor,ExplodedNode * Pred,ExplodedNodeSet & Dst) ProcessDeleteDtor() argument
1486 ProcessBaseDtor(const CFGBaseDtor D,ExplodedNode * Pred,ExplodedNodeSet & Dst) ProcessBaseDtor() argument
1506 ProcessMemberDtor(const CFGMemberDtor D,ExplodedNode * Pred,ExplodedNodeSet & Dst) ProcessMemberDtor() argument
1565 ProcessTemporaryDtor(const CFGTemporaryDtor D,ExplodedNode * Pred,ExplodedNodeSet & Dst) ProcessTemporaryDtor() argument
1642 processCleanupTemporaryBranch(const CXXBindTemporaryExpr * BTE,NodeBuilderContext & BldCtx,ExplodedNode * Pred,ExplodedNodeSet & Dst,const CFGBlock * DstT,const CFGBlock * DstF) processCleanupTemporaryBranch() argument
1712 Visit(const Stmt * S,ExplodedNode * Pred,ExplodedNodeSet & DstTop) Visit() argument
2492 processCFGBlockEntrance(const BlockEdge & L,NodeBuilderWithSinks & nodeBuilder,ExplodedNode * Pred) processCFGBlockEntrance() argument
2744 processBranch(const Stmt * Condition,NodeBuilderContext & BldCtx,ExplodedNode * Pred,ExplodedNodeSet & Dst,const CFGBlock * DstT,const CFGBlock * DstF) processBranch() argument
2888 processBeginOfFunction(NodeBuilderContext & BC,ExplodedNode * Pred,ExplodedNodeSet & Dst,const BlockEdge & L) processBeginOfFunction() argument
2898 processEndOfFunction(NodeBuilderContext & BC,ExplodedNode * Pred,const ReturnStmt * RS) processEndOfFunction() argument
3055 VisitCommonDeclRefExpr(const Expr * Ex,const NamedDecl * D,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitCommonDeclRefExpr() argument
3195 VisitArrayInitLoopExpr(const ArrayInitLoopExpr * Ex,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitArrayInitLoopExpr() argument
3293 VisitArraySubscriptExpr(const ArraySubscriptExpr * A,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitArraySubscriptExpr() argument
3343 VisitMemberExpr(const MemberExpr * M,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitMemberExpr() argument
3431 VisitAtomicExpr(const AtomicExpr * AE,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitAtomicExpr() argument
3570 evalBind(ExplodedNodeSet & Dst,const Stmt * StoreE,ExplodedNode * Pred,SVal location,SVal Val,bool atDeclInit,const ProgramPoint * PP) evalBind() argument
3628 evalStore(ExplodedNodeSet & Dst,const Expr * AssignE,const Expr * LocationE,ExplodedNode * Pred,ProgramStateRef state,SVal location,SVal Val,const ProgramPointTag * tag) evalStore() argument
3652 evalLoad(ExplodedNodeSet & Dst,const Expr * NodeEx,const Expr * BoundEx,ExplodedNode * Pred,ProgramStateRef state,SVal location,const ProgramPointTag * tag,QualType LoadTy) evalLoad() argument
3690 evalLocation(ExplodedNodeSet & Dst,const Stmt * NodeEx,const Stmt * BoundEx,ExplodedNode * Pred,ProgramStateRef state,SVal location,bool isLoad) evalLocation() argument
3738 for (const auto Pred : Src) { evalEagerlyAssumeBinOpBifurcation() local
3774 VisitGCCAsmStmt(const GCCAsmStmt * A,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitGCCAsmStmt() argument
3797 VisitMSAsmStmt(const MSAsmStmt * A,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitMSAsmStmt() argument
[all...] |
| H A D | ExprEngineCXX.cpp | 31 ExplodedNode *Pred, in CreateCXXTemporaryObject() argument
33 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in CreateCXXTemporaryObject()
35 ProgramStateRef state = Pred->getState(); in CreateCXXTemporaryObject()
36 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject()
39 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
44 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy() argument
64 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy()
68 Bldr.takeNodes(Pred); in performTrivialCopy()
81 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
84 evalBind(Dst, CallExpr, Pred, ThisVa in performTrivialCopy()
583 handleConstructor(const Expr * E,ExplodedNode * Pred,ExplodedNodeSet & destNodes) handleConstructor() argument
845 VisitCXXConstructExpr(const CXXConstructExpr * CE,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitCXXConstructExpr() argument
851 VisitCXXInheritedCtorInitExpr(const CXXInheritedCtorInitExpr * CE,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitCXXInheritedCtorInitExpr() argument
860 VisitCXXDestructor(QualType ObjectType,const MemRegion * Dest,const Stmt * S,bool IsBaseDtor,ExplodedNode * Pred,ExplodedNodeSet & Dst,EvalCallOptions & CallOpts) VisitCXXDestructor() argument
924 VisitCXXNewAllocatorCall(const CXXNewExpr * CNE,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitCXXNewAllocatorCall() argument
995 VisitCXXNewExpr(const CXXNewExpr * CNE,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitCXXNewExpr() argument
1128 VisitCXXDeleteExpr(const CXXDeleteExpr * CDE,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitCXXDeleteExpr() argument
1149 VisitCXXCatchStmt(const CXXCatchStmt * CS,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitCXXCatchStmt() argument
1167 VisitCXXThisExpr(const CXXThisExpr * TE,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitCXXThisExpr() argument
1183 VisitLambdaExpr(const LambdaExpr * LE,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitLambdaExpr() argument
[all...] |
| H A D | ExprEngineC.cpp | 41 ExplodedNode *Pred, in VisitBinaryOperator() argument
50 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this); in VisitBinaryOperator()
193 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr() argument
201 Pred->getLocationContext(), in VisitBlockExpr()
204 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
233 const LocationContext *LCtx = Pred->getLocationContext(); in VisitBlockExpr()
245 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in VisitBlockExpr()
246 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
247 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
257 ExplodedNode* Pred) { in handleLValueBitCast() argument
283 VisitCast(const CastExpr * CastE,const Expr * Ex,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitCast() argument
539 VisitCompoundLiteralExpr(const CompoundLiteralExpr * CL,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitCompoundLiteralExpr() argument
563 VisitDeclStmt(const DeclStmt * DS,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitDeclStmt() argument
639 VisitLogicalExpr(const BinaryOperator * B,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitLogicalExpr() argument
734 VisitInitListExpr(const InitListExpr * IE,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitInitListExpr() argument
784 VisitGuardedExpr(const Expr * Ex,const Expr * L,const Expr * R,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitGuardedExpr() argument
847 VisitOffsetOfExpr(const OffsetOfExpr * OOE,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitOffsetOfExpr() argument
866 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr * Ex,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitUnaryExprOrTypeTraitExpr() argument
921 VisitUnaryOperator(const UnaryOperator * U,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitUnaryOperator() argument
1058 VisitIncrementDecrementOperator(const UnaryOperator * U,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitIncrementDecrementOperator() argument
[all...] |
| H A D | ExprEngineCallAndReturn.cpp | 45 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()
503 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_MAP_WITH_PROGRAMSTATE()
512 inlineCall(Engine.getWorkList(), Call, D, Bldr, Pred, Stat in REGISTER_MAP_WITH_PROGRAMSTATE()
532 inlineCall(WorkList * WList,const CallEvent & Call,const Decl * D,NodeBuilder & Bldr,ExplodedNode * Pred,ProgramStateRef State) inlineCall() argument
602 VisitCallExpr(const CallExpr * CE,ExplodedNode * Pred,ExplodedNodeSet & dst) VisitCallExpr() argument
654 finishArgumentConstruction(ExplodedNodeSet & Dst,ExplodedNode * Pred,const CallEvent & Call) finishArgumentConstruction() argument
672 evalCall(ExplodedNodeSet & Dst,ExplodedNode * Pred,const CallEvent & Call) evalCall() argument
832 conservativeEvalCall(const CallEvent & Call,NodeBuilder & Bldr,ExplodedNode * Pred,ProgramStateRef State) conservativeEvalCall() argument
842 mayInlineCallKind(const CallEvent & Call,const ExplodedNode * Pred,AnalyzerOptions & Opts,const EvalCallOptions & CallOpts) mayInlineCallKind() argument
1071 shouldInlineCall(const CallEvent & Call,const Decl * D,const ExplodedNode * Pred,const EvalCallOptions & CallOpts) shouldInlineCall() argument
1213 defaultEvalCall(NodeBuilder & Bldr,ExplodedNode * Pred,const CallEvent & CallTemplate,const EvalCallOptions & CallOpts) defaultEvalCall() argument
1271 BifurcateCall(const MemRegion * BifurReg,const CallEvent & Call,const Decl * D,NodeBuilder & Bldr,ExplodedNode * Pred) BifurcateCall() argument
1306 VisitReturnStmt(const ReturnStmt * RS,ExplodedNode * Pred,ExplodedNodeSet & Dst) VisitReturnStmt() argument
[all...] |
| H A D | CheckerManager.cpp | 168 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 …]
|
| /freebsd-src/contrib/llvm-project/llvm/include/llvm/FuzzMutate/ |
| H A D | OpDescriptor.h | 55 PredT Pred;
60 SourcePred(PredT Pred, MakeT Make) : Pred(Pred), Make(Make) {} in SourcePred() argument
61 SourcePred(PredT Pred, std::nullopt_t) : 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 …]
|
| /freebsd-src/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | CmpInstAnalysis.cpp | 21 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
77 decomposeBitTestICmp(Value * LHS,Value * RHS,CmpInst::Predicate & Pred,Value * & X,APInt & Mask,bool LookThruTrunc) decomposeBitTestICmp() argument
[all...] |
| H A D | ScalarEvolutionNormalization.cpp | 37 const NormalizePredTy Pred; member
39 NormalizeDenormalizeRewriter(TransformKind Kind, NormalizePredTy Pred, in NormalizeDenormalizeRewriter()
42 Pred(Pred) {} in NormalizeDenormalizeRewriter()
54 if (!Pred(AR)) in visitAddRecExpr()
103 auto Pred = [&](const SCEVAddRecExpr *AR) { in normalizeForPostIncUse() local
107 NormalizeDenormalizeRewriter(Normalize, Pred, SE).visit(S); in normalizeForPostIncUse()
115 const SCEV *llvm::normalizeForPostIncUseIf(const SCEV *S, NormalizePredTy Pred, in normalizeForPostIncUseIf() argument
117 return NormalizeDenormalizeRewriter(Normalize, Pred, SE).visit(S); in normalizeForPostIncUseIf()
125 auto Pred = [&](const SCEVAddRecExpr *AR) { in denormalizeForPostIncUse() local
128 return NormalizeDenormalizeRewriter(Denormalize, Pred, SE).visit(S); in denormalizeForPostIncUse()
|
| /freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 291 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
294 void ProcessStmt(const Stmt *S, ExplodedNode *Pred);
296 void ProcessLoopExit(const Stmt* S, ExplodedNode *Pred);
298 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
300 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
302 void ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred);
305 ExplodedNode *Pred, ExplodedNodeSet &Dst);
307 ExplodedNode *Pred, ExplodedNodeSet &Dst);
309 ExplodedNode *Pred, ExplodedNodeSet &Dst);
311 ExplodedNode *Pred, ExplodedNodeSe
[all...] |
| H A D | CoreEngine.h | 110 ExplodedNode *Pred);
112 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
113 void HandleBlockEntrance(const BlockEntrance &E, ExplodedNode *Pred);
114 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
116 void HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred);
118 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
121 ExplodedNode *Pred);
123 const CFGBlock *B, ExplodedNode *Pred);
127 ExplodedNode *Pred);
129 void HandleVirtualBaseBranch(const CFGBlock *B, ExplodedNode *Pred);
293 generateNode(const ProgramPoint & PP,ProgramStateRef State,ExplodedNode * Pred) generateNode() argument
306 generateSink(const ProgramPoint & PP,ProgramStateRef State,ExplodedNode * Pred) generateSink() argument
353 NodeBuilderWithSinks(ExplodedNode * Pred,ExplodedNodeSet & DstSet,const NodeBuilderContext & Ctx,ProgramPoint & L) NodeBuilderWithSinks() argument
486 ExplodedNode *Pred; global() variable
538 ExplodedNode *Pred; global() variable
[all...] |
| H A D | CheckerContext.h | 27 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()
178 /// @param Pred Th
[all...] |
| /freebsd-src/contrib/llvm-project/llvm/lib/Target/WebAssembly/ |
| H A D | WebAssemblyFixIrreducibleControlFlow.cpp | 92 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 …]
|
| /freebsd-src/contrib/llvm-project/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineCompares.cpp | 81 static bool isSignTest(ICmpInst::Predicate &Pred, const APInt &C) { in isSignTest()
82 if (!ICmpInst::isSigned(Pred)) in isSignTest()
86 return ICmpInst::isRelational(Pred); in isSignTest()
89 if (Pred == ICmpInst::ICMP_SLT) { in isSignTest()
90 Pred = ICmpInst::ICMP_SLE; in isSignTest()
94 if (Pred == ICmpInst::ICMP_SGT) { in isSignTest()
95 Pred = ICmpInst::ICMP_SGE; in isSignTest()
913 ICmpInst::Predicate Pred) { in foldICmpAddOpConst()
922 if (Pred == ICmpInst::ICMP_ULT || Pred in foldICmpAddOpConst()
80 isSignTest(ICmpInst::Predicate & Pred,const APInt & C) isSignTest() argument
912 foldICmpAddOpConst(Value * X,const APInt & C,ICmpInst::Predicate Pred) foldICmpAddOpConst() argument
966 __anon68ee6cff0402(CmpInst::Predicate Pred, Value *LHS, Value *RHS) foldICmpShrConstConst() argument
1025 __anon68ee6cff0502(CmpInst::Predicate Pred, Value *LHS, Value *RHS) foldICmpShlConstConst() argument
1155 ICmpInst::Predicate Pred; foldIRemByPowerOfTwoToBitTest() local
1172 ICmpInst::Predicate Pred; foldSignBitTest() local
1202 CmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpWithZero() local
1295 CmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpWithConstant() local
1342 CmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpWithDominatingICmp() local
1411 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpTruncConstant() local
1492 ICmpInst::Predicate Pred; foldICmpTruncWithTruncOrExt() local
1553 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpXorConstant() local
1614 CmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpXorShiftConst() local
1840 const ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpAndConstant() local
1974 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpOrXorSubChain() local
1991 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpOrConstant() local
2082 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpMulConstant() local
2179 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpShlOne() local
2221 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpShlConstant() local
2380 CmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpShrConstant() local
2534 const ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpSRemConstant() local
2582 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpUDivConstant() local
2615 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpDivConstant() local
2798 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpSubConstant() local
2937 const CmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpAddConstant() local
3170 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpBitCast() local
3359 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpBinOpEqualityWithConstant() local
3474 const ICmpInst::Predicate Pred = I.getPredicate(); foldCtpopPow2Test() local
3500 const ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpEqIntrinsicWithConstant() local
3608 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpIntrinsicWithIntrinsic() local
3662 const ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpInstWithConstantAllowUndef() local
3740 foldICmpUSubSatOrUAddSatWithConstant(ICmpInst::Predicate Pred,SaturatingInst * II,const APInt & C,InstCombiner::BuilderTy & Builder) foldICmpUSubSatOrUAddSatWithConstant() argument
3828 ICmpInst::Predicate Pred = Cmp.getPredicate(); foldICmpIntrinsicWithConstant() local
3963 foldSelectICmp(ICmpInst::Predicate Pred,SelectInst * SI,Value * RHS,const ICmpInst & I) foldSelectICmp() argument
4373 ICmpInst::Predicate Pred; foldMultiplicationOverflowCheck() local
4445 CmpInst::Predicate Pred; foldICmpXNegX() local
4479 CmpInst::Predicate Pred = I.getPredicate(); foldICmpAndXX() local
4504 CmpInst::Predicate Pred = I.getPredicate(); foldICmpOrXX() local
4538 CmpInst::Predicate Pred = I.getPredicate(); foldICmpXorXX() local
4576 const CmpInst::Predicate Pred = I.getPredicate(); foldICmpBinOp() local
4640 __anon68ee6cff0e02(const BinaryOperator &BO, CmpInst::Predicate Pred, bool &HasNSW, bool &HasNUW) foldICmpBinOp() argument
5049 foldICmpWithMinMax(Instruction & I,MinMaxIntrinsic * MinMax,Value * Z,ICmpInst::Predicate Pred) foldICmpWithMinMax() argument
5191 const CmpInst::Predicate Pred = I.getPredicate(); foldICmpPow2Test() local
5245 const CmpInst::Predicate Pred = I.getPredicate(); foldICmpEquality() local
5492 ICmpInst::Predicate Pred = ICmp.getPredicate(); foldICmpWithTrunc() local
6108 ICmpInst::Predicate Pred = I.getPredicate(); foldICmpUsingKnownBits() local
6367 ICmpInst::Predicate Pred; foldICmpUsingBoolRange() local
6452 getFlippedStrictnessPredicateAndConstant(CmpInst::Predicate Pred,Constant * C) getFlippedStrictnessPredicateAndConstant() argument
6528 ICmpInst::Predicate Pred = I.getPredicate(); canonicalizeCmpWithConstant() local
6551 CmpInst::Predicate Pred = I.getPredicate(); canonicalizeICmpPredicate() local
6652 ICmpInst::Predicate Pred, NewPred; foldICmpWithHighBitMask() local
6695 const CmpInst::Predicate Pred = Cmp.getPredicate(); foldVectorCmp() local
6699 __anon68ee6cff1602(CmpInst::Predicate Pred, Value *X, Value *Y) foldVectorCmp() argument
6764 CmpInst::Predicate Pred = I.getPredicate(); foldICmpOfUAddOv() local
6858 foldICmpCommutative(ICmpInst::Predicate Pred,Value * Op0,Value * Op1,ICmpInst & CxtI) foldICmpCommutative() argument
7023 ICmpInst::Predicate Pred = I.getPredicate(); visitICmpInst() local
7302 ICmpInst::Predicate Pred; foldFCmpIntToFPConst() local
7484 FCmpInst::Predicate Pred = I.getPredicate(); foldFCmpReciprocalAndZero() local
7617 CmpInst::Predicate Pred = I.getPredicate(); foldFCmpFNegCommonOp() local
7646 const CmpInst::Predicate Pred = I.getPredicate(); visitFCmpInst() local
[all...] |
| H A D | InstCombineSelect.cpp | 61 CmpInst::Predicate Pred; in foldSelectBinOpIdentity() local
62 if (!match(Sel.getCondition(), m_Cmp(Pred, m_Value(X), m_Constant(C)))) in foldSelectBinOpIdentity()
66 if (ICmpInst::isEquality(Pred)) in foldSelectBinOpIdentity()
67 IsEq = Pred == ICmpInst::ICMP_EQ; in foldSelectBinOpIdentity()
68 else if (Pred == FCmpInst::FCMP_OEQ) in foldSelectBinOpIdentity()
70 else if (Pred == FCmpInst::FCMP_UNE) in foldSelectBinOpIdentity()
85 if (!IdC || !CmpInst::isFPPredicate(Pred)) in foldSelectBinOpIdentity()
137 ICmpInst::Predicate Pred = Cmp->getPredicate(); in foldSelectICmpAnd()
138 if (ICmpInst::isEquality(Pred)) { in foldSelectICmpAnd()
149 Pred, in foldSelectICmpAnd()
136 ICmpInst::Predicate Pred = Cmp->getPredicate(); foldSelectICmpAnd() local
621 ICmpInst::Predicate Pred; foldSelectICmpAndZeroShl() local
659 ICmpInst::Predicate Pred = IC->getPredicate(); foldSelectICmpLshrAshr() local
725 CmpInst::Predicate Pred = IC->getPredicate(); foldSelectICmpAndBinOp() local
891 ICmpInst::Predicate Pred = ICI->getPredicate(); canonicalizeSaturatedSubtract() local
962 ICmpInst::Predicate Pred = Cmp->getPredicate(); canonicalizeSaturatedAdd() local
1033 ICmpInst::Predicate Pred = Cmp->getStrictPredicate(); foldAbsDiff() local
1120 ICmpInst::Predicate Pred = ICI->getPredicate(); foldSelectCttzCtlz() local
1536 ICmpInst::Predicate Pred; tryToReuseConstantFromSelectInComparison() local
1634 CmpInst::Predicate Pred; foldSelectInstWithICmpConst() local
1706 ICmpInst::Predicate Pred = ICI->getPredicate(); foldSelectInstWithICmp() local
1971 ICmpInst::Predicate Pred; foldOverflowingAddSubSelect() local
2180 CmpInst::Predicate Pred; foldSelectCmpBitcasts() local
2343 ICmpInst::Predicate Pred; foldSelectFunnelShift() local
2388 ICmpInst::Predicate Pred; foldSelectToCopysign() local
2534 for (auto *Pred : predecessors(BB)) { foldSelectToPhiImpl() local
2551 for (auto *Pred : predecessors(BB)) foldSelectToPhiImpl() local
2584 ICmpInst::Predicate Pred; foldSelectWithSRem() local
2643 CmpInst::Predicate Pred; foldSelectWithFrozenICmp() local
2705 CmpInst::Predicate Pred; foldSelectWithFCmpToFabs() local
2799 ICmpInst::Predicate Pred; foldRoundUpIntegerWithPow2Alignment() local
3202 isSafeToRemoveBitCeilSelect(ICmpInst::Predicate Pred,Value * Cond0,const APInt * Cond1,Value * CtlzOp,unsigned BitWidth,bool & ShouldDropNUW) isSafeToRemoveBitCeilSelect() argument
3302 ICmpInst::Predicate Pred; foldBitCeil() local
3434 FCmpInst::Predicate Pred = FCmp->getPredicate(); visitSelectInst() local
[all...] |
| /freebsd-src/contrib/llvm-project/llvm/include/llvm/Transforms/Utils/ |
| H A D | SSAUpdaterImpl.h | 139 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::GetPoisonVal(Pred->BB, Updater); in FindDominators()
257 (*AvailableVals)[Pred->BB] = Pred in FindDominators()
282 IsDefInDomFrontier(const BBInfo * Pred,const BBInfo * IDom) IsDefInDomFrontier() argument
399 BlkT *Pred = PredInfo->BB; FindAvailableVals() local
[all...] |
| /freebsd-src/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | LoopConstrainer.cpp | 20 const SCEV *Step, ICmpInst::Predicate Pred, in isSafeDecreasingBound() argument
23 if (Pred != ICmpInst::ICMP_SLT && Pred != ICmpInst::ICMP_SGT && in isSafeDecreasingBound()
24 Pred != ICmpInst::ICMP_ULT && Pred != ICmpInst::ICMP_UGT) in isSafeDecreasingBound()
36 LLVM_DEBUG(dbgs() << "Pred: " << Pred << "\n"); in isSafeDecreasingBound()
39 bool IsSigned = ICmpInst::isSigned(Pred); in isSafeDecreasingBound()
69 const SCEV *Step, ICmpInst::Predicate Pred, in isSafeIncreasingBound()
72 if (Pred ! in isSafeIncreasingBound()
66 isSafeIncreasingBound(const SCEV * Start,const SCEV * BoundSCEV,const SCEV * Step,ICmpInst::Predicate Pred,unsigned LatchBrExitIdx,Loop * L,ScalarEvolution & SE) isSafeIncreasingBound() argument
170 ICmpInst::Predicate Pred = ICI->getPredicate(); parseLoopStructure() local
609 auto Pred = changeIterationSpaceEnd() local
[all...] |
| /freebsd-src/contrib/llvm-project/llvm/lib/Target/AMDGPU/ |
| H A D | AMDGPUExportClustering.cpp | 69 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 …]
|
| /freebsd-src/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | ConstraintElimination.cpp | 89 /// Struct to express a condition of the form %Op0 Pred %Op1.
91 CmpInst::Predicate Pred;
96 : Pred(CmpInst::BAD_ICMP_PREDICATE), Op0(nullptr), Op1(nullptr) {} in ConditionTy()
97 ConditionTy(CmpInst::Predicate Pred, Value *Op0, Value *Op1) in ConditionTy()
98 : Pred(Pred), Op0(Op0), Op1(Op1) {}
139 FactOrCheck(DomTreeNode *DTN, CmpInst::Predicate Pred, Value *Op0, Value *Op1, in FactOrCheck()
141 : Cond(Pred, Op0, Op1), DoesHold(Precond), NumIn(DTN->getDFSNumIn()), in FactOrCheck()
144 static FactOrCheck getConditionFact(DomTreeNode *DTN, CmpInst::Predicate Pred, in getConditionFact()
147 return FactOrCheck(DTN, Pred, Op in getConditionFact()
90 CmpInst::Predicate Pred; global() member
602 getConstraint(CmpInst::Predicate Pred,Value * Op0,Value * Op1,SmallVectorImpl<Value * > & NewVariables) const getConstraint() argument
733 getConstraintForSolving(CmpInst::Predicate Pred,Value * Op0,Value * Op1) const getConstraintForSolving() argument
813 doesHold(CmpInst::Predicate Pred,Value * A,Value * B) const doesHold() argument
821 transferToOtherSystem(CmpInst::Predicate Pred,Value * A,Value * B,unsigned NumIn,unsigned NumOut,SmallVectorImpl<StackEntry> & DFSInStack) transferToOtherSystem() argument
894 CmpInst::Predicate Pred; addInfoForInductions() local
1044 CmpInst::Predicate Pred; addInfoFor() local
1161 dumpUnpackedICmp(raw_ostream & OS,ICmpInst::Predicate Pred,Value * LHS,Value * RHS) dumpUnpackedICmp() argument
1176 ICmpInst::Predicate Pred; global() member
1320 checkCondition(CmpInst::Predicate Pred,Value * A,Value * B,Instruction * CheckInst,ConstraintInfo & Info) checkCondition() argument
1421 CmpInst::Predicate Pred; checkOrAndOpImpliedByOther() local
1474 addFact(CmpInst::Predicate Pred,Value * A,Value * B,unsigned NumIn,unsigned NumOut,SmallVectorImpl<StackEntry> & DFSInStack) addFact() argument
1573 __anon74ef54230f02(CmpInst::Predicate Pred, Value *A, Value *B, ConstraintInfo &Info) tryToSimplifyOverflowMath() argument
1702 __anon74ef54231202(CmpInst::Predicate Pred, Value *A, Value *B) eliminateConstraints() argument
1729 ICmpInst::Predicate Pred; eliminateConstraints() local
[all...] |
| H A D | LoopPredication.cpp | 249 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,
350 auto Pred = ICI->getPredicate(); in parseLoopICmp() local
365 Pred = ICmpInst::getSwappedPredicate(Pred); in parseLoopICmp()
372 return LoopICmp(Pred, AR, RHSS); in parseLoopICmp()
377 ICmpInst::Predicate Pred, const SCEV *LHS, in expandCheck() argument
384 if (SE->isLoopEntryGuardedByCond(L, Pred, LHS, RHS)) in expandCheck()
[all …]
|
| H A D | LoopBoundSplit.cpp | 35 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
163 ICmpInst::Predicate Pred; isProcessableCondBI() local
394 ICmpInst::Predicate Pred = ICmpInst::ICMP_NE; splitLoopBound() local
[all...] |
| /freebsd-src/contrib/llvm-project/llvm/lib/Target/PowerPC/ |
| H A D | PPCEarlyReturn.cpp | 65 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 in processBlock()
[all...] |
| /freebsd-src/contrib/llvm-project/llvm/lib/CodeGen/ |
| H A D | MachineBlockPlacement.cpp | 476 bool isBestSuccessor(MachineBasicBlock *BB, MachineBasicBlock *Pred,
1162 for (MachineBasicBlock *Pred : Succ->predecessors()) { in canTailDuplicateUnplacedPreds()
1166 if (Pred == BB || (BlockFilter && !BlockFilter->count(Pred)) in canTailDuplicateUnplacedPreds()
1167 || (BlockToChain[Pred] == &Chain && !Succ->succ_empty())) in canTailDuplicateUnplacedPreds()
1169 if (!TailDup.canTailDuplicate(Succ, Pred)) { in canTailDuplicateUnplacedPreds()
1170 if (Successors.size() > 1 && hasSameSuccessors(*Pred, Successors)) in canTailDuplicateUnplacedPreds()
1323 for (MachineBasicBlock* Pred : PDom->predecessors()) { in precomputeTriangleChains()
1324 if (Pred == &BB) in precomputeTriangleChains()
1326 if (!TailDup.canTailDuplicate(PDom, Pred)) { in precomputeTriangleChains()
1913 MachineBasicBlock *Pred = *BottomBlock->pred_begin(); canMoveBottomBlockToTop() local
2447 for (auto *Pred : ChainHeaderBB->predecessors()) { rotateLoopWithProfile() local
3190 isBestSuccessor(MachineBasicBlock * BB,MachineBasicBlock * Pred,BlockFilterSet * BlockFilter) isBestSuccessor() argument
[all...] |
| /freebsd-src/contrib/llvm-project/llvm/lib/Target/SystemZ/ |
| H A D | SystemZTDC.cpp | 129 auto Pred = I.getPredicate(); in convertFCmp() local
148 if ((Pred & CmpInst::FCMP_OGE) != CmpInst::FCMP_OGE && in convertFCmp()
149 (Pred & CmpInst::FCMP_OGE) != 0) in convertFCmp()
154 if ((Pred & CmpInst::FCMP_OLE) != CmpInst::FCMP_OLE && in convertFCmp()
155 (Pred & CmpInst::FCMP_OLE) != 0) in convertFCmp()
209 if (Pred & CmpInst::FCMP_OEQ) in convertFCmp()
211 if (Pred & CmpInst::FCMP_OGT) in convertFCmp()
213 if (Pred & CmpInst::FCMP_OLT) in convertFCmp()
215 if (Pred & CmpInst::FCMP_UNO) in convertFCmp()
239 auto Pred = I.getPredicate(); in convertICmp() local
[all …]
|