Home
last modified time | relevance | path

Searched refs:getBlockID (Results 1 – 25 of 31) sorted by relevance

12

/llvm-project-15.0.7/clang/lib/Analysis/
H A DCFGReachabilityAnalysis.cpp28 const unsigned DstBlockID = Dst->getBlockID(); in isReachable()
37 return reachable[DstBlockID][Src->getBlockID()]; in isReachable()
46 ReachableSet &DstReachability = reachable[Dst->getBlockID()]; in mapReachability()
57 if (visited[block->getBlockID()]) in mapReachability()
59 visited[block->getBlockID()] = true; in mapReachability()
64 DstReachability[block->getBlockID()] = true; in mapReachability()
H A DUninitializedValues.cpp133 return vals[block->getBlockID()]; in getValueVector()
175 llvm::errs() << block->getBlockID() << " :"; in printVector()
563 SuccsVisited[block->getBlockID()] = block->succ_size(); in getUninitUse()
614 unsigned &SV = SuccsVisited[Pred->getBlockID()]; in getUninitUse()
635 unsigned BlockID = Block->getBlockID(); in getUninitUse()
847 wasAnalyzed[block->getBlockID()] = true; in runOnBlock()
856 if (wasAnalyzed[pred->getBlockID()]) { in runOnBlock()
947 wasAnalyzed[cfg.getEntry().getBlockID()] = true; in runUninitializedVariablesAnalysis()
951 PBH.currentBlock = block->getBlockID(); in runUninitializedVariablesAnalysis()
959 previouslyVisited[block->getBlockID()] = true; in runUninitializedVariablesAnalysis()
[all …]
H A DProgramPoint.cpp63 << castAs<BlockEntrance>().getBlock()->getBlockID(); in printJson()
69 << ", \"block_id\": " << FEP->getBlock()->getBlockID() in printJson()
137 Out << "Edge\", \"src_id\": " << E.getSrc()->getBlockID() in printJson()
138 << ", \"dst_id\": " << E.getDst()->getBlockID() << ", \"terminator\": "; in printJson()
H A DReachableCode.cpp319 if (!Reachable[Start->getBlockID()]) { in scanFromBlock()
321 Reachable[Start->getBlockID()] = true; in scanFromBlock()
362 unsigned blockID = B->getBlockID(); in scanFromBlock()
418 unsigned blockID = block->getBlockID(); in enqueue()
431 unsigned blockID = PredBlock->getBlockID(); in isDeadCodeRoot()
494 if (Reachable[Block->getBlockID()]) in scanBackwards()
534 if (Reachable[Block->getBlockID()]) in scanBackwards()
705 if (reachable[block->getBlockID()]) in FindUnreachableCode()
H A DConsumed.cpp1008 unsigned int CurrBlockOrder = VisitOrder[CurrBlock->getBlockID()]; in allBackEdgesVisited()
1011 if (*PI && CurrBlockOrder < VisitOrder[(*PI)->getBlockID()] ) in allBackEdgesVisited()
1022 auto &Entry = StateMapsArray[Block->getBlockID()]; in addInfo()
1036 auto &Entry = StateMapsArray[Block->getBlockID()]; in addInfo()
1047 assert(StateMapsArray[Block->getBlockID()] && "Block has no block info"); in borrowInfo()
1049 return StateMapsArray[Block->getBlockID()].get(); in borrowInfo()
1053 StateMapsArray[Block->getBlockID()] = nullptr; in discardInfo()
1060 auto &Entry = StateMapsArray[Block->getBlockID()]; in getInfo()
1069 return VisitOrder[From->getBlockID()] > VisitOrder[To->getBlockID()]; in isBackEdge()
1080 unsigned int BlockVisitOrder = VisitOrder[Block->getBlockID()]; in isBackEdgeTarget()
[all …]
H A DLiveVariables.cpp560 if (!everAnalyzedBlock[block->getBlockID()]) in computeLiveness()
561 everAnalyzedBlock[block->getBlockID()] = true; in computeLiveness()
589 return A->getBlockID() < B->getBlockID(); in dumpBlockLiveness()
596 llvm::errs() << "\n[ B" << (*it)->getBlockID() in dumpBlockLiveness()
631 llvm::errs() << "\n[ B" << B->getBlockID() in dumpExprLiveness()
H A DThreadSafety.cpp733 unsigned CurrBlockID = CurrBlock->getBlockID(); in traverseCFG()
749 unsigned PrevBlockID = (*PI)->getBlockID(); in traverseCFG()
803 unsigned exitID = CFGraph->getExit().getBlockID(); in traverseCFG()
813 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlock->getBlockID()]; in findBlockLocations()
845 BlockInfo[(*CurrBlock->pred_begin())->getBlockID()].ExitLoc; in findBlockLocations()
850 BlockInfo[(*CurrBlock->succ_begin())->getBlockID()].EntryLoc; in findBlockLocations()
2271 BlockInfo[CFGraph->getEntry().getBlockID()].Reachable = true; in runAnalysis()
2339 unsigned CurrBlockID = CurrBlock->getBlockID(); in runAnalysis()
2365 unsigned PrevBlockID = (*PI)->getBlockID(); in runAnalysis()
2439 CFGBlockInfo *PreLoop = &BlockInfo[FirstLoopBlock->getBlockID()]; in runAnalysis()
[all …]
H A DThreadSafetyCommon.cpp821 unsigned ArgIndex = BBInfo[Blk->getBlockID()].ProcessedPredecessors; in mergePhiNodesBackEdge()
848 BlockMap[B->getBlockID()] = BB; in enterCFG()
874 CurrentBlockInfo = &BBInfo[B->getBlockID()]; in enterCFGBlock()
884 CurrentBB->addPredecessor(BlockMap[Pred->getBlockID()]); in handlePredecessor()
885 BlockInfo *PredInfo = &BBInfo[Pred->getBlockID()]; in handlePredecessor()
956 ++BBInfo[Succ->getBlockID()].ProcessedPredecessors; in handleSuccessorBackEdge()
H A DCalledOnceCheck.cpp1300 return States[BB->getBlockID()]; in getState()
1304 return States[BB->getBlockID()]; in getState()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DUnreachableCodeChecker.cpp79 reachable.insert(CB->getBlockID()); in checkEndAnalysis()
98 if (reachable.count(CB->getBlockID())) in checkEndAnalysis()
106 if (!visited.count(CB->getBlockID())) in checkEndAnalysis()
110 if (reachable.count(CB->getBlockID())) in checkEndAnalysis()
181 visited.insert(CB->getBlockID()); in FindUnreachableEntryPoints()
188 if (!reachable.count((*I)->getBlockID())) { in FindUnreachableEntryPoints()
191 reachable.insert(CB->getBlockID()); in FindUnreachableEntryPoints()
192 if (!visited.count((*I)->getBlockID())) in FindUnreachableEntryPoints()
H A DTestAfterDivZeroChecker.cpp151 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame())); in setDivZeroMap()
161 ZeroState ZS(SR, C.getBlockID(), C.getStackFrame()); in hasDivZeroMap()
H A DDeadStoresChecker.cpp78 return reachable[block->getBlockID()]; in isReachable()
92 llvm::BitVector::reference isReachable = reachable[block->getBlockID()]; in computeReachableBlocks()
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp52 const auto &State = BlockToState[BlockIt->getSecond()->getBlockID()]; in getEnvironment()
67 return Succ && Succ->getBlockID() == Block.getBlockID(); in blockIndexInPredecessor()
213 BlockStates[Pred->getBlockID()]; in computeBlockInputState()
346 BlockStates[Entry.getBlockID()] = {Analysis.typeErasedInitialElement(), in runTypeErasedDataflowAnalysis()
372 BlockStates[Block->getBlockID()]; in runTypeErasedDataflowAnalysis()
385 BlockStates[Block->getBlockID()] = std::move(NewBlockState); in runTypeErasedDataflowAnalysis()
399 if (!BlockStates[Block->getBlockID()]) in runTypeErasedDataflowAnalysis()
/llvm-project-15.0.7/clang/include/clang/Analysis/Analyses/
H A DDominators.h106 llvm::errs() << "(" << (*I)->getBlockID() in dump()
108 << IDom->getBlock()->getBlockID() in dump()
128 llvm::errs() << "(" << (*I)->getBlockID() in dump()
129 << "," << (*I)->getBlockID() << ")\n"; in dump()
264 llvm::errs() << "(" << BB->getBlockID()
266 << isControlDependency->getBlockID()
H A DPostOrderCFGView.h58 if (VisitedBlockIDs.test(Block->getBlockID())) in insert()
60 VisitedBlockIDs.set(Block->getBlockID()); in insert()
68 return VisitedBlockIDs.test(Block->getBlockID()); in alreadySet()
H A DConsumed.h217 VisitOrder[BI->getBlockID()] = VisitOrderCounter++; in ConsumedBlockInfo()
H A DThreadSafetyCommon.h394 return BlockMap[B->getBlockID()]; in lookupBlock()
/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowWorklist.h36 if (Block && !EnqueuedBlocks[Block->getBlockID()]) { in enqueueBlock()
37 EnqueuedBlocks[Block->getBlockID()] = true; in enqueueBlock()
47 EnqueuedBlocks[B->getBlockID()] = false; in dequeue()
/llvm-project-15.0.7/mlir/lib/Target/SPIRV/Serialization/
H A DSerializeOps.cpp372 auto headerID = getBlockID(headerBlock); in processSelectionOp()
373 auto mergeID = getBlockID(mergeBlock); in processSelectionOp()
429 auto headerID = getBlockID(headerBlock); in processLoopOp()
430 auto continueID = getBlockID(continueBlock); in processLoopOp()
431 auto mergeID = getBlockID(mergeBlock); in processLoopOp()
H A DSerializer.h235 uint32_t getBlockID(Block *block) const { return blockIDMap.lookup(block); } in getBlockID() function
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DWorkList.cpp159 BE->getBlock()->getBlockID(), in enqueue()
229 BE->getBlock()->getBlockID(), in enqueue()
H A DCoreEngine.cpp100 FunctionSummaries->markVisitedBasicBlock(Entry->getBlockID(), in ExecuteWorkList()
243 FunctionSummaries->markVisitedBasicBlock(Blk->getBlockID(), in HandleBlockEdge()
310 unsigned BlockId = L.getBlock()->getBlockID(); in HandleBlockEntrance()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h131 unsigned getBlockID() const { in getBlockID() function
132 return NB.getContext().getBlock()->getBlockID(); in getBlockID()
/llvm-project-15.0.7/clang/lib/Sema/
H A DAnalysisBasedWarnings.cpp225 const unsigned ExitID = cfg->getExit().getBlockID(); in checkForRecursiveFunctionCall()
239 if (ExitID == SuccBlock->getBlockID()) in checkForRecursiveFunctionCall()
289 Queued[ThrowBlock.getBlockID()] = true; in throwEscapes()
296 if (!Succ.isReachable() || Queued[Succ->getBlockID()]) in throwEscapes()
299 if (Succ->getBlockID() == Body->getExit().getBlockID()) in throwEscapes()
312 Queued[Succ->getBlockID()] = true; in throwEscapes()
326 if (!Reachable[B->getBlockID()]) in visitReachableThrows()
415 if (!live[B->getBlockID()]) { in CheckFallThrough()
444 if (!live[B.getBlockID()]) in CheckFallThrough()
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DTestingSupport.h176 if (!AnalysisData.BlockStates[Block->getBlockID()])

12