Error on powerOn value

llvm · Jul 5, 2024 · 92f2f2a · 92f2f2a
1 parent c9ff7d0
commit 92f2f2a
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/lib/Tools/circt-bmc/ExternalizeRegisters.cpp b/lib/Tools/circt-bmc/ExternalizeRegisters.cpp
@@ -81,6 +81,10 @@ void ExternalizeRegistersPass::runOnOperation() {
             regOp.emitError("registers with reset signals not yet supported");
             return signalPassFailure();
           }
+          if (regOp.getPowerOnValue()) {
+            regOp.emitError("registers with power-on values not yet supported");
+            return signalPassFailure();
+          }
           addedInputs[module.getSymNameAttr()].push_back(regOp.getType());
           addedOutputs[module.getSymNameAttr()].push_back(
               regOp.getInput().getType());

diff --git a/test/Tools/circt-bmc/externalize-registers-errors.mlir b/test/Tools/circt-bmc/externalize-registers-errors.mlir
@@ -13,3 +13,10 @@ hw.module @reg_with_reset(in %clk: !seq.clock, in %rst: i1, in %in: i32, out out
   %1 = seq.compreg %in, %clk reset %rst, %c0_i32 : i32
   hw.output %1 : i32
 }
+
+hw.module @reg_with_poweron(in %clk: !seq.clock, in %in: i32, out out: i32) {
+  %c0_i32 = hw.constant 0 : i32
+  // expected-error @below {{registers with power-on values not yet supported}}
+  %1 = seq.compreg %in, %clk powerOn %c0_i32 : i32
+  hw.output %1 : i32
+}