| blob | da8456bbc16e947a47e528a0e111b7638c2a8f7d |
1 ### Rounding to nearest
2 from single: f32(-nan:0xffa00000)
3 to double: f64(-nan:0x00fffc000000000000) (INVALID)
4 to int32: 0 (INVALID)
5 to int64: 0 (INVALID)
6 to uint32: 0 (INVALID)
7 to uint64: 0 (INVALID)
8 from single: f32(-nan:0xffc00000)
9 to double: f64(-nan:0x00fff8000000000000) (OK)
10 to int32: 0 (INVALID)
11 to int64: 0 (INVALID)
12 to uint32: 0 (INVALID)
13 to uint64: 0 (INVALID)
14 from single: f32(-inf:0xff800000)
15 to double: f64(-inf:0x00fff0000000000000) (OK)
16 to int32: -2147483648 (INVALID)
17 to int64: 1 (INVALID)
18 to uint32: 0 (INVALID)
19 to uint64: 0 (INVALID)
20 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
21 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
22 to int32: -2147483648 (INVALID)
23 to int64: 1 (INEXACT INVALID)
24 to uint32: 0 (INVALID)
25 to uint64: 0 (INVALID)
26 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
27 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (OK)
28 to int32: -2147483648 (INVALID)
29 to int64: 1 (INEXACT INVALID)
30 to uint32: 0 (INVALID)
31 to uint64: 0 (INVALID)
32 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
33 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (OK)
34 to int32: -2147483648 (INVALID)
35 to int64: 1 (INEXACT INVALID)
36 to uint32: 0 (INVALID)
37 to uint64: 0 (INVALID)
38 from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8)
39 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (OK)
40 to int32: 0 (INEXACT )
41 to int64: 0 (INEXACT )
42 to uint32: 0 (INEXACT )
43 to uint64: 0 (INEXACT )
44 from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22)
45 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (OK)
46 to int32: 0 (INEXACT )
47 to int64: 0 (INEXACT )
48 to uint32: 0 (INEXACT )
49 to uint64: 0 (INEXACT )
50 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
51 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
52 to int32: 0 (INEXACT )
53 to int64: 0 (INEXACT )
54 to uint32: 0 (INEXACT )
55 to uint64: 0 (INEXACT )
56 from single: f32(0x0.00000000000000000000p+0:0000000000)
57 to double: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK)
58 to int32: 0 (OK)
59 to int64: 0 (OK)
60 to uint32: 0 (OK)
61 to uint64: 0 (OK)
62 from single: f32(0x1.00000000000000000000p-126:0x00800000)
63 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
64 to int32: 0 (INEXACT )
65 to int64: 0 (INEXACT )
66 to uint32: 0 (INEXACT )
67 to uint64: 0 (INEXACT )
68 from single: f32(0x1.00000000000000000000p-25:0x33000000)
69 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
70 to int32: 0 (INEXACT )
71 to int64: 0 (INEXACT )
72 to uint32: 0 (INEXACT )
73 to uint64: 0 (INEXACT )
74 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
75 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
76 to int32: 0 (INEXACT )
77 to int64: 0 (INEXACT )
78 to uint32: 0 (INEXACT )
79 to uint64: 0 (INEXACT )
80 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
81 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (OK)
82 to int32: 0 (INEXACT )
83 to int64: 0 (INEXACT )
84 to uint32: 0 (INEXACT )
85 to uint64: 0 (INEXACT )
86 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
87 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (OK)
88 to int32: 0 (INEXACT )
89 to int64: 0 (INEXACT )
90 to uint32: 0 (INEXACT )
91 to uint64: 0 (INEXACT )
92 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
93 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
94 to int32: 1 (OK)
95 to int64: 1 (INEXACT )
96 to uint32: 1 (OK)
97 to uint64: 1 (INEXACT )
98 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
99 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
100 to int32: 1 (INEXACT )
101 to int64: 1 (INEXACT )
102 to uint32: 1 (INEXACT )
103 to uint64: 1 (INEXACT )
104 from single: f32(0x1.00000000000000000000p+1:0x40000000)
105 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
106 to int32: 2 (OK)
107 to int64: 2 (INEXACT )
108 to uint32: 2 (OK)
109 to uint64: 2 (INEXACT )
110 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
111 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (OK)
112 to int32: 2 (INEXACT )
113 to int64: 2 (INEXACT )
114 to uint32: 2 (INEXACT )
115 to uint64: 2 (INEXACT )
116 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
117 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (OK)
118 to int32: 3 (INEXACT )
119 to int64: 3 (INEXACT )
120 to uint32: 3 (INEXACT )
121 to uint64: 3 (INEXACT )
122 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
123 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
124 to int32: 65503 (OK)
125 to int64: 65503 (INEXACT )
126 to uint32: 65503 (OK)
127 to uint64: 65503 (INEXACT )
128 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
129 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
130 to int32: 65504 (OK)
131 to int64: 65504 (INEXACT )
132 to uint32: 65504 (OK)
133 to uint64: 65504 (INEXACT )
134 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
135 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
136 to int32: 65505 (OK)
137 to int64: 65505 (INEXACT )
138 to uint32: 65505 (OK)
139 to uint64: 65505 (INEXACT )
140 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
141 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
142 to int32: 131007 (OK)
143 to int64: 131007 (INEXACT )
144 to uint32: 131007 (OK)
145 to uint64: 131007 (INEXACT )
146 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
147 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
148 to int32: 131008 (OK)
149 to int64: 131008 (INEXACT )
150 to uint32: 131008 (OK)
151 to uint64: 131008 (INEXACT )
152 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
153 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
154 to int32: 131009 (OK)
155 to int64: 131009 (INEXACT )
156 to uint32: 131009 (OK)
157 to uint64: 131009 (INEXACT )
158 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
159 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
160 to int32: 2147483647 (INVALID)
161 to int64: -1 (INEXACT INVALID)
162 to uint32: -1 (INVALID)
163 to uint64: -1 (INEXACT INVALID)
164 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
165 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
166 to int32: 2147483647 (INVALID)
167 to int64: -1 (INEXACT INVALID)
168 to uint32: -1 (INVALID)
169 to uint64: -1 (INEXACT INVALID)
170 from single: f32(inf:0x7f800000)
171 to double: f64(inf:0x007ff0000000000000) (OK)
172 to int32: 2147483647 (INVALID)
173 to int64: -1 (INVALID)
174 to uint32: -1 (INVALID)
175 to uint64: -1 (INVALID)
176 from single: f32(nan:0x7fc00000)
177 to double: f64(nan:0x007ff8000000000000) (OK)
178 to int32: 0 (INVALID)
179 to int64: 0 (INVALID)
180 to uint32: 0 (INVALID)
181 to uint64: 0 (INVALID)
182 from single: f32(nan:0x7fa00000)
183 to double: f64(nan:0x007ffc000000000000) (INVALID)
184 to int32: 0 (INVALID)
185 to int64: 0 (INVALID)
186 to uint32: 0 (INVALID)
187 to uint64: 0 (INVALID)
188 ### Rounding upwards
189 from single: f32(-nan:0xffa00000)
190 to double: f64(-nan:0x00fffc000000000000) (INVALID)
191 to int32: 0 (INVALID)
192 to int64: 0 (INVALID)
193 to uint32: 0 (INVALID)
194 to uint64: 0 (INVALID)
195 from single: f32(-nan:0xffc00000)
196 to double: f64(-nan:0x00fff8000000000000) (OK)
197 to int32: 0 (INVALID)
198 to int64: 0 (INVALID)
199 to uint32: 0 (INVALID)
200 to uint64: 0 (INVALID)
201 from single: f32(-inf:0xff800000)
202 to double: f64(-inf:0x00fff0000000000000) (OK)
203 to int32: -2147483648 (INVALID)
204 to int64: 1 (INVALID)
205 to uint32: 0 (INVALID)
206 to uint64: 0 (INVALID)
207 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
208 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
209 to int32: -2147483648 (INVALID)
210 to int64: 1 (INEXACT INVALID)
211 to uint32: 0 (INVALID)
212 to uint64: 0 (INVALID)
213 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
214 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (OK)
215 to int32: -2147483648 (INVALID)
216 to int64: 1 (INEXACT INVALID)
217 to uint32: 0 (INVALID)
218 to uint64: 0 (INVALID)
219 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
220 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (OK)
221 to int32: -2147483648 (INVALID)
222 to int64: 1 (INEXACT INVALID)
223 to uint32: 0 (INVALID)
224 to uint64: 0 (INVALID)
225 from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8)
226 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (OK)
227 to int32: 0 (INEXACT )
228 to int64: 0 (INEXACT )
229 to uint32: 0 (INEXACT )
230 to uint64: 0 (INEXACT )
231 from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22)
232 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (OK)
233 to int32: 0 (INEXACT )
234 to int64: 0 (INEXACT )
235 to uint32: 0 (INEXACT )
236 to uint64: 0 (INEXACT )
237 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
238 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
239 to int32: 0 (INEXACT )
240 to int64: 0 (INEXACT )
241 to uint32: 0 (INEXACT )
242 to uint64: 0 (INEXACT )
243 from single: f32(0x0.00000000000000000000p+0:0000000000)
244 to double: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK)
245 to int32: 0 (OK)
246 to int64: 0 (OK)
247 to uint32: 0 (OK)
248 to uint64: 0 (OK)
249 from single: f32(0x1.00000000000000000000p-126:0x00800000)
250 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
251 to int32: 0 (INEXACT )
252 to int64: 0 (INEXACT )
253 to uint32: 0 (INEXACT )
254 to uint64: 0 (INEXACT )
255 from single: f32(0x1.00000000000000000000p-25:0x33000000)
256 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
257 to int32: 0 (INEXACT )
258 to int64: 0 (INEXACT )
259 to uint32: 0 (INEXACT )
260 to uint64: 0 (INEXACT )
261 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
262 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
263 to int32: 0 (INEXACT )
264 to int64: 0 (INEXACT )
265 to uint32: 0 (INEXACT )
266 to uint64: 0 (INEXACT )
267 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
268 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (OK)
269 to int32: 0 (INEXACT )
270 to int64: 0 (INEXACT )
271 to uint32: 0 (INEXACT )
272 to uint64: 0 (INEXACT )
273 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
274 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (OK)
275 to int32: 0 (INEXACT )
276 to int64: 0 (INEXACT )
277 to uint32: 0 (INEXACT )
278 to uint64: 0 (INEXACT )
279 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
280 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
281 to int32: 1 (OK)
282 to int64: 1 (INEXACT )
283 to uint32: 1 (OK)
284 to uint64: 1 (INEXACT )
285 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
286 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
287 to int32: 1 (INEXACT )
288 to int64: 1 (INEXACT )
289 to uint32: 1 (INEXACT )
290 to uint64: 1 (INEXACT )
291 from single: f32(0x1.00000000000000000000p+1:0x40000000)
292 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
293 to int32: 2 (OK)
294 to int64: 2 (INEXACT )
295 to uint32: 2 (OK)
296 to uint64: 2 (INEXACT )
297 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
298 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (OK)
299 to int32: 2 (INEXACT )
300 to int64: 2 (INEXACT )
301 to uint32: 2 (INEXACT )
302 to uint64: 2 (INEXACT )
303 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
304 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (OK)
305 to int32: 3 (INEXACT )
306 to int64: 3 (INEXACT )
307 to uint32: 3 (INEXACT )
308 to uint64: 3 (INEXACT )
309 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
310 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
311 to int32: 65503 (OK)
312 to int64: 65503 (INEXACT )
313 to uint32: 65503 (OK)
314 to uint64: 65503 (INEXACT )
315 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
316 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
317 to int32: 65504 (OK)
318 to int64: 65504 (INEXACT )
319 to uint32: 65504 (OK)
320 to uint64: 65504 (INEXACT )
321 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
322 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
323 to int32: 65505 (OK)
324 to int64: 65505 (INEXACT )
325 to uint32: 65505 (OK)
326 to uint64: 65505 (INEXACT )
327 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
328 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
329 to int32: 131007 (OK)
330 to int64: 131007 (INEXACT )
331 to uint32: 131007 (OK)
332 to uint64: 131007 (INEXACT )
333 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
334 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
335 to int32: 131008 (OK)
336 to int64: 131008 (INEXACT )
337 to uint32: 131008 (OK)
338 to uint64: 131008 (INEXACT )
339 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
340 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
341 to int32: 131009 (OK)
342 to int64: 131009 (INEXACT )
343 to uint32: 131009 (OK)
344 to uint64: 131009 (INEXACT )
345 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
346 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
347 to int32: 2147483647 (INVALID)
348 to int64: -1 (INEXACT INVALID)
349 to uint32: -1 (INVALID)
350 to uint64: -1 (INEXACT INVALID)
351 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
352 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
353 to int32: 2147483647 (INVALID)
354 to int64: -1 (INEXACT INVALID)
355 to uint32: -1 (INVALID)
356 to uint64: -1 (INEXACT INVALID)
357 from single: f32(inf:0x7f800000)
358 to double: f64(inf:0x007ff0000000000000) (OK)
359 to int32: 2147483647 (INVALID)
360 to int64: -1 (INVALID)
361 to uint32: -1 (INVALID)
362 to uint64: -1 (INVALID)
363 from single: f32(nan:0x7fc00000)
364 to double: f64(nan:0x007ff8000000000000) (OK)
365 to int32: 0 (INVALID)
366 to int64: 0 (INVALID)
367 to uint32: 0 (INVALID)
368 to uint64: 0 (INVALID)
369 from single: f32(nan:0x7fa00000)
370 to double: f64(nan:0x007ffc000000000000) (INVALID)
371 to int32: 0 (INVALID)
372 to int64: 0 (INVALID)
373 to uint32: 0 (INVALID)
374 to uint64: 0 (INVALID)
375 ### Rounding downwards
376 from single: f32(-nan:0xffa00000)
377 to double: f64(-nan:0x00fffc000000000000) (INVALID)
378 to int32: 0 (INVALID)
379 to int64: 0 (INVALID)
380 to uint32: 0 (INVALID)
381 to uint64: 0 (INVALID)
382 from single: f32(-nan:0xffc00000)
383 to double: f64(-nan:0x00fff8000000000000) (OK)
384 to int32: 0 (INVALID)
385 to int64: 0 (INVALID)
386 to uint32: 0 (INVALID)
387 to uint64: 0 (INVALID)
388 from single: f32(-inf:0xff800000)
389 to double: f64(-inf:0x00fff0000000000000) (OK)
390 to int32: -2147483648 (INVALID)
391 to int64: 1 (INVALID)
392 to uint32: 0 (INVALID)
393 to uint64: 0 (INVALID)
394 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
395 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
396 to int32: -2147483648 (INVALID)
397 to int64: 1 (INEXACT INVALID)
398 to uint32: 0 (INVALID)
399 to uint64: 0 (INVALID)
400 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
401 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (OK)
402 to int32: -2147483648 (INVALID)
403 to int64: 1 (INEXACT INVALID)
404 to uint32: 0 (INVALID)
405 to uint64: 0 (INVALID)
406 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
407 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (OK)
408 to int32: -2147483648 (INVALID)
409 to int64: 1 (INEXACT INVALID)
410 to uint32: 0 (INVALID)
411 to uint64: 0 (INVALID)
412 from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8)
413 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (OK)
414 to int32: 0 (INEXACT )
415 to int64: 0 (INEXACT )
416 to uint32: 0 (INEXACT )
417 to uint64: 0 (INEXACT )
418 from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22)
419 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (OK)
420 to int32: 0 (INEXACT )
421 to int64: 0 (INEXACT )
422 to uint32: 0 (INEXACT )
423 to uint64: 0 (INEXACT )
424 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
425 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
426 to int32: 0 (INEXACT )
427 to int64: 0 (INEXACT )
428 to uint32: 0 (INEXACT )
429 to uint64: 0 (INEXACT )
430 from single: f32(0x0.00000000000000000000p+0:0000000000)
431 to double: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK)
432 to int32: 0 (OK)
433 to int64: 0 (OK)
434 to uint32: 0 (OK)
435 to uint64: 0 (OK)
436 from single: f32(0x1.00000000000000000000p-126:0x00800000)
437 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
438 to int32: 0 (INEXACT )
439 to int64: 0 (INEXACT )
440 to uint32: 0 (INEXACT )
441 to uint64: 0 (INEXACT )
442 from single: f32(0x1.00000000000000000000p-25:0x33000000)
443 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
444 to int32: 0 (INEXACT )
445 to int64: 0 (INEXACT )
446 to uint32: 0 (INEXACT )
447 to uint64: 0 (INEXACT )
448 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
449 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
450 to int32: 0 (INEXACT )
451 to int64: 0 (INEXACT )
452 to uint32: 0 (INEXACT )
453 to uint64: 0 (INEXACT )
454 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
455 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (OK)
456 to int32: 0 (INEXACT )
457 to int64: 0 (INEXACT )
458 to uint32: 0 (INEXACT )
459 to uint64: 0 (INEXACT )
460 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
461 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (OK)
462 to int32: 0 (INEXACT )
463 to int64: 0 (INEXACT )
464 to uint32: 0 (INEXACT )
465 to uint64: 0 (INEXACT )
466 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
467 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
468 to int32: 1 (OK)
469 to int64: 1 (INEXACT )
470 to uint32: 1 (OK)
471 to uint64: 1 (INEXACT )
472 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
473 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
474 to int32: 1 (INEXACT )
475 to int64: 1 (INEXACT )
476 to uint32: 1 (INEXACT )
477 to uint64: 1 (INEXACT )
478 from single: f32(0x1.00000000000000000000p+1:0x40000000)
479 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
480 to int32: 2 (OK)
481 to int64: 2 (INEXACT )
482 to uint32: 2 (OK)
483 to uint64: 2 (INEXACT )
484 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
485 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (OK)
486 to int32: 2 (INEXACT )
487 to int64: 2 (INEXACT )
488 to uint32: 2 (INEXACT )
489 to uint64: 2 (INEXACT )
490 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
491 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (OK)
492 to int32: 3 (INEXACT )
493 to int64: 3 (INEXACT )
494 to uint32: 3 (INEXACT )
495 to uint64: 3 (INEXACT )
496 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
497 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
498 to int32: 65503 (OK)
499 to int64: 65503 (INEXACT )
500 to uint32: 65503 (OK)
501 to uint64: 65503 (INEXACT )
502 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
503 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
504 to int32: 65504 (OK)
505 to int64: 65504 (INEXACT )
506 to uint32: 65504 (OK)
507 to uint64: 65504 (INEXACT )
508 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
509 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
510 to int32: 65505 (OK)
511 to int64: 65505 (INEXACT )
512 to uint32: 65505 (OK)
513 to uint64: 65505 (INEXACT )
514 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
515 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
516 to int32: 131007 (OK)
517 to int64: 131007 (INEXACT )
518 to uint32: 131007 (OK)
519 to uint64: 131007 (INEXACT )
520 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
521 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
522 to int32: 131008 (OK)
523 to int64: 131008 (INEXACT )
524 to uint32: 131008 (OK)
525 to uint64: 131008 (INEXACT )
526 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
527 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
528 to int32: 131009 (OK)
529 to int64: 131009 (INEXACT )
530 to uint32: 131009 (OK)
531 to uint64: 131009 (INEXACT )
532 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
533 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
534 to int32: 2147483647 (INVALID)
535 to int64: -1 (INEXACT INVALID)
536 to uint32: -1 (INVALID)
537 to uint64: -1 (INEXACT INVALID)
538 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
539 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
540 to int32: 2147483647 (INVALID)
541 to int64: -1 (INEXACT INVALID)
542 to uint32: -1 (INVALID)
543 to uint64: -1 (INEXACT INVALID)
544 from single: f32(inf:0x7f800000)
545 to double: f64(inf:0x007ff0000000000000) (OK)
546 to int32: 2147483647 (INVALID)
547 to int64: -1 (INVALID)
548 to uint32: -1 (INVALID)
549 to uint64: -1 (INVALID)
550 from single: f32(nan:0x7fc00000)
551 to double: f64(nan:0x007ff8000000000000) (OK)
552 to int32: 0 (INVALID)
553 to int64: 0 (INVALID)
554 to uint32: 0 (INVALID)
555 to uint64: 0 (INVALID)
556 from single: f32(nan:0x7fa00000)
557 to double: f64(nan:0x007ffc000000000000) (INVALID)
558 to int32: 0 (INVALID)
559 to int64: 0 (INVALID)
560 to uint32: 0 (INVALID)
561 to uint64: 0 (INVALID)
562 ### Rounding to zero
563 from single: f32(-nan:0xffa00000)
564 to double: f64(-nan:0x00fffc000000000000) (INVALID)
565 to int32: 0 (INVALID)
566 to int64: 0 (INVALID)
567 to uint32: 0 (INVALID)
568 to uint64: 0 (INVALID)
569 from single: f32(-nan:0xffc00000)
570 to double: f64(-nan:0x00fff8000000000000) (OK)
571 to int32: 0 (INVALID)
572 to int64: 0 (INVALID)
573 to uint32: 0 (INVALID)
574 to uint64: 0 (INVALID)
575 from single: f32(-inf:0xff800000)
576 to double: f64(-inf:0x00fff0000000000000) (OK)
577 to int32: -2147483648 (INVALID)
578 to int64: 1 (INVALID)
579 to uint32: 0 (INVALID)
580 to uint64: 0 (INVALID)
581 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
582 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
583 to int32: -2147483648 (INVALID)
584 to int64: 1 (INEXACT INVALID)
585 to uint32: 0 (INVALID)
586 to uint64: 0 (INVALID)
587 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
588 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (OK)
589 to int32: -2147483648 (INVALID)
590 to int64: 1 (INEXACT INVALID)
591 to uint32: 0 (INVALID)
592 to uint64: 0 (INVALID)
593 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
594 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (OK)
595 to int32: -2147483648 (INVALID)
596 to int64: 1 (INEXACT INVALID)
597 to uint32: 0 (INVALID)
598 to uint64: 0 (INVALID)
599 from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8)
600 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (OK)
601 to int32: 0 (INEXACT )
602 to int64: 0 (INEXACT )
603 to uint32: 0 (INEXACT )
604 to uint64: 0 (INEXACT )
605 from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22)
606 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (OK)
607 to int32: 0 (INEXACT )
608 to int64: 0 (INEXACT )
609 to uint32: 0 (INEXACT )
610 to uint64: 0 (INEXACT )
611 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
612 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
613 to int32: 0 (INEXACT )
614 to int64: 0 (INEXACT )
615 to uint32: 0 (INEXACT )
616 to uint64: 0 (INEXACT )
617 from single: f32(0x0.00000000000000000000p+0:0000000000)
618 to double: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK)
619 to int32: 0 (OK)
620 to int64: 0 (OK)
621 to uint32: 0 (OK)
622 to uint64: 0 (OK)
623 from single: f32(0x1.00000000000000000000p-126:0x00800000)
624 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
625 to int32: 0 (INEXACT )
626 to int64: 0 (INEXACT )
627 to uint32: 0 (INEXACT )
628 to uint64: 0 (INEXACT )
629 from single: f32(0x1.00000000000000000000p-25:0x33000000)
630 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
631 to int32: 0 (INEXACT )
632 to int64: 0 (INEXACT )
633 to uint32: 0 (INEXACT )
634 to uint64: 0 (INEXACT )
635 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
636 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
637 to int32: 0 (INEXACT )
638 to int64: 0 (INEXACT )
639 to uint32: 0 (INEXACT )
640 to uint64: 0 (INEXACT )
641 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
642 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (OK)
643 to int32: 0 (INEXACT )
644 to int64: 0 (INEXACT )
645 to uint32: 0 (INEXACT )
646 to uint64: 0 (INEXACT )
647 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
648 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (OK)
649 to int32: 0 (INEXACT )
650 to int64: 0 (INEXACT )
651 to uint32: 0 (INEXACT )
652 to uint64: 0 (INEXACT )
653 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
654 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
655 to int32: 1 (OK)
656 to int64: 1 (INEXACT )
657 to uint32: 1 (OK)
658 to uint64: 1 (INEXACT )
659 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
660 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
661 to int32: 1 (INEXACT )
662 to int64: 1 (INEXACT )
663 to uint32: 1 (INEXACT )
664 to uint64: 1 (INEXACT )
665 from single: f32(0x1.00000000000000000000p+1:0x40000000)
666 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
667 to int32: 2 (OK)
668 to int64: 2 (INEXACT )
669 to uint32: 2 (OK)
670 to uint64: 2 (INEXACT )
671 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
672 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (OK)
673 to int32: 2 (INEXACT )
674 to int64: 2 (INEXACT )
675 to uint32: 2 (INEXACT )
676 to uint64: 2 (INEXACT )
677 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
678 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (OK)
679 to int32: 3 (INEXACT )
680 to int64: 3 (INEXACT )
681 to uint32: 3 (INEXACT )
682 to uint64: 3 (INEXACT )
683 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
684 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
685 to int32: 65503 (OK)
686 to int64: 65503 (INEXACT )
687 to uint32: 65503 (OK)
688 to uint64: 65503 (INEXACT )
689 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
690 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
691 to int32: 65504 (OK)
692 to int64: 65504 (INEXACT )
693 to uint32: 65504 (OK)
694 to uint64: 65504 (INEXACT )
695 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
696 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
697 to int32: 65505 (OK)
698 to int64: 65505 (INEXACT )
699 to uint32: 65505 (OK)
700 to uint64: 65505 (INEXACT )
701 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
702 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
703 to int32: 131007 (OK)
704 to int64: 131007 (INEXACT )
705 to uint32: 131007 (OK)
706 to uint64: 131007 (INEXACT )
707 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
708 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
709 to int32: 131008 (OK)
710 to int64: 131008 (INEXACT )
711 to uint32: 131008 (OK)
712 to uint64: 131008 (INEXACT )
713 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
714 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
715 to int32: 131009 (OK)
716 to int64: 131009 (INEXACT )
717 to uint32: 131009 (OK)
718 to uint64: 131009 (INEXACT )
719 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
720 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
721 to int32: 2147483647 (INVALID)
722 to int64: -1 (INEXACT INVALID)
723 to uint32: -1 (INVALID)
724 to uint64: -1 (INEXACT INVALID)
725 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
726 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
727 to int32: 2147483647 (INVALID)
728 to int64: -1 (INEXACT INVALID)
729 to uint32: -1 (INVALID)
730 to uint64: -1 (INEXACT INVALID)
731 from single: f32(inf:0x7f800000)
732 to double: f64(inf:0x007ff0000000000000) (OK)
733 to int32: 2147483647 (INVALID)
734 to int64: -1 (INVALID)
735 to uint32: -1 (INVALID)
736 to uint64: -1 (INVALID)
737 from single: f32(nan:0x7fc00000)
738 to double: f64(nan:0x007ff8000000000000) (OK)
739 to int32: 0 (INVALID)
740 to int64: 0 (INVALID)
741 to uint32: 0 (INVALID)
742 to uint64: 0 (INVALID)
743 from single: f32(nan:0x7fa00000)
744 to double: f64(nan:0x007ffc000000000000) (INVALID)
745 to int32: 0 (INVALID)
746 to int64: 0 (INVALID)
747 to uint32: 0 (INVALID)
748 to uint64: 0 (INVALID)