1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
# pragma once
# include <caml/callback.h>
# include <caml/stack.h>
#define Is_uint63(v) (Tag_val(v) == Custom_tag)
# define DECLARE_NULLOP(name) \
value uint63_##name() { \
static value* cb = 0; \
CAMLparam0(); \
if (!cb) cb = caml_named_value("uint63 " #name); \
CAMLreturn(*cb); \
}
# define DECLARE_UNOP(name) \
value uint63_##name(value x) { \
static value* cb = 0; \
CAMLparam1(x); \
if (!cb) cb = caml_named_value("uint63 " #name); \
CAMLreturn(caml_callback(*cb, x)); \
}
# define DECLARE_PREDICATE(name) \
value uint63_##name(value x) { \
static value* cb = 0; \
CAMLparam1(x); \
if (!cb) cb = caml_named_value("uint63 " #name); \
CAMLreturn(Int_val(caml_callback(*cb, x))); \
}
# define DECLARE_BINOP(name) \
value uint63_##name(value x, value y) { \
static value* cb = 0; \
CAMLparam2(x, y); \
if (!cb) cb = caml_named_value("uint63 " #name); \
CAMLreturn(caml_callback2(*cb, x, y)); \
}
# define DECLARE_RELATION(name) \
value uint63_##name(value x, value y) { \
static value* cb = 0; \
CAMLparam2(x, y); \
if (!cb) cb = caml_named_value("uint63 " #name); \
CAMLreturn(Int_val(caml_callback2(*cb, x, y))); \
}
# define DECLARE_TEROP(name) \
value uint63_##name(value x, value y, value z) { \
static value* cb = 0; \
CAMLparam3(x, y, z); \
if (!cb) cb = caml_named_value("uint63 " #name); \
CAMLreturn(caml_callback3(*cb, x, y, z)); \
}
DECLARE_NULLOP(one)
DECLARE_BINOP(add)
DECLARE_BINOP(addcarry)
DECLARE_TEROP(addmuldiv)
DECLARE_BINOP(div)
DECLARE_TEROP(div21_ml)
DECLARE_RELATION(eq)
DECLARE_PREDICATE(eq0)
DECLARE_UNOP(head0)
DECLARE_BINOP(land)
DECLARE_RELATION(leq)
DECLARE_BINOP(lor)
DECLARE_BINOP(lsl)
DECLARE_UNOP(lsl1)
DECLARE_BINOP(lsr)
DECLARE_UNOP(lsr1)
DECLARE_RELATION(lt)
DECLARE_BINOP(lxor)
DECLARE_BINOP(mod)
DECLARE_BINOP(mul)
DECLARE_BINOP(mulc_ml)
DECLARE_BINOP(sub)
DECLARE_BINOP(subcarry)
DECLARE_UNOP(tail0)
value uint63_div21(value x, value y, value z, value* q) {
CAMLparam3(x, y, z);
CAMLlocal1(qr);
qr = uint63_div21_ml(x, y, z);
*q = Field(qr, 0);
CAMLreturn(Field(qr, 1));
}
value uint63_mulc(value x, value y, value* h) {
CAMLparam2(x, y);
CAMLlocal1(hl);
hl = uint63_mulc_ml(x, y);
*h = Field(hl, 0);
CAMLreturn(Field(hl, 1));
}
|
