Added new files to do range checks

diff --git a/lang/m2/libm2/LIST b/lang/m2/libm2/LIST
index ab3d139..a0077c8 100644 (file)
--- a/lang/m2/libm2/LIST
+++ b/lang/m2/libm2/LIST
@@ -32,3 +32,7 @@ confarray.c
 load.c
 stackprio.c
 EM.e
+rcku.e
+rcki.e
+rckul.e
+rckil.e

diff --git a/lang/m2/libm2/rcki.e b/lang/m2/libm2/rcki.e
new file mode 100644 (file)
index 0000000..57d2b7e
--- /dev/null
+++ b/lang/m2/libm2/rcki.e
@@ -0,0 +1,28 @@
+#
+#include <em_abs.h>
+
+ mes 2,EM_WSIZE,EM_PSIZE
+ exp $rcki
+ pro $rcki, 0
+
+ lal EM_PSIZE
+ loi EM_WSIZE
+ lal 0
+ loi EM_PSIZE
+ loi EM_WSIZE
+ cmi EM_WSIZE
+ zlt *1
+ lal EM_PSIZE
+ loi EM_WSIZE
+ lal 0
+ loi EM_PSIZE
+ adp EM_WSIZE
+ loi EM_WSIZE
+ cmi EM_WSIZE
+ zgt *1
+ ret 0
+1
+ loc ERANGE
+ trp
+ ret 0
+ end 0

diff --git a/lang/m2/libm2/rckil.e b/lang/m2/libm2/rckil.e
new file mode 100644 (file)
index 0000000..5b373a7
--- /dev/null
+++ b/lang/m2/libm2/rckil.e
@@ -0,0 +1,28 @@
+#
+#include <em_abs.h>
+
+ mes 2,EM_WSIZE,EM_PSIZE
+ exp $rckil
+ pro $rckil, 0
+
+ lal EM_PSIZE
+ loi EM_LSIZE
+ lal 0
+ loi EM_PSIZE
+ loi EM_LSIZE
+ cmi EM_LSIZE
+ zlt *1
+ lal EM_PSIZE
+ loi EM_LSIZE
+ lal 0
+ loi EM_PSIZE
+ adp EM_LSIZE
+ loi EM_LSIZE
+ cmi EM_LSIZE
+ zgt *1
+ ret 0
+1
+ loc ERANGE
+ trp
+ ret 0
+ end 0

diff --git a/lang/m2/libm2/rcku.e b/lang/m2/libm2/rcku.e
new file mode 100644 (file)
index 0000000..ffb1c8c
--- /dev/null
+++ b/lang/m2/libm2/rcku.e
@@ -0,0 +1,28 @@
+#
+#include <em_abs.h>
+
+ mes 2,EM_WSIZE,EM_PSIZE
+ exp $rcku
+ pro $rcku, 0
+
+ lal EM_PSIZE
+ loi EM_WSIZE
+ lal 0
+ loi EM_PSIZE
+ loi EM_WSIZE
+ cmu EM_WSIZE
+ zlt *1
+ lal EM_PSIZE
+ loi EM_WSIZE
+ lal 0
+ loi EM_PSIZE
+ adp EM_WSIZE
+ loi EM_WSIZE
+ cmu EM_WSIZE
+ zgt *1
+ ret 0
+1
+ loc ERANGE
+ trp
+ ret 0
+ end 0

diff --git a/lang/m2/libm2/rckul.e b/lang/m2/libm2/rckul.e
new file mode 100644 (file)
index 0000000..6bac67c
--- /dev/null
+++ b/lang/m2/libm2/rckul.e
@@ -0,0 +1,28 @@
+#
+#include <em_abs.h>
+
+ mes 2,EM_WSIZE,EM_PSIZE
+ exp $rckul
+ pro $rckul, 0
+
+ lal EM_PSIZE
+ loi EM_LSIZE
+ lal 0
+ loi EM_PSIZE
+ loi EM_LSIZE
+ cmu EM_LSIZE
+ zlt *1
+ lal EM_PSIZE
+ loi EM_LSIZE
+ lal 0
+ loi EM_PSIZE
+ adp EM_LSIZE
+ loi EM_LSIZE
+ cmu EM_LSIZE
+ zgt *1
+ ret 0
+1
+ loc ERANGE
+ trp
+ ret 0
+ end 0