Add file

Author: Hatsunespica

tests/filecheck/dialects/tensor-theory/ops.mlir

@@ -17,4 +17,4 @@ builtin.module {
   %eq_zero = "smt.eq"(%extract, %zero) : (!smt.fp<8,24>, !smt.fp<8,24>) -> !smt.bool
   "smt.assert"(%eq_zero) : (!smt.bool) -> ()
   // CHECK-NEXT: // CHECK-NEXT: (declare-const $idx2 (_ BitVec 64))
-}
+}