Merge remote-tracking branch 'origin/master' into sail_new_tc

1 files changed, 36 insertions, 0 deletions

diff --git a/src/test/lib/tests/test_lt.sail b/src/test/lib/tests/test_lt.sail
new file mode 100644
index 00000000..6ae7a3c3
--- /dev/null
+++ b/src/test/lib/tests/test_lt.sail
@@ -0,0 +1,36 @@
+function unit test() = {
+  test_assert("lt0", not( 1 < -1));
+  test_assert("lt1", not(-1 < -1));
+  test_assert("lt2",    (-1 <  1));
+
+  (* XXX default is signed -- document this! *)
+  test_assert("lt_vec0", not(0x1 < 0xf));
+  test_assert("lt_vec1", not(0xf < 0xf));
+  test_assert("lt_vec2",    (0xf < 0x1));
+
+  test_assert("lt_vec_range0", not(0x1 < -1));
+  test_assert("lt_vec_range1", not(0xf < -1));
+  test_assert("lt_vec_range2",    (0xf < 1));
+  (* NB missing range_vec version *)
+
+  (* XXX missing implementations
+  test_assert("lt_unsigned0", not( 1 <_u -1));
+  test_assert("lt_unsigned1", not(-1 <_u -1));
+  test_assert("lt_unsigned2",    (-1 <_u  1)); *)
+
+  test_assert("lt_vec_unsigned0",    (0x1 <_u 0xf));
+  test_assert("lt_vec_unsigned1", not(0xf <_u 0xf));
+  test_assert("lt_vec_unsigned2", not(0xf <_u 0x1));
+
+  (* NB there is no lt_vec_range unsigned or signed *)
+
+  (* XXX missing implementations 
+  test_assert("lt_signed0", not( 1 <_s -1));
+  test_assert("lt_signed1", not(-1 <_s -1));
+  test_assert("lt_signed2",    (-1 <_s  1)); *)
+
+  test_assert("lt_vec_signed0", not(0x1 <_s 0xf));
+  test_assert("lt_vec_signed1", not(0xf <_s 0xf));
+  test_assert("lt_vec_signed2",    (0xf <_s 0x1));
+}
+