1
0
mirror of synced 2026-04-16 01:51:02 +00:00

Do not allow Q of last cell of variable length SRL to be (* keep *)

This commit is contained in:
Eddie Hung
2019-08-23 18:15:24 -07:00
parent ee9f6e6243
commit a048fc93e8

View File

@@ -176,6 +176,7 @@ endcode
match first
select first->type.in($_DFF_N_, $_DFF_P_, $_DFFE_NN_, $_DFFE_NP_, $_DFFE_PN_, $_DFFE_PP_, $dff, $dffe)
select !first->has_keep_attr()
select !port(first, \Q)[0].wire->get_bool_attribute(\keep)
slice idx GetSize(port(first, \Q))
select nusers(port(first, \Q)[idx]) <= 2
index <SigBit> port(first, \Q)[idx] === port(shiftx, \A)[shiftx_width-1]