Expand description
Constant variable inlining for combinational logic paths.
Detects variables whose every LogicPath target is a constant expression
(no runtime inputs), then rewrites all SLTNode::Input references to those
variables with SLTNode::Constant nodes containing the precomputed value.
This eliminates the Store→Load memory roundtrip for compile-time constants
such as genvar-expanded parity-check matrices.
Functions§
- inline_
constant_ variables - Inline constant variables: rewrite Input references → Constant nodes.