xref: /openbmc/qemu/tests/tcg/hexagon/float_convd.ref (revision 05caa062)
1### Rounding to nearest
2from double: f64(nan:0x007ff4000000000000)
3  to single: f32(-nan:0xffffffff) (INVALID)
4   to int32: -1 (INVALID)
5   to int64: -1 (INVALID)
6  to uint32: -1 (INVALID)
7  to uint64: -1 (INVALID)
8from double: f64(-nan:0x00fff8000000000000)
9  to single: f32(-nan:0xffffffff) (OK)
10   to int32: -1 (INVALID)
11   to int64: -1 (INVALID)
12  to uint32: -1 (INVALID)
13  to uint64: -1 (INVALID)
14from double: f64(-inf:0x00fff0000000000000)
15  to single: f32(-inf:0xff800000) (OK)
16   to int32: -2147483648 (INVALID)
17   to int64: -9223372036854775808 (INVALID)
18  to uint32: 0 (INVALID)
19  to uint64: 0 (INVALID)
20from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff)
21  to single: f32(-inf:0xff800000) (OVERFLOW INEXACT )
22   to int32: -2147483648 (INVALID)
23   to int64: -9223372036854775808 (INVALID)
24  to uint32: 0 (INVALID)
25  to uint64: 0 (INVALID)
26from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
27  to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
28   to int32: -2147483648 (INVALID)
29   to int64: -9223372036854775808 (INVALID)
30  to uint32: 0 (INVALID)
31  to uint64: 0 (INVALID)
32from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
33  to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
34   to int32: -2147483648 (INVALID)
35   to int64: -9223372036854775808 (INVALID)
36  to uint32: 0 (INVALID)
37  to uint64: 0 (INVALID)
38from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654)
39  to single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) (INEXACT )
40   to int32: -2147483648 (INVALID)
41   to int64: -9223372036854775808 (INVALID)
42  to uint32: 0 (INVALID)
43  to uint64: 0 (INVALID)
44from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9)
45  to single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) (INEXACT )
46   to int32: -2147483648 (INVALID)
47   to int64: -9223372036854775808 (INVALID)
48  to uint32: 0 (INVALID)
49  to uint64: 0 (INVALID)
50from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000)
51  to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK)
52   to int32: -2 (OK)
53   to int64: -2 (OK)
54  to uint32: 0 (INVALID)
55  to uint64: 0 (INVALID)
56from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000)
57  to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK)
58   to int32: -1 (OK)
59   to int64: -1 (OK)
60  to uint32: 0 (INVALID)
61  to uint64: 0 (INVALID)
62from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000)
63  to single: f32(-0x0.00000000000000000000p+0:0x80000000) (UNDERFLOW INEXACT )
64   to int32: 0 (INEXACT )
65   to int64: 0 (INEXACT )
66  to uint32: 0 (INVALID)
67  to uint64: 0 (INVALID)
68from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000)
69  to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK)
70   to int32: 0 (INEXACT )
71   to int64: 0 (INEXACT )
72  to uint32: 0 (INVALID)
73  to uint64: 0 (INVALID)
74from double: f64(0x0.00000000000000000000p+0:00000000000000000000)
75  to single: f32(0x0.00000000000000000000p+0:0000000000) (OK)
76   to int32: 0 (OK)
77   to int64: 0 (OK)
78  to uint32: 0 (OK)
79  to uint64: 0 (OK)
80from double: f64(0x1.00000000000000000000p-126:0x003810000000000000)
81  to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK)
82   to int32: 0 (INEXACT )
83   to int64: 0 (INEXACT )
84  to uint32: 0 (INEXACT )
85  to uint64: 0 (INEXACT )
86from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68)
87  to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT )
88   to int32: 0 (INEXACT )
89   to int64: 0 (INEXACT )
90  to uint32: 0 (INEXACT )
91  to uint64: 0 (INEXACT )
92from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82)
93  to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT )
94   to int32: 0 (INEXACT )
95   to int64: 0 (INEXACT )
96  to uint32: 0 (INEXACT )
97  to uint64: 0 (INEXACT )
98from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1)
99  to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT )
100   to int32: 0 (INEXACT )
101   to int64: 0 (INEXACT )
102  to uint32: 0 (INEXACT )
103  to uint64: 0 (INEXACT )
104from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5)
105  to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT )
106   to int32: 0 (INEXACT )
107   to int64: 0 (INEXACT )
108  to uint32: 0 (INEXACT )
109  to uint64: 0 (INEXACT )
110from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
111  to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
112   to int32: 1 (OK)
113   to int64: 1 (OK)
114  to uint32: 1 (OK)
115  to uint64: 1 (OK)
116from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000)
117  to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK)
118   to int32: 1 (INEXACT )
119   to int64: 1 (INEXACT )
120  to uint32: 1 (INEXACT )
121  to uint64: 1 (INEXACT )
122from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000)
123  to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
124   to int32: 0 (INEXACT )
125   to int64: 0 (INEXACT )
126  to uint32: 0 (INEXACT )
127  to uint64: 0 (INEXACT )
128from double: f64(0x1.3d5054450ed000000000p-1023:0x000009ea82a2287680)
129  to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
130   to int32: 0 (INEXACT )
131   to int64: 0 (INEXACT )
132  to uint32: 0 (INEXACT )
133  to uint64: 0 (INEXACT )
134from double: f64(0x1.5731f750864200000000p-1023:0x00000ab98fba843210)
135  to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
136   to int32: 0 (INEXACT )
137   to int64: 0 (INEXACT )
138  to uint32: 0 (INEXACT )
139  to uint64: 0 (INEXACT )
140from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
141  to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
142   to int32: 1 (OK)
143   to int64: 1 (OK)
144  to uint32: 1 (OK)
145  to uint64: 1 (OK)
146from double: f64(0x1.00000000000000000000p+1:0x004000000000000000)
147  to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK)
148   to int32: 2 (OK)
149   to int64: 2 (OK)
150  to uint32: 2 (OK)
151  to uint64: 2 (OK)
152from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769)
153  to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT )
154   to int32: 2 (INEXACT )
155   to int64: 2 (INEXACT )
156  to uint32: 2 (INEXACT )
157  to uint64: 2 (INEXACT )
158from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18)
159  to single: f32(0x1.921fb600000000000000p+1:0x40490fdb) (INEXACT )
160   to int32: 3 (INEXACT )
161   to int64: 3 (INEXACT )
162  to uint32: 3 (INEXACT )
163  to uint64: 3 (INEXACT )
164from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000)
165  to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK)
166   to int32: 65503 (OK)
167   to int64: 65503 (OK)
168  to uint32: 65503 (OK)
169  to uint64: 65503 (OK)
170from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000)
171  to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK)
172   to int32: 65504 (OK)
173   to int64: 65504 (OK)
174  to uint32: 65504 (OK)
175  to uint64: 65504 (OK)
176from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000)
177  to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK)
178   to int32: 65505 (OK)
179   to int64: 65505 (OK)
180  to uint32: 65505 (OK)
181  to uint64: 65505 (OK)
182from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000)
183  to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK)
184   to int32: 131007 (OK)
185   to int64: 131007 (OK)
186  to uint32: 131007 (OK)
187  to uint64: 131007 (OK)
188from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000)
189  to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK)
190   to int32: 131008 (OK)
191   to int64: 131008 (OK)
192  to uint32: 131008 (OK)
193  to uint64: 131008 (OK)
194from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000)
195  to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK)
196   to int32: 131009 (OK)
197   to int64: 131009 (OK)
198  to uint32: 131009 (OK)
199  to uint64: 131009 (OK)
200from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000)
201  to single: f32(0x1.00000000000000000000p+31:0x4f000000) (INEXACT )
202   to int32: 2147483647 (OK)
203   to int64: 2147483647 (OK)
204  to uint32: 2147483647 (OK)
205  to uint64: 2147483647 (OK)
206from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
207  to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
208   to int32: 2147483647 (INVALID)
209   to int64: 9223372036854775807 (INVALID)
210  to uint32: -1 (INVALID)
211  to uint64: -1 (INVALID)
212from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
213  to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
214   to int32: 2147483647 (INVALID)
215   to int64: 9223372036854775807 (INVALID)
216  to uint32: -1 (INVALID)
217  to uint64: -1 (INVALID)
218from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff)
219  to single: f32(inf:0x7f800000) (OVERFLOW INEXACT )
220   to int32: 2147483647 (INVALID)
221   to int64: 9223372036854775807 (INVALID)
222  to uint32: -1 (INVALID)
223  to uint64: -1 (INVALID)
224from double: f64(inf:0x007ff0000000000000)
225  to single: f32(inf:0x7f800000) (OK)
226   to int32: 2147483647 (INVALID)
227   to int64: 9223372036854775807 (INVALID)
228  to uint32: -1 (INVALID)
229  to uint64: -1 (INVALID)
230from double: f64(nan:0x007ff8000000000000)
231  to single: f32(-nan:0xffffffff) (OK)
232   to int32: -1 (INVALID)
233   to int64: -1 (INVALID)
234  to uint32: -1 (INVALID)
235  to uint64: -1 (INVALID)
236from double: f64(nan:0x007ff0000000000001)
237  to single: f32(-nan:0xffffffff) (INVALID)
238   to int32: -1 (INVALID)
239   to int64: -1 (INVALID)
240  to uint32: -1 (INVALID)
241  to uint64: -1 (INVALID)
242from double: f64(nan:0x007ff4000000000000)
243  to single: f32(-nan:0xffffffff) (INVALID)
244   to int32: -1 (INVALID)
245   to int64: -1 (INVALID)
246  to uint32: -1 (INVALID)
247  to uint64: -1 (INVALID)
248### Rounding upwards
249from double: f64(nan:0x007ff4000000000000)
250  to single: f32(-nan:0xffffffff) (INVALID)
251   to int32: -1 (INVALID)
252   to int64: -1 (INVALID)
253  to uint32: -1 (INVALID)
254  to uint64: -1 (INVALID)
255from double: f64(-nan:0x00fff8000000000000)
256  to single: f32(-nan:0xffffffff) (OK)
257   to int32: -1 (INVALID)
258   to int64: -1 (INVALID)
259  to uint32: -1 (INVALID)
260  to uint64: -1 (INVALID)
261from double: f64(-inf:0x00fff0000000000000)
262  to single: f32(-inf:0xff800000) (OK)
263   to int32: -2147483648 (INVALID)
264   to int64: -9223372036854775808 (INVALID)
265  to uint32: 0 (INVALID)
266  to uint64: 0 (INVALID)
267from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff)
268  to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OVERFLOW INEXACT )
269   to int32: -2147483648 (INVALID)
270   to int64: -9223372036854775808 (INVALID)
271  to uint32: 0 (INVALID)
272  to uint64: 0 (INVALID)
273from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
274  to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
275   to int32: -2147483648 (INVALID)
276   to int64: -9223372036854775808 (INVALID)
277  to uint32: 0 (INVALID)
278  to uint64: 0 (INVALID)
279from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
280  to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
281   to int32: -2147483648 (INVALID)
282   to int64: -9223372036854775808 (INVALID)
283  to uint32: 0 (INVALID)
284  to uint64: 0 (INVALID)
285from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654)
286  to single: f32(-0x1.1874b000000000000000p+103:0xf30c3a58) (INEXACT )
287   to int32: -2147483648 (INVALID)
288   to int64: -9223372036854775808 (INVALID)
289  to uint32: 0 (INVALID)
290  to uint64: 0 (INVALID)
291from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9)
292  to single: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) (INEXACT )
293   to int32: -2147483648 (INVALID)
294   to int64: -9223372036854775808 (INVALID)
295  to uint32: 0 (INVALID)
296  to uint64: 0 (INVALID)
297from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000)
298  to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK)
299   to int32: -2 (OK)
300   to int64: -2 (OK)
301  to uint32: 0 (INVALID)
302  to uint64: 0 (INVALID)
303from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000)
304  to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK)
305   to int32: -1 (OK)
306   to int64: -1 (OK)
307  to uint32: 0 (INVALID)
308  to uint64: 0 (INVALID)
309from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000)
310  to single: f32(-0x0.00000000000000000000p+0:0x80000000) (UNDERFLOW INEXACT )
311   to int32: 0 (INEXACT )
312   to int64: 0 (INEXACT )
313  to uint32: 0 (INVALID)
314  to uint64: 0 (INVALID)
315from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000)
316  to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK)
317   to int32: 0 (INEXACT )
318   to int64: 0 (INEXACT )
319  to uint32: 0 (INVALID)
320  to uint64: 0 (INVALID)
321from double: f64(0x0.00000000000000000000p+0:00000000000000000000)
322  to single: f32(0x0.00000000000000000000p+0:0000000000) (OK)
323   to int32: 0 (OK)
324   to int64: 0 (OK)
325  to uint32: 0 (OK)
326  to uint64: 0 (OK)
327from double: f64(0x1.00000000000000000000p-126:0x003810000000000000)
328  to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK)
329   to int32: 0 (INEXACT )
330   to int64: 0 (INEXACT )
331  to uint32: 0 (INEXACT )
332  to uint64: 0 (INEXACT )
333from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68)
334  to single: f32(0x1.00000200000000000000p-25:0x33000001) (INEXACT )
335   to int32: 0 (INEXACT )
336   to int64: 0 (INEXACT )
337  to uint32: 0 (INEXACT )
338  to uint64: 0 (INEXACT )
339from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82)
340  to single: f32(0x1.ffffe800000000000000p-25:0x337ffff4) (INEXACT )
341   to int32: 0 (INEXACT )
342   to int64: 0 (INEXACT )
343  to uint32: 0 (INEXACT )
344  to uint64: 0 (INEXACT )
345from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1)
346  to single: f32(0x1.ff801c00000000000000p-15:0x387fc00e) (INEXACT )
347   to int32: 0 (INEXACT )
348   to int64: 0 (INEXACT )
349  to uint32: 0 (INEXACT )
350  to uint64: 0 (INEXACT )
351from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5)
352  to single: f32(0x1.00000e00000000000000p-14:0x38800007) (INEXACT )
353   to int32: 0 (INEXACT )
354   to int64: 0 (INEXACT )
355  to uint32: 0 (INEXACT )
356  to uint64: 0 (INEXACT )
357from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
358  to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
359   to int32: 1 (OK)
360   to int64: 1 (OK)
361  to uint32: 1 (OK)
362  to uint64: 1 (OK)
363from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000)
364  to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK)
365   to int32: 1 (INEXACT )
366   to int64: 1 (INEXACT )
367  to uint32: 1 (INEXACT )
368  to uint64: 1 (INEXACT )
369from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000)
370  to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT )
371   to int32: 0 (INEXACT )
372   to int64: 0 (INEXACT )
373  to uint32: 0 (INEXACT )
374  to uint64: 0 (INEXACT )
375from double: f64(0x1.3d5054450ed000000000p-1023:0x000009ea82a2287680)
376  to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT )
377   to int32: 0 (INEXACT )
378   to int64: 0 (INEXACT )
379  to uint32: 0 (INEXACT )
380  to uint64: 0 (INEXACT )
381from double: f64(0x1.5731f750864200000000p-1023:0x00000ab98fba843210)
382  to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT )
383   to int32: 0 (INEXACT )
384   to int64: 0 (INEXACT )
385  to uint32: 0 (INEXACT )
386  to uint64: 0 (INEXACT )
387from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
388  to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
389   to int32: 1 (OK)
390   to int64: 1 (OK)
391  to uint32: 1 (OK)
392  to uint64: 1 (OK)
393from double: f64(0x1.00000000000000000000p+1:0x004000000000000000)
394  to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK)
395   to int32: 2 (OK)
396   to int64: 2 (OK)
397  to uint32: 2 (OK)
398  to uint64: 2 (OK)
399from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769)
400  to single: f32(0x1.5bf0aa00000000000000p+1:0x402df855) (INEXACT )
401   to int32: 2 (INEXACT )
402   to int64: 2 (INEXACT )
403  to uint32: 2 (INEXACT )
404  to uint64: 2 (INEXACT )
405from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18)
406  to single: f32(0x1.921fb600000000000000p+1:0x40490fdb) (INEXACT )
407   to int32: 3 (INEXACT )
408   to int64: 3 (INEXACT )
409  to uint32: 3 (INEXACT )
410  to uint64: 3 (INEXACT )
411from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000)
412  to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK)
413   to int32: 65503 (OK)
414   to int64: 65503 (OK)
415  to uint32: 65503 (OK)
416  to uint64: 65503 (OK)
417from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000)
418  to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK)
419   to int32: 65504 (OK)
420   to int64: 65504 (OK)
421  to uint32: 65504 (OK)
422  to uint64: 65504 (OK)
423from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000)
424  to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK)
425   to int32: 65505 (OK)
426   to int64: 65505 (OK)
427  to uint32: 65505 (OK)
428  to uint64: 65505 (OK)
429from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000)
430  to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK)
431   to int32: 131007 (OK)
432   to int64: 131007 (OK)
433  to uint32: 131007 (OK)
434  to uint64: 131007 (OK)
435from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000)
436  to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK)
437   to int32: 131008 (OK)
438   to int64: 131008 (OK)
439  to uint32: 131008 (OK)
440  to uint64: 131008 (OK)
441from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000)
442  to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK)
443   to int32: 131009 (OK)
444   to int64: 131009 (OK)
445  to uint32: 131009 (OK)
446  to uint64: 131009 (OK)
447from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000)
448  to single: f32(0x1.00000000000000000000p+31:0x4f000000) (INEXACT )
449   to int32: 2147483647 (OK)
450   to int64: 2147483647 (OK)
451  to uint32: 2147483647 (OK)
452  to uint64: 2147483647 (OK)
453from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
454  to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
455   to int32: 2147483647 (INVALID)
456   to int64: 9223372036854775807 (INVALID)
457  to uint32: -1 (INVALID)
458  to uint64: -1 (INVALID)
459from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
460  to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
461   to int32: 2147483647 (INVALID)
462   to int64: 9223372036854775807 (INVALID)
463  to uint32: -1 (INVALID)
464  to uint64: -1 (INVALID)
465from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff)
466  to single: f32(inf:0x7f800000) (OVERFLOW INEXACT )
467   to int32: 2147483647 (INVALID)
468   to int64: 9223372036854775807 (INVALID)
469  to uint32: -1 (INVALID)
470  to uint64: -1 (INVALID)
471from double: f64(inf:0x007ff0000000000000)
472  to single: f32(inf:0x7f800000) (OK)
473   to int32: 2147483647 (INVALID)
474   to int64: 9223372036854775807 (INVALID)
475  to uint32: -1 (INVALID)
476  to uint64: -1 (INVALID)
477from double: f64(nan:0x007ff8000000000000)
478  to single: f32(-nan:0xffffffff) (OK)
479   to int32: -1 (INVALID)
480   to int64: -1 (INVALID)
481  to uint32: -1 (INVALID)
482  to uint64: -1 (INVALID)
483from double: f64(nan:0x007ff0000000000001)
484  to single: f32(-nan:0xffffffff) (INVALID)
485   to int32: -1 (INVALID)
486   to int64: -1 (INVALID)
487  to uint32: -1 (INVALID)
488  to uint64: -1 (INVALID)
489from double: f64(nan:0x007ff4000000000000)
490  to single: f32(-nan:0xffffffff) (INVALID)
491   to int32: -1 (INVALID)
492   to int64: -1 (INVALID)
493  to uint32: -1 (INVALID)
494  to uint64: -1 (INVALID)
495### Rounding downwards
496from double: f64(nan:0x007ff4000000000000)
497  to single: f32(-nan:0xffffffff) (INVALID)
498   to int32: -1 (INVALID)
499   to int64: -1 (INVALID)
500  to uint32: -1 (INVALID)
501  to uint64: -1 (INVALID)
502from double: f64(-nan:0x00fff8000000000000)
503  to single: f32(-nan:0xffffffff) (OK)
504   to int32: -1 (INVALID)
505   to int64: -1 (INVALID)
506  to uint32: -1 (INVALID)
507  to uint64: -1 (INVALID)
508from double: f64(-inf:0x00fff0000000000000)
509  to single: f32(-inf:0xff800000) (OK)
510   to int32: -2147483648 (INVALID)
511   to int64: -9223372036854775808 (INVALID)
512  to uint32: 0 (INVALID)
513  to uint64: 0 (INVALID)
514from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff)
515  to single: f32(-inf:0xff800000) (OVERFLOW INEXACT )
516   to int32: -2147483648 (INVALID)
517   to int64: -9223372036854775808 (INVALID)
518  to uint32: 0 (INVALID)
519  to uint64: 0 (INVALID)
520from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
521  to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
522   to int32: -2147483648 (INVALID)
523   to int64: -9223372036854775808 (INVALID)
524  to uint32: 0 (INVALID)
525  to uint64: 0 (INVALID)
526from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
527  to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
528   to int32: -2147483648 (INVALID)
529   to int64: -9223372036854775808 (INVALID)
530  to uint32: 0 (INVALID)
531  to uint64: 0 (INVALID)
532from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654)
533  to single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) (INEXACT )
534   to int32: -2147483648 (INVALID)
535   to int64: -9223372036854775808 (INVALID)
536  to uint32: 0 (INVALID)
537  to uint64: 0 (INVALID)
538from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9)
539  to single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) (INEXACT )
540   to int32: -2147483648 (INVALID)
541   to int64: -9223372036854775808 (INVALID)
542  to uint32: 0 (INVALID)
543  to uint64: 0 (INVALID)
544from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000)
545  to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK)
546   to int32: -2 (OK)
547   to int64: -2 (OK)
548  to uint32: 0 (INVALID)
549  to uint64: 0 (INVALID)
550from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000)
551  to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK)
552   to int32: -1 (OK)
553   to int64: -1 (OK)
554  to uint32: 0 (INVALID)
555  to uint64: 0 (INVALID)
556from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000)
557  to single: f32(-0x1.00000000000000000000p-149:0x80000001) (UNDERFLOW INEXACT )
558   to int32: 0 (INEXACT )
559   to int64: 0 (INEXACT )
560  to uint32: 0 (INVALID)
561  to uint64: 0 (INVALID)
562from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000)
563  to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK)
564   to int32: 0 (INEXACT )
565   to int64: 0 (INEXACT )
566  to uint32: 0 (INVALID)
567  to uint64: 0 (INVALID)
568from double: f64(0x0.00000000000000000000p+0:00000000000000000000)
569  to single: f32(0x0.00000000000000000000p+0:0000000000) (OK)
570   to int32: 0 (OK)
571   to int64: 0 (OK)
572  to uint32: 0 (OK)
573  to uint64: 0 (OK)
574from double: f64(0x1.00000000000000000000p-126:0x003810000000000000)
575  to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK)
576   to int32: 0 (INEXACT )
577   to int64: 0 (INEXACT )
578  to uint32: 0 (INEXACT )
579  to uint64: 0 (INEXACT )
580from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68)
581  to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT )
582   to int32: 0 (INEXACT )
583   to int64: 0 (INEXACT )
584  to uint32: 0 (INEXACT )
585  to uint64: 0 (INEXACT )
586from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82)
587  to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT )
588   to int32: 0 (INEXACT )
589   to int64: 0 (INEXACT )
590  to uint32: 0 (INEXACT )
591  to uint64: 0 (INEXACT )
592from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1)
593  to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT )
594   to int32: 0 (INEXACT )
595   to int64: 0 (INEXACT )
596  to uint32: 0 (INEXACT )
597  to uint64: 0 (INEXACT )
598from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5)
599  to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT )
600   to int32: 0 (INEXACT )
601   to int64: 0 (INEXACT )
602  to uint32: 0 (INEXACT )
603  to uint64: 0 (INEXACT )
604from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
605  to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
606   to int32: 1 (OK)
607   to int64: 1 (OK)
608  to uint32: 1 (OK)
609  to uint64: 1 (OK)
610from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000)
611  to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK)
612   to int32: 1 (INEXACT )
613   to int64: 1 (INEXACT )
614  to uint32: 1 (INEXACT )
615  to uint64: 1 (INEXACT )
616from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000)
617  to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
618   to int32: 0 (INEXACT )
619   to int64: 0 (INEXACT )
620  to uint32: 0 (INEXACT )
621  to uint64: 0 (INEXACT )
622from double: f64(0x1.3d5054450ed000000000p-1023:0x000009ea82a2287680)
623  to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
624   to int32: 0 (INEXACT )
625   to int64: 0 (INEXACT )
626  to uint32: 0 (INEXACT )
627  to uint64: 0 (INEXACT )
628from double: f64(0x1.5731f750864200000000p-1023:0x00000ab98fba843210)
629  to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
630   to int32: 0 (INEXACT )
631   to int64: 0 (INEXACT )
632  to uint32: 0 (INEXACT )
633  to uint64: 0 (INEXACT )
634from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
635  to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
636   to int32: 1 (OK)
637   to int64: 1 (OK)
638  to uint32: 1 (OK)
639  to uint64: 1 (OK)
640from double: f64(0x1.00000000000000000000p+1:0x004000000000000000)
641  to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK)
642   to int32: 2 (OK)
643   to int64: 2 (OK)
644  to uint32: 2 (OK)
645  to uint64: 2 (OK)
646from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769)
647  to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT )
648   to int32: 2 (INEXACT )
649   to int64: 2 (INEXACT )
650  to uint32: 2 (INEXACT )
651  to uint64: 2 (INEXACT )
652from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18)
653  to single: f32(0x1.921fb400000000000000p+1:0x40490fda) (INEXACT )
654   to int32: 3 (INEXACT )
655   to int64: 3 (INEXACT )
656  to uint32: 3 (INEXACT )
657  to uint64: 3 (INEXACT )
658from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000)
659  to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK)
660   to int32: 65503 (OK)
661   to int64: 65503 (OK)
662  to uint32: 65503 (OK)
663  to uint64: 65503 (OK)
664from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000)
665  to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK)
666   to int32: 65504 (OK)
667   to int64: 65504 (OK)
668  to uint32: 65504 (OK)
669  to uint64: 65504 (OK)
670from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000)
671  to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK)
672   to int32: 65505 (OK)
673   to int64: 65505 (OK)
674  to uint32: 65505 (OK)
675  to uint64: 65505 (OK)
676from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000)
677  to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK)
678   to int32: 131007 (OK)
679   to int64: 131007 (OK)
680  to uint32: 131007 (OK)
681  to uint64: 131007 (OK)
682from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000)
683  to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK)
684   to int32: 131008 (OK)
685   to int64: 131008 (OK)
686  to uint32: 131008 (OK)
687  to uint64: 131008 (OK)
688from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000)
689  to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK)
690   to int32: 131009 (OK)
691   to int64: 131009 (OK)
692  to uint32: 131009 (OK)
693  to uint64: 131009 (OK)
694from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000)
695  to single: f32(0x1.fffffe00000000000000p+30:0x4effffff) (INEXACT )
696   to int32: 2147483647 (OK)
697   to int64: 2147483647 (OK)
698  to uint32: 2147483647 (OK)
699  to uint64: 2147483647 (OK)
700from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
701  to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
702   to int32: 2147483647 (INVALID)
703   to int64: 9223372036854775807 (INVALID)
704  to uint32: -1 (INVALID)
705  to uint64: -1 (INVALID)
706from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
707  to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
708   to int32: 2147483647 (INVALID)
709   to int64: 9223372036854775807 (INVALID)
710  to uint32: -1 (INVALID)
711  to uint64: -1 (INVALID)
712from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff)
713  to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OVERFLOW INEXACT )
714   to int32: 2147483647 (INVALID)
715   to int64: 9223372036854775807 (INVALID)
716  to uint32: -1 (INVALID)
717  to uint64: -1 (INVALID)
718from double: f64(inf:0x007ff0000000000000)
719  to single: f32(inf:0x7f800000) (OK)
720   to int32: 2147483647 (INVALID)
721   to int64: 9223372036854775807 (INVALID)
722  to uint32: -1 (INVALID)
723  to uint64: -1 (INVALID)
724from double: f64(nan:0x007ff8000000000000)
725  to single: f32(-nan:0xffffffff) (OK)
726   to int32: -1 (INVALID)
727   to int64: -1 (INVALID)
728  to uint32: -1 (INVALID)
729  to uint64: -1 (INVALID)
730from double: f64(nan:0x007ff0000000000001)
731  to single: f32(-nan:0xffffffff) (INVALID)
732   to int32: -1 (INVALID)
733   to int64: -1 (INVALID)
734  to uint32: -1 (INVALID)
735  to uint64: -1 (INVALID)
736from double: f64(nan:0x007ff4000000000000)
737  to single: f32(-nan:0xffffffff) (INVALID)
738   to int32: -1 (INVALID)
739   to int64: -1 (INVALID)
740  to uint32: -1 (INVALID)
741  to uint64: -1 (INVALID)
742### Rounding to zero
743from double: f64(nan:0x007ff4000000000000)
744  to single: f32(-nan:0xffffffff) (INVALID)
745   to int32: -1 (INVALID)
746   to int64: -1 (INVALID)
747  to uint32: -1 (INVALID)
748  to uint64: -1 (INVALID)
749from double: f64(-nan:0x00fff8000000000000)
750  to single: f32(-nan:0xffffffff) (OK)
751   to int32: -1 (INVALID)
752   to int64: -1 (INVALID)
753  to uint32: -1 (INVALID)
754  to uint64: -1 (INVALID)
755from double: f64(-inf:0x00fff0000000000000)
756  to single: f32(-inf:0xff800000) (OK)
757   to int32: -2147483648 (INVALID)
758   to int64: -9223372036854775808 (INVALID)
759  to uint32: 0 (INVALID)
760  to uint64: 0 (INVALID)
761from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff)
762  to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OVERFLOW INEXACT )
763   to int32: -2147483648 (INVALID)
764   to int64: -9223372036854775808 (INVALID)
765  to uint32: 0 (INVALID)
766  to uint64: 0 (INVALID)
767from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
768  to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
769   to int32: -2147483648 (INVALID)
770   to int64: -9223372036854775808 (INVALID)
771  to uint32: 0 (INVALID)
772  to uint64: 0 (INVALID)
773from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000)
774  to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK)
775   to int32: -2147483648 (INVALID)
776   to int64: -9223372036854775808 (INVALID)
777  to uint32: 0 (INVALID)
778  to uint64: 0 (INVALID)
779from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654)
780  to single: f32(-0x1.1874b000000000000000p+103:0xf30c3a58) (INEXACT )
781   to int32: -2147483648 (INVALID)
782   to int64: -9223372036854775808 (INVALID)
783  to uint32: 0 (INVALID)
784  to uint64: 0 (INVALID)
785from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9)
786  to single: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) (INEXACT )
787   to int32: -2147483648 (INVALID)
788   to int64: -9223372036854775808 (INVALID)
789  to uint32: 0 (INVALID)
790  to uint64: 0 (INVALID)
791from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000)
792  to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK)
793   to int32: -2 (OK)
794   to int64: -2 (OK)
795  to uint32: 0 (INVALID)
796  to uint64: 0 (INVALID)
797from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000)
798  to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK)
799   to int32: -1 (OK)
800   to int64: -1 (OK)
801  to uint32: 0 (INVALID)
802  to uint64: 0 (INVALID)
803from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000)
804  to single: f32(-0x0.00000000000000000000p+0:0x80000000) (UNDERFLOW INEXACT )
805   to int32: 0 (INEXACT )
806   to int64: 0 (INEXACT )
807  to uint32: 0 (INVALID)
808  to uint64: 0 (INVALID)
809from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000)
810  to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK)
811   to int32: 0 (INEXACT )
812   to int64: 0 (INEXACT )
813  to uint32: 0 (INVALID)
814  to uint64: 0 (INVALID)
815from double: f64(0x0.00000000000000000000p+0:00000000000000000000)
816  to single: f32(0x0.00000000000000000000p+0:0000000000) (OK)
817   to int32: 0 (OK)
818   to int64: 0 (OK)
819  to uint32: 0 (OK)
820  to uint64: 0 (OK)
821from double: f64(0x1.00000000000000000000p-126:0x003810000000000000)
822  to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK)
823   to int32: 0 (INEXACT )
824   to int64: 0 (INEXACT )
825  to uint32: 0 (INEXACT )
826  to uint64: 0 (INEXACT )
827from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68)
828  to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT )
829   to int32: 0 (INEXACT )
830   to int64: 0 (INEXACT )
831  to uint32: 0 (INEXACT )
832  to uint64: 0 (INEXACT )
833from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82)
834  to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT )
835   to int32: 0 (INEXACT )
836   to int64: 0 (INEXACT )
837  to uint32: 0 (INEXACT )
838  to uint64: 0 (INEXACT )
839from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1)
840  to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT )
841   to int32: 0 (INEXACT )
842   to int64: 0 (INEXACT )
843  to uint32: 0 (INEXACT )
844  to uint64: 0 (INEXACT )
845from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5)
846  to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT )
847   to int32: 0 (INEXACT )
848   to int64: 0 (INEXACT )
849  to uint32: 0 (INEXACT )
850  to uint64: 0 (INEXACT )
851from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
852  to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
853   to int32: 1 (OK)
854   to int64: 1 (OK)
855  to uint32: 1 (OK)
856  to uint64: 1 (OK)
857from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000)
858  to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK)
859   to int32: 1 (INEXACT )
860   to int64: 1 (INEXACT )
861  to uint32: 1 (INEXACT )
862  to uint64: 1 (INEXACT )
863from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000)
864  to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
865   to int32: 0 (INEXACT )
866   to int64: 0 (INEXACT )
867  to uint32: 0 (INEXACT )
868  to uint64: 0 (INEXACT )
869from double: f64(0x1.3d5054450ed000000000p-1023:0x000009ea82a2287680)
870  to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
871   to int32: 0 (INEXACT )
872   to int64: 0 (INEXACT )
873  to uint32: 0 (INEXACT )
874  to uint64: 0 (INEXACT )
875from double: f64(0x1.5731f750864200000000p-1023:0x00000ab98fba843210)
876  to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT )
877   to int32: 0 (INEXACT )
878   to int64: 0 (INEXACT )
879  to uint32: 0 (INEXACT )
880  to uint64: 0 (INEXACT )
881from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000)
882  to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK)
883   to int32: 1 (OK)
884   to int64: 1 (OK)
885  to uint32: 1 (OK)
886  to uint64: 1 (OK)
887from double: f64(0x1.00000000000000000000p+1:0x004000000000000000)
888  to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK)
889   to int32: 2 (OK)
890   to int64: 2 (OK)
891  to uint32: 2 (OK)
892  to uint64: 2 (OK)
893from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769)
894  to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT )
895   to int32: 2 (INEXACT )
896   to int64: 2 (INEXACT )
897  to uint32: 2 (INEXACT )
898  to uint64: 2 (INEXACT )
899from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18)
900  to single: f32(0x1.921fb400000000000000p+1:0x40490fda) (INEXACT )
901   to int32: 3 (INEXACT )
902   to int64: 3 (INEXACT )
903  to uint32: 3 (INEXACT )
904  to uint64: 3 (INEXACT )
905from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000)
906  to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK)
907   to int32: 65503 (OK)
908   to int64: 65503 (OK)
909  to uint32: 65503 (OK)
910  to uint64: 65503 (OK)
911from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000)
912  to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK)
913   to int32: 65504 (OK)
914   to int64: 65504 (OK)
915  to uint32: 65504 (OK)
916  to uint64: 65504 (OK)
917from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000)
918  to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK)
919   to int32: 65505 (OK)
920   to int64: 65505 (OK)
921  to uint32: 65505 (OK)
922  to uint64: 65505 (OK)
923from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000)
924  to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK)
925   to int32: 131007 (OK)
926   to int64: 131007 (OK)
927  to uint32: 131007 (OK)
928  to uint64: 131007 (OK)
929from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000)
930  to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK)
931   to int32: 131008 (OK)
932   to int64: 131008 (OK)
933  to uint32: 131008 (OK)
934  to uint64: 131008 (OK)
935from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000)
936  to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK)
937   to int32: 131009 (OK)
938   to int64: 131009 (OK)
939  to uint32: 131009 (OK)
940  to uint64: 131009 (OK)
941from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000)
942  to single: f32(0x1.fffffe00000000000000p+30:0x4effffff) (INEXACT )
943   to int32: 2147483647 (OK)
944   to int64: 2147483647 (OK)
945  to uint32: 2147483647 (OK)
946  to uint64: 2147483647 (OK)
947from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
948  to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
949   to int32: 2147483647 (INVALID)
950   to int64: 9223372036854775807 (INVALID)
951  to uint32: -1 (INVALID)
952  to uint64: -1 (INVALID)
953from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000)
954  to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK)
955   to int32: 2147483647 (INVALID)
956   to int64: 9223372036854775807 (INVALID)
957  to uint32: -1 (INVALID)
958  to uint64: -1 (INVALID)
959from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff)
960  to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OVERFLOW INEXACT )
961   to int32: 2147483647 (INVALID)
962   to int64: 9223372036854775807 (INVALID)
963  to uint32: -1 (INVALID)
964  to uint64: -1 (INVALID)
965from double: f64(inf:0x007ff0000000000000)
966  to single: f32(inf:0x7f800000) (OK)
967   to int32: 2147483647 (INVALID)
968   to int64: 9223372036854775807 (INVALID)
969  to uint32: -1 (INVALID)
970  to uint64: -1 (INVALID)
971from double: f64(nan:0x007ff8000000000000)
972  to single: f32(-nan:0xffffffff) (OK)
973   to int32: -1 (INVALID)
974   to int64: -1 (INVALID)
975  to uint32: -1 (INVALID)
976  to uint64: -1 (INVALID)
977from double: f64(nan:0x007ff0000000000001)
978  to single: f32(-nan:0xffffffff) (INVALID)
979   to int32: -1 (INVALID)
980   to int64: -1 (INVALID)
981  to uint32: -1 (INVALID)
982  to uint64: -1 (INVALID)
983from double: f64(nan:0x007ff4000000000000)
984  to single: f32(-nan:0xffffffff) (INVALID)
985   to int32: -1 (INVALID)
986   to int64: -1 (INVALID)
987  to uint32: -1 (INVALID)
988  to uint64: -1 (INVALID)
989