		Search-engine friendly clone of the ACL2 documentation.

Transforms

Clean-selects

Simplify concatenations and selects throughout a module.

This is a mainly aesthetic transform that applies vl-expr-clean-selects throughout modules. This may help to make certain concatenation and select expressions more readable.

Implementation-wise, this is the usual boilerplate to extend vl-expr-clean-selects through the parse tree, except that we aren't going to go through ranges: we only do this in assignments, instances, and statements, where we expect to see wires.

Subtopics

Vl-plainarglist-clean-selects: (vl-plainarglist-clean-selects x ss) maps vl-plainarg-clean-selects across a list.
Vl-namedarglist-clean-selects: (vl-namedarglist-clean-selects x ss) maps vl-namedarg-clean-selects across a list.
Vl-gateinstlist-clean-selects: (vl-gateinstlist-clean-selects x ss) maps vl-gateinst-clean-selects across a list.
Vl-modinstlist-clean-selects: (vl-modinstlist-clean-selects x ss) maps vl-modinst-clean-selects across a list.
Vl-initiallist-clean-selects: (vl-initiallist-clean-selects x ss) maps vl-initial-clean-selects across a list.
Vl-modulelist-clean-selects: (vl-modulelist-clean-selects x ss) maps vl-module-clean-selects across a list.
Vl-assignlist-clean-selects: (vl-assignlist-clean-selects x ss) maps vl-assign-clean-selects across a list.
Vl-alwayslist-clean-selects: (vl-alwayslist-clean-selects x ss) maps vl-always-clean-selects across a list.
Vl-portlist-clean-selects: (vl-portlist-clean-selects x ss) maps vl-port-clean-selects across a list.
Vl-stmt-clean-selects
Vl-module-clean-selects
Vl-plainarg-clean-selects
Vl-namedarg-clean-selects
Vl-gateinst-clean-selects
Vl-arguments-clean-selects
Vl-port-clean-selects
Vl-modinst-clean-selects
Vl-maybe-expr-clean-selects
Vl-initial-clean-selects
Vl-assign-clean-selects
Vl-always-clean-selects
Vl-design-clean-selects: Top-level clean-selects transform.