		Search-engine friendly clone of the ACL2 documentation.

Duperhs-check

Check for assignments with the same right-hand side.

This is a trivially simple check for cases like:

assign a = rhs;
assign b = rhs;

That is, where rhs is literally identical in both assignments. Such assignments are not necessarily errors, but are kind of odd.

Vl-duperhs-alistp: (vl-duperhs-alistp x) recognizes association lists where every key satisfies vl-expr-p and each value satisfies vl-assignlist-p.
Vl-modulelist-duperhs-check: (vl-modulelist-duperhs-check x) maps vl-module-duperhs-check across a list.
Vl-duperhs-too-trivial-p: Heuristic to avoid warning about assigning simple, common right-hand sides to multiple wires.
Vl-maybe-warn-duperhs: Create warnings for assignments that share some RHS.
Vl-warnings-for-duperhs-alist
Vl-module-duperhs-check: Look for duplicated rhses in a module, and add warnings about them.
Vl-make-duperhs-alist-aux
Vl-make-duperhs-alist: Builds the vl-duperhs-alistp for a list of assignments.
Vl-design-duperhs-check