div_nx1_normalized

cast::revm::primitives::alloy_primitives::ruint::algorithms::div

Function div_nx1_normalized 

pub unsafe fn div_nx1_normalized(u: &mut [u64], d: u64) -> u64
Expand description

⚠️ Compute single limb normalized division.

⚠️ This function is not part of the stable API.
The divisor must be normalized. See algorithm 7 from [MG10].

§Safety

  • The input d must be at least 2^63, i.e., its highest bit must be set.