Vl-genblob-collect-modinst-paramsigs
Collect parameterization signatures needed for module instances of a given module.
- Signature
(vl-genblob-collect-modinst-paramsigs
x ss warnings modname sigalist)
→
(mv successp warnings sigalist new-x)
- Arguments
- x — Guard (vl-genblob-p x).
- ss — Scopestack for the top level, not extended.
Guard (vl-scopestack-p ss).
- warnings — Guard (vl-warninglist-p warnings).
- modname — Guard (stringp modname).
- sigalist — Guard (vl-unparam-sigalist-p sigalist).
- Returns
- warnings — Type (vl-warninglist-p warnings).
- sigalist — Type (vl-unparam-sigalist-p sigalist).
- new-x — Type (vl-genblob-p new-x).
Expects that the module is fully unparameterized, with parameter values
substituted in everywhere. Accumulates an unparameterization signature
alist of instances that require unparameterization.