rucc_opt/rules/
width.rs

1//! The tier four rewrite table.
2//!
3//! Everything below the module comment is generated from `rules/width.rules` by `rucc-rules` when
4//! this crate is built, and none of it is in the repository. The rule file is the only place the
5//! rules are written, which is what makes the table that is matched with and the table
6//! `rucc-verify` proves things about the same table.
7//!
8//! To read the rules, read the rule file. This is a fourth table rather than more lines in one of
9//! the first three because a tier is a separate file, and because this one is the first whose
10//! patterns are about two instructions at once: it is matched under a plan that expands an operand
11//! into the instruction that computed it, which none of the tiers above it wants.
12
13include!(concat!(env!("OUT_DIR"), "/width.rs"));
rucc_opt/rules/width.rs

rucc_opt/rules/
width.rs
