code wiki / superopt

topic: superopt

12 modules sharing the superopt name family (derived from the tree's prefix discipline).

The 'superopt' topic family in the Nishi sovereign ecosystem focuses on advanced superoptimization techniques for generating highly efficient machine code. The nx_superopt module serves as the AUTHOR leg of the Sovereign Invention Engine, while nx_superopt_opt provides a cost-optimal superoptimizer that finds the shortest program. nx_superopt_machinecode_test enables the team to build machine code up, supporting multi-architecture compilation.

auto-narrated by the local model from this topic's module headers; links verified against the wiki index.

narrated overview -- maintained by the narration lane, module links verified against this wiki.

moduledescriptionlinesfuncs
nx_superopt.nxthe AUTHOR leg of the Sovereign Invention Engine: a2386
nx_superopt_emit.nxemit COMPETITIVE x86-64 machine code for a superoptimized2169
nx_superopt_general_test.nx(#1) the generator GENERALIZED beyond x*C-in-two-1247
nx_superopt_govern_test.nxthe team builds END TO END, no human in the rule:743
nx_superopt_governed_test.nxa SECOND GENERATOR in the governed cycle: the1112
nx_superopt_machinecode_test.nxthe team builds MACHINE CODE UP, MULTI-ARCH,14917
nx_superopt_opt.nxa COST-OPTIMAL (exhaustive-shortest) superoptimizer over the1196
nx_superopt_opt_test.nxthe optimal superoptimizer finds the SHORTEST program1087
nx_superopt_race_test.nxthe team SYNTHESIZES + SUPEROPTIMIZES + EMITS real machine986
nx_superopt_strength.nxa GENERATOR: it AUTHORS strength-reduction lowerings984
nx_superopt_strength_test.nxwatch the GENERATOR author optimizations itself.744
nx_superopt_test.nxGATE + proof for the mechanized superoptimizer organ2544