Vl-genelementlist-make-implicit-wires
Main loop for introducing implicit wires.
- Signature
(vl-genelementlist-make-implicit-wires
x st newitems impitems warnings)
→
(mv warnings st newitems impitems)- Arguments
- x — List of items to process, in parse order.
Guard (vl-genelementlist-p x).
- st — Evolving state, keeps track of what's declared.
Guard (vl-implicitst-p st).
- newitems — Accumulator for rewritten versions of the items in x, reverse parse order.
Guard (vl-genelementlist-p newitems).
- impitems — Accumulator for implicit wire declarations to add to this scope.
Guard (vl-vardecllist-p impitems).
- warnings — Accumulator for warnings.
Guard (vl-warninglist-p warnings).
- Returns
- warnings — Type (vl-warninglist-p warnings).
- st — Type (vl-implicitst-p st).
- newitems — Type (vl-genelementlist-p newitems).
- impitems — Type (vl-vardecllist-p impitems).
