code wiki / (root) / nx_f64_div.nx

nx_f64_div.nx

buildroot/runtime/nx_f64_div.nx

3345 B96 linesdepth 3pulls 3 transitivereach 215 importersview sourcekind librarytopic f64
docsdependenciesstructsconstsfunctions

about

nx_f64_div.nx -- IEEE 754 binary64 division (standalone file). Separate from nx_f64.nx mirroring the f32 family split (same-file mul+div codegen quirk, see nx_f32_div.nx header). CORRECTNESS BAR: unlike f32 v1 (which zeroed subnormal operands and lost the guard bit in the sig_a < sig_b case), this is correctly rounded RNE over the full domain: subnormal operands pre-normalize, the restoring division produces 56 quotient bits + exact remainder, guard is explicit in both alignment cases, sticky = remainder nonzero. Restoring division: q = floor(sig_a * 2^55 / sig_b) bit-serial. Working values: r < 2^54 before doubling, < 2^55 after; q < 2^56. Everything fits i64 with headroom (probe-verified arithmetic). license_tier: ORIGINAL

dependencies 3 imports · 37 importers

nx_syscalls.nx nx_tier.nx nx_f64.nx nx_f64_div.nx _ab_mk_erf.nx _bf_gamma_gate_authored.nx _bf_pow_gate_authored.nx _bf_sinhcosh_gate_authored.nx _bf_tan_gate_authored.nx _f64_atan_gate_authored.nx _f64_atan_gate_emitted.nx _f64_exp_gate_authored.nx _f64_gate_authored.nx _f64_log_gate_authored.nx

diagram shows first 10 each side; +0 more imports, +27 more importers in the complete lists below.

imports: nx_syscalls.nxnx_tier.nxnx_f64.nx

imported by: _ab_mk_erf.nx_bf_gamma_gate_authored.nx_bf_pow_gate_authored.nx_bf_sinhcosh_gate_authored.nx_bf_tan_gate_authored.nx_f64_atan_gate_authored.nx_f64_atan_gate_emitted.nx_f64_exp_gate_authored.nx_f64_gate_authored.nx_f64_log_gate_authored.nx_f64_pow_gate_authored.nx_f64_quad_gate.nx_f64_sincos_gate_authored.nx_f64_sinhcosh_gate_authored.nx_f64_soak_gate_authored.nx_f64_tan_gate_authored.nx_gamma_dd_probe.nx_gamma_probe.nx_pe_f64atan.nx_pe_f64erf.nx_pe_f64erfc.nx_pe_f64gamma.nx_pe_f64gamma_refl.nx_pe_f64igammaq.nx_pe_f64log.nx_pe_f64pow.nx_pe_f64sinhcosh.nx_pe_f64tan.nx_pw_probe.nx_wb_mathk.nxnx_bd_calc.nxnx_f64_log2.nxnx_f64_quad.nxnx_f64_v8kat_gate.nxnx_js_f64.nxnx_uiq_color.nxnx_vcodec_msu_ours13.nx

structs

none

consts

none

functions

22func nx_f64_div(a: i64, b: i64) -> i64
called by 41: mainmainmainqg_relmainf6s_impl+35 calls 5: nx_f64_classifynx_f64_signnx_f64_mant_fieldnx_f64_exp_field_f64_round_pack