SpecDB: Add OutTensor specs for convolution.default

Differential Revision: D59589875
pytorch-labs · Jul 10, 2024 · 0e0a372 · 0e0a372
1 parent a88dd7e
commit 0e0a372
Showing 1 changed file with 9 additions and 7 deletions.
diff --git a/specdb/db.py b/specdb/db.py
@@ -1284,12 +1284,7 @@
                     cp.Value.Ge(lambda deps, length, ix: 1),
                 ],
             ),
-            InPosArg(  # transposed
-                ArgType.Bool,
-                name="transposed",
-                # TODO(mcandales): Executorch specific constraint
-                # constraints=[cp.Value.Eq(lambda deps: False)],
-            ),
+            InPosArg(ArgType.Bool, name="transposed"),
             InPosArg(  # output_padding
                 ArgType.LengthList,
                 name="output_padding",
@@ -1320,7 +1315,14 @@
             ),
         ],
         outspec=[
-            OutArg(ArgType.Tensor),
+            OutArg(
+                ArgType.Tensor,
+                constraints=[
+                    cp.Dtype.Eq(
+                        lambda deps: deps[0].dtype,
+                    ),
+                ],
+            )
         ],
     ),
     Spec(