code wiki / (root) / opt_test.nx

opt_test.nx

buildroot/runtime/opt_test.nx

1413 B51 linesdepth 10pulls 21 transitivereach 0 importersview sourcekind gate/prooftopic opt
docsdependenciesstructsconstsfunctions

about

opt_test.nx -- self-test for opt.nx. Builds a trivial IR for `(10+20)*3`, runs opt_run, checks the result collapsed to const 90.

dependencies 4 imports · 0 importers

syscalls.nx types.nx ir.nx opt.nx opt_test.nx

imports: syscalls.nxtypes.nxir.nxopt.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

11func main() -> i64 {