logo
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

//! Calculates Euclidian division for a single-precision float.

use super::F32;

impl F32 {
    /// Calculates Euclidean division, the matching method for `rem_euclid`.
    pub fn div_euclid(self, rhs: Self) -> Self {
        let q = (self / rhs).trunc();

        if self % rhs >= Self::ZERO {
            q
        } else if rhs > Self::ZERO {
            q - Self::ONE
        } else {
            q + Self::ONE
        }
    }
}

#[cfg(test)]
mod tests {
    use super::F32;

    #[test]
    fn sanity_check() {
        let a = F32(7.0);
        let b = F32(4.0);

        assert_eq!(a.div_euclid(b), F32(1.0));
        assert_eq!((-a).div_euclid(b), F32(-2.0));
        assert_eq!(a.div_euclid(-b), F32(-1.0));
        assert_eq!((-a).div_euclid(-b), F32(2.0));
    }
}