Expand description
The x86-64 lowering table.
Everything below the module comment is generated from rules/x86-64.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. To read the automaton they compile into, build the
crate and read x86-64.rs under the build directory, which is a file worth looking at once
for the shape of it and never again.
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 lowering rules of this target, as an automaton over their patterns.