[mlir][SMT] fix the operation name in ArrayBroadcastOp description

[Clo91eaf]

llvm/circt#8299
a simple typo fix moved from circt :p
Fixed a minor issue in the SMT description. The SMT dialect does not have smt.declare operation. It should be smt.declare_fun.

[llvmbot]

@llvm/pr-subscribers-mlir

Author: Clo91eaf (Clo91eaf)

Changes

llvm/circt#8299
a simple typo fix moved from circt :p
Fixed a minor issue in the SMT description. The SMT dialect does not have smt.declare operation. It should be smt.declare_fun.

---

Full diff: https://github.com/llvm/llvm-project/pull/135746.diff

1 Files Affected:

• (modified) mlir/include/mlir/Dialect/SMT/IR/SMTArrayOps.td (+1-1)

diff --git a/mlir/include/mlir/Dialect/SMT/IR/SMTArrayOps.td b/mlir/include/mlir/Dialect/SMT/IR/SMTArrayOps.td
index 1869f4ae81595..ac1c2f3ed409a 100644
--- a/mlir/include/mlir/Dialect/SMT/IR/SMTArrayOps.td
+++ b/mlir/include/mlir/Dialect/SMT/IR/SMTArrayOps.td
@@ -75,7 +75,7 @@ def ArrayBroadcastOp : SMTArrayOp<"broadcast", [
     This operation represents a broadcast of the 'value' operand to all indices
     of the array. It is equivalent to
     ```
-    %0 = smt.declare "array" : !smt.array<[!smt.int -> !smt.bool]>
+    %0 = smt.declare_fun "array" : !smt.array<[!smt.int -> !smt.bool]>
     %1 = smt.forall ["idx"] {
     ^bb0(%idx: !smt.int):
       %2 = smt.array.select %0[%idx] : !smt.array<[!smt.int -> !smt.bool]>

[SpriteOvO]

LGTM. Thanks!