Lines Matching defs:Block

152     const CFGBlock *Block;
212           JOS.attribute("block", blockID(E.Block->getBlockID()));
247   static std::string blockID(unsigned Block) {
248     return llvm::formatv("B{0}", Block);
250   static std::string eltID(unsigned Block, unsigned Element) {
251     return llvm::formatv("B{0}.{1}", Block, Element);
253   static std::string iterID(unsigned Block, unsigned Iter) {
254     return llvm::formatv("B{0}:{1}", Block, Iter);
256   static std::string elementIterID(unsigned Block, unsigned Iter,
258     return llvm::formatv("B{0}:{1}_B{0}.{2}", Block, Iter, Element);
268     unsigned Block = Iters.back().Block->getBlockID();
271     JOS.attributeObject(elementIterID(Block, Iter, ElementIndex), [&] {
272       JOS.attribute("block", blockID(Block));
280             Iters.back().Block->Elements[ElementIndex - 1].getAs<CFGStmt>();
308     BlockConverged[Iters.back().Block->getBlockID()] = true;
422     for (const auto *Block : ACFG->getCFG()) {
424       for (const auto& Elt : *Block) {
442             State[Off + I].assign(Block->getBlockID(), EltIndex, Len);
509     for (const auto *Block : CFG) {
510       for (const auto &Succ : Block->succs()) {
512           GraphS << "  " << blockID(Block->getBlockID()) << " -> "