Module select 

The tier six rewrite table.

Everything below the module comment is generated from rules/select.rules by rucc-rules when this crate is built, and none of it is in the repository. The rule file is the only place the rules are written, which is what makes the table that is matched with and the table rucc-verify proves things about the same table.

To read the rules, read the rule file. This is a sixth table rather than more lines in one of the others because a tier is a separate file, and because it is the only one whose patterns are selects: three operands, of which the first is one bit and the other two are the width of the answer, and a replacement that writes instructions under the one it rewrites.

Constants

SOURCE

The rule file this table was built from, so that anything said about a rule can name a file somebody can open.

Statics

TABLE

The rules of this file, as an automaton over their patterns.