code wiki / (root) / nx_x86_64_module_test.nx

nx_x86_64_module_test.nx

buildroot/runtime/nx_x86_64_module_test.nx

1656 B53 linesdepth 5pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic x86
docsdependenciesstructsconstsfunctions

about

nx_x86_64_module_test.nx -- session 7 prove: module-level emission. Hand-builds a Module with two functions: func answer() -> i64 { return 42 } func main() -> i64 { return answer() } Drives x86ctx_emit_module (which emits both functions + globals dump + _start trampoline + GNU-stack note). Expected exit 42.

dependencies 6 imports · 0 importers

syscalls.nx nx_outbuf.nx nx_types.nx nx_ir.nx nx_x86_64.nx nx_x86_64_ctx.nx nx_x86_64_module_test.nx

imports: syscalls.nxnx_outbuf.nxnx_types.nxnx_ir.nxnx_x86_64.nxnx_x86_64_ctx.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

18func main() -> i64