Vl-exprlist-expandsizes
Propagate final width/type into a list of context-determined
expressions.
- Signature
(vl-exprlist-expandsizes x finalwidth finaltype ss ctx warnings)
→
(mv successp warnings new-x)
- Arguments
- x — Should be a list of context-determined expressions.
Guard (vl-exprlist-p x).
- finalwidth — Guard (natp finalwidth).
- finaltype — Guard (vl-exprtype-p finaltype).
- ss — Guard (vl-scopestack-p ss).
- ctx — Guard (vl-context-p ctx).
- warnings — Guard (vl-warninglist-p warnings).
- Returns
- successp — Type (booleanp successp).
- warnings — Type (vl-warninglist-p warnings).
- new-x — Type (and (vl-exprlist-p new-x) (equal (len new-x) (len x))).
We just use vl-expr-expandsizes to expand the operands
within each member of x to the desired finalwidth and
finaltype.