[Mlir-commits] [mlir] [mlir][SMT] fix the operation name in ArrayBroadcastOp description (PR #135746)

[llvmlistbot at llvm.org]

https://github.com/Clo91eaf created https://github.com/llvm/llvm-project/pull/135746

https://github.com/llvm/circt/pull/8299#issue-2895954890
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`.

>From 4c47c5bfbe9036a36b2f9b8e45e2759c4ada0183 Mon Sep 17 00:00:00 2001
From: Clo91eaf <Clo91eaf at qq.com>
Date: Tue, 15 Apr 2025 13:17:51 +0800
Subject: [PATCH] [mlir][SMT] fix the operation name in ArrayBroadcastOp
 description

Signed-off-by: Clo91eaf <Clo91eaf at qq.com>
---
 mlir/include/mlir/Dialect/SMT/IR/SMTArrayOps.td | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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]>