lower-plus -


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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

//! Provides the algebraic math trait and macro.
/// Trait for Algebraic-ly math'd floats. Try to use [`algebraic::math`](`math`).
pub trait Float: Copy {
    fn add(self, other: Self) -> Self;
    fn sub(self, other: Self) -> Self;
    fn mul(self, other: Self) -> Self;
    fn div(self, other: Self) -> Self;
    fn rem(self, other: Self) -> Self;

    fn eq(self, other: Self) -> bool;
    fn lt(self, other: Self) -> bool;
    fn le(self, other: Self) -> bool;
    fn ne(self, other: Self) -> bool;
    fn ge(self, other: Self) -> bool;
    fn gt(self, other: Self) -> bool;

    fn deref(&self) -> Self {
        *self
    }
    fn neg(self) -> Self;
}
use std::intrinsics::*;
macro_rules! imp {
    ($this:ty) => {
#[rustfmt::skip]
impl Float for $this {
    fn add(self, other: Self) -> Self { fadd_algebraic(self, other) }
    fn sub(self, other: Self) -> Self { fsub_algebraic(self, other) }
    fn mul(self, other: Self) -> Self { fmul_algebraic(self, other) }
    fn div(self, other: Self) -> Self { fdiv_algebraic(self, other) }
    fn rem(self, other: Self) -> Self { frem_algebraic(self, other) }

    fn eq(self, other: Self) -> bool { self == other }
    fn lt(self, other: Self) -> bool { self < other }
    fn le(self, other: Self) -> bool { self <= other }
    fn ne(self, other: Self) -> bool { self != other }
    fn ge(self, other: Self) -> bool { self >= other }
    fn gt(self, other: Self) -> bool { self > other }

    fn deref(&self) -> Self { *self }
    fn neg(self) -> Self { -self }
}
    };
}
imp!(f32);
imp!(f64);

/// Changes all the math to algebraic float math. See [`fadd_algebraic`].
///
/// This allows automatic vectorization of float math easier for the compiler, among other things.
/// If you intend to create a function in this, first import [`lower::algebraic::Float`](crate::algebraic::Float), use [`lower::math`](crate::math).
///
/// This would lower `a + b + c + d` to `alge_add(alge_add(alge_add(a, b), c), d)` (which could be organized by the compiler into `(a + b) + (c + d)` if it chooses)
#[macro_export]
#[doc(hidden)]
macro_rules! algebraic {
    ($($x:tt)+) => {{
        use $crate::algebraic::Float as _;
        lower_macros::math! { $($x)+ }
    }}
}
#[doc(inline)]
pub use algebraic as math;