We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7711518 commit 47093f8Copy full SHA for 47093f8
tests/filecheck/rewrite-tensors/rewrite-smt-tensor.mlir
@@ -15,4 +15,4 @@ builtin.module {
15
// CHECK: %0 = "smt.declare_const"() : () -> !smt.tensor.tensor<[3 : i64, 3 : i64], !smt.fp<8, 24>, none>
16
// CHECK-NEXT: %idx1 = "smt.declare_const"() : () -> !smt.bv<64>
17
// CHECK-NEXT: %idx2 = "smt.declare_const"() : () -> !smt.bv<64>
18
-// CHECK-NEXT: %extract = "smt.tensor.extract"(%0, %idx2, %idx1) : (!smt.tensor.tensor<[3 : i64, 3 : i64], !smt.fp<8, 24>, none>, !smt.bv<64>, !smt.bv<64>) -> !smt.fp<8, 24>
+// CHECK-NEXT: %extract = "smt.tensor.extract"(%0, %idx2, %idx1) : (!smt.tensor.tensor<[3 : i64, 3 : i64], !smt.fp<8, 24>, none>, !smt.bv<64>, !smt.bv<64>) -> !smt.fp<8, 24>
0 commit comments