Searched refs:BlockStates (Results 1 – 6 of 6) sorted by relevance
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | TypeErasedDataflowAnalysis.cpp | 213 BlockStates[Pred->getBlockID()]; in computeBlockInputState()
220 const StmtToEnvMapImpl StmtToEnv(CFCtx, BlockStates); in computeBlockInputState()
259 transfer(StmtToEnvMapImpl(CFCtx, BlockStates), *S, State.Env, in transferCFGStmt()
342 BlockStates.resize(CFCtx.getCFG().size(), llvm::None); in runTypeErasedDataflowAnalysis()
361 MaxAverageVisitsPerBlock * BlockStates.size(); in runTypeErasedDataflowAnalysis()
372 BlockStates[Block->getBlockID()]; in runTypeErasedDataflowAnalysis()
374 transferBlock(CFCtx, BlockStates, *Block, InitEnv, Analysis); in runTypeErasedDataflowAnalysis()
385 BlockStates[Block->getBlockID()] = std::move(NewBlockState); in runTypeErasedDataflowAnalysis()
399 if (!BlockStates[Block->getBlockID()]) in runTypeErasedDataflowAnalysis()
402 CFCtx, BlockStates, *Block, InitEnv, Analysis, in runTypeErasedDataflowAnalysis()
[all …]
|
| /llvm-project-15.0.7/llvm/lib/Target/X86/ |
| H A D | X86VZeroUpper.cpp | 103 BlockStateMap BlockStates; member in __anon3a86b3330111::VZeroUpperInserter
192 if (!BlockStates[MBB.getNumber()].AddedToDirtySuccessors) { in addDirtySuccessor()
194 BlockStates[MBB.getNumber()].AddedToDirtySuccessors = true; in addDirtySuccessor()
204 BlockStates[MBB.getNumber()].FirstUnguardedCall = MBB.end(); in processBasicBlock()
265 BlockStates[MBB.getNumber()].FirstUnguardedCall = MI; in processBasicBlock()
277 BlockStates[MBB.getNumber()].ExitState = CurState; in processBasicBlock()
314 assert(BlockStates.empty() && DirtySuccessors.empty() && in runOnMachineFunction()
316 BlockStates.resize(MF.getNumBlockIDs()); in runOnMachineFunction()
335 BlockState &BBState = BlockStates[MBB.getNumber()]; in runOnMachineFunction()
353 BlockStates.clear(); in runOnMachineFunction()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysis.h | 150 BlockStates; variable
151 BlockStates.reserve(TypeErasedBlockStates->size());
154 std::back_inserter(BlockStates), [](auto &OptState) {
162 return BlockStates;
|
| H A D | TypeErasedDataflowAnalysis.h | 128 std::vector<llvm::Optional<TypeErasedDataflowAnalysisState>> &BlockStates,
|
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | TestingSupport.h | 71 std::vector<llvm::Optional<TypeErasedDataflowAnalysisState>> &BlockStates; member
136 auto &BlockStates = *MaybeBlockStates; variable
139 Analysis, Annotations, BlockStates};
164 if (AnalysisData.BlockStates.empty()) {
176 if (!AnalysisData.BlockStates[Block->getBlockID()])
180 AnalysisData.CFCtx, AnalysisData.BlockStates, *Block,
|
| H A D | TypeErasedDataflowAnalysisTest.cpp | 80 auto BlockStates = llvm::cantFail( in TEST() local
84 EXPECT_EQ(BlockStates.size(), 2u); in TEST()
85 EXPECT_TRUE(BlockStates[0].has_value()); in TEST()
86 EXPECT_TRUE(BlockStates[1].has_value()); in TEST()
|