[Verif][VerifyClockedAssertLike] Don't crash on blockarg operand.

llvm · Aug 31, 2024 · ce8c14f · ce8c14f
1 parent 929ffc4
commit ce8c14f
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/lib/Dialect/Verif/Transforms/VerifyClockedAssertLike.cpp b/lib/Dialect/Verif/Transforms/VerifyClockedAssertLike.cpp
@@ -56,6 +56,9 @@ struct VerifyClockedAssertLikePass
 
     Operation *property = clockedAssertLikeOp->getOperand(0).getDefiningOp();
 
+    if (!property)
+      return;
+
     // Fill in our worklist
     worklist.insert({property, property->operand_begin()});
 

diff --git a/test/Dialect/Verif/verify.mlir b/test/Dialect/Verif/verify.mlir
@@ -44,3 +44,9 @@ hw.module @deeplynested(in %clk: i1, in %a: i1, in %b: i1) {
 
   verif.clocked_assert %o1 if %b, posedge %clk : !ltl.property
 }
+
+// -----
+
+hw.module @clockedarg(in %clocked: !ltl.property, in %a: i1, in %clk: i1) {
+  verif.clocked_assert %clocked if %a, posedge %clk : !ltl.property
+}