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

[llvmlistbot at llvm.org]

llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-mlir

Author: Clo91eaf (Clo91eaf)

<details>
<summary>Changes</summary>

https://github.com/llvm/circt/pull/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
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]>

``````````

</details>


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