[OM] Update result type for EmptyPathOp. (#6481)

It looks like this may have been intended for this to be PathType.
llvm · Dec 2, 2023 · 670a347 · 670a347
1 parent f3e5bc9
commit 670a347
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/include/circt/Dialect/OM/OMOps.td b/include/circt/Dialect/OM/OMOps.td
@@ -365,7 +365,7 @@ def EmptyPathOp : OMOp<"path_empty", [Pure]> {
     }
     ```
   }];
-  let results = (outs FrozenPathType:$result);
+  let results = (outs PathType:$result);
   let assemblyFormat = "attr-dict";
 }
 

diff --git a/test/Dialect/OM/round-trip.mlir b/test/Dialect/OM/round-trip.mlir
@@ -259,6 +259,10 @@ om.class @Path(%basepath: !om.basepath) {
   %1 = om.path_create reference %basepath @HierPath
   // CHECK: #om<path[Foo:foo, Bar:bar]>
   %2 = om.constant 1 : i1 { foo = #om<path[Foo:foo, Bar:bar]>}
+  // CHECK: %[[v3:.+]] = om.path_empty
+  %3 = om.path_empty
+  // CHECK: om.class.field @path_empty, %[[v3]] : !om.path
+  om.class.field @path_empty, %3 : !om.path
 }
 
 om.class @FrozenPath(%basepath: !om.frozenbasepath) {
-Original file line number
+Diff line change
@@ Expand Up / @@ -365,7 +365,7 @@ def EmptyPathOp : OMOp<"path_empty", [Pure]> { @@
         }
         ```
       }];
-      let results = (outs FrozenPathType:$result);
+      let results = (outs PathType:$result);
       let assemblyFormat = "attr-dict";
     }
@@ Expand Down @@