Add overflowing addition tests

Author: AaronKutch

testcrate/tests/addsub.rs

@@ -0,0 +1,88 @@
+use compiler_builtins::int::addsub::{
+    __rust_i128_add, __rust_i128_addo, __rust_i128_sub, __rust_i128_subo, __rust_u128_add,
+    __rust_u128_addo, __rust_u128_sub, __rust_u128_subo,
+};
+
+#[test]
+fn addsub_test() {
+    testcrate::fuzz_2(1000, |x: i128, y: i128| {
+        let add0 = x.wrapping_add(y);
+        let add1 = __rust_i128_add(x, y);
+        if add0 != add1 {
+            panic!(
+                "__rust_i128_add({}, {}): expected: {}, found: {}",
+                x, y, add0, add1
+            );
+        }
+    });
+    testcrate::fuzz_2(1000, |x: i128, y: i128| {
+        let (add0, o0) = x.overflowing_add(y);
+        let (add1, o1) = __rust_i128_addo(x, y);
+        if add0 != add1 || o0 != o1 {
+            panic!(
+                "__rust_i128_addo({}, {}): expected: {} (oflow = {}), found: {} (oflow = {})",
+                x, y, add0, o0, add1, o1
+            );
+        }
+    });
+    testcrate::fuzz_2(1000, |x: i128, y: i128| {
+        let sub0 = x.wrapping_sub(y);
+        let sub1 = __rust_i128_sub(x, y);
+        if sub0 != sub1 {
+            panic!(
+                "__rust_i128_sub({}, {}): expected: {}, found: {}",
+                x, y, sub0, sub1
+            );
+        }
+    });
+    testcrate::fuzz_2(1000, |x: i128, y: i128| {
+        let (sub0, o0) = x.overflowing_sub(y);
+        let (sub1, o1) = __rust_i128_subo(x, y);
+        if sub0 != sub1 || o0 != o1 {
+            panic!(
+                "__rust_i128_subo({}, {}): expected: {} (oflow = {}), found: {} (oflow = {})",
+                x, y, sub0, o0, sub1, o1
+            );
+        }
+    });
+    testcrate::fuzz_2(1000, |x: u128, y: u128| {
+        let add0 = x.wrapping_add(y);
+        let add1 = __rust_u128_add(x, y);
+        if add0 != add1 {
+            panic!(
+                "__rust_u128_add({}, {}): expected: {}, found: {}",
+                x, y, add0, add1
+            );
+        }
+    });
+    testcrate::fuzz_2(1000, |x: u128, y: u128| {
+        let (add0, o0) = x.overflowing_add(y);
+        let (add1, o1) = __rust_u128_addo(x, y);
+        if add0 != add1 || o0 != o1 {
+            panic!(
+                "__rust_u128_addo({}, {}): expected: {} (oflow = {}), found: {} (oflow = {})",
+                x, y, add0, o0, add1, o1
+            );
+        }
+    });
+    testcrate::fuzz_2(1000, |x: u128, y: u128| {
+        let sub0 = x.wrapping_sub(y);
+        let sub1 = __rust_u128_sub(x, y);
+        if sub0 != sub1 {
+            panic!(
+                "__rust_u128_sub({}, {}): expected: {}, found: {}",
+                x, y, sub0, sub1
+            );
+        }
+    });
+    testcrate::fuzz_2(1000, |x: u128, y: u128| {
+        let (sub0, o0) = x.overflowing_sub(y);
+        let (sub1, o1) = __rust_u128_subo(x, y);
+        if sub0 != sub1 || o0 != o1 {
+            panic!(
+                "__rust_u128_subo({}, {}): expected: {} (oflow = {}), found: {} (oflow = {})",
+                x, y, sub0, o0, sub1, o1
+            );
+        }
+    });
+}