Function div_3x2_mg10
pub unsafe fn div_3x2_mg10(u21: u128, u0: u64, d: u128, v: u64) -> (u64, u128)Expand description
⚠️ Computes the quotient of a 192 bits divided by a normalized u128.
⚠️ This function is not part of the stable API.
Implements [MG10] algorithm 5.
§Safety
- d >= 2**127,
- u21 < d
- v = reciprocal_2(d)
In debug, panics if any condition of use is violated. In release, may panic or trigger UB if any condition of use is violated.