code wiki / (root) / riscv_fp_test.nx

riscv_fp_test.nx

buildroot/runtime/riscv_fp_test.nx

10484 B266 linesdepth 6pulls 15 transitivereach 0 importersview sourcekind gate/prooftopic riscv
docsdependenciesstructsconstsfunctions

about

riscv_fp_test.nx -- self-test for rv_emit_fbinop (F-extension). Sanity-check emit_fbinop_mnem and rv_emit_fbinop by hand-building a minimal FADD instruction and checking the emitted asm contains the expected fadd.s mnemonic and register operands. Does NOT attempt to link or execute the fp code path -- the allocator doesn't yet assign f-register homes, so full end-to-end verification waits on the f-reg regalloc commit.

dependencies 6 imports · 0 importers

syscalls.nx types.nx ir.nx outbuf.nx regalloc.nx riscv.nx riscv_fp_test.nx

imports: syscalls.nxtypes.nxir.nxoutbuf.nxregalloc.nxriscv.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

18func buf_contains(buf: *u8, n: i64, needle: *u8) -> i64 {
36func main() -> i64 {