code wiki / superopt
topic: superopt
12 modules sharing the superopt name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_superopt.nx | the AUTHOR leg of the Sovereign Invention Engine: a | 238 | 6 |
| nx_superopt_emit.nx | emit COMPETITIVE x86-64 machine code for a superoptimized | 216 | 9 |
| nx_superopt_general_test.nx | (#1) the generator GENERALIZED beyond x*C-in-two- | 124 | 7 |
| nx_superopt_govern_test.nx | the team builds END TO END, no human in the rule: | 74 | 3 |
| nx_superopt_governed_test.nx | a SECOND GENERATOR in the governed cycle: the | 111 | 2 |
| nx_superopt_machinecode_test.nx | the team builds MACHINE CODE UP, MULTI-ARCH, | 149 | 17 |
| nx_superopt_opt.nx | a COST-OPTIMAL (exhaustive-shortest) superoptimizer over the | 119 | 6 |
| nx_superopt_opt_test.nx | the optimal superoptimizer finds the SHORTEST program | 108 | 7 |
| nx_superopt_race_test.nx | the team SYNTHESIZES + SUPEROPTIMIZES + EMITS real machine | 98 | 6 |
| nx_superopt_strength.nx | a GENERATOR: it AUTHORS strength-reduction lowerings | 98 | 4 |
| nx_superopt_strength_test.nx | watch the GENERATOR author optimizations itself. | 74 | 4 |
| nx_superopt_test.nx | GATE + proof for the mechanized superoptimizer organ | 254 | 4 |