SpecDB: Add OutTensor specs for convolution.default (#6)

Summary: Pull Request resolved: #6

Reviewed By: tarun292

Differential Revision: D59589875

fbshipit-source-id: 61d52f8d894575c66db9c5c7772e738de21afdf3

Author: manuelcandales

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(