Commit | Line | Data |
---|---|---|
a441e504 WT |
1 | --- /dev/null |
2 | +++ b/regression/mlton.share.riscv64-linux.ok | |
3 | @@ -0,0 +1,718 @@ | |
4 | +size of a is 2408 | |
5 | +0 => NONE | |
6 | +1 => (1, 1) | |
7 | +2 => (0, 2) | |
8 | +3 => (1, 0) | |
9 | +4 => (0, 1) | |
10 | +5 => (1, 2) | |
11 | +6 => (0, 0) | |
12 | +7 => (1, 1) | |
13 | +8 => (0, 2) | |
14 | +9 => (1, 0) | |
15 | +10 => (0, 1) | |
16 | +11 => (1, 2) | |
17 | +12 => (0, 0) | |
18 | +13 => (1, 1) | |
19 | +14 => (0, 2) | |
20 | +15 => (1, 0) | |
21 | +16 => (0, 1) | |
22 | +17 => (1, 2) | |
23 | +18 => (0, 0) | |
24 | +19 => (1, 1) | |
25 | +20 => (0, 2) | |
26 | +21 => (1, 0) | |
27 | +22 => (0, 1) | |
28 | +23 => (1, 2) | |
29 | +24 => (0, 0) | |
30 | +25 => (1, 1) | |
31 | +26 => (0, 2) | |
32 | +27 => (1, 0) | |
33 | +28 => (0, 1) | |
34 | +29 => (1, 2) | |
35 | +30 => (0, 0) | |
36 | +31 => (1, 1) | |
37 | +32 => (0, 2) | |
38 | +33 => (1, 0) | |
39 | +34 => (0, 1) | |
40 | +35 => (1, 2) | |
41 | +36 => (0, 0) | |
42 | +37 => (1, 1) | |
43 | +38 => (0, 2) | |
44 | +39 => (1, 0) | |
45 | +40 => (0, 1) | |
46 | +41 => (1, 2) | |
47 | +42 => (0, 0) | |
48 | +43 => (1, 1) | |
49 | +44 => (0, 2) | |
50 | +45 => (1, 0) | |
51 | +46 => (0, 1) | |
52 | +47 => (1, 2) | |
53 | +48 => (0, 0) | |
54 | +49 => (1, 1) | |
55 | +50 => (0, 2) | |
56 | +51 => (1, 0) | |
57 | +52 => (0, 1) | |
58 | +53 => (1, 2) | |
59 | +54 => (0, 0) | |
60 | +55 => (1, 1) | |
61 | +56 => (0, 2) | |
62 | +57 => (1, 0) | |
63 | +58 => (0, 1) | |
64 | +59 => (1, 2) | |
65 | +60 => (0, 0) | |
66 | +61 => (1, 1) | |
67 | +62 => (0, 2) | |
68 | +63 => (1, 0) | |
69 | +64 => (0, 1) | |
70 | +65 => (1, 2) | |
71 | +66 => (0, 0) | |
72 | +67 => (1, 1) | |
73 | +68 => (0, 2) | |
74 | +69 => (1, 0) | |
75 | +70 => (0, 1) | |
76 | +71 => (1, 2) | |
77 | +72 => (0, 0) | |
78 | +73 => (1, 1) | |
79 | +74 => (0, 2) | |
80 | +75 => (1, 0) | |
81 | +76 => (0, 1) | |
82 | +77 => (1, 2) | |
83 | +78 => (0, 0) | |
84 | +79 => (1, 1) | |
85 | +80 => (0, 2) | |
86 | +81 => (1, 0) | |
87 | +82 => (0, 1) | |
88 | +83 => (1, 2) | |
89 | +84 => (0, 0) | |
90 | +85 => (1, 1) | |
91 | +86 => (0, 2) | |
92 | +87 => (1, 0) | |
93 | +88 => (0, 1) | |
94 | +89 => (1, 2) | |
95 | +90 => (0, 0) | |
96 | +91 => (1, 1) | |
97 | +92 => (0, 2) | |
98 | +93 => (1, 0) | |
99 | +94 => (0, 1) | |
100 | +95 => (1, 2) | |
101 | +96 => (0, 0) | |
102 | +97 => (1, 1) | |
103 | +98 => (0, 2) | |
104 | +99 => (1, 0) | |
105 | +size of a is 920 | |
106 | +0 => NONE | |
107 | +1 => (1, 1) | |
108 | +2 => (0, 2) | |
109 | +3 => (1, 0) | |
110 | +4 => (0, 1) | |
111 | +5 => (1, 2) | |
112 | +6 => (0, 0) | |
113 | +7 => (1, 1) | |
114 | +8 => (0, 2) | |
115 | +9 => (1, 0) | |
116 | +10 => (0, 1) | |
117 | +11 => (1, 2) | |
118 | +12 => (0, 0) | |
119 | +13 => (1, 1) | |
120 | +14 => (0, 2) | |
121 | +15 => (1, 0) | |
122 | +16 => (0, 1) | |
123 | +17 => (1, 2) | |
124 | +18 => (0, 0) | |
125 | +19 => (1, 1) | |
126 | +20 => (0, 2) | |
127 | +21 => (1, 0) | |
128 | +22 => (0, 1) | |
129 | +23 => (1, 2) | |
130 | +24 => (0, 0) | |
131 | +25 => (1, 1) | |
132 | +26 => (0, 2) | |
133 | +27 => (1, 0) | |
134 | +28 => (0, 1) | |
135 | +29 => (1, 2) | |
136 | +30 => (0, 0) | |
137 | +31 => (1, 1) | |
138 | +32 => (0, 2) | |
139 | +33 => (1, 0) | |
140 | +34 => (0, 1) | |
141 | +35 => (1, 2) | |
142 | +36 => (0, 0) | |
143 | +37 => (1, 1) | |
144 | +38 => (0, 2) | |
145 | +39 => (1, 0) | |
146 | +40 => (0, 1) | |
147 | +41 => (1, 2) | |
148 | +42 => (0, 0) | |
149 | +43 => (1, 1) | |
150 | +44 => (0, 2) | |
151 | +45 => (1, 0) | |
152 | +46 => (0, 1) | |
153 | +47 => (1, 2) | |
154 | +48 => (0, 0) | |
155 | +49 => (1, 1) | |
156 | +50 => (0, 2) | |
157 | +51 => (1, 0) | |
158 | +52 => (0, 1) | |
159 | +53 => (1, 2) | |
160 | +54 => (0, 0) | |
161 | +55 => (1, 1) | |
162 | +56 => (0, 2) | |
163 | +57 => (1, 0) | |
164 | +58 => (0, 1) | |
165 | +59 => (1, 2) | |
166 | +60 => (0, 0) | |
167 | +61 => (1, 1) | |
168 | +62 => (0, 2) | |
169 | +63 => (1, 0) | |
170 | +64 => (0, 1) | |
171 | +65 => (1, 2) | |
172 | +66 => (0, 0) | |
173 | +67 => (1, 1) | |
174 | +68 => (0, 2) | |
175 | +69 => (1, 0) | |
176 | +70 => (0, 1) | |
177 | +71 => (1, 2) | |
178 | +72 => (0, 0) | |
179 | +73 => (1, 1) | |
180 | +74 => (0, 2) | |
181 | +75 => (1, 0) | |
182 | +76 => (0, 1) | |
183 | +77 => (1, 2) | |
184 | +78 => (0, 0) | |
185 | +79 => (1, 1) | |
186 | +80 => (0, 2) | |
187 | +81 => (1, 0) | |
188 | +82 => (0, 1) | |
189 | +83 => (1, 2) | |
190 | +84 => (0, 0) | |
191 | +85 => (1, 1) | |
192 | +86 => (0, 2) | |
193 | +87 => (1, 0) | |
194 | +88 => (0, 1) | |
195 | +89 => (1, 2) | |
196 | +90 => (0, 0) | |
197 | +91 => (1, 1) | |
198 | +92 => (0, 2) | |
199 | +93 => (1, 0) | |
200 | +94 => (0, 1) | |
201 | +95 => (1, 2) | |
202 | +96 => (0, 0) | |
203 | +97 => (1, 1) | |
204 | +98 => (0, 2) | |
205 | +99 => (1, 0) | |
206 | +size of a is 1640 | |
207 | +0 => NONE | |
208 | +1 => (1, 1) | |
209 | +2 => (1, 1) | |
210 | +3 => (0, 0) | |
211 | +4 => (1, 1) | |
212 | +5 => (2, 2) | |
213 | +6 => (1, 1) | |
214 | +7 => (1, 1) | |
215 | +8 => (1, 1) | |
216 | +9 => (0, 0) | |
217 | +10 => (1, 1) | |
218 | +11 => (2, 2) | |
219 | +12 => (1, 1) | |
220 | +13 => (1, 1) | |
221 | +14 => (1, 1) | |
222 | +15 => (0, 0) | |
223 | +16 => (1, 1) | |
224 | +17 => (2, 2) | |
225 | +18 => (1, 1) | |
226 | +19 => (1, 1) | |
227 | +20 => (1, 1) | |
228 | +21 => (0, 0) | |
229 | +22 => (1, 1) | |
230 | +23 => (2, 2) | |
231 | +24 => (1, 1) | |
232 | +25 => (1, 1) | |
233 | +26 => (1, 1) | |
234 | +27 => (0, 0) | |
235 | +28 => (1, 1) | |
236 | +29 => (2, 2) | |
237 | +30 => (1, 1) | |
238 | +31 => (1, 1) | |
239 | +32 => (1, 1) | |
240 | +33 => (0, 0) | |
241 | +34 => (1, 1) | |
242 | +35 => (2, 2) | |
243 | +36 => (1, 1) | |
244 | +37 => (1, 1) | |
245 | +38 => (1, 1) | |
246 | +39 => (0, 0) | |
247 | +40 => (1, 1) | |
248 | +41 => (2, 2) | |
249 | +42 => (1, 1) | |
250 | +43 => (1, 1) | |
251 | +44 => (1, 1) | |
252 | +45 => (0, 0) | |
253 | +46 => (1, 1) | |
254 | +47 => (2, 2) | |
255 | +48 => (1, 1) | |
256 | +49 => (1, 1) | |
257 | +50 => (1, 1) | |
258 | +51 => (0, 0) | |
259 | +52 => (1, 1) | |
260 | +53 => (2, 2) | |
261 | +54 => (1, 1) | |
262 | +55 => (1, 1) | |
263 | +56 => (1, 1) | |
264 | +57 => (0, 0) | |
265 | +58 => (1, 1) | |
266 | +59 => (2, 2) | |
267 | +60 => (1, 1) | |
268 | +61 => (1, 1) | |
269 | +62 => (1, 1) | |
270 | +63 => (0, 0) | |
271 | +64 => (1, 1) | |
272 | +65 => (2, 2) | |
273 | +66 => (1, 1) | |
274 | +67 => (1, 1) | |
275 | +68 => (1, 1) | |
276 | +69 => (0, 0) | |
277 | +70 => (1, 1) | |
278 | +71 => (2, 2) | |
279 | +72 => (1, 1) | |
280 | +73 => (1, 1) | |
281 | +74 => (1, 1) | |
282 | +75 => (0, 0) | |
283 | +76 => (1, 1) | |
284 | +77 => (2, 2) | |
285 | +78 => (1, 1) | |
286 | +79 => (1, 1) | |
287 | +80 => (1, 1) | |
288 | +81 => (0, 0) | |
289 | +82 => (1, 1) | |
290 | +83 => (2, 2) | |
291 | +84 => (1, 1) | |
292 | +85 => (1, 1) | |
293 | +86 => (1, 1) | |
294 | +87 => (0, 0) | |
295 | +88 => (1, 1) | |
296 | +89 => (2, 2) | |
297 | +90 => (1, 1) | |
298 | +91 => (1, 1) | |
299 | +92 => (1, 1) | |
300 | +93 => (0, 0) | |
301 | +94 => (1, 1) | |
302 | +95 => (2, 2) | |
303 | +96 => (1, 1) | |
304 | +97 => (1, 1) | |
305 | +98 => (1, 1) | |
306 | +99 => (0, 0) | |
307 | +size of a is 872 | |
308 | +0 => NONE | |
309 | +1 => (1, 1) | |
310 | +2 => (1, 1) | |
311 | +3 => (0, 0) | |
312 | +4 => (1, 1) | |
313 | +5 => (2, 2) | |
314 | +6 => (1, 1) | |
315 | +7 => (1, 1) | |
316 | +8 => (1, 1) | |
317 | +9 => (0, 0) | |
318 | +10 => (1, 1) | |
319 | +11 => (2, 2) | |
320 | +12 => (1, 1) | |
321 | +13 => (1, 1) | |
322 | +14 => (1, 1) | |
323 | +15 => (0, 0) | |
324 | +16 => (1, 1) | |
325 | +17 => (2, 2) | |
326 | +18 => (1, 1) | |
327 | +19 => (1, 1) | |
328 | +20 => (1, 1) | |
329 | +21 => (0, 0) | |
330 | +22 => (1, 1) | |
331 | +23 => (2, 2) | |
332 | +24 => (1, 1) | |
333 | +25 => (1, 1) | |
334 | +26 => (1, 1) | |
335 | +27 => (0, 0) | |
336 | +28 => (1, 1) | |
337 | +29 => (2, 2) | |
338 | +30 => (1, 1) | |
339 | +31 => (1, 1) | |
340 | +32 => (1, 1) | |
341 | +33 => (0, 0) | |
342 | +34 => (1, 1) | |
343 | +35 => (2, 2) | |
344 | +36 => (1, 1) | |
345 | +37 => (1, 1) | |
346 | +38 => (1, 1) | |
347 | +39 => (0, 0) | |
348 | +40 => (1, 1) | |
349 | +41 => (2, 2) | |
350 | +42 => (1, 1) | |
351 | +43 => (1, 1) | |
352 | +44 => (1, 1) | |
353 | +45 => (0, 0) | |
354 | +46 => (1, 1) | |
355 | +47 => (2, 2) | |
356 | +48 => (1, 1) | |
357 | +49 => (1, 1) | |
358 | +50 => (1, 1) | |
359 | +51 => (0, 0) | |
360 | +52 => (1, 1) | |
361 | +53 => (2, 2) | |
362 | +54 => (1, 1) | |
363 | +55 => (1, 1) | |
364 | +56 => (1, 1) | |
365 | +57 => (0, 0) | |
366 | +58 => (1, 1) | |
367 | +59 => (2, 2) | |
368 | +60 => (1, 1) | |
369 | +61 => (1, 1) | |
370 | +62 => (1, 1) | |
371 | +63 => (0, 0) | |
372 | +64 => (1, 1) | |
373 | +65 => (2, 2) | |
374 | +66 => (1, 1) | |
375 | +67 => (1, 1) | |
376 | +68 => (1, 1) | |
377 | +69 => (0, 0) | |
378 | +70 => (1, 1) | |
379 | +71 => (2, 2) | |
380 | +72 => (1, 1) | |
381 | +73 => (1, 1) | |
382 | +74 => (1, 1) | |
383 | +75 => (0, 0) | |
384 | +76 => (1, 1) | |
385 | +77 => (2, 2) | |
386 | +78 => (1, 1) | |
387 | +79 => (1, 1) | |
388 | +80 => (1, 1) | |
389 | +81 => (0, 0) | |
390 | +82 => (1, 1) | |
391 | +83 => (2, 2) | |
392 | +84 => (1, 1) | |
393 | +85 => (1, 1) | |
394 | +86 => (1, 1) | |
395 | +87 => (0, 0) | |
396 | +88 => (1, 1) | |
397 | +89 => (2, 2) | |
398 | +90 => (1, 1) | |
399 | +91 => (1, 1) | |
400 | +92 => (1, 1) | |
401 | +93 => (0, 0) | |
402 | +94 => (1, 1) | |
403 | +95 => (2, 2) | |
404 | +96 => (1, 1) | |
405 | +97 => (1, 1) | |
406 | +98 => (1, 1) | |
407 | +99 => (0, 0) | |
408 | +size of a is 4008 | |
409 | +0 => NONE | |
410 | +1 => (1, 1) | |
411 | +2 => (0, 2) | |
412 | +3 => (1, 0) | |
413 | +4 => (0, 1) | |
414 | +5 => (1, 2) | |
415 | +6 => (0, 0) | |
416 | +7 => (1, 1) | |
417 | +8 => (0, 2) | |
418 | +9 => (1, 0) | |
419 | +10 => (0, 1) | |
420 | +11 => (1, 2) | |
421 | +12 => (0, 0) | |
422 | +13 => (1, 1) | |
423 | +14 => (0, 2) | |
424 | +15 => (1, 0) | |
425 | +16 => (0, 1) | |
426 | +17 => (1, 2) | |
427 | +18 => (0, 0) | |
428 | +19 => (1, 1) | |
429 | +20 => (0, 2) | |
430 | +21 => (1, 0) | |
431 | +22 => (0, 1) | |
432 | +23 => (1, 2) | |
433 | +24 => (0, 0) | |
434 | +25 => (1, 1) | |
435 | +26 => (0, 2) | |
436 | +27 => (1, 0) | |
437 | +28 => (0, 1) | |
438 | +29 => (1, 2) | |
439 | +30 => (0, 0) | |
440 | +31 => (1, 1) | |
441 | +32 => (0, 2) | |
442 | +33 => (1, 0) | |
443 | +34 => (0, 1) | |
444 | +35 => (1, 2) | |
445 | +36 => (0, 0) | |
446 | +37 => (1, 1) | |
447 | +38 => (0, 2) | |
448 | +39 => (1, 0) | |
449 | +40 => (0, 1) | |
450 | +41 => (1, 2) | |
451 | +42 => (0, 0) | |
452 | +43 => (1, 1) | |
453 | +44 => (0, 2) | |
454 | +45 => (1, 0) | |
455 | +46 => (0, 1) | |
456 | +47 => (1, 2) | |
457 | +48 => (0, 0) | |
458 | +49 => (1, 1) | |
459 | +50 => (0, 2) | |
460 | +51 => (1, 0) | |
461 | +52 => (0, 1) | |
462 | +53 => (1, 2) | |
463 | +54 => (0, 0) | |
464 | +55 => (1, 1) | |
465 | +56 => (0, 2) | |
466 | +57 => (1, 0) | |
467 | +58 => (0, 1) | |
468 | +59 => (1, 2) | |
469 | +60 => (0, 0) | |
470 | +61 => (1, 1) | |
471 | +62 => (0, 2) | |
472 | +63 => (1, 0) | |
473 | +64 => (0, 1) | |
474 | +65 => (1, 2) | |
475 | +66 => (0, 0) | |
476 | +67 => (1, 1) | |
477 | +68 => (0, 2) | |
478 | +69 => (1, 0) | |
479 | +70 => (0, 1) | |
480 | +71 => (1, 2) | |
481 | +72 => (0, 0) | |
482 | +73 => (1, 1) | |
483 | +74 => (0, 2) | |
484 | +75 => (1, 0) | |
485 | +76 => (0, 1) | |
486 | +77 => (1, 2) | |
487 | +78 => (0, 0) | |
488 | +79 => (1, 1) | |
489 | +80 => (0, 2) | |
490 | +81 => (1, 0) | |
491 | +82 => (0, 1) | |
492 | +83 => (1, 2) | |
493 | +84 => (0, 0) | |
494 | +85 => (1, 1) | |
495 | +86 => (0, 2) | |
496 | +87 => (1, 0) | |
497 | +88 => (0, 1) | |
498 | +89 => (1, 2) | |
499 | +90 => (0, 0) | |
500 | +91 => (1, 1) | |
501 | +92 => (0, 2) | |
502 | +93 => (1, 0) | |
503 | +94 => (0, 1) | |
504 | +95 => (1, 2) | |
505 | +96 => (0, 0) | |
506 | +97 => (1, 1) | |
507 | +98 => (0, 2) | |
508 | +99 => (1, 0) | |
509 | +size of a is 2520 | |
510 | +0 => NONE | |
511 | +1 => (1, 1) | |
512 | +2 => (0, 2) | |
513 | +3 => (1, 0) | |
514 | +4 => (0, 1) | |
515 | +5 => (1, 2) | |
516 | +6 => (0, 0) | |
517 | +7 => (1, 1) | |
518 | +8 => (0, 2) | |
519 | +9 => (1, 0) | |
520 | +10 => (0, 1) | |
521 | +11 => (1, 2) | |
522 | +12 => (0, 0) | |
523 | +13 => (1, 1) | |
524 | +14 => (0, 2) | |
525 | +15 => (1, 0) | |
526 | +16 => (0, 1) | |
527 | +17 => (1, 2) | |
528 | +18 => (0, 0) | |
529 | +19 => (1, 1) | |
530 | +20 => (0, 2) | |
531 | +21 => (1, 0) | |
532 | +22 => (0, 1) | |
533 | +23 => (1, 2) | |
534 | +24 => (0, 0) | |
535 | +25 => (1, 1) | |
536 | +26 => (0, 2) | |
537 | +27 => (1, 0) | |
538 | +28 => (0, 1) | |
539 | +29 => (1, 2) | |
540 | +30 => (0, 0) | |
541 | +31 => (1, 1) | |
542 | +32 => (0, 2) | |
543 | +33 => (1, 0) | |
544 | +34 => (0, 1) | |
545 | +35 => (1, 2) | |
546 | +36 => (0, 0) | |
547 | +37 => (1, 1) | |
548 | +38 => (0, 2) | |
549 | +39 => (1, 0) | |
550 | +40 => (0, 1) | |
551 | +41 => (1, 2) | |
552 | +42 => (0, 0) | |
553 | +43 => (1, 1) | |
554 | +44 => (0, 2) | |
555 | +45 => (1, 0) | |
556 | +46 => (0, 1) | |
557 | +47 => (1, 2) | |
558 | +48 => (0, 0) | |
559 | +49 => (1, 1) | |
560 | +50 => (0, 2) | |
561 | +51 => (1, 0) | |
562 | +52 => (0, 1) | |
563 | +53 => (1, 2) | |
564 | +54 => (0, 0) | |
565 | +55 => (1, 1) | |
566 | +56 => (0, 2) | |
567 | +57 => (1, 0) | |
568 | +58 => (0, 1) | |
569 | +59 => (1, 2) | |
570 | +60 => (0, 0) | |
571 | +61 => (1, 1) | |
572 | +62 => (0, 2) | |
573 | +63 => (1, 0) | |
574 | +64 => (0, 1) | |
575 | +65 => (1, 2) | |
576 | +66 => (0, 0) | |
577 | +67 => (1, 1) | |
578 | +68 => (0, 2) | |
579 | +69 => (1, 0) | |
580 | +70 => (0, 1) | |
581 | +71 => (1, 2) | |
582 | +72 => (0, 0) | |
583 | +73 => (1, 1) | |
584 | +74 => (0, 2) | |
585 | +75 => (1, 0) | |
586 | +76 => (0, 1) | |
587 | +77 => (1, 2) | |
588 | +78 => (0, 0) | |
589 | +79 => (1, 1) | |
590 | +80 => (0, 2) | |
591 | +81 => (1, 0) | |
592 | +82 => (0, 1) | |
593 | +83 => (1, 2) | |
594 | +84 => (0, 0) | |
595 | +85 => (1, 1) | |
596 | +86 => (0, 2) | |
597 | +87 => (1, 0) | |
598 | +88 => (0, 1) | |
599 | +89 => (1, 2) | |
600 | +90 => (0, 0) | |
601 | +91 => (1, 1) | |
602 | +92 => (0, 2) | |
603 | +93 => (1, 0) | |
604 | +94 => (0, 1) | |
605 | +95 => (1, 2) | |
606 | +96 => (0, 0) | |
607 | +97 => (1, 1) | |
608 | +98 => (0, 2) | |
609 | +99 => (1, 0) | |
610 | +size of a is 4008 | |
611 | +0 => NONE | |
612 | +1 => (1, 1) | |
613 | +2 => (0, 2) | |
614 | +3 => (1, 0) | |
615 | +4 => (0, 1) | |
616 | +5 => (1, 2) | |
617 | +6 => (0, 0) | |
618 | +7 => (1, 1) | |
619 | +8 => (0, 2) | |
620 | +9 => (1, 0) | |
621 | +10 => (0, 1) | |
622 | +11 => (1, 2) | |
623 | +12 => (0, 0) | |
624 | +13 => (1, 1) | |
625 | +14 => (0, 2) | |
626 | +15 => (1, 0) | |
627 | +16 => (0, 1) | |
628 | +17 => (1, 2) | |
629 | +18 => (0, 0) | |
630 | +19 => (1, 1) | |
631 | +20 => (0, 2) | |
632 | +21 => (1, 0) | |
633 | +22 => (0, 1) | |
634 | +23 => (1, 2) | |
635 | +24 => (0, 0) | |
636 | +25 => (1, 1) | |
637 | +26 => (0, 2) | |
638 | +27 => (1, 0) | |
639 | +28 => (0, 1) | |
640 | +29 => (1, 2) | |
641 | +30 => (0, 0) | |
642 | +31 => (1, 1) | |
643 | +32 => (0, 2) | |
644 | +33 => (1, 0) | |
645 | +34 => (0, 1) | |
646 | +35 => (1, 2) | |
647 | +36 => (0, 0) | |
648 | +37 => (1, 1) | |
649 | +38 => (0, 2) | |
650 | +39 => (1, 0) | |
651 | +40 => (0, 1) | |
652 | +41 => (1, 2) | |
653 | +42 => (0, 0) | |
654 | +43 => (1, 1) | |
655 | +44 => (0, 2) | |
656 | +45 => (1, 0) | |
657 | +46 => (0, 1) | |
658 | +47 => (1, 2) | |
659 | +48 => (0, 0) | |
660 | +49 => (1, 1) | |
661 | +50 => (0, 2) | |
662 | +51 => (1, 0) | |
663 | +52 => (0, 1) | |
664 | +53 => (1, 2) | |
665 | +54 => (0, 0) | |
666 | +55 => (1, 1) | |
667 | +56 => (0, 2) | |
668 | +57 => (1, 0) | |
669 | +58 => (0, 1) | |
670 | +59 => (1, 2) | |
671 | +60 => (0, 0) | |
672 | +61 => (1, 1) | |
673 | +62 => (0, 2) | |
674 | +63 => (1, 0) | |
675 | +64 => (0, 1) | |
676 | +65 => (1, 2) | |
677 | +66 => (0, 0) | |
678 | +67 => (1, 1) | |
679 | +68 => (0, 2) | |
680 | +69 => (1, 0) | |
681 | +70 => (0, 1) | |
682 | +71 => (1, 2) | |
683 | +72 => (0, 0) | |
684 | +73 => (1, 1) | |
685 | +74 => (0, 2) | |
686 | +75 => (1, 0) | |
687 | +76 => (0, 1) | |
688 | +77 => (1, 2) | |
689 | +78 => (0, 0) | |
690 | +79 => (1, 1) | |
691 | +80 => (0, 2) | |
692 | +81 => (1, 0) | |
693 | +82 => (0, 1) | |
694 | +83 => (1, 2) | |
695 | +84 => (0, 0) | |
696 | +85 => (1, 1) | |
697 | +86 => (0, 2) | |
698 | +87 => (1, 0) | |
699 | +88 => (0, 1) | |
700 | +89 => (1, 2) | |
701 | +90 => (0, 0) | |
702 | +91 => (1, 1) | |
703 | +92 => (0, 2) | |
704 | +93 => (1, 0) | |
705 | +94 => (0, 1) | |
706 | +95 => (1, 2) | |
707 | +96 => (0, 0) | |
708 | +97 => (1, 1) | |
709 | +98 => (0, 2) | |
710 | +99 => (1, 0) | |
711 | +size of a is 2400008 | |
712 | +(1, 1) | |
713 | +size of a is 800120 | |
714 | +(1, 1) | |
715 | +size is 296 | |
716 | +size is 136 | |
717 | +abcdef abcdef | |
718 | +size is 88 | |
719 | +size is 56 | |
720 | +abcdef abcdef | |
721 | +1 2 | |
722 | --- /dev/null | |
723 | +++ b/regression/size2.riscv64-linux.ok | |
724 | @@ -0,0 +1,24 @@ | |
725 | +The size of a char is = 0 bytes. | |
726 | +The size of an int list of length 4 is = 96 bytes. | |
727 | +The size of a string of length 10 is = 40 bytes. | |
728 | +The size of an int array of length 10 is = 64 bytes. | |
729 | +The size of a double array of length 10 is = 104 bytes. | |
730 | +The size of a (word32 * double) array of length 10 is = 184 bytes. | |
731 | +The size of a (word32 * word32 * double) array of length 10 is = 184 bytes. | |
732 | +The size of a (word64 * double) array of length 10 is = 184 bytes. | |
733 | +The size of a (word16 * double) array of length 10 is = 184 bytes. | |
734 | +The size of a word64 array of length 10 is = 104 bytes. | |
735 | +The size of a (word32 * word64) array of length 10 is = 184 bytes. | |
736 | +The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes. | |
737 | +The size of a (word64 * word64) array of length 10 is = 184 bytes. | |
738 | +The size of a (word16 * word64) array of length 10 is = 184 bytes. | |
739 | +The size of an array of length 10 of 2-ples of ints is = 104 bytes. | |
740 | +The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes. | |
741 | +The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes. | |
742 | +The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes. | |
743 | +The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1224 bytes. | |
744 | +The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1224 bytes. | |
745 | +The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes. | |
746 | +The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1224 bytes. | |
747 | +The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes. | |
748 | +The size of a useless function is = 0 bytes. | |
749 | --- /dev/null | |
750 | +++ b/regression/size3.riscv64-linux.ok | |
751 | @@ -0,0 +1,114 @@ | |
752 | +The size of unit is = 0 bytes. | |
753 | +The size of unit * unit is = 0 bytes. | |
754 | +The size of bool is = 0 bytes. | |
755 | +The size of bool * bool is = 16 bytes. | |
756 | +The size of day is = 0 bytes. | |
757 | +The size of day * day is = 0 bytes. | |
758 | +The size of a char is = 0 bytes. | |
759 | +The size of a char * char is = 0 bytes. | |
760 | +The size of a word8 is = 0 bytes. | |
761 | +The size of a word8 * word8 is = 0 bytes. | |
762 | +The size of a word16 is = 0 bytes. | |
763 | +The size of a word16 * word16 is = 0 bytes. | |
764 | +The size of a word32 is = 0 bytes. | |
765 | +The size of a word32 * word32 is = 16 bytes. | |
766 | +The size of a word64 is = 0 bytes. | |
767 | +The size of a word64 * word64 is = 24 bytes. | |
768 | +The size of a word64 * word64 * word64 is = 32 bytes. | |
769 | +The size of a word64 * word64 * word64 * word64 is = 40 bytes. | |
770 | +The size of a unit list of length 4 is = 64 bytes. | |
771 | +The size of a bool list of length 4 is = 96 bytes. | |
772 | +The size of a day list of length 4 is = 96 bytes. | |
773 | +The size of an int list of length 4 is = 96 bytes. | |
774 | +The size of a string of length 10 is = 40 bytes. | |
775 | +The size of a word64 array of length 0 is = 24 bytes. | |
776 | +The size of a word64 array of length 1 is = 32 bytes. | |
777 | +The size of a word64 array of length 2 is = 40 bytes. | |
778 | +The size of a word64 array of length 3 is = 48 bytes. | |
779 | +The size of a word64 array of length 4 is = 56 bytes. | |
780 | +The size of a word64 array of length 5 is = 64 bytes. | |
781 | +The size of a word64 array of length 6 is = 72 bytes. | |
782 | +The size of a word64 array of length 7 is = 80 bytes. | |
783 | +The size of a word64 array of length 8 is = 88 bytes. | |
784 | +The size of a word64 array of length 9 is = 96 bytes. | |
785 | +The size of a word64 array of length 10 is = 104 bytes. | |
786 | +The size of a word64 array of length 11 is = 112 bytes. | |
787 | +The size of a word64 array of length 12 is = 120 bytes. | |
788 | +The size of a word32 array of length 0 is = 24 bytes. | |
789 | +The size of a word32 array of length 1 is = 32 bytes. | |
790 | +The size of a word32 array of length 2 is = 32 bytes. | |
791 | +The size of a word32 array of length 3 is = 40 bytes. | |
792 | +The size of a word32 array of length 4 is = 40 bytes. | |
793 | +The size of a word32 array of length 5 is = 48 bytes. | |
794 | +The size of a word32 array of length 6 is = 48 bytes. | |
795 | +The size of a word32 array of length 7 is = 56 bytes. | |
796 | +The size of a word32 array of length 8 is = 56 bytes. | |
797 | +The size of a word32 array of length 9 is = 64 bytes. | |
798 | +The size of a word32 array of length 10 is = 64 bytes. | |
799 | +The size of a word32 array of length 11 is = 72 bytes. | |
800 | +The size of a word32 array of length 12 is = 72 bytes. | |
801 | +The size of a word16 array of length 0 is = 24 bytes. | |
802 | +The size of a word16 array of length 1 is = 32 bytes. | |
803 | +The size of a word16 array of length 2 is = 32 bytes. | |
804 | +The size of a word16 array of length 3 is = 32 bytes. | |
805 | +The size of a word16 array of length 4 is = 32 bytes. | |
806 | +The size of a word16 array of length 5 is = 40 bytes. | |
807 | +The size of a word16 array of length 6 is = 40 bytes. | |
808 | +The size of a word16 array of length 7 is = 40 bytes. | |
809 | +The size of a word16 array of length 8 is = 40 bytes. | |
810 | +The size of a word16 array of length 9 is = 48 bytes. | |
811 | +The size of a word16 array of length 10 is = 48 bytes. | |
812 | +The size of a word16 array of length 11 is = 48 bytes. | |
813 | +The size of a word16 array of length 12 is = 48 bytes. | |
814 | +The size of a word8 array of length 0 is = 24 bytes. | |
815 | +The size of a word8 array of length 1 is = 32 bytes. | |
816 | +The size of a word8 array of length 2 is = 32 bytes. | |
817 | +The size of a word8 array of length 3 is = 32 bytes. | |
818 | +The size of a word8 array of length 4 is = 32 bytes. | |
819 | +The size of a word8 array of length 5 is = 32 bytes. | |
820 | +The size of a word8 array of length 6 is = 32 bytes. | |
821 | +The size of a word8 array of length 7 is = 32 bytes. | |
822 | +The size of a word8 array of length 8 is = 32 bytes. | |
823 | +The size of a word8 array of length 9 is = 40 bytes. | |
824 | +The size of a word8 array of length 10 is = 40 bytes. | |
825 | +The size of a word8 array of length 11 is = 40 bytes. | |
826 | +The size of a word8 array of length 12 is = 40 bytes. | |
827 | +The size of a unit array of length 0 is = 24 bytes. | |
828 | +The size of a unit array of length 1 is = 24 bytes. | |
829 | +The size of a unit array of length 2 is = 24 bytes. | |
830 | +The size of a unit array of length 3 is = 24 bytes. | |
831 | +The size of a unit array of length 4 is = 24 bytes. | |
832 | +The size of a unit array of length 5 is = 24 bytes. | |
833 | +The size of a unit array of length 6 is = 24 bytes. | |
834 | +The size of a unit array of length 7 is = 24 bytes. | |
835 | +The size of a unit array of length 8 is = 24 bytes. | |
836 | +The size of a unit array of length 9 is = 24 bytes. | |
837 | +The size of a unit array of length 10 is = 24 bytes. | |
838 | +The size of a unit array of length 11 is = 24 bytes. | |
839 | +The size of a unit array of length 12 is = 24 bytes. | |
840 | +The size of a word64 ref is = 16 bytes. | |
841 | +The size of a word32 ref is = 16 bytes. | |
842 | +The size of a word16 ref is = 16 bytes. | |
843 | +The size of a word8 ref is = 16 bytes. | |
844 | +The size of a unit ref is = 8 bytes. | |
845 | +The size of a double array of length 10 is = 104 bytes. | |
846 | +The size of a (word32 * double) array of length 10 is = 184 bytes. | |
847 | +The size of a (word32 * word32 * double) array of length 10 is = 184 bytes. | |
848 | +The size of a (word64 * double) array of length 10 is = 184 bytes. | |
849 | +The size of a (word16 * double) array of length 10 is = 184 bytes. | |
850 | +The size of a word64 array of length 10 is = 104 bytes. | |
851 | +The size of a (word32 * word64) array of length 10 is = 184 bytes. | |
852 | +The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes. | |
853 | +The size of a (word64 * word64) array of length 10 is = 184 bytes. | |
854 | +The size of a (word16 * word64) array of length 10 is = 184 bytes. | |
855 | +The size of an array of length 10 of 2-ples of ints is = 104 bytes. | |
856 | +The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes. | |
857 | +The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes. | |
858 | +The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes. | |
859 | +The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1224 bytes. | |
860 | +The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1224 bytes. | |
861 | +The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes. | |
862 | +The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1224 bytes. | |
863 | +The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes. | |
864 | +The size of a useless function is = 0 bytes. | |
865 | +The size of an empty string is = 24 bytes. |