From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 26 Sep 2019 17:32:01 +0000 (-0700)
Subject: CREG to check for \keep
X-Git-Tag: working-ls180~1039^2~11
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bd8661e0247121cf411b4c35fcedbc12a5919b50;p=yosys.git

CREG to check for \keep
---

diff --git a/passes/pmgen/xilinx_dsp_CREG.pmg b/passes/pmgen/xilinx_dsp_CREG.pmg
index d79abdd4a..a31dc80bf 100644
--- a/passes/pmgen/xilinx_dsp_CREG.pmg
+++ b/passes/pmgen/xilinx_dsp_CREG.pmg
@@ -87,6 +87,9 @@ code
 			reject;
 		if (c.wire->get_bool_attribute(\keep))
 			reject;
+		Const init = c.wire->attributes.at(\init, State::Sx);
+		if (!init.is_fully_undef() && !init.is_fully_zero())
+			reject;
 	}
 endcode