summaryrefslogtreecommitdiff
path: root/byterun/compare.c
diff options
context:
space:
mode:
Diffstat (limited to 'byterun/compare.c')
-rw-r--r--byterun/compare.c110
1 files changed, 0 insertions, 110 deletions
diff --git a/byterun/compare.c b/byterun/compare.c
deleted file mode 100644
index a42fe7664d..0000000000
--- a/byterun/compare.c
+++ /dev/null
@@ -1,110 +0,0 @@
-#include "fail.h"
-#include "memory.h"
-#include "misc.h"
-#include "mlvalues.h"
-#include "str.h"
-
-/* Structural comparison on trees.
- May loop on cyclic structures. */
-
-static long compare_val(v1, v2)
- value v1,v2;
-{
- tag_t t1, t2;
-
- tailcall:
- if (v1 == v2) return 0;
- if (Is_long(v1) || Is_long(v2)) return Long_val(v1) - Long_val(v2);
- /* If one of the objects is outside the heap (but is not an atom),
- use address comparison. */
- if ((!Is_atom(v1) && !Is_young(v1) && !Is_in_heap(v1)) ||
- (!Is_atom(v2) && !Is_young(v2) && !Is_in_heap(v2)))
- return v1 - v2;
- t1 = Tag_val(v1);
- t2 = Tag_val(v2);
- if (t1 != t2) return (long)t1 - (long)t2;
- switch(t1) {
- case String_tag: {
- mlsize_t len1, len2, len;
- unsigned char * p1, * p2;
- len1 = string_length(v1);
- len2 = string_length(v2);
- for (len = (len1 <= len2 ? len1 : len2),
- p1 = (unsigned char *) String_val(v1),
- p2 = (unsigned char *) String_val(v2);
- len > 0;
- len--, p1++, p2++)
- if (*p1 != *p2) return (long)*p1 - (long)*p2;
- return len1 - len2;
- }
- case Double_tag: {
- double d1 = Double_val(v1);
- double d2 = Double_val(v2);
- if (d1 == d2) return 0; else if (d1 < d2) return -1; else return 1;
- }
- case Abstract_tag:
- case Final_tag:
- invalid_argument("equal: abstract value");
- case Closure_tag:
- invalid_argument("equal: functional value");
- default: {
- mlsize_t sz1 = Wosize_val(v1);
- mlsize_t sz2 = Wosize_val(v2);
- value * p1, * p2;
- long res;
- if (sz1 != sz2) return sz1 - sz2;
- for(p1 = Op_val(v1), p2 = Op_val(v2);
- sz1 > 1;
- sz1--, p1++, p2++) {
- res = compare_val(*p1, *p2);
- if (res != 0) return res;
- }
- v1 = *p1;
- v2 = *p2;
- goto tailcall;
- }
- }
-}
-
-value compare(v1, v2) /* ML */
- value v1, v2;
-{
- return Val_long(compare_val(v1, v2));
-}
-
-value equal(v1, v2) /* ML */
- value v1, v2;
-{
- return Atom(compare_val(v1, v2) == 0);
-}
-
-value notequal(v1, v2) /* ML */
- value v1, v2;
-{
- return Atom(compare_val(v1, v2) != 0);
-}
-
-value lessthan(v1, v2) /* ML */
- value v1, v2;
-{
- return Atom(compare_val(v1, v2) < 0);
-}
-
-value lessequal(v1, v2) /* ML */
- value v1, v2;
-{
- return Atom(compare_val(v1, v2) <= 0);
-}
-
-value greaterthan(v1, v2) /* ML */
- value v1, v2;
-{
- return Atom(compare_val(v1, v2) > 0);
-}
-
-value greaterequal(v1, v2) /* ML */
- value v1, v2;
-{
- return Atom(compare_val(v1, v2) >= 0);
-}
-