forge::revm::interpreter::primitives::alloy_primitives::ruint::algorithms::div

Function div_nx1

pub fn div_nx1(limbs: &mut [u64], divisor: u64) -> u64
Expand description

⚠️ Compute single limb division.

The highest limb of numerator and divisor must be nonzero. The divisor does not need normalization. See algorithm 7 from MG10.

§Panics

May panics if the above requirements are not met.