Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh |
2 | * Jagannathan, and Stephen Weeks. | |
3 | * Copyright (C) 1997-2000 NEC Research Institute. | |
4 | * | |
5 | * MLton is released under a BSD-style license. | |
6 | * See the file MLton-LICENSE for details. | |
7 | *) | |
8 | ||
9 | (* Primitive names are special -- see atoms/prim.fun. *) | |
10 | ||
11 | signature PRIM_INTWORD_CONV = | |
12 | sig | |
13 | (* identity *) | |
14 | val idFromInt8ToInt8: Primitive.Int8.int -> Primitive.Int8.int | |
15 | val idFromInt8ToWord8: Primitive.Int8.int -> Primitive.Word8.word | |
16 | val idFromInt16ToInt16: Primitive.Int16.int -> Primitive.Int16.int | |
17 | val idFromInt16ToWord16: Primitive.Int16.int -> Primitive.Word16.word | |
18 | val idFromInt32ToInt32: Primitive.Int32.int -> Primitive.Int32.int | |
19 | val idFromInt32ToWord32: Primitive.Int32.int -> Primitive.Word32.word | |
20 | val idFromInt64ToInt64: Primitive.Int64.int -> Primitive.Int64.int | |
21 | val idFromInt64ToWord64: Primitive.Int64.int -> Primitive.Word64.word | |
22 | val idFromWord8ToInt8: Primitive.Word8.word -> Primitive.Int8.int | |
23 | val idFromWord8ToWord8: Primitive.Word8.word -> Primitive.Word8.word | |
24 | val idFromWord16ToInt16: Primitive.Word16.word -> Primitive.Int16.int | |
25 | val idFromWord16ToWord16: Primitive.Word16.word -> Primitive.Word16.word | |
26 | val idFromWord32ToInt32: Primitive.Word32.word -> Primitive.Int32.int | |
27 | val idFromWord32ToWord32: Primitive.Word32.word -> Primitive.Word32.word | |
28 | val idFromWord64ToInt64: Primitive.Word64.word -> Primitive.Int64.int | |
29 | val idFromWord64ToWord64: Primitive.Word64.word -> Primitive.Word64.word | |
30 | ||
31 | (* zero-extend or low-bits *) | |
32 | val zextdFromInt8ToInt8: Primitive.Int8.int -> Primitive.Int8.int | |
33 | val zextdFromInt8ToInt16: Primitive.Int8.int -> Primitive.Int16.int | |
34 | val zextdFromInt8ToInt32: Primitive.Int8.int -> Primitive.Int32.int | |
35 | val zextdFromInt8ToInt64: Primitive.Int8.int -> Primitive.Int64.int | |
36 | val zextdFromInt8ToWord8: Primitive.Int8.int -> Primitive.Word8.word | |
37 | val zextdFromInt8ToWord16: Primitive.Int8.int -> Primitive.Word16.word | |
38 | val zextdFromInt8ToWord32: Primitive.Int8.int -> Primitive.Word32.word | |
39 | val zextdFromInt8ToWord64: Primitive.Int8.int -> Primitive.Word64.word | |
40 | ||
41 | val zextdFromInt16ToInt8: Primitive.Int16.int -> Primitive.Int8.int | |
42 | val zextdFromInt16ToInt16: Primitive.Int16.int -> Primitive.Int16.int | |
43 | val zextdFromInt16ToInt32: Primitive.Int16.int -> Primitive.Int32.int | |
44 | val zextdFromInt16ToInt64: Primitive.Int16.int -> Primitive.Int64.int | |
45 | val zextdFromInt16ToWord8: Primitive.Int16.int -> Primitive.Word8.word | |
46 | val zextdFromInt16ToWord16: Primitive.Int16.int -> Primitive.Word16.word | |
47 | val zextdFromInt16ToWord32: Primitive.Int16.int -> Primitive.Word32.word | |
48 | val zextdFromInt16ToWord64: Primitive.Int16.int -> Primitive.Word64.word | |
49 | ||
50 | val zextdFromInt32ToInt8: Primitive.Int32.int -> Primitive.Int8.int | |
51 | val zextdFromInt32ToInt16: Primitive.Int32.int -> Primitive.Int16.int | |
52 | val zextdFromInt32ToInt32: Primitive.Int32.int -> Primitive.Int32.int | |
53 | val zextdFromInt32ToInt64: Primitive.Int32.int -> Primitive.Int64.int | |
54 | val zextdFromInt32ToWord8: Primitive.Int32.int -> Primitive.Word8.word | |
55 | val zextdFromInt32ToWord16: Primitive.Int32.int -> Primitive.Word16.word | |
56 | val zextdFromInt32ToWord32: Primitive.Int32.int -> Primitive.Word32.word | |
57 | val zextdFromInt32ToWord64: Primitive.Int32.int -> Primitive.Word64.word | |
58 | ||
59 | val zextdFromInt64ToInt8: Primitive.Int64.int -> Primitive.Int8.int | |
60 | val zextdFromInt64ToInt16: Primitive.Int64.int -> Primitive.Int16.int | |
61 | val zextdFromInt64ToInt32: Primitive.Int64.int -> Primitive.Int32.int | |
62 | val zextdFromInt64ToInt64: Primitive.Int64.int -> Primitive.Int64.int | |
63 | val zextdFromInt64ToWord8: Primitive.Int64.int -> Primitive.Word8.word | |
64 | val zextdFromInt64ToWord16: Primitive.Int64.int -> Primitive.Word16.word | |
65 | val zextdFromInt64ToWord32: Primitive.Int64.int -> Primitive.Word32.word | |
66 | val zextdFromInt64ToWord64: Primitive.Int64.int -> Primitive.Word64.word | |
67 | ||
68 | val zextdFromWord8ToInt8: Primitive.Word8.word -> Primitive.Int8.int | |
69 | val zextdFromWord8ToInt16: Primitive.Word8.word -> Primitive.Int16.int | |
70 | val zextdFromWord8ToInt32: Primitive.Word8.word -> Primitive.Int32.int | |
71 | val zextdFromWord8ToInt64: Primitive.Word8.word -> Primitive.Int64.int | |
72 | val zextdFromWord8ToWord8: Primitive.Word8.word -> Primitive.Word8.word | |
73 | val zextdFromWord8ToWord16: Primitive.Word8.word -> Primitive.Word16.word | |
74 | val zextdFromWord8ToWord32: Primitive.Word8.word -> Primitive.Word32.word | |
75 | val zextdFromWord8ToWord64: Primitive.Word8.word -> Primitive.Word64.word | |
76 | ||
77 | val zextdFromWord16ToInt8: Primitive.Word16.word -> Primitive.Int8.int | |
78 | val zextdFromWord16ToInt16: Primitive.Word16.word -> Primitive.Int16.int | |
79 | val zextdFromWord16ToInt32: Primitive.Word16.word -> Primitive.Int32.int | |
80 | val zextdFromWord16ToInt64: Primitive.Word16.word -> Primitive.Int64.int | |
81 | val zextdFromWord16ToWord8: Primitive.Word16.word -> Primitive.Word8.word | |
82 | val zextdFromWord16ToWord16: Primitive.Word16.word -> Primitive.Word16.word | |
83 | val zextdFromWord16ToWord32: Primitive.Word16.word -> Primitive.Word32.word | |
84 | val zextdFromWord16ToWord64: Primitive.Word16.word -> Primitive.Word64.word | |
85 | ||
86 | val zextdFromWord32ToInt8: Primitive.Word32.word -> Primitive.Int8.int | |
87 | val zextdFromWord32ToInt16: Primitive.Word32.word -> Primitive.Int16.int | |
88 | val zextdFromWord32ToInt32: Primitive.Word32.word -> Primitive.Int32.int | |
89 | val zextdFromWord32ToInt64: Primitive.Word32.word -> Primitive.Int64.int | |
90 | val zextdFromWord32ToWord8: Primitive.Word32.word -> Primitive.Word8.word | |
91 | val zextdFromWord32ToWord16: Primitive.Word32.word -> Primitive.Word16.word | |
92 | val zextdFromWord32ToWord32: Primitive.Word32.word -> Primitive.Word32.word | |
93 | val zextdFromWord32ToWord64: Primitive.Word32.word -> Primitive.Word64.word | |
94 | ||
95 | val zextdFromWord64ToInt8: Primitive.Word64.word -> Primitive.Int8.int | |
96 | val zextdFromWord64ToInt16: Primitive.Word64.word -> Primitive.Int16.int | |
97 | val zextdFromWord64ToInt32: Primitive.Word64.word -> Primitive.Int32.int | |
98 | val zextdFromWord64ToInt64: Primitive.Word64.word -> Primitive.Int64.int | |
99 | val zextdFromWord64ToWord8: Primitive.Word64.word -> Primitive.Word8.word | |
100 | val zextdFromWord64ToWord16: Primitive.Word64.word -> Primitive.Word16.word | |
101 | val zextdFromWord64ToWord32: Primitive.Word64.word -> Primitive.Word32.word | |
102 | val zextdFromWord64ToWord64: Primitive.Word64.word -> Primitive.Word64.word | |
103 | ||
104 | (* sign-extend or low-bits *) | |
105 | val sextdFromInt8ToInt8: Primitive.Int8.int -> Primitive.Int8.int | |
106 | val sextdFromInt8ToInt16: Primitive.Int8.int -> Primitive.Int16.int | |
107 | val sextdFromInt8ToInt32: Primitive.Int8.int -> Primitive.Int32.int | |
108 | val sextdFromInt8ToInt64: Primitive.Int8.int -> Primitive.Int64.int | |
109 | val sextdFromInt8ToWord8: Primitive.Int8.int -> Primitive.Word8.word | |
110 | val sextdFromInt8ToWord16: Primitive.Int8.int -> Primitive.Word16.word | |
111 | val sextdFromInt8ToWord32: Primitive.Int8.int -> Primitive.Word32.word | |
112 | val sextdFromInt8ToWord64: Primitive.Int8.int -> Primitive.Word64.word | |
113 | ||
114 | val sextdFromInt16ToInt8: Primitive.Int16.int -> Primitive.Int8.int | |
115 | val sextdFromInt16ToInt16: Primitive.Int16.int -> Primitive.Int16.int | |
116 | val sextdFromInt16ToInt32: Primitive.Int16.int -> Primitive.Int32.int | |
117 | val sextdFromInt16ToInt64: Primitive.Int16.int -> Primitive.Int64.int | |
118 | val sextdFromInt16ToWord8: Primitive.Int16.int -> Primitive.Word8.word | |
119 | val sextdFromInt16ToWord16: Primitive.Int16.int -> Primitive.Word16.word | |
120 | val sextdFromInt16ToWord32: Primitive.Int16.int -> Primitive.Word32.word | |
121 | val sextdFromInt16ToWord64: Primitive.Int16.int -> Primitive.Word64.word | |
122 | ||
123 | val sextdFromInt32ToInt8: Primitive.Int32.int -> Primitive.Int8.int | |
124 | val sextdFromInt32ToInt16: Primitive.Int32.int -> Primitive.Int16.int | |
125 | val sextdFromInt32ToInt32: Primitive.Int32.int -> Primitive.Int32.int | |
126 | val sextdFromInt32ToInt64: Primitive.Int32.int -> Primitive.Int64.int | |
127 | val sextdFromInt32ToWord8: Primitive.Int32.int -> Primitive.Word8.word | |
128 | val sextdFromInt32ToWord16: Primitive.Int32.int -> Primitive.Word16.word | |
129 | val sextdFromInt32ToWord32: Primitive.Int32.int -> Primitive.Word32.word | |
130 | val sextdFromInt32ToWord64: Primitive.Int32.int -> Primitive.Word64.word | |
131 | ||
132 | val sextdFromInt64ToInt8: Primitive.Int64.int -> Primitive.Int8.int | |
133 | val sextdFromInt64ToInt16: Primitive.Int64.int -> Primitive.Int16.int | |
134 | val sextdFromInt64ToInt32: Primitive.Int64.int -> Primitive.Int32.int | |
135 | val sextdFromInt64ToInt64: Primitive.Int64.int -> Primitive.Int64.int | |
136 | val sextdFromInt64ToWord8: Primitive.Int64.int -> Primitive.Word8.word | |
137 | val sextdFromInt64ToWord16: Primitive.Int64.int -> Primitive.Word16.word | |
138 | val sextdFromInt64ToWord32: Primitive.Int64.int -> Primitive.Word32.word | |
139 | val sextdFromInt64ToWord64: Primitive.Int64.int -> Primitive.Word64.word | |
140 | ||
141 | val sextdFromWord8ToInt8: Primitive.Word8.word -> Primitive.Int8.int | |
142 | val sextdFromWord8ToInt16: Primitive.Word8.word -> Primitive.Int16.int | |
143 | val sextdFromWord8ToInt32: Primitive.Word8.word -> Primitive.Int32.int | |
144 | val sextdFromWord8ToInt64: Primitive.Word8.word -> Primitive.Int64.int | |
145 | val sextdFromWord8ToWord8: Primitive.Word8.word -> Primitive.Word8.word | |
146 | val sextdFromWord8ToWord16: Primitive.Word8.word -> Primitive.Word16.word | |
147 | val sextdFromWord8ToWord32: Primitive.Word8.word -> Primitive.Word32.word | |
148 | val sextdFromWord8ToWord64: Primitive.Word8.word -> Primitive.Word64.word | |
149 | ||
150 | val sextdFromWord16ToInt8: Primitive.Word16.word -> Primitive.Int8.int | |
151 | val sextdFromWord16ToInt16: Primitive.Word16.word -> Primitive.Int16.int | |
152 | val sextdFromWord16ToInt32: Primitive.Word16.word -> Primitive.Int32.int | |
153 | val sextdFromWord16ToInt64: Primitive.Word16.word -> Primitive.Int64.int | |
154 | val sextdFromWord16ToWord8: Primitive.Word16.word -> Primitive.Word8.word | |
155 | val sextdFromWord16ToWord16: Primitive.Word16.word -> Primitive.Word16.word | |
156 | val sextdFromWord16ToWord32: Primitive.Word16.word -> Primitive.Word32.word | |
157 | val sextdFromWord16ToWord64: Primitive.Word16.word -> Primitive.Word64.word | |
158 | ||
159 | val sextdFromWord32ToInt8: Primitive.Word32.word -> Primitive.Int8.int | |
160 | val sextdFromWord32ToInt16: Primitive.Word32.word -> Primitive.Int16.int | |
161 | val sextdFromWord32ToInt32: Primitive.Word32.word -> Primitive.Int32.int | |
162 | val sextdFromWord32ToInt64: Primitive.Word32.word -> Primitive.Int64.int | |
163 | val sextdFromWord32ToWord8: Primitive.Word32.word -> Primitive.Word8.word | |
164 | val sextdFromWord32ToWord16: Primitive.Word32.word -> Primitive.Word16.word | |
165 | val sextdFromWord32ToWord32: Primitive.Word32.word -> Primitive.Word32.word | |
166 | val sextdFromWord32ToWord64: Primitive.Word32.word -> Primitive.Word64.word | |
167 | ||
168 | val sextdFromWord64ToInt8: Primitive.Word64.word -> Primitive.Int8.int | |
169 | val sextdFromWord64ToInt16: Primitive.Word64.word -> Primitive.Int16.int | |
170 | val sextdFromWord64ToInt32: Primitive.Word64.word -> Primitive.Int32.int | |
171 | val sextdFromWord64ToInt64: Primitive.Word64.word -> Primitive.Int64.int | |
172 | val sextdFromWord64ToWord8: Primitive.Word64.word -> Primitive.Word8.word | |
173 | val sextdFromWord64ToWord16: Primitive.Word64.word -> Primitive.Word16.word | |
174 | val sextdFromWord64ToWord32: Primitive.Word64.word -> Primitive.Word32.word | |
175 | val sextdFromWord64ToWord64: Primitive.Word64.word -> Primitive.Word64.word | |
176 | end | |
177 | ||
178 | structure Primitive = struct | |
179 | ||
180 | open Primitive | |
181 | ||
182 | structure IntWordConv : PRIM_INTWORD_CONV = | |
183 | struct | |
184 | (* identity *) | |
185 | val idFromInt8ToInt8 = | |
186 | _prim "WordU8_extdToWord8": Int8.int -> Int8.int; | |
187 | val idFromInt8ToWord8 = | |
188 | _prim "WordU8_extdToWord8": Int8.int -> Word8.word; | |
189 | val idFromInt16ToInt16 = | |
190 | _prim "WordU16_extdToWord16": Int16.int -> Int16.int; | |
191 | val idFromInt16ToWord16 = | |
192 | _prim "WordU16_extdToWord16": Int16.int -> Word16.word; | |
193 | val idFromInt32ToInt32 = | |
194 | _prim "WordU32_extdToWord32": Int32.int -> Int32.int; | |
195 | val idFromInt32ToWord32 = | |
196 | _prim "WordU32_extdToWord32": Int32.int -> Word32.word; | |
197 | val idFromInt64ToInt64 = | |
198 | _prim "WordU64_extdToWord64": Int64.int -> Int64.int; | |
199 | val idFromInt64ToWord64 = | |
200 | _prim "WordU64_extdToWord64": Int64.int -> Word64.word; | |
201 | val idFromWord8ToInt8 = | |
202 | _prim "WordU8_extdToWord8": Word8.word -> Int8.int; | |
203 | val idFromWord8ToWord8 = | |
204 | _prim "WordU8_extdToWord8": Word8.word -> Word8.word; | |
205 | val idFromWord16ToInt16 = | |
206 | _prim "WordU16_extdToWord16": Word16.word -> Int16.int; | |
207 | val idFromWord16ToWord16 = | |
208 | _prim "WordU16_extdToWord16": Word16.word -> Word16.word; | |
209 | val idFromWord32ToInt32 = | |
210 | _prim "WordU32_extdToWord32": Word32.word -> Int32.int; | |
211 | val idFromWord32ToWord32 = | |
212 | _prim "WordU32_extdToWord32": Word32.word -> Word32.word; | |
213 | val idFromWord64ToInt64 = | |
214 | _prim "WordU64_extdToWord64": Word64.word -> Int64.int; | |
215 | val idFromWord64ToWord64 = | |
216 | _prim "WordU64_extdToWord64": Word64.word -> Word64.word; | |
217 | ||
218 | (* zero-extend or low-bits *) | |
219 | val zextdFromInt8ToInt8 = | |
220 | _prim "WordU8_extdToWord8": Int8.int -> Int8.int; | |
221 | val zextdFromInt8ToInt16 = | |
222 | _prim "WordU8_extdToWord16": Int8.int -> Int16.int; | |
223 | val zextdFromInt8ToInt32 = | |
224 | _prim "WordU8_extdToWord32": Int8.int -> Int32.int; | |
225 | val zextdFromInt8ToInt64 = | |
226 | _prim "WordU8_extdToWord64": Int8.int -> Int64.int; | |
227 | val zextdFromInt8ToWord8 = | |
228 | _prim "WordU8_extdToWord8": Int8.int -> Word8.word; | |
229 | val zextdFromInt8ToWord16 = | |
230 | _prim "WordU8_extdToWord16": Int8.int -> Word16.word; | |
231 | val zextdFromInt8ToWord32 = | |
232 | _prim "WordU8_extdToWord32": Int8.int -> Word32.word; | |
233 | val zextdFromInt8ToWord64 = | |
234 | _prim "WordU8_extdToWord64": Int8.int -> Word64.word; | |
235 | ||
236 | val zextdFromInt16ToInt8 = | |
237 | _prim "WordU16_extdToWord8": Int16.int -> Int8.int; | |
238 | val zextdFromInt16ToInt16 = | |
239 | _prim "WordU16_extdToWord16": Int16.int -> Int16.int; | |
240 | val zextdFromInt16ToInt32 = | |
241 | _prim "WordU16_extdToWord32": Int16.int -> Int32.int; | |
242 | val zextdFromInt16ToInt64 = | |
243 | _prim "WordU16_extdToWord64": Int16.int -> Int64.int; | |
244 | val zextdFromInt16ToWord8 = | |
245 | _prim "WordU16_extdToWord8": Int16.int -> Word8.word; | |
246 | val zextdFromInt16ToWord16 = | |
247 | _prim "WordU16_extdToWord16": Int16.int -> Word16.word; | |
248 | val zextdFromInt16ToWord32 = | |
249 | _prim "WordU16_extdToWord32": Int16.int -> Word32.word; | |
250 | val zextdFromInt16ToWord64 = | |
251 | _prim "WordU16_extdToWord64": Int16.int -> Word64.word; | |
252 | ||
253 | val zextdFromInt32ToInt8 = | |
254 | _prim "WordU32_extdToWord8": Int32.int -> Int8.int; | |
255 | val zextdFromInt32ToInt16 = | |
256 | _prim "WordU32_extdToWord16": Int32.int -> Int16.int; | |
257 | val zextdFromInt32ToInt32 = | |
258 | _prim "WordU32_extdToWord32": Int32.int -> Int32.int; | |
259 | val zextdFromInt32ToInt64 = | |
260 | _prim "WordU32_extdToWord64": Int32.int -> Int64.int; | |
261 | val zextdFromInt32ToWord8 = | |
262 | _prim "WordU32_extdToWord8": Int32.int -> Word8.word; | |
263 | val zextdFromInt32ToWord16 = | |
264 | _prim "WordU32_extdToWord16": Int32.int -> Word16.word; | |
265 | val zextdFromInt32ToWord32 = | |
266 | _prim "WordU32_extdToWord32": Int32.int -> Word32.word; | |
267 | val zextdFromInt32ToWord64 = | |
268 | _prim "WordU32_extdToWord64": Int32.int -> Word64.word; | |
269 | ||
270 | val zextdFromInt64ToInt8 = | |
271 | _prim "WordU64_extdToWord8": Int64.int -> Int8.int; | |
272 | val zextdFromInt64ToInt16 = | |
273 | _prim "WordU64_extdToWord16": Int64.int -> Int16.int; | |
274 | val zextdFromInt64ToInt32 = | |
275 | _prim "WordU64_extdToWord32": Int64.int -> Int32.int; | |
276 | val zextdFromInt64ToInt64 = | |
277 | _prim "WordU64_extdToWord64": Int64.int -> Int64.int; | |
278 | val zextdFromInt64ToWord8 = | |
279 | _prim "WordU64_extdToWord8": Int64.int -> Word8.word; | |
280 | val zextdFromInt64ToWord16 = | |
281 | _prim "WordU64_extdToWord16": Int64.int -> Word16.word; | |
282 | val zextdFromInt64ToWord32 = | |
283 | _prim "WordU64_extdToWord32": Int64.int -> Word32.word; | |
284 | val zextdFromInt64ToWord64 = | |
285 | _prim "WordU64_extdToWord64": Int64.int -> Word64.word; | |
286 | ||
287 | val zextdFromWord8ToInt8 = | |
288 | _prim "WordU8_extdToWord8": Word8.word -> Int8.int; | |
289 | val zextdFromWord8ToInt16 = | |
290 | _prim "WordU8_extdToWord16": Word8.word -> Int16.int; | |
291 | val zextdFromWord8ToInt32 = | |
292 | _prim "WordU8_extdToWord32": Word8.word -> Int32.int; | |
293 | val zextdFromWord8ToInt64 = | |
294 | _prim "WordU8_extdToWord64": Word8.word -> Int64.int; | |
295 | val zextdFromWord8ToWord8 = | |
296 | _prim "WordU8_extdToWord8": Word8.word -> Word8.word; | |
297 | val zextdFromWord8ToWord16 = | |
298 | _prim "WordU8_extdToWord16": Word8.word -> Word16.word; | |
299 | val zextdFromWord8ToWord32 = | |
300 | _prim "WordU8_extdToWord32": Word8.word -> Word32.word; | |
301 | val zextdFromWord8ToWord64 = | |
302 | _prim "WordU8_extdToWord64": Word8.word -> Word64.word; | |
303 | ||
304 | val zextdFromWord16ToInt8 = | |
305 | _prim "WordU16_extdToWord8": Word16.word -> Int8.int; | |
306 | val zextdFromWord16ToInt16 = | |
307 | _prim "WordU16_extdToWord16": Word16.word -> Int16.int; | |
308 | val zextdFromWord16ToInt32 = | |
309 | _prim "WordU16_extdToWord32": Word16.word -> Int32.int; | |
310 | val zextdFromWord16ToInt64 = | |
311 | _prim "WordU16_extdToWord64": Word16.word -> Int64.int; | |
312 | val zextdFromWord16ToWord8 = | |
313 | _prim "WordU16_extdToWord8": Word16.word -> Word8.word; | |
314 | val zextdFromWord16ToWord16 = | |
315 | _prim "WordU16_extdToWord16": Word16.word -> Word16.word; | |
316 | val zextdFromWord16ToWord32 = | |
317 | _prim "WordU16_extdToWord32": Word16.word -> Word32.word; | |
318 | val zextdFromWord16ToWord64 = | |
319 | _prim "WordU16_extdToWord64": Word16.word -> Word64.word; | |
320 | ||
321 | val zextdFromWord32ToInt8 = | |
322 | _prim "WordU32_extdToWord8": Word32.word -> Int8.int; | |
323 | val zextdFromWord32ToInt16 = | |
324 | _prim "WordU32_extdToWord16": Word32.word -> Int16.int; | |
325 | val zextdFromWord32ToInt32 = | |
326 | _prim "WordU32_extdToWord32": Word32.word -> Int32.int; | |
327 | val zextdFromWord32ToInt64 = | |
328 | _prim "WordU32_extdToWord64": Word32.word -> Int64.int; | |
329 | val zextdFromWord32ToWord8 = | |
330 | _prim "WordU32_extdToWord8": Word32.word -> Word8.word; | |
331 | val zextdFromWord32ToWord16 = | |
332 | _prim "WordU32_extdToWord16": Word32.word -> Word16.word; | |
333 | val zextdFromWord32ToWord32 = | |
334 | _prim "WordU32_extdToWord32": Word32.word -> Word32.word; | |
335 | val zextdFromWord32ToWord64 = | |
336 | _prim "WordU32_extdToWord64": Word32.word -> Word64.word; | |
337 | ||
338 | val zextdFromWord64ToInt8 = | |
339 | _prim "WordU64_extdToWord8": Word64.word -> Int8.int; | |
340 | val zextdFromWord64ToInt16 = | |
341 | _prim "WordU64_extdToWord16": Word64.word -> Int16.int; | |
342 | val zextdFromWord64ToInt32 = | |
343 | _prim "WordU64_extdToWord32": Word64.word -> Int32.int; | |
344 | val zextdFromWord64ToInt64 = | |
345 | _prim "WordU64_extdToWord64": Word64.word -> Int64.int; | |
346 | val zextdFromWord64ToWord8 = | |
347 | _prim "WordU64_extdToWord8": Word64.word -> Word8.word; | |
348 | val zextdFromWord64ToWord16 = | |
349 | _prim "WordU64_extdToWord16": Word64.word -> Word16.word; | |
350 | val zextdFromWord64ToWord32 = | |
351 | _prim "WordU64_extdToWord32": Word64.word -> Word32.word; | |
352 | val zextdFromWord64ToWord64 = | |
353 | _prim "WordU64_extdToWord64": Word64.word -> Word64.word; | |
354 | ||
355 | (* sign-extend or low-bits *) | |
356 | val sextdFromInt8ToInt8 = | |
357 | _prim "WordS8_extdToWord8": Int8.int -> Int8.int; | |
358 | val sextdFromInt8ToInt16 = | |
359 | _prim "WordS8_extdToWord16": Int8.int -> Int16.int; | |
360 | val sextdFromInt8ToInt32 = | |
361 | _prim "WordS8_extdToWord32": Int8.int -> Int32.int; | |
362 | val sextdFromInt8ToInt64 = | |
363 | _prim "WordS8_extdToWord64": Int8.int -> Int64.int; | |
364 | val sextdFromInt8ToWord8 = | |
365 | _prim "WordS8_extdToWord8": Int8.int -> Word8.word; | |
366 | val sextdFromInt8ToWord16 = | |
367 | _prim "WordS8_extdToWord16": Int8.int -> Word16.word; | |
368 | val sextdFromInt8ToWord32 = | |
369 | _prim "WordS8_extdToWord32": Int8.int -> Word32.word; | |
370 | val sextdFromInt8ToWord64 = | |
371 | _prim "WordS8_extdToWord64": Int8.int -> Word64.word; | |
372 | ||
373 | val sextdFromInt16ToInt8 = | |
374 | _prim "WordS16_extdToWord8": Int16.int -> Int8.int; | |
375 | val sextdFromInt16ToInt16 = | |
376 | _prim "WordS16_extdToWord16": Int16.int -> Int16.int; | |
377 | val sextdFromInt16ToInt32 = | |
378 | _prim "WordS16_extdToWord32": Int16.int -> Int32.int; | |
379 | val sextdFromInt16ToInt64 = | |
380 | _prim "WordS16_extdToWord64": Int16.int -> Int64.int; | |
381 | val sextdFromInt16ToWord8 = | |
382 | _prim "WordS16_extdToWord8": Int16.int -> Word8.word; | |
383 | val sextdFromInt16ToWord16 = | |
384 | _prim "WordS16_extdToWord16": Int16.int -> Word16.word; | |
385 | val sextdFromInt16ToWord32 = | |
386 | _prim "WordS16_extdToWord32": Int16.int -> Word32.word; | |
387 | val sextdFromInt16ToWord64 = | |
388 | _prim "WordS16_extdToWord64": Int16.int -> Word64.word; | |
389 | ||
390 | val sextdFromInt32ToInt8 = | |
391 | _prim "WordS32_extdToWord8": Int32.int -> Int8.int; | |
392 | val sextdFromInt32ToInt16 = | |
393 | _prim "WordS32_extdToWord16": Int32.int -> Int16.int; | |
394 | val sextdFromInt32ToInt32 = | |
395 | _prim "WordS32_extdToWord32": Int32.int -> Int32.int; | |
396 | val sextdFromInt32ToInt64 = | |
397 | _prim "WordS32_extdToWord64": Int32.int -> Int64.int; | |
398 | val sextdFromInt32ToWord8 = | |
399 | _prim "WordS32_extdToWord8": Int32.int -> Word8.word; | |
400 | val sextdFromInt32ToWord16 = | |
401 | _prim "WordS32_extdToWord16": Int32.int -> Word16.word; | |
402 | val sextdFromInt32ToWord32 = | |
403 | _prim "WordS32_extdToWord32": Int32.int -> Word32.word; | |
404 | val sextdFromInt32ToWord64 = | |
405 | _prim "WordS32_extdToWord64": Int32.int -> Word64.word; | |
406 | ||
407 | val sextdFromInt64ToInt8 = | |
408 | _prim "WordS64_extdToWord8": Int64.int -> Int8.int; | |
409 | val sextdFromInt64ToInt16 = | |
410 | _prim "WordS64_extdToWord16": Int64.int -> Int16.int; | |
411 | val sextdFromInt64ToInt32 = | |
412 | _prim "WordS64_extdToWord32": Int64.int -> Int32.int; | |
413 | val sextdFromInt64ToInt64 = | |
414 | _prim "WordS64_extdToWord64": Int64.int -> Int64.int; | |
415 | val sextdFromInt64ToWord8 = | |
416 | _prim "WordS64_extdToWord8": Int64.int -> Word8.word; | |
417 | val sextdFromInt64ToWord16 = | |
418 | _prim "WordS64_extdToWord16": Int64.int -> Word16.word; | |
419 | val sextdFromInt64ToWord32 = | |
420 | _prim "WordS64_extdToWord32": Int64.int -> Word32.word; | |
421 | val sextdFromInt64ToWord64 = | |
422 | _prim "WordS64_extdToWord64": Int64.int -> Word64.word; | |
423 | ||
424 | val sextdFromWord8ToInt8 = | |
425 | _prim "WordS8_extdToWord8": Word8.word -> Int8.int; | |
426 | val sextdFromWord8ToInt16 = | |
427 | _prim "WordS8_extdToWord16": Word8.word -> Int16.int; | |
428 | val sextdFromWord8ToInt32 = | |
429 | _prim "WordS8_extdToWord32": Word8.word -> Int32.int; | |
430 | val sextdFromWord8ToInt64 = | |
431 | _prim "WordS8_extdToWord64": Word8.word -> Int64.int; | |
432 | val sextdFromWord8ToWord8 = | |
433 | _prim "WordS8_extdToWord8": Word8.word -> Word8.word; | |
434 | val sextdFromWord8ToWord16 = | |
435 | _prim "WordS8_extdToWord16": Word8.word -> Word16.word; | |
436 | val sextdFromWord8ToWord32 = | |
437 | _prim "WordS8_extdToWord32": Word8.word -> Word32.word; | |
438 | val sextdFromWord8ToWord64 = | |
439 | _prim "WordS8_extdToWord64": Word8.word -> Word64.word; | |
440 | ||
441 | val sextdFromWord16ToInt8 = | |
442 | _prim "WordS16_extdToWord8": Word16.word -> Int8.int; | |
443 | val sextdFromWord16ToInt16 = | |
444 | _prim "WordS16_extdToWord16": Word16.word -> Int16.int; | |
445 | val sextdFromWord16ToInt32 = | |
446 | _prim "WordS16_extdToWord32": Word16.word -> Int32.int; | |
447 | val sextdFromWord16ToInt64 = | |
448 | _prim "WordS16_extdToWord64": Word16.word -> Int64.int; | |
449 | val sextdFromWord16ToWord8 = | |
450 | _prim "WordS16_extdToWord8": Word16.word -> Word8.word; | |
451 | val sextdFromWord16ToWord16 = | |
452 | _prim "WordS16_extdToWord16": Word16.word -> Word16.word; | |
453 | val sextdFromWord16ToWord32 = | |
454 | _prim "WordS16_extdToWord32": Word16.word -> Word32.word; | |
455 | val sextdFromWord16ToWord64 = | |
456 | _prim "WordS16_extdToWord64": Word16.word -> Word64.word; | |
457 | ||
458 | val sextdFromWord32ToInt8 = | |
459 | _prim "WordS32_extdToWord8": Word32.word -> Int8.int; | |
460 | val sextdFromWord32ToInt16 = | |
461 | _prim "WordS32_extdToWord16": Word32.word -> Int16.int; | |
462 | val sextdFromWord32ToInt32 = | |
463 | _prim "WordS32_extdToWord32": Word32.word -> Int32.int; | |
464 | val sextdFromWord32ToInt64 = | |
465 | _prim "WordS32_extdToWord64": Word32.word -> Int64.int; | |
466 | val sextdFromWord32ToWord8 = | |
467 | _prim "WordS32_extdToWord8": Word32.word -> Word8.word; | |
468 | val sextdFromWord32ToWord16 = | |
469 | _prim "WordS32_extdToWord16": Word32.word -> Word16.word; | |
470 | val sextdFromWord32ToWord32 = | |
471 | _prim "WordS32_extdToWord32": Word32.word -> Word32.word; | |
472 | val sextdFromWord32ToWord64 = | |
473 | _prim "WordS32_extdToWord64": Word32.word -> Word64.word; | |
474 | ||
475 | val sextdFromWord64ToInt8 = | |
476 | _prim "WordS64_extdToWord8": Word64.word -> Int8.int; | |
477 | val sextdFromWord64ToInt16 = | |
478 | _prim "WordS64_extdToWord16": Word64.word -> Int16.int; | |
479 | val sextdFromWord64ToInt32 = | |
480 | _prim "WordS64_extdToWord32": Word64.word -> Int32.int; | |
481 | val sextdFromWord64ToInt64 = | |
482 | _prim "WordS64_extdToWord64": Word64.word -> Int64.int; | |
483 | val sextdFromWord64ToWord8 = | |
484 | _prim "WordS64_extdToWord8": Word64.word -> Word8.word; | |
485 | val sextdFromWord64ToWord16 = | |
486 | _prim "WordS64_extdToWord16": Word64.word -> Word16.word; | |
487 | val sextdFromWord64ToWord32 = | |
488 | _prim "WordS64_extdToWord32": Word64.word -> Word32.word; | |
489 | val sextdFromWord64ToWord64 = | |
490 | _prim "WordS64_extdToWord64": Word64.word -> Word64.word; | |
491 | end | |
492 | ||
493 | end |