fixup! [FIRRTL] Put layer collateral in testbench dir

llvm · Feb 28, 2024 · fb80c1b · fb80c1b
1 parent 0a451ea
commit fb80c1b
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/test/Dialect/FIRRTL/lower-layers-errors.mlir b/test/Dialect/FIRRTL/lower-layers-errors.mlir
@@ -0,0 +1,22 @@
+// RUN: circt-opt -firrtl-lower-layers -verify-diagnostics %s
+
+firrtl.circuit "DuplicateMarkDUTAnnotation" {
+  // expected-note @below {{the first DUT was found here}}
+  firrtl.module @Foo() attributes {
+    annotations = [
+      {
+        class = "sifive.enterprise.firrtl.MarkDUTAnnotation"
+      }
+    ]
+  } {}
+  // expected-error @below {{is marked with a 'sifive.enterprise.firrtl.MarkDUTAnnotation', but 'Foo' also had such an annotation}}
+  firrtl.module @DuplicateMarkDUTAnnotation() attributes {
+    annotations = [
+      {
+        class = "sifive.enterprise.firrtl.MarkDUTAnnotation"
+      }
+    ]
+  } {
+    firrtl.instance foo @Foo()
+  }
+}