Lines Matching defs:Block

153     const CFGBlock *Block;
213           JOS.attribute("block", blockID(E.Block->getBlockID()));
248   static std::string blockID(unsigned Block) {
249     return llvm::formatv("B{0}", Block);
251   static std::string eltID(unsigned Block, unsigned Element) {
252     return llvm::formatv("B{0}.{1}", Block, Element);
254   static std::string iterID(unsigned Block, unsigned Iter) {
255     return llvm::formatv("B{0}:{1}", Block, Iter);
257   static std::string elementIterID(unsigned Block, unsigned Iter,
259     return llvm::formatv("B{0}:{1}_B{0}.{2}", Block, Iter, Element);
269     unsigned Block = Iters.back().Block->getBlockID();
272     JOS.attributeObject(elementIterID(Block, Iter, ElementIndex), [&] {
273       JOS.attribute("block", blockID(Block));
281             Iters.back().Block->Elements[ElementIndex - 1].getAs<CFGStmt>();
309     BlockConverged[Iters.back().Block->getBlockID()] = true;
423     for (const auto *Block : ACFG->getCFG()) {
425       for (const auto& Elt : *Block) {
443             State[Off + I].assign(Block->getBlockID(), EltIndex, Len);
510     for (const auto *Block : CFG) {
511       for (const auto &Succ : Block->succs()) {
513           GraphS << "  " << blockID(Block->getBlockID()) << " -> "