[WIP] Add tests for floating point add

Author: mattico

src/float/add.rs

@@ -191,3 +191,59 @@ pub extern fn __aeabi_dadd(a: f64, b: f64) -> f64 {
 pub extern fn __aeabi_dadd(a: f32, b: f32) -> f32 {
     __addsf3(a, b)
 }
+
+#[cfg(test)]
+mod test {
+    use core::{f32, f64};
+    use qc::{U32, U64};
+    use float::Float;
+
+    // TODO: Add F32/F64 to qc so that they print the right values (at the very least)
+    quickcheck! {
+        fn addsf3(a: U32, b: U32) -> bool {
+            let (a, b) = (a.0, b.0);
+            let r = super::__addsf3(<f32 as Float>::from_repr(a), <f32 as Float>::from_repr(b));
+            r == <f32 as Float>::from_repr(a) + <f32 as Float>::from_repr(b)
+        }
+
+        fn adddf3(a: U64, b: U64) -> bool {
+            let (a, b) = (a.0, b.0);
+            let r = super::__adddf3(<f64 as Float>::from_repr(a), <f64 as Float>::from_repr(b));
+            r == <f64 as Float>::from_repr(a) + <f64 as Float>::from_repr(b)
+        }
+    }
+    
+    // More tests for special float values
+
+    #[test]
+    fn test_float_one_plus_one() {
+        let r = super::__addsf3(<f32 as Float>::from_repr(1), <f32 as Float>::from_repr(1));
+        assert_eq!(r, <f32 as Float>::from_repr(1) + <f32 as Float>::from_repr(1));
+    }
+
+    #[test]
+    fn test_float_nan() {
+        let r = super::__addsf3(f32::NAN, 1.23);
+        // Need .repr() since NAN != NAN
+        assert_eq!(r.repr(), f32::NAN.repr());
+    }
+
+    #[test]
+    fn test_double_nan() {
+        let r = super::__adddf3(f64::NAN, 1.23);
+        // Need .repr() since NAN != NAN
+        assert_eq!(r.repr(), f64::NAN.repr());
+    }
+
+    #[test]
+    fn test_float_inf() {
+        let r = super::__addsf3(f32::INFINITY, -123.4);
+        assert_eq!(r, f32::INFINITY);
+    }
+
+    #[test]
+    fn test_double_inf() {
+        let r = super::__adddf3(f64::INFINITY, -123.4);
+        assert_eq!(r, f64::INFINITY);
+    }
+}