[MLIR][IR] Rename Block::hasTerminator to mightHaveTerminator()

This `Block` member function introduced in
87d77d3 may be misleading to users as
the last operation in the block might have not been registered, so
there would be no way to ensure that is a terminator.

Signed-off-by: Victor Perez <[email protected]>

Author: victor-eds

mlir/include/mlir/IR/Block.h

@@ -215,7 +215,7 @@ class Block : public IRObjectWithUseList<BlockOperand>,
   Operation *getTerminator();
 
   /// Check whether this block has a terminator.
-  bool hasTerminator();
+  bool mightHaveTerminator();
 
   //===--------------------------------------------------------------------===//
   // Predecessors and successors.

mlir/lib/Dialect/Transform/IR/TransformOps.cpp

@@ -2188,7 +2188,7 @@ LogicalResult transform::SequenceOp::verify() {
     }
   }
 
-  if (!getBodyBlock()->hasTerminator())
+  if (!getBodyBlock()->mightHaveTerminator())
     return emitOpError() << "expects to have a terminator in the body";
 
   if (getBodyBlock()->getTerminator()->getOperandTypes() !=

mlir/lib/IR/Block.cpp

@@ -236,12 +236,12 @@ void Block::eraseArguments(function_ref<bool(BlockArgument)> shouldEraseFn) {
 /// Get the terminator operation of this block. This function asserts that
 /// the block has a valid terminator operation.
 Operation *Block::getTerminator() {
-  assert(hasTerminator());
+  assert(mightHaveTerminator());
   return &back();
 }
 
 /// Check whether this block has a terminator.
-bool Block::hasTerminator() {
+bool Block::mightHaveTerminator() {
   return !empty() && back().mightHaveTrait<OpTrait::IsTerminator>();
 }