mirror of https://github.com/YosysHQ/yosys.git
Reject if (* init *) present
This commit is contained in:
parent
34aa3532fb
commit
cd8a640989
|
@ -333,6 +333,9 @@ code
|
||||||
reject;
|
reject;
|
||||||
if (c.wire->get_bool_attribute(\keep))
|
if (c.wire->get_bool_attribute(\keep))
|
||||||
reject;
|
reject;
|
||||||
|
Const init = c.wire->attributes.at(\init, State::Sx);
|
||||||
|
if (!init.is_fully_undef() && !init.is_fully_zero())
|
||||||
|
reject;
|
||||||
}
|
}
|
||||||
endcode
|
endcode
|
||||||
|
|
||||||
|
|
|
@ -355,6 +355,9 @@ code
|
||||||
reject;
|
reject;
|
||||||
if (c.wire->get_bool_attribute(\keep))
|
if (c.wire->get_bool_attribute(\keep))
|
||||||
reject;
|
reject;
|
||||||
|
Const init = c.wire->attributes.at(\init, State::Sx);
|
||||||
|
if (!init.is_fully_undef() && !init.is_fully_zero())
|
||||||
|
reject;
|
||||||
}
|
}
|
||||||
endcode
|
endcode
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue