code wiki / (root) / nx_bigfloat120_div.nx

nx_bigfloat120_div.nx

buildroot/runtime/nx_bigfloat120_div.nx

1686 B56 linesdepth 3pulls 3 transitivereach 44 importersview sourcekind librarytopic bigfloat120
docsdependenciesstructsconstsfunctions

about

nx_bigfloat120_div.nx -- full 120-bit division (separate file: mul+div quirk law). Bit-serial restoring division on two-word significands: 121 quotient bits, q = floor(asig * 2^120 / bsig) in (2^119, 2^121]; one conditional right shift renormalizes. Remainder truncates (67 guard bits of margin -- core's contract). license_tier: ORIGINAL

dependencies 3 imports · 44 importers

nx_syscalls.nx nx_tier.nx nx_bigfloat120.nx nx_bigfloat120_div.nx _bf_atan_gate_authored.nx _bf_erf_gate_authored.nx _bf_erfc_oracle_gate.nx _bf_gamma_gate_authored.nx _bf_pow_gate_authored.nx _bf_regen_gate_authored.nx _bf_sinhcosh_gate_authored.nx _bf_tan_gate_authored.nx _bf_trig_gate_authored.nx _f64_atan_gate_authored.nx

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

imports: nx_syscalls.nxnx_tier.nxnx_bigfloat120.nx

imported by: _bf_atan_gate_authored.nx_bf_erf_gate_authored.nx_bf_erfc_oracle_gate.nx_bf_gamma_gate_authored.nx_bf_pow_gate_authored.nx_bf_regen_gate_authored.nx_bf_sinhcosh_gate_authored.nx_bf_tan_gate_authored.nx_bf_trig_gate_authored.nx_f64_atan_gate_authored.nx_f64_atan_gate_emitted.nx_f64_erf_full_gate.nx_f64_erf_gate_authored.nx_f64_erfc_gate.nx_f64_gamma_refl_gate.nx_f64_gamma_refl_neg_gate.nx_f64_igammaq_gate.nx_f64_pow_gate_authored.nx_f64_sincos_gate_authored.nx_f64_sinhcosh_gate_authored.nx_f64_tan_gate_authored.nx_gamma_dd_probe.nx_gamma_gate_authored.nx_gamma_probe.nx_gprobe.nx_pw_probe.nx_tn_probe.nxnx_bigfloat120_atan.nxnx_bigfloat120_erfc.nxnx_bigfloat120_exp.nxnx_bigfloat120_gamma.nxnx_bigfloat120_ln.nxnx_bigfloat120_pow.nxnx_bigfloat120_sinh.nxnx_bigfloat120_tan.nxnx_bigfloat120_trig.nxnx_mathspec_atan.nxnx_mathspec_erf.nxnx_mathspec_erfc.nxnx_mathspec_gamma.nxnx_mathspec_pow.nxnx_mathspec_sincos.nxnx_mathspec_sinhcosh.nxnx_mathspec_tan.nx

structs

none

consts

none

functions

12func bf_div(out: *i64, a: *i64, b: *i64) -> i64