| /llvm-project-15.0.7/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 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext()); in VisitObjCMessage() 199 Pred = Bldr.generateNode(ME, Pred, nilState, nullptr, in VisitObjCMessage() 203 if (!Pred) in VisitObjCMessage() 220 Pred = Bldr.generateNode(ME, Pred, notNilState); in VisitObjCMessage() 223 if (!Pred) in VisitObjCMessage() 243 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() 348 Term, B, Pred); in HandleBlockExit() 365 Pred->State, Pred); in HandleBlockExit() 446 Pred->State, Pred); in HandleBlockExit() 494 HandleBlockExit(B, Pred); in HandlePostStmt() 510 HandleBlockEdge(Loc, Pred); in HandleVirtualBaseBranch() 521 HandleBlockEdge(Loc, Pred); in HandleVirtualBaseBranch() [all …]
|
| H A D | ExprEngine.cpp | 973 Dst.Add(Pred); in ProcessLoopExit() 1056 Tmp.insert(Pred); in ProcessInitializer() 1115 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator() 1174 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessDeleteDtor() 1787 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr, in Visit() 1982 Bldr.generateSink(S, Pred, Pred->getState()); in Visit() 2416 NullCondBldr.generateNode(Pred->getState(), true, Pred); in processBranch() 2563 Pred->getStackFrame(), Pred->getState())); in processEndOfFunction() 2597 Pred = Bldr.generateNode(Pred->getLocation(), State, Pred); in processEndOfFunction() 2598 if (!Pred) { in processEndOfFunction() [all …]
|
| H A D | ExprEngineCXX.cpp | 35 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject() 71 Bldr.takeNodes(Pred); in performTrivialCopy() 672 Pred = *BldrPrepare.begin(); in handleConstructor() 824 Bldr.generateNode(PP, Pred->getState(), Pred); in VisitCXXDestructor() 841 Pred->getState(), Pred); in VisitCXXDestructor() 1018 Bldr.takeNodes(Pred); in VisitCXXNewExpr() 1019 Pred = Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr() 1025 Bldr.takeNodes(Pred); in VisitCXXNewExpr() 1072 CDE, Pred->getState(), Pred->getLocationContext()); in VisitCXXDeleteExpr() 1093 Dst.Add(Pred); in VisitCXXCatchStmt() [all …]
|
| H A D | ExprEngineC.cpp | 250 Bldr.generateNode(BE, Pred, in VisitBlockExpr() 261 ExplodedNode* Pred) { in handleLValueBitCast() argument 314 Pred = *I; in VisitCast() 590 Dst.insert(Pred); in VisitDeclStmt() 676 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr() 680 ExplodedNode *N = Pred; in VisitLogicalExpr() 695 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr() 738 Bldr.generateNode(B, Pred, state->BindExpr(B, Pred->getLocationContext(), X)); in VisitLogicalExpr() 769 B.generateNode(IE, Pred, in VisitInitListExpr() 864 B.generateNode(OOE, Pred, in VisitOffsetOfExpr() [all …]
|
| H A D | ExprEngineCallAndReturn.cpp | 60 ProgramStateRef state = Pred->getState(); in processCallEnter() 66 Node->addPredecessor(Pred, G); in processCallEnter() 170 std::tie(LastSt, Blk) = getLastStmt(Pred); in removeDeadOnEndOfFunction() 172 Dst.Add(Pred); in removeDeadOnEndOfFunction() 513 N->addPredecessor(Pred, G); in inlineCall() 520 Bldr.takeNodes(Pred); in inlineCall() 560 = CEMgr.getSimpleCall(CE, Pred->getState(), Pred->getLocationContext()); in VisitCallExpr() 609 Dst.insert(Pred); in finishArgumentConstruction() 615 NodeBuilder B(Pred, Dst, *currBldrCtx); in finishArgumentConstruction() 619 B.generateNode(PP, CleanedState, Pred); in finishArgumentConstruction() [all …]
|
| H A D | CheckerManager.cpp | 341 CheckerContext C(Bldr, Eng, Pred, L); in runChecker() 384 CheckerContext C(Bldr, Eng, Pred, L); in runChecker() 428 CheckerContext C(Bldr, Eng, Pred, L); in runChecker() 441 Src.insert(Pred); in runCheckersForBeginFunction() 457 NodeBuilder Bldr(Pred, Dst, BC); in runCheckersForEndFunction() 461 CheckerContext C(Bldr, Eng, Pred, L); in runCheckersForEndFunction() 486 CheckerContext C(Bldr, Eng, Pred, L); in runChecker() 499 Src.insert(Pred); in runCheckersForBranchCondition() 540 Src.insert(Pred); in runCheckersForNewAllocator() 658 for (auto *const Pred : Src) { in runCheckersForEvalCall() local [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/ranges/range.adaptors/range.filter/ |
| H A D | constraints.compile.pass.cpp | 25 template <class View, class Pred> 27 typename std::ranges::filter_view<View, Pred>; 43 struct Pred { bool operator()(int) const; }; struct 48 static_assert( std::is_object_v<Pred>); 58 struct Pred { }; struct 63 static_assert( std::is_object_v<Pred>); 73 struct Pred { bool operator()(int) const; }; struct 78 static_assert( std::is_object_v<Pred>); 88 using Pred = bool(&)(int); typedef 93 static_assert(!std::is_object_v<Pred>); [all …]
|
| H A D | pred.pass.cpp | 27 struct Pred { struct 34 Pred pred{42}; in test() argument 35 std::ranges::filter_view<Range, Pred> const view(Range{}, pred); in test() 36 std::same_as<Pred const&> decltype(auto) result = view.pred(); in test() 40 std::same_as<Pred const&> decltype(auto) result2 = view.pred(); in test() 46 Pred pred{42}; in test() 47 std::ranges::filter_view<Range, Pred> view(Range{}, pred); in test() 48 std::same_as<Pred const&> decltype(auto) result = view.pred(); in test() 52 std::same_as<Pred const&> decltype(auto) result2 = view.pred(); in test()
|
| H A D | adaptor.pass.cpp | 47 struct Pred { struct 69 using Result = std::ranges::filter_view<Range, Pred>; in test() argument 71 Pred pred; in test() 86 using Result = std::ranges::filter_view<Range, Pred>; in test() 88 Pred pred; in test() 103 using Result = std::ranges::filter_view<Range, Pred>; in test() 105 Pred pred; in test() 147 static_assert( CanBePiped<Range, decltype(std::views::filter(Pred{}))>); in test() 148 static_assert(!CanBePiped<NotAView, decltype(std::views::filter(Pred{}))>); in test() 152 static_assert(!std::is_invocable_v<decltype(std::views::filter), Pred, Range>); in test() [all …]
|
| H A D | base.pass.cpp | 36 struct Pred { struct 59 std::ranges::filter_view<Range, Pred> const view(range, Pred{}); in test() 69 std::ranges::filter_view<Range, Pred> view(range, Pred{}); in test() 78 static_assert(!can_call_base_on<std::ranges::filter_view<NoCopyRange, Pred> const&>); in test() 79 static_assert(!can_call_base_on<std::ranges::filter_view<NoCopyRange, Pred>&>); in test() 80 static_assert( can_call_base_on<std::ranges::filter_view<NoCopyRange, Pred>&&>); in test() 81 static_assert( can_call_base_on<std::ranges::filter_view<NoCopyRange, Pred>>); in test()
|
| /llvm-project-15.0.7/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() 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()
|
| /llvm-project-15.0.7/llvm/include/llvm/FuzzMutate/ |
| H A D | OpDescriptor.h | 54 PredT Pred; 59 SourcePred(PredT Pred, MakeT Make) : Pred(Pred), Make(Make) {} in SourcePred() argument 60 SourcePred(PredT Pred, NoneType) : Pred(Pred) { in SourcePred() argument 101 return {Pred, Make}; in onlyType() 109 return {Pred, Make}; in anyType() 117 return {Pred, Make}; in anyIntType() 125 return {Pred, Make}; in anyFloatType() 139 return {Pred, Make}; in anyPtrType() 161 return {Pred, Make}; in sizedPtrType() 179 return {Pred, Find}; in anyAggregateType() [all …]
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 325 ExplodedNode *Pred); 331 ExplodedNode *Pred, 371 ExplodedNode *Pred, 381 ExplodedNode *Pred); 385 void processCallExit(ExplodedNode *Pred); 453 ExplodedNode *Pred, 682 ExplodedNode *Pred, 767 ExplodedNode *Pred, 776 ExplodedNode *Pred, 819 const ExplodedNode *Pred, [all …]
|
| H A D | CoreEngine.h | 109 ExplodedNode *Pred); 120 ExplodedNode *Pred); 126 ExplodedNode *Pred); 298 PP, State, Pred, in generateNode() 361 ExplodedNode *Pred, 415 ExplodedNode *Pred, 425 ExplodedNode *Pred, 489 ExplodedNode *Pred; variable 528 return Pred->getLocationContext(); in getLocationContext() 536 ExplodedNode *Pred; variable [all …]
|
| H A D | CheckerContext.h | 26 ExplodedNode *Pred; variable 46 Pred(pred), in Eng() 51 assert(Pred->getState() && in Eng() 70 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor() 94 return Pred->getLocationContext(); in getLocationContext() 98 return Pred->getStackFrame(); in getStackFrame() 149 return Pred->getSVal(S); in getSVal() 210 return generateSink(State, Pred, 238 ExplodedNode *Pred, 394 return Pred; [all …]
|
| /llvm-project-15.0.7/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 …]
|
| /llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineCompares.cpp | 1105 if (Pred == ICmpInst::ICMP_UGT || Pred == ICmpInst::ICMP_UGE) in foldICmpAddOpConst() 1143 Pred = CmpInst::getInversePredicate(Pred); in foldICmpShrConstConst() 1202 Pred = CmpInst::getInversePredicate(Pred); in foldICmpShlConstConst() 1636 Pred = Cmp.getSwappedPredicate(Pred); in foldICmpXorConstant() 2000 Pred = ICmpInst::getSwappedPredicate(Pred); in foldICmpMulConstant() 2033 Pred = ICmpInst::getSwappedPredicate(Pred); in foldICmpMulConstant() 2423 Pred != ICmpInst::ICMP_EQ && Pred != ICmpInst::ICMP_NE) in foldICmpSRemConstant() 2450 if (Pred == ICmpInst::ICMP_EQ || Pred == ICmpInst::ICMP_NE) in foldICmpSRemConstant() 2631 Pred = ICmpInst::getSwappedPredicate(Pred); in foldICmpDivConstant() 4055 Pred = ICmpInst::getSwappedPredicate(Pred); in foldICmpXNegX() [all …]
|
| /llvm-project-15.0.7/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 …]
|
| /llvm-project-15.0.7/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 …]
|
| /llvm-project-15.0.7/mlir/lib/TableGen/ |
| H A D | Predicate.cpp | 26 Pred::Pred(const llvm::Record *record) : def(record) { in Pred() function in Pred 32 Pred::Pred(const llvm::Init *init) { in Pred() function in Pred 37 std::string Pred::getCondition() const { in getCondition() 46 bool Pred::isCombined() const { in isCombined() 50 ArrayRef<SMLoc> Pred::getLoc() const { return def->getLoc(); } in getLoc() 52 CPred::CPred(const llvm::Record *record) : Pred(record) { in CPred() 57 CPred::CPred(const llvm::Init *init) : Pred(init) { in CPred() 73 CombinedPred::CombinedPred(const llvm::Init *init) : Pred(init) { in CombinedPred() 106 const Pred *predicate; 118 static PredCombinerKind getPredCombinerKind(const Pred &pred) { in getPredCombinerKind() [all …]
|
| /llvm-project-15.0.7/mlir/include/mlir/TableGen/ |
| H A D | Predicate.h | 34 class Pred { 37 explicit Pred() {} in Pred() function 39 explicit Pred(const llvm::Record *record); 41 explicit Pred(const llvm::Init *init); 60 bool operator==(const Pred &other) const { return def == other.def; } 66 friend llvm::hash_code hash_value(Pred pred) { in hash_value() 77 class CPred : public Pred { 90 class CombinedPred : public Pred {
|
| /llvm-project-15.0.7/llvm/examples/IRTransforms/ |
| H A D | SimplifyCFG.cpp | 271 BasicBlock *Pred = BB.getSinglePredecessor(); in mergeIntoSinglePredecessor_v1() local 274 if (!Pred || Pred->getSingleSuccessor() != &BB) in mergeIntoSinglePredecessor_v1() 278 if (Pred == &BB) in mergeIntoSinglePredecessor_v1() 282 BB.replaceAllUsesWith(Pred); in mergeIntoSinglePredecessor_v1() 290 I.moveBefore(Pred->getTerminator()); in mergeIntoSinglePredecessor_v1() 294 Pred->getTerminator()->eraseFromParent(); in mergeIntoSinglePredecessor_v1() 316 if (!Pred || Pred->getSingleSuccessor() != &BB) in mergeIntoSinglePredecessor_v2() 320 if (Pred == &BB) in mergeIntoSinglePredecessor_v2() 333 BB.replaceAllUsesWith(Pred); in mergeIntoSinglePredecessor_v2() 341 I.moveBefore(Pred->getTerminator()); in mergeIntoSinglePredecessor_v2() [all …]
|
| /llvm-project-15.0.7/llvm/lib/FuzzMutate/ |
| H A D | RandomIRBuilder.cpp | 29 SourcePred Pred) { in findOrCreateSource() argument 30 auto MatchesPred = [&Srcs, &Pred](Instruction *Inst) { in findOrCreateSource() 31 return Pred.matches(Srcs, Inst); in findOrCreateSource() 38 return newSource(BB, Insts, Srcs, Pred); in findOrCreateSource() 42 ArrayRef<Value *> Srcs, SourcePred Pred) { in newSource() argument 45 RS.sample(Pred.generate(Srcs, KnownTypes)); in newSource() 48 Value *Ptr = findPointer(BB, Insts, Srcs, Pred); in newSource() 63 if (Pred.matches(Srcs, NewLoad)) in newSource() 138 ArrayRef<Value *> Srcs, SourcePred Pred) { in findPointer() argument 139 auto IsMatchingPtr = [&Srcs, &Pred](Instruction *Inst) { in findPointer() [all …]
|