Make hw.triggered argument list optional.

llvm · Jul 9, 2024 · 4045730 · 4045730
1 parent 2e17355
commit 4045730
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/include/circt/Dialect/HW/HWStructure.td b/include/circt/Dialect/HW/HWStructure.td
@@ -714,7 +714,7 @@ def TriggeredOp : HWOp<"triggered", [
   let results = (outs);
 
   let assemblyFormat = [{
-    $event $trigger  `(` $inputs `)` `:` type($inputs) $body attr-dict
+    $event $trigger  (`(` $inputs^ `)` `:` type($inputs))? $body attr-dict
   }];
 
   let extraClassDeclaration = [{

diff --git a/test/Conversion/HWToSV/test_trigger.mlir b/test/Conversion/HWToSV/test_trigger.mlir
@@ -9,3 +9,13 @@ hw.module @foo(in %trigger : i1, in %in : i32) {
       "some.user" (%arg0) : (i32) -> ()
   }
 }
+
+hw.module @bar(in %trigger : i1) {
+  // CHECK:       sv.always posedge %trigger {
+  // CHECK-NEXT:    "some.user"() : () -> ()
+  // CHECK-NEXT:  }
+  hw.triggered posedge %trigger {
+      "some.user"() : () -> ()
+  }
+
+}