From 01d98e8fa0770ad978c4f8fafc56f17a889a75be Mon Sep 17 00:00:00 2001
From: Will Dietz <will.dietz@sifive.com>
Date: Mon, 29 Jul 2024 11:30:46 -0500
Subject: [PATCH] [FIRRTL] Touchup {parse,emit}-basic.fir for `--parse-only`.
 (#7397)

Minor tweaks to the FIRRTL/IR so that it's legal
enough to survive `--parse-only`.

"OMDeleted" -> "OMDeleted:"
Fixup intrinsic signature.
---
 test/Dialect/FIRRTL/emit-basic.mlir | 4 ++--
 test/Dialect/FIRRTL/parse-basic.fir | 8 ++++----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/test/Dialect/FIRRTL/emit-basic.mlir b/test/Dialect/FIRRTL/emit-basic.mlir
index 849ec58a9c76..7904e72473d5 100644
--- a/test/Dialect/FIRRTL/emit-basic.mlir
+++ b/test/Dialect/FIRRTL/emit-basic.mlir
@@ -655,8 +655,8 @@ firrtl.circuit "Foo" {
     %d = firrtl.double 0.333333333333333333333333333333333333333
     firrtl.propassign %double, %d : !firrtl.double
 
-    // CHECK: propassign path, path("OMDeleted")
-    %p = firrtl.unresolved_path "OMDeleted"
+    // CHECK: propassign path, path("OMDeleted:")
+    %p = firrtl.unresolved_path "OMDeleted:"
     firrtl.propassign %path, %p : !firrtl.path
 
     // CHECK:      propassign list,
diff --git a/test/Dialect/FIRRTL/parse-basic.fir b/test/Dialect/FIRRTL/parse-basic.fir
index de427f4f4729..961cfba9e712 100644
--- a/test/Dialect/FIRRTL/parse-basic.fir
+++ b/test/Dialect/FIRRTL/parse-basic.fir
@@ -1576,9 +1576,9 @@ circuit BasicProps :
   module Path :
     ; CHECK-SAME: out %path: !firrtl.path
     output path : Path
-    ; CHECK: firrtl.unresolved_path "OMDeleted"
+    ; CHECK: firrtl.unresolved_path "OMDeleted:"
     ; CHECK: firrtl.propassign %path, %0 : !firrtl.path
-    propassign path, path("OMDeleted")
+    propassign path, path("OMDeleted:")
 
   ; CHECK-LABEL: firrtl.class private @SimpleClass(in %a: !firrtl.string, out %b: !firrtl.string) {
   ; CHECK-NEXT:     firrtl.propassign %b, %a : !firrtl.string
@@ -1895,9 +1895,9 @@ circuit GenericIntrinsics:
     ; CHECK-NEXT: %[[PAV:.+]] = firrtl.int.generic "circt_plusargs_value" <FORMAT: none = "foo"> : () -> !firrtl.bundle<found: uint<1>, result: uint<5>>
     ; CHECK-NEXT: %n = firrtl.node interesting_name %[[PAV]]
     node n = intrinsic(circt_plusargs_value<FORMAT = "foo"> : { found : UInt<1>, result : UInt<5> })
-    ; CHECK-NEXT: %[[PAT:.+]] = firrtl.int.generic "circt_plusargs_test" <FORMAT: none = "bar"> : () -> !firrtl.uint<3>
+    ; CHECK-NEXT: %[[PAT:.+]] = firrtl.int.generic "circt_plusargs_test" <FORMAT: none = "bar"> : () -> !firrtl.uint<1>
     ; CHECK-NEXT: %n2 = firrtl.node interesting_name %[[PAT]]
-    node n2 = intrinsic(circt_plusargs_test<FORMAT = "bar"> : UInt<3>)
+    node n2 = intrinsic(circt_plusargs_test<FORMAT = "bar"> : UInt<1>)
 
 
     ; Statement with unused return value.