code wiki / opt
topic: opt
7 modules sharing the opt name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_opt.nx | first slice of the optimizer, in NishiLang. | 4024 | 79 |
| nx_opt_eqsat_oracle_gate.nx | THE EQUALITY-SATURATION ENGINE USED AS AN ORACLE OVER THE SHIPPING | 132 | 2 |
| nx_opt_eqsat_pass.nx | EQUALITY SATURATION AS AN ACTUAL IR REWRITE PASS. | 127 | 2 |
| nx_opt_eqsat_pass_gate.nx | proves opt_eqsat_pass REWRITES REAL IR, and that it reaches an | 90 | 1 |
| nx_opt_eqsat_wire_gate.nx | GATE for LN8 "equality saturation CONSUMED by the backend" | 140 | 3 |
| opt.nx | alias stub. | 13 | 0 |
| opt_test.nx | self-test for opt.nx. | 51 | 1 |