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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
|
(* Copyright (C) 2012,2013,2019 Matthew Fluet.
* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
* Jagannathan, and Stephen Weeks.
* Copyright (C) 1997-2000 NEC Research Institute.
*
* MLton is released under a HPND-style license.
* See the file MLton-LICENSE for details.
*)
(* Primitive names are special -- see atoms/prim.fun. *)
signature PRIM_REAL =
sig
type real
type t = real
val realSize: Primitive.Int32.int
val exponentBias : Primitive.Int32.int
val precision: Primitive.Int32.int
val radix: Primitive.Int32.int
structure Math :
sig
type real
val acos: real -> real
val asin: real -> real
val atan: real -> real
val atan2: real * real -> real
val cos: real -> real
val cosh: real -> real
val e: real
val exp: real -> real
val ln: real -> real
val log10: real -> real
val pi: real
val pow: real * real -> real
val sin: real -> real
val sinh: real -> real
val sqrt: real -> real
val tan: real -> real
val tanh: real -> real
end
val * : real * real -> real
val *+ : real * real * real -> real
val *- : real * real * real -> real
val + : real * real -> real
val - : real * real -> real
val / : real * real -> real
val ~ : real -> real
val < : real * real -> bool
val <= : real * real -> bool
val == : real * real -> bool
val ?= : real * real -> bool
val abs: real -> real
val frexp: real * C_Int.t ref -> real
val gdtoa: real * C_Int.t * C_Int.t * C_Int.t * C_Int.t ref -> C_String.t
val ldexp: real * C_Int.t -> real
val modf: real * real ref -> real
val round: real -> real
val realCeil: real -> real
val realFloor: real -> real
val realTrunc: real -> real
val strtor: Primitive.NullString8.t * C_Int.t -> real
(* Integer to float; depends on rounding mode. *)
val fromInt8Unsafe: Primitive.Int8.int -> real
val fromInt16Unsafe: Primitive.Int16.int -> real
val fromInt32Unsafe: Primitive.Int32.int -> real
val fromInt64Unsafe: Primitive.Int64.int -> real
(* Float to float; depends on rounding mode. *)
val fromReal32Unsafe: Primitive.Real32.real -> real
val fromReal64Unsafe: Primitive.Real64.real -> real
(* Word to float; depends on rounding mode. *)
val fromWord8Unsafe: Primitive.Word8.word -> real
val fromWord16Unsafe: Primitive.Word16.word -> real
val fromWord32Unsafe: Primitive.Word32.word -> real
val fromWord64Unsafe: Primitive.Word64.word -> real
(* Float to integer, taking lowbits. *)
val toInt8Unsafe: real -> Primitive.Int8.int
val toInt16Unsafe: real -> Primitive.Int16.int
val toInt32Unsafe: real -> Primitive.Int32.int
val toInt64Unsafe: real -> Primitive.Int64.int
(* Float to float; depends on rounding mode. *)
val toReal32Unsafe: real -> Primitive.Real32.real
val toReal64Unsafe: real -> Primitive.Real64.real
(* Float to word, taking lowbits. *)
val toWord8Unsafe: real -> Primitive.Word8.word
val toWord16Unsafe: real -> Primitive.Word16.word
val toWord32Unsafe: real -> Primitive.Word32.word
val toWord64Unsafe: real -> Primitive.Word64.word
end
structure Primitive = struct
open Primitive
structure Real32 : PRIM_REAL =
struct
open PrimitiveFFI.Real32
open Real32
val realSize : Int32.int = 32
val exponentBias : Int32.int = 127
val precision : Int32.int = 24
val radix : Int32.int = 2
structure Math =
struct
type real = real
open Math
val acos = _prim "Real32_Math_acos": real -> real;
val asin = _prim "Real32_Math_asin": real -> real;
val atan = _prim "Real32_Math_atan": real -> real;
val atan2 = _prim "Real32_Math_atan2": real * real -> real;
val cos = _prim "Real32_Math_cos": real -> real;
val e = 2.71828182845904523536 : real
val exp = _prim "Real32_Math_exp": real -> real;
val ln = _prim "Real32_Math_ln": real -> real;
val log10 = _prim "Real32_Math_log10": real -> real;
val pi = 3.14159265358979323846 : real
val sin = _prim "Real32_Math_sin": real -> real;
val sqrt = _prim "Real32_Math_sqrt": real -> real;
val tan = _prim "Real32_Math_tan": real -> real;
end
val * = _prim "Real32_mul": real * real -> real;
val *+ = _prim "Real32_muladd": real * real * real -> real;
val *- = _prim "Real32_mulsub": real * real * real -> real;
val + = _prim "Real32_add": real * real -> real;
val - = _prim "Real32_sub": real * real -> real;
val / = _prim "Real32_div": real * real -> real;
val ~ = _prim "Real32_neg": real -> real;
val op < = _prim "Real32_lt": real * real -> bool;
val op <= = _prim "Real32_le": real * real -> bool;
val == = _prim "Real32_equal": real * real -> bool;
val ?= = _prim "Real32_qequal": real * real -> bool;
val abs = _prim "Real32_abs": real -> real;
val ldexp = _prim "Real32_ldexp": real * C_Int.t -> real;
val round = _prim "Real32_round": real -> real;
val fromInt8Unsafe = _prim "WordS8_rndToReal32": Int8.int -> real;
val fromInt16Unsafe = _prim "WordS16_rndToReal32": Int16.int -> real;
val fromInt32Unsafe = _prim "WordS32_rndToReal32": Int32.int -> real;
val fromInt64Unsafe = _prim "WordS64_rndToReal32": Int64.int -> real;
val fromReal32Unsafe = _prim "Real32_rndToReal32": Real32.real -> real;
val fromReal64Unsafe = _prim "Real64_rndToReal32": Real64.real -> real;
val fromWord8Unsafe = _prim "WordU8_rndToReal32": Word8.word -> real;
val fromWord16Unsafe = _prim "WordU16_rndToReal32": Word16.word -> real;
val fromWord32Unsafe = _prim "WordU32_rndToReal32": Word32.word -> real;
val fromWord64Unsafe = _prim "WordU64_rndToReal32": Word64.word -> real;
val toInt8Unsafe = _prim "Real32_rndToWordS8": real -> Int8.int;
val toInt16Unsafe = _prim "Real32_rndToWordS16": real -> Int16.int;
val toInt32Unsafe = _prim "Real32_rndToWordS32": real -> Int32.int;
val toInt64Unsafe = _prim "Real32_rndToWordS64": real -> Int64.int;
val toReal32Unsafe = _prim "Real32_rndToReal32": real -> Real32.real;
val toReal64Unsafe = _prim "Real32_rndToReal64": real -> Real64.real;
val toWord8Unsafe = _prim "Real32_rndToWordU8": real -> Word8.word;
val toWord16Unsafe = _prim "Real32_rndToWordU16": real -> Word16.word;
val toWord32Unsafe = _prim "Real32_rndToWordU32": real -> Word32.word;
val toWord64Unsafe = _prim "Real32_rndToWordU64": real -> Word64.word;
end
structure Real32 =
struct
open Real32
local
structure S = RealComparisons (Real32)
in
open S
end
end
structure Real64 : PRIM_REAL =
struct
open PrimitiveFFI.Real64
open Real64
val realSize : Int32.int = 64
val exponentBias : Int32.int = 1023
val precision : Int32.int = 53
val radix : Int32.int = 2
structure Math =
struct
type real = real
open Math
val acos = _prim "Real64_Math_acos": real -> real;
val asin = _prim "Real64_Math_asin": real -> real;
val atan = _prim "Real64_Math_atan": real -> real;
val atan2 = _prim "Real64_Math_atan2": real * real -> real;
val cos = _prim "Real64_Math_cos": real -> real;
val e = 2.71828182845904523536 : real
val exp = _prim "Real64_Math_exp": real -> real;
val ln = _prim "Real64_Math_ln": real -> real;
val log10 = _prim "Real64_Math_log10": real -> real;
val pi = 3.14159265358979323846 : real
val sin = _prim "Real64_Math_sin": real -> real;
val sqrt = _prim "Real64_Math_sqrt": real -> real;
val tan = _prim "Real64_Math_tan": real -> real;
end
val * = _prim "Real64_mul": real * real -> real;
val *+ = _prim "Real64_muladd": real * real * real -> real;
val *- = _prim "Real64_mulsub": real * real * real -> real;
val + = _prim "Real64_add": real * real -> real;
val - = _prim "Real64_sub": real * real -> real;
val / = _prim "Real64_div": real * real -> real;
val ~ = _prim "Real64_neg": real -> real;
val op < = _prim "Real64_lt": real * real -> bool;
val op <= = _prim "Real64_le": real * real -> bool;
val == = _prim "Real64_equal": real * real -> bool;
val ?= = _prim "Real64_qequal": real * real -> bool;
val abs = _prim "Real64_abs": real -> real;
val ldexp = _prim "Real64_ldexp": real * C_Int.t -> real;
val round = _prim "Real64_round": real -> real;
val fromInt8Unsafe = _prim "WordS8_rndToReal64": Int8.int -> real;
val fromInt16Unsafe = _prim "WordS16_rndToReal64": Int16.int -> real;
val fromInt32Unsafe = _prim "WordS32_rndToReal64": Int32.int -> real;
val fromInt64Unsafe = _prim "WordS64_rndToReal64": Int64.int -> real;
val fromReal32Unsafe = _prim "Real32_rndToReal64": Real32.real -> real;
val fromReal64Unsafe = _prim "Real64_rndToReal64": Real64.real -> real;
val fromWord8Unsafe = _prim "WordU8_rndToReal64": Word8.word -> real;
val fromWord16Unsafe = _prim "WordU16_rndToReal64": Word16.word -> real;
val fromWord32Unsafe = _prim "WordU32_rndToReal64": Word32.word -> real;
val fromWord64Unsafe = _prim "WordU64_rndToReal64": Word64.word -> real;
val toInt8Unsafe = _prim "Real64_rndToWordS8": real -> Int8.int;
val toInt16Unsafe = _prim "Real64_rndToWordS16": real -> Int16.int;
val toInt32Unsafe = _prim "Real64_rndToWordS32": real -> Int32.int;
val toInt64Unsafe = _prim "Real64_rndToWordS64": real -> Int64.int;
val toReal32Unsafe = _prim "Real64_rndToReal32": real -> Real32.real;
val toReal64Unsafe = _prim "Real64_rndToReal64": real -> Real64.real;
val toWord8Unsafe = _prim "Real64_rndToWordU8": real -> Word8.word;
val toWord16Unsafe = _prim "Real64_rndToWordU16": real -> Word16.word;
val toWord32Unsafe = _prim "Real64_rndToWordU32": real -> Word32.word;
val toWord64Unsafe = _prim "Real64_rndToWordU64": real -> Word64.word;
end
structure Real64 =
struct
open Real64
local
structure S = RealComparisons (Real64)
in
open S
end
end
end
|
