From 632b10c0d4b01dc1af8593b8ae1f088fbfd9e342 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 19 Jul 2017 18:08:02 +0100
Subject: split library tests into separate files to avoid risk of sail
 compiler stack overflow.

---
 src/test/lib/tests/test_minus.sail | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 src/test/lib/tests/test_minus.sail

(limited to 'src/test/lib/tests/test_minus.sail')

diff --git a/src/test/lib/tests/test_minus.sail b/src/test/lib/tests/test_minus.sail
new file mode 100644
index 00000000..455f3954
--- /dev/null
+++ b/src/test/lib/tests/test_minus.sail
@@ -0,0 +1,25 @@
+function unit test() = {
+  test_assert("minus", 1 - 1 == 0);
+  test_assert("minus_vec", ((bit[4])(0x2 - 0x1)) == 0x1);
+  test_assert("minus_vec_ov", ((bit[4])(0x1 - 0xf)) == 0x2);
+  (* XXX minus_vec_vec_range not implemented 
+  test_assert("minus_vec_vec_range_pp", ((int)(0x1 - 0x1)) == 0);
+  test_assert("minus_vec_vec_range_np", ((int)(0xa - 0x1)) == 9);
+  test_assert("minus_vec_vec_range_pn", ((int)(0x3 - 0xe)) == 5);
+  test_assert("minus_vec_vec_range_nn", ((int)(0x8 - 0x8)) == 0);*)
+  test_assert("minus_vec_range", ((bit[4])(0xe - 1)) == 0xd);
+  test_assert("minus_vec_range_range", ((int)(0xe - 1)) == 13);
+  test_assert("minus_range_vec", ((bit[4])(1 - 0xe)) == 0x3);
+  test_assert("minus_range_vec_range", ((int)(1 - 0xe)) == -13);
+  (* returns (result, signed overflow, borrow in)*)
+  test_assert ("minus_overflow_vec0", (((bit[4], bit, bit))(0x1 - 0x1)) == (0x0, false, false));
+  test_assert ("minus_overflow_vec1", (((bit[4], bit, bit))(0x0 - 0x1)) == (0xf, true, true));
+  test_assert ("minus_overflow_vec2", (((bit[4], bit, bit))(0x8 - 0x1)) == (0x7, false, false));
+  test_assert ("minus_overflow_vec3", (((bit[4], bit, bit))(0x0 - 0x8)) == (0x8, true, true));
+
+  test_assert ("minus_overflow_vec_bit0", (((bit[4], bit, bit))(0x1 - bitone)) == (0x0, false, false));
+  test_assert ("minus_overflow_vec_bit1", (((bit[4], bit, bit))(0x0 - bitone)) == (0xf, true, true));
+  test_assert ("minus_overflow_vec_bit2", (((bit[4], bit, bit))(0x8 - bitone)) == (0x7, false, false));
+  test_assert ("minus_overflow_vec_bit3", (((bit[4], bit, bit))(0x8 - bitzero)) == (0x8, false, false)); (* XXX shallow embedding returns true, false... *)
+}
+
-- 
cgit v1.2.3