code wiki / (root) / nx_f32_test.nx

nx_f32_test.nx

buildroot/runtime/nx_f32_test.nx

8683 B161 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic f32
docsdependenciesstructsconstsfunctions

about

nx_f32_test.nx -- smoke + IEEE 754 conformance for nx_f32.nx. KAT vectors hand-computed against IEEE 754-2019 binary32 reference. Canonical bit patterns we exercise: 1.0 = 0x3F800000 2.0 = 0x40000000 0.5 = 0x3F000000 0.25 = 0x3E800000 4.0 = 0x40800000 0.0625 = 0x3D800000 -1.0 = 0x00000000BF800000 3.0 = 0x40400000 (1.0 + 0.5 * 2^1 = 1.5 * 2 = 3.0) 6.0 = 0x40C00000 +inf = 0x7F800000 -inf = 0x00000000FF800000 qNaN = 0x000000007FC00000 +0 = 0x00000000 -0 = 0x0000000080000000

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_f32.nx nx_f32_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_f32.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_f32_cls_is_valid nx_f32_classify nx_f32_exp_field nx_f32_mant_field nx_f32_neg nx_f32_abs nx_f32_eq nx_f32_is_nan nx_f32_classify ↻ nx_f32_is_zero nx_f32_classify ↻ nx_f32_mul nx_f32_classify ↻ nx_f32_sign nx_f32_mant_field ↻ nx_f32_exp_field ↻ nx_f32_is_nan ↻ nx_f32_add nx_f32_classify ↻ nx_f32_sign ↻ nx_f32_mant_field ↻ nx_f32_exp_field ↻ nx_f32_sub nx_f32_add ↻ nx_f32_neg ↻ nx_f32_sqrt nx_f32_classify ↻ nx_f32_sign ↻ nx_f32_exp_field ↻ nx_f32_mant_field ↻ _f32_isqrt

structs

none

consts

none

functions

25func main() -> i64