/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineObjC.cpp | 24 ProgramStateRef state = Pred->getState(); in VisitLvalObjCIvarRefExpr() 52 for (ExplodedNode *Pred : dstLocation) { in populateObjCForDestinationSet() 79 Bldr.generateNode(S, Pred, nextState); in populateObjCForDestinationSet() 113 ProgramStateRef state = Pred->getState(); in VisitObjCForCollectionStmt() 152 ME, Pred->getState(), Pred->getLocationContext(), getCFGElementRef()); in VisitObjCMessage() 212 Pred = Bldr.generateNode(ME, Pred, nilState, nullptr, in VisitObjCMessage() 216 if (!Pred) in VisitObjCMessage() 233 Pred = Bldr.generateNode(ME, Pred, notNilState); in VisitObjCMessage() 236 if (!Pred) in VisitObjCMessage() 256 ExplodedNode *Pred = *DI; in VisitObjCMessage() local [all …]
|
H A D | CoreEngine.cpp | 203 ExprEng.processCallExit(Pred); in dispatchWorkItem() 262 Pred = Bldr.generateNode(P, Pred->getState(), Pred); in HandleBlockEdge() 263 if (!Pred) in HandleBlockEdge() 299 nodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge() 347 Term, B, Pred); in HandleBlockExit() 364 Pred->State, Pred); in HandleBlockExit() 445 Pred->State, Pred); in HandleBlockExit() 493 HandleBlockExit(B, Pred); in HandlePostStmt() 509 HandleBlockEdge(Loc, Pred); in HandleVirtualBaseBranch() 520 HandleBlockEdge(Loc, Pred); in HandleVirtualBaseBranch() [all …]
|
H A D | ExprEngine.cpp | 1332 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator() 1382 Bldr.generateSink(PP, Pred->getState(), Pred); in ProcessAutomaticObjDtor() 1399 Pred = Bldr.generateNode(PP, state, Pred); in ProcessAutomaticObjDtor() 1401 if (!Pred) in ProcessAutomaticObjDtor() 1428 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessDeleteDtor() 1462 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessDeleteDtor() 1476 Pred = Bldr.generateNode(PP, State, Pred); in ProcessDeleteDtor() 1554 Pred = Bldr.generateNode(PP, State, Pred); in ProcessMemberDtor() 2325 Bldr.generateSink(S, Pred, Pred->getState()); in Visit() 2939 Pred = Bldr.generateNode(Pred->getLocation(), State, Pred); in processEndOfFunction() [all …]
|
H A D | ExprEngineCXX.cpp | 39 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject() 68 Bldr.takeNodes(Pred); in performTrivialCopy() 86 Dst.Add(Pred); in performTrivialCopy() 880 Bldr.generateNode(PP, Pred->getState(), Pred); in VisitCXXDestructor() 897 Pred->getState(), Pred); in VisitCXXDestructor() 1078 Bldr.takeNodes(Pred); in VisitCXXNewExpr() 1079 Pred = Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr() 1085 Bldr.takeNodes(Pred); in VisitCXXNewExpr() 1132 CDE, Pred->getState(), Pred->getLocationContext(), getCFGElementRef()); in VisitCXXDeleteExpr() 1153 Dst.Add(Pred); in VisitCXXCatchStmt() [all …]
|
H A D | ExprEngineC.cpp | 246 Bldr.generateNode(BE, Pred, in VisitBlockExpr() 257 ExplodedNode* Pred) { in handleLValueBitCast() argument 277 Bldr.generateNode(CastE, Pred, state); in handleLValueBitCast() 582 Dst.insert(Pred); in VisitDeclStmt() 668 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr() 672 ExplodedNode *N = Pred; in VisitLogicalExpr() 687 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr() 730 Bldr.generateNode(B, Pred, state->BindExpr(B, Pred->getLocationContext(), X)); in VisitLogicalExpr() 761 B.generateNode(IE, Pred, in VisitInitListExpr() 856 B.generateNode(OOE, Pred, in VisitOffsetOfExpr() [all …]
|
H A D | ExprEngineCallAndReturn.cpp | 61 ProgramStateRef state = Pred->getState(); in processCallEnter() 67 Node->addPredecessor(Pred, G); in processCallEnter() 171 std::tie(LastSt, Blk) = getLastStmt(Pred); in removeDeadOnEndOfFunction() 173 Dst.Add(Pred); in removeDeadOnEndOfFunction() 565 N->addPredecessor(Pred, G); in inlineCall() 572 Bldr.takeNodes(Pred); in inlineCall() 612 CE, Pred->getState(), Pred->getLocationContext(), getCFGElementRef()); in VisitCallExpr() 659 Dst.insert(Pred); in finishArgumentConstruction() 665 NodeBuilder B(Pred, Dst, *currBldrCtx); in finishArgumentConstruction() 669 B.generateNode(PP, CleanedState, Pred); in finishArgumentConstruction() [all …]
|
H A D | CheckerManager.cpp | 339 CheckerContext C(Bldr, Eng, Pred, L); in runChecker() 382 CheckerContext C(Bldr, Eng, Pred, L); in runChecker() 426 CheckerContext C(Bldr, Eng, Pred, L); in runChecker() 439 Src.insert(Pred); in runCheckersForBeginFunction() 455 NodeBuilder Bldr(Pred, Dst, BC); in runCheckersForEndFunction() 459 CheckerContext C(Bldr, Eng, Pred, L); in runCheckersForEndFunction() 484 CheckerContext C(Bldr, Eng, Pred, L); in runChecker() 497 Src.insert(Pred); in runCheckersForBranchCondition() 538 Src.insert(Pred); in runCheckersForNewAllocator() 656 for (auto *const Pred : Src) { in runCheckersForEvalCall() local [all …]
|
/freebsd/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 102 return {Pred, Make}; in onlyType() 110 return {Pred, Make}; in anyType() 118 return {Pred, Make}; in anyIntType() 140 return {Pred, Make}; in anyFloatType() 161 return {Pred, Make}; in anyPtrType() 182 return {Pred, Make}; in sizedPtrType() 217 return {Pred, Make}; in matchFirstLengthWAnyType() [all …]
|
/freebsd/contrib/llvm-project/llvm/lib/Analysis/ |
H A D | CmpInstAnalysis.cpp | 22 switch (Pred) { in getICmpCode() 67 assert(FCmpInst::FCMP_FALSE <= Pred && Pred <= FCmpInst::FCMP_TRUE && in getPredForFCmpCode() 85 switch (Pred) { in decomposeBitTestICmp() 93 Pred = ICmpInst::ICMP_NE; in decomposeBitTestICmp() 100 Pred = ICmpInst::ICMP_NE; in decomposeBitTestICmp() 107 Pred = ICmpInst::ICMP_EQ; in decomposeBitTestICmp() 114 Pred = ICmpInst::ICMP_EQ; in decomposeBitTestICmp() 121 Pred = ICmpInst::ICMP_EQ; in decomposeBitTestICmp() 128 Pred = ICmpInst::ICMP_EQ; in decomposeBitTestICmp() 135 Pred = ICmpInst::ICMP_NE; in decomposeBitTestICmp() [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/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExprEngine.h | 326 ExplodedNode *Pred); 332 ExplodedNode *Pred, 350 ExplodedNode *Pred, 372 ExplodedNode *Pred, 382 ExplodedNode *Pred); 386 void processCallExit(ExplodedNode *Pred); 454 ExplodedNode *Pred, 681 ExplodedNode *Pred, 767 ExplodedNode *Pred, 810 const ExplodedNode *Pred, [all …]
|
H A D | CoreEngine.h | 110 ExplodedNode *Pred); 121 ExplodedNode *Pred); 127 ExplodedNode *Pred); 295 PP, State, Pred, in generateNode() 358 ExplodedNode *Pred, 412 ExplodedNode *Pred, 422 ExplodedNode *Pred, 486 ExplodedNode *Pred; variable 530 return Pred->getLocationContext(); in getLocationContext() 538 ExplodedNode *Pred; 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() 95 return Pred->getLocationContext(); in getLocationContext() 99 return Pred->getStackFrame(); in getStackFrame() 150 return Pred->getSVal(S); in getSVal() 211 return generateSink(State, Pred, 227 return generateSink(State, Pred, 411 return Pred; [all …]
|
/freebsd/contrib/llvm-project/llvm/lib/Target/WebAssembly/ |
H A D | WebAssemblyFixIrreducibleControlFlow.cpp | 93 assert(inRegion(Pred)); in ReachabilityGraph() 214 if (!Enterers.count(Pred)) { in calculate() 215 WorkList.push_back(Pred); in calculate() 395 if (Pred != Dispatch) { in makeSingleEntryLoop() 396 AllPreds.push_back(Pred); in makeSingleEntryLoop() 403 for (auto *Pred : AllPreds) { in makeSingleEntryLoop() local 408 InLoop.insert(Pred); in makeSingleEntryLoop() 418 for (auto *Pred : AllPreds) { in makeSingleEntryLoop() local 431 for (auto *Pred : AllPreds) { in makeSingleEntryLoop() local 440 if (OtherPred != Pred) in makeSingleEntryLoop() [all …]
|
/freebsd/contrib/llvm-project/llvm/lib/Transforms/InstCombine/ |
H A D | InstCombineCompares.cpp | 968 Pred = CmpInst::getInversePredicate(Pred); in foldICmpShrConstConst() 1027 Pred = CmpInst::getInversePredicate(Pred); in foldICmpShlConstConst() 1502 Pred = Cmp.getSwappedPredicate(Pred); in foldICmpTruncWithTruncOrExt() 1581 Pred = Cmp.getSwappedPredicate(Pred); in foldICmpXorConstant() 2103 Pred = ICmpInst::getSwappedPredicate(Pred); in foldICmpMulConstant() 2143 Pred = ICmpInst::getSwappedPredicate(Pred); in foldICmpMulConstant() 2744 Pred = ICmpInst::getSwappedPredicate(Pred); in foldICmpDivConstant() 4452 Pred = ICmpInst::getSignedPredicate(Pred); in foldICmpXNegX() 4482 Pred = ICmpInst::getSwappedPredicate(Pred); in foldICmpAndXX() 4507 Pred = ICmpInst::getSwappedPredicate(Pred); in foldICmpOrXX() [all …]
|
H A D | InstCombineSelect.cpp | 898 Pred = ICmpInst::getInversePredicate(Pred); in canonicalizeSaturatedSubtract() 920 Pred = ICmpInst::getSwappedPredicate(Pred); in canonicalizeSaturatedSubtract() 978 Pred = CmpInst::getInversePredicate(Pred); in canonicalizeSaturatedAdd() 986 Pred = CmpInst::getSwappedPredicate(Pred); in canonicalizeSaturatedAdd() 988 if (Pred != ICmpInst::ICMP_ULT && Pred != ICmpInst::ICMP_ULE) in canonicalizeSaturatedAdd() 1040 Pred = ICmpInst::getSwappedPredicate(Pred); in foldAbsDiff() 2538 Inputs[Pred] = IfTrue->DoPHITranslation(BB, Pred); in foldSelectToPhiImpl() 2540 Inputs[Pred] = IfFalse->DoPHITranslation(BB, Pred); in foldSelectToPhiImpl() 2552 PN->addIncoming(Inputs[Pred], Pred); in foldSelectToPhiImpl() 2756 Pred = FCmpInst::getSwappedPredicate(Pred); in foldSelectWithFCmpToFabs() [all …]
|
/freebsd/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() 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() 264 NewIDom = Pred; in FindDominators() 283 for (; Pred != IDom; Pred = Pred->IDom) { in IsDefInDomFrontier() 284 if (Pred->DefBB == Pred) in IsDefInDomFrontier() [all …]
|
/freebsd/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/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
H A D | LoopConstrainer.cpp | 23 if (Pred != ICmpInst::ICMP_SLT && Pred != ICmpInst::ICMP_SGT && in isSafeDecreasingBound() 24 Pred != ICmpInst::ICMP_ULT && Pred != ICmpInst::ICMP_UGT) in isSafeDecreasingBound() 69 if (Pred != ICmpInst::ICMP_SLT && Pred != ICmpInst::ICMP_SGT && in isSafeIncreasingBound() 70 Pred != ICmpInst::ICMP_ULT && Pred != ICmpInst::ICMP_UGT) in isSafeIncreasingBound() 183 Pred = ICmpInst::getSwappedPredicate(Pred); in parseLoopStructure() 293 bool LTPred = (Pred == ICmpInst::ICMP_SLT || Pred == ICmpInst::ICMP_ULT); in parseLoopStructure() 294 bool GTPred = (Pred == ICmpInst::ICMP_SGT || Pred == ICmpInst::ICMP_UGT); in parseLoopStructure() 355 bool LTPred = (Pred == ICmpInst::ICMP_SLT || Pred == ICmpInst::ICMP_ULT); in parseLoopStructure() 356 bool GTPred = (Pred == ICmpInst::ICMP_SGT || Pred == ICmpInst::ICMP_UGT); in parseLoopStructure() 367 Pred == ICmpInst::ICMP_SLT || Pred == ICmpInst::ICMP_SGT; in parseLoopStructure() [all …]
|
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
H A D | ConstraintElimination.cpp | 97 : Pred(Pred), Op0(Op0), Op1(Op1) {} in ConditionTy() 609 switch (Pred) { in getConstraint() 614 Pred = CmpInst::getSwappedPredicate(Pred); in getConstraint() 639 if (Pred != CmpInst::ICMP_ULE && Pred != CmpInst::ICMP_ULT && in getConstraint() 640 Pred != CmpInst::ICMP_SLE && Pred != CmpInst::ICMP_SLT) in getConstraint() 753 Pred = CmpInst::getUnsignedPredicate(Pred); in getConstraintForSolving() 834 switch (Pred) { in transferToOtherSystem() 901 Pred = CmpInst::getSwappedPredicate(Pred); in addInfoForInductions() 1181 : Pred(Pred), LHS(LHS), RHS(RHS) {} in ReproducerEntry() 1440 Pred = CmpInst::getInversePredicate(Pred); in checkOrAndOpImpliedByOther() [all …]
|
H A D | LoopPredication.cpp | 254 : Pred(Pred), IV(IV), Limit(Limit) {} in LoopICmp() 365 Pred = ICmpInst::getSwappedPredicate(Pred); in parseLoopICmp() 464 NewLatchCheck.Pred = LatchCheck.Pred; in generateLoopLatchCheck() 646 RC.Pred = RC.Pred == ICmpInst::ICMP_NE ? in normalizePredicate() 795 PN->addIncoming(Pred == GuardBB ? AssumeCond : Builder.getTrue(), Pred); in widenWidenableBranchGuardConditions() 839 Result->Pred = ICmpInst::getInversePredicate(Result->Pred); in parseLoopLatchICmp() 856 return Pred != ICmpInst::ICMP_ULT && Pred != ICmpInst::ICMP_SLT && in parseLoopLatchICmp() 857 Pred != ICmpInst::ICMP_ULE && Pred != ICmpInst::ICMP_SLE; in parseLoopLatchICmp() 860 return Pred != ICmpInst::ICMP_UGT && Pred != ICmpInst::ICMP_SGT && in parseLoopLatchICmp() 861 Pred != ICmpInst::ICMP_UGE && Pred != ICmpInst::ICMP_SGE; in parseLoopLatchICmp() [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 115 Cond.Pred = Pred; in calculateUpperBound() 163 ICmpInst::Predicate Pred; in isProcessableCondBI() local 394 ICmpInst::Predicate Pred = ICmpInst::ICMP_NE; in splitLoopBound() local [all …]
|
/freebsd/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->isLayoutSuccessor(&ReturnMBB)) in processBlock() 145 PredToRemove.push_back(Pred); in processBlock()
|
/freebsd/contrib/llvm-project/llvm/lib/CodeGen/ |
H A D | MachineBlockPlacement.cpp | 1161 if (Pred == BB || (BlockFilter && !BlockFilter->count(Pred)) in canTailDuplicateUnplacedPreds() 1319 if (Pred == &BB) in precomputeTriangleChains() 1548 (Pred == BB)) in hasBetterLayoutPredecessor() 1564 MBFI->getBlockFreq(Pred) * MBPI->getEdgeProbability(Pred, Succ); in hasBetterLayoutPredecessor() 2006 MBFI->getBlockFreq(Pred) * MBPI->getEdgeProbability(Pred, NewTop); in FallThroughGains() 2009 BestPred = Pred; in FallThroughGains() 2119 BestPred = Pred; in findBestLoopTopHelper() 3155 if (Pred == LPred) in maybeTailDuplicateBlock() 3157 if (Pred == LPred || (BlockFilter && !BlockFilter->count(Pred)) in maybeTailDuplicateBlock() 3192 if (BB == Pred) in isBestSuccessor() [all …]
|
/freebsd/contrib/llvm-project/llvm/lib/Target/SystemZ/ |
H A D | SystemZTDC.cpp | 129 auto Pred = I.getPredicate(); in convertFCmp() local 149 (Pred & CmpInst::FCMP_OGE) != 0) 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 251 if (Pred == CmpInst::ICMP_SLT && Const->isZero()) { in convertICmp() 277 if (Pred == CmpInst::ICMP_NE) { in convertICmp() [all …]
|