58   verifyBlock(Block &block,
99 static bool mayBeValidWithoutTerminator(Block *block) {  in mayBeValidWithoutTerminator()  argument
100   if (!block->getParent())  in mayBeValidWithoutTerminator()
102   if (!llvm::hasSingleElement(*block->getParent()))  in mayBeValidWithoutTerminator()
104   Operation *op = block->getParentOp();  in mayBeValidWithoutTerminator()
109     Block &block, SmallVectorImpl<Operation *> &opsWithIsolatedRegions) {  in verifyBlock()  argument
111   for (auto arg : block.getArguments())  in verifyBlock()
112     if (arg.getOwner() != &block)  in verifyBlock()
116   if (block.empty()) {  in verifyBlock()
117     if (mayBeValidWithoutTerminator(&block))  in verifyBlock()
119     return emitError(block.getParent()->getLoc(),  in verifyBlock()
125   for (Operation &op : block) {  in verifyBlock()
127     if (op.getNumSuccessors() != 0 && &op != &block.back())  in verifyBlock()
149   for (Block *successor : block.getSuccessors())  in verifyBlock()
150     if (successor->getParent() != block.getParent())  in verifyBlock()
151       return block.back().emitOpError(  in verifyBlock()
155   if (mayBeValidWithoutTerminator(&block))  in verifyBlock()
158   Operation &terminator = block.back();  in verifyBlock()
160     return block.back().emitError("block with no terminator, has ")  in verifyBlock()
224         for (Block &block : region)  in verifyOperation()
225           if (failed(verifyBlock(block, opsWithIsolatedRegions)))  in verifyOperation()
334     for (Block &block : region) {  in verifyDominanceOfContainedRegions()
336       bool isReachable = domInfo.isReachableFromEntry(&block);  in verifyDominanceOfContainedRegions()
338       for (Operation &op : block) {  in verifyDominanceOfContainedRegions()