Home | History | Annotate | Download | only in Analysis

Lines Matching full:blockinfo

1335     BlockInfo.addInfo(*SI, std::move(CurrStates));
1340     BlockInfo.addInfo(*SI, std::move(FalseStates));
1359   BlockInfo = ConsumedBlockInfo(CFGraph->getNumBlockIDs(), SortedGraph);
1371       CurrStates = BlockInfo.getInfo(CurrBlock);
1433           if (BlockInfo.isBackEdge(CurrBlock, *SI)) {
1434             BlockInfo.borrowInfo(*SI)->intersectAtLoopHead(
1437             if (BlockInfo.allBackEdgesVisited(CurrBlock, *SI))
1438               BlockInfo.discardInfo(*SI);
1440             BlockInfo.addInfo(*SI, RawState, CurrStates);