simple-soft-float 0.1.0

soft-float library that intends to be a straightforward reference implementation of IEEE 754
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409

# testing u32_to_f32 with TiesToEven BeforeRounding
0x0 TiesToEven BeforeRounding 0x00000000 (empty)
0x1 TiesToEven BeforeRounding 0x3F800000 (empty)
0x2 TiesToEven BeforeRounding 0x40000000 (empty)
0x3 TiesToEven BeforeRounding 0x40400000 (empty)
0x4 TiesToEven BeforeRounding 0x40800000 (empty)
0x5 TiesToEven BeforeRounding 0x40A00000 (empty)
0x6 TiesToEven BeforeRounding 0x40C00000 (empty)
0x7 TiesToEven BeforeRounding 0x40E00000 (empty)
0x7FF TiesToEven BeforeRounding 0x44FFE000 (empty)
0x800 TiesToEven BeforeRounding 0x45000000 (empty)
0x801 TiesToEven BeforeRounding 0x45001000 (empty)
0xFFE0 TiesToEven BeforeRounding 0x477FE000 (empty)
0xFFE1 TiesToEven BeforeRounding 0x477FE100 (empty)
0xFFEF TiesToEven BeforeRounding 0x477FEF00 (empty)
0xFFF0 TiesToEven BeforeRounding 0x477FF000 (empty)
0xFFF1 TiesToEven BeforeRounding 0x477FF100 (empty)
0x7FFFFFFF TiesToEven BeforeRounding 0x4F000000 INEXACT
0x80000000 TiesToEven BeforeRounding 0x4F000000 (empty)
0xFFFFFFFF TiesToEven BeforeRounding 0x4F800000 INEXACT
0x0 TiesToEven BeforeRounding 0x00000000 (empty)
0xFFFFFFFF TiesToEven BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFE TiesToEven BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFD TiesToEven BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFC TiesToEven BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFB TiesToEven BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFA TiesToEven BeforeRounding 0x4F800000 INEXACT
0xFFFFFFF9 TiesToEven BeforeRounding 0x4F800000 INEXACT
0xFFFFF801 TiesToEven BeforeRounding 0x4F7FFFF8 INEXACT
0xFFFFF800 TiesToEven BeforeRounding 0x4F7FFFF8 (empty)
0xFFFFF7FF TiesToEven BeforeRounding 0x4F7FFFF8 INEXACT
0xFFFF0020 TiesToEven BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF001F TiesToEven BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF0011 TiesToEven BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF0010 TiesToEven BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF000F TiesToEven BeforeRounding 0x4F7FFF00 INEXACT
0x80000001 TiesToEven BeforeRounding 0x4F000000 INEXACT
0x80000000 TiesToEven BeforeRounding 0x4F000000 (empty)
0x1 TiesToEven BeforeRounding 0x3F800000 (empty)
0x0 TiesToEven BeforeRounding 0x00000000 (empty)

# testing u32_to_f32 with TiesToEven AfterRounding
0x0 TiesToEven AfterRounding 0x00000000 (empty)
0x1 TiesToEven AfterRounding 0x3F800000 (empty)
0x2 TiesToEven AfterRounding 0x40000000 (empty)
0x3 TiesToEven AfterRounding 0x40400000 (empty)
0x4 TiesToEven AfterRounding 0x40800000 (empty)
0x5 TiesToEven AfterRounding 0x40A00000 (empty)
0x6 TiesToEven AfterRounding 0x40C00000 (empty)
0x7 TiesToEven AfterRounding 0x40E00000 (empty)
0x7FF TiesToEven AfterRounding 0x44FFE000 (empty)
0x800 TiesToEven AfterRounding 0x45000000 (empty)
0x801 TiesToEven AfterRounding 0x45001000 (empty)
0xFFE0 TiesToEven AfterRounding 0x477FE000 (empty)
0xFFE1 TiesToEven AfterRounding 0x477FE100 (empty)
0xFFEF TiesToEven AfterRounding 0x477FEF00 (empty)
0xFFF0 TiesToEven AfterRounding 0x477FF000 (empty)
0xFFF1 TiesToEven AfterRounding 0x477FF100 (empty)
0x7FFFFFFF TiesToEven AfterRounding 0x4F000000 INEXACT
0x80000000 TiesToEven AfterRounding 0x4F000000 (empty)
0xFFFFFFFF TiesToEven AfterRounding 0x4F800000 INEXACT
0x0 TiesToEven AfterRounding 0x00000000 (empty)
0xFFFFFFFF TiesToEven AfterRounding 0x4F800000 INEXACT
0xFFFFFFFE TiesToEven AfterRounding 0x4F800000 INEXACT
0xFFFFFFFD TiesToEven AfterRounding 0x4F800000 INEXACT
0xFFFFFFFC TiesToEven AfterRounding 0x4F800000 INEXACT
0xFFFFFFFB TiesToEven AfterRounding 0x4F800000 INEXACT
0xFFFFFFFA TiesToEven AfterRounding 0x4F800000 INEXACT
0xFFFFFFF9 TiesToEven AfterRounding 0x4F800000 INEXACT
0xFFFFF801 TiesToEven AfterRounding 0x4F7FFFF8 INEXACT
0xFFFFF800 TiesToEven AfterRounding 0x4F7FFFF8 (empty)
0xFFFFF7FF TiesToEven AfterRounding 0x4F7FFFF8 INEXACT
0xFFFF0020 TiesToEven AfterRounding 0x4F7FFF00 INEXACT
0xFFFF001F TiesToEven AfterRounding 0x4F7FFF00 INEXACT
0xFFFF0011 TiesToEven AfterRounding 0x4F7FFF00 INEXACT
0xFFFF0010 TiesToEven AfterRounding 0x4F7FFF00 INEXACT
0xFFFF000F TiesToEven AfterRounding 0x4F7FFF00 INEXACT
0x80000001 TiesToEven AfterRounding 0x4F000000 INEXACT
0x80000000 TiesToEven AfterRounding 0x4F000000 (empty)
0x1 TiesToEven AfterRounding 0x3F800000 (empty)
0x0 TiesToEven AfterRounding 0x00000000 (empty)

# testing u32_to_f32 with TowardZero BeforeRounding
0x0 TowardZero BeforeRounding 0x00000000 (empty)
0x1 TowardZero BeforeRounding 0x3F800000 (empty)
0x2 TowardZero BeforeRounding 0x40000000 (empty)
0x3 TowardZero BeforeRounding 0x40400000 (empty)
0x4 TowardZero BeforeRounding 0x40800000 (empty)
0x5 TowardZero BeforeRounding 0x40A00000 (empty)
0x6 TowardZero BeforeRounding 0x40C00000 (empty)
0x7 TowardZero BeforeRounding 0x40E00000 (empty)
0x7FF TowardZero BeforeRounding 0x44FFE000 (empty)
0x800 TowardZero BeforeRounding 0x45000000 (empty)
0x801 TowardZero BeforeRounding 0x45001000 (empty)
0xFFE0 TowardZero BeforeRounding 0x477FE000 (empty)
0xFFE1 TowardZero BeforeRounding 0x477FE100 (empty)
0xFFEF TowardZero BeforeRounding 0x477FEF00 (empty)
0xFFF0 TowardZero BeforeRounding 0x477FF000 (empty)
0xFFF1 TowardZero BeforeRounding 0x477FF100 (empty)
0x7FFFFFFF TowardZero BeforeRounding 0x4EFFFFFF INEXACT
0x80000000 TowardZero BeforeRounding 0x4F000000 (empty)
0xFFFFFFFF TowardZero BeforeRounding 0x4F7FFFFF INEXACT
0x0 TowardZero BeforeRounding 0x00000000 (empty)
0xFFFFFFFF TowardZero BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFFFFE TowardZero BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFFFFD TowardZero BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFFFFC TowardZero BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFFFFB TowardZero BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFFFFA TowardZero BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFFFF9 TowardZero BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFF801 TowardZero BeforeRounding 0x4F7FFFF8 INEXACT
0xFFFFF800 TowardZero BeforeRounding 0x4F7FFFF8 (empty)
0xFFFFF7FF TowardZero BeforeRounding 0x4F7FFFF7 INEXACT
0xFFFF0020 TowardZero BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF001F TowardZero BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF0011 TowardZero BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF0010 TowardZero BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF000F TowardZero BeforeRounding 0x4F7FFF00 INEXACT
0x80000001 TowardZero BeforeRounding 0x4F000000 INEXACT
0x80000000 TowardZero BeforeRounding 0x4F000000 (empty)
0x1 TowardZero BeforeRounding 0x3F800000 (empty)
0x0 TowardZero BeforeRounding 0x00000000 (empty)

# testing u32_to_f32 with TowardZero AfterRounding
0x0 TowardZero AfterRounding 0x00000000 (empty)
0x1 TowardZero AfterRounding 0x3F800000 (empty)
0x2 TowardZero AfterRounding 0x40000000 (empty)
0x3 TowardZero AfterRounding 0x40400000 (empty)
0x4 TowardZero AfterRounding 0x40800000 (empty)
0x5 TowardZero AfterRounding 0x40A00000 (empty)
0x6 TowardZero AfterRounding 0x40C00000 (empty)
0x7 TowardZero AfterRounding 0x40E00000 (empty)
0x7FF TowardZero AfterRounding 0x44FFE000 (empty)
0x800 TowardZero AfterRounding 0x45000000 (empty)
0x801 TowardZero AfterRounding 0x45001000 (empty)
0xFFE0 TowardZero AfterRounding 0x477FE000 (empty)
0xFFE1 TowardZero AfterRounding 0x477FE100 (empty)
0xFFEF TowardZero AfterRounding 0x477FEF00 (empty)
0xFFF0 TowardZero AfterRounding 0x477FF000 (empty)
0xFFF1 TowardZero AfterRounding 0x477FF100 (empty)
0x7FFFFFFF TowardZero AfterRounding 0x4EFFFFFF INEXACT
0x80000000 TowardZero AfterRounding 0x4F000000 (empty)
0xFFFFFFFF TowardZero AfterRounding 0x4F7FFFFF INEXACT
0x0 TowardZero AfterRounding 0x00000000 (empty)
0xFFFFFFFF TowardZero AfterRounding 0x4F7FFFFF INEXACT
0xFFFFFFFE TowardZero AfterRounding 0x4F7FFFFF INEXACT
0xFFFFFFFD TowardZero AfterRounding 0x4F7FFFFF INEXACT
0xFFFFFFFC TowardZero AfterRounding 0x4F7FFFFF INEXACT
0xFFFFFFFB TowardZero AfterRounding 0x4F7FFFFF INEXACT
0xFFFFFFFA TowardZero AfterRounding 0x4F7FFFFF INEXACT
0xFFFFFFF9 TowardZero AfterRounding 0x4F7FFFFF INEXACT
0xFFFFF801 TowardZero AfterRounding 0x4F7FFFF8 INEXACT
0xFFFFF800 TowardZero AfterRounding 0x4F7FFFF8 (empty)
0xFFFFF7FF TowardZero AfterRounding 0x4F7FFFF7 INEXACT
0xFFFF0020 TowardZero AfterRounding 0x4F7FFF00 INEXACT
0xFFFF001F TowardZero AfterRounding 0x4F7FFF00 INEXACT
0xFFFF0011 TowardZero AfterRounding 0x4F7FFF00 INEXACT
0xFFFF0010 TowardZero AfterRounding 0x4F7FFF00 INEXACT
0xFFFF000F TowardZero AfterRounding 0x4F7FFF00 INEXACT
0x80000001 TowardZero AfterRounding 0x4F000000 INEXACT
0x80000000 TowardZero AfterRounding 0x4F000000 (empty)
0x1 TowardZero AfterRounding 0x3F800000 (empty)
0x0 TowardZero AfterRounding 0x00000000 (empty)

# testing u32_to_f32 with TowardNegative BeforeRounding
0x0 TowardNegative BeforeRounding 0x00000000 (empty)
0x1 TowardNegative BeforeRounding 0x3F800000 (empty)
0x2 TowardNegative BeforeRounding 0x40000000 (empty)
0x3 TowardNegative BeforeRounding 0x40400000 (empty)
0x4 TowardNegative BeforeRounding 0x40800000 (empty)
0x5 TowardNegative BeforeRounding 0x40A00000 (empty)
0x6 TowardNegative BeforeRounding 0x40C00000 (empty)
0x7 TowardNegative BeforeRounding 0x40E00000 (empty)
0x7FF TowardNegative BeforeRounding 0x44FFE000 (empty)
0x800 TowardNegative BeforeRounding 0x45000000 (empty)
0x801 TowardNegative BeforeRounding 0x45001000 (empty)
0xFFE0 TowardNegative BeforeRounding 0x477FE000 (empty)
0xFFE1 TowardNegative BeforeRounding 0x477FE100 (empty)
0xFFEF TowardNegative BeforeRounding 0x477FEF00 (empty)
0xFFF0 TowardNegative BeforeRounding 0x477FF000 (empty)
0xFFF1 TowardNegative BeforeRounding 0x477FF100 (empty)
0x7FFFFFFF TowardNegative BeforeRounding 0x4EFFFFFF INEXACT
0x80000000 TowardNegative BeforeRounding 0x4F000000 (empty)
0xFFFFFFFF TowardNegative BeforeRounding 0x4F7FFFFF INEXACT
0x0 TowardNegative BeforeRounding 0x00000000 (empty)
0xFFFFFFFF TowardNegative BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFFFFE TowardNegative BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFFFFD TowardNegative BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFFFFC TowardNegative BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFFFFB TowardNegative BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFFFFA TowardNegative BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFFFF9 TowardNegative BeforeRounding 0x4F7FFFFF INEXACT
0xFFFFF801 TowardNegative BeforeRounding 0x4F7FFFF8 INEXACT
0xFFFFF800 TowardNegative BeforeRounding 0x4F7FFFF8 (empty)
0xFFFFF7FF TowardNegative BeforeRounding 0x4F7FFFF7 INEXACT
0xFFFF0020 TowardNegative BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF001F TowardNegative BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF0011 TowardNegative BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF0010 TowardNegative BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF000F TowardNegative BeforeRounding 0x4F7FFF00 INEXACT
0x80000001 TowardNegative BeforeRounding 0x4F000000 INEXACT
0x80000000 TowardNegative BeforeRounding 0x4F000000 (empty)
0x1 TowardNegative BeforeRounding 0x3F800000 (empty)
0x0 TowardNegative BeforeRounding 0x00000000 (empty)

# testing u32_to_f32 with TowardNegative AfterRounding
0x0 TowardNegative AfterRounding 0x00000000 (empty)
0x1 TowardNegative AfterRounding 0x3F800000 (empty)
0x2 TowardNegative AfterRounding 0x40000000 (empty)
0x3 TowardNegative AfterRounding 0x40400000 (empty)
0x4 TowardNegative AfterRounding 0x40800000 (empty)
0x5 TowardNegative AfterRounding 0x40A00000 (empty)
0x6 TowardNegative AfterRounding 0x40C00000 (empty)
0x7 TowardNegative AfterRounding 0x40E00000 (empty)
0x7FF TowardNegative AfterRounding 0x44FFE000 (empty)
0x800 TowardNegative AfterRounding 0x45000000 (empty)
0x801 TowardNegative AfterRounding 0x45001000 (empty)
0xFFE0 TowardNegative AfterRounding 0x477FE000 (empty)
0xFFE1 TowardNegative AfterRounding 0x477FE100 (empty)
0xFFEF TowardNegative AfterRounding 0x477FEF00 (empty)
0xFFF0 TowardNegative AfterRounding 0x477FF000 (empty)
0xFFF1 TowardNegative AfterRounding 0x477FF100 (empty)
0x7FFFFFFF TowardNegative AfterRounding 0x4EFFFFFF INEXACT
0x80000000 TowardNegative AfterRounding 0x4F000000 (empty)
0xFFFFFFFF TowardNegative AfterRounding 0x4F7FFFFF INEXACT
0x0 TowardNegative AfterRounding 0x00000000 (empty)
0xFFFFFFFF TowardNegative AfterRounding 0x4F7FFFFF INEXACT
0xFFFFFFFE TowardNegative AfterRounding 0x4F7FFFFF INEXACT
0xFFFFFFFD TowardNegative AfterRounding 0x4F7FFFFF INEXACT
0xFFFFFFFC TowardNegative AfterRounding 0x4F7FFFFF INEXACT
0xFFFFFFFB TowardNegative AfterRounding 0x4F7FFFFF INEXACT
0xFFFFFFFA TowardNegative AfterRounding 0x4F7FFFFF INEXACT
0xFFFFFFF9 TowardNegative AfterRounding 0x4F7FFFFF INEXACT
0xFFFFF801 TowardNegative AfterRounding 0x4F7FFFF8 INEXACT
0xFFFFF800 TowardNegative AfterRounding 0x4F7FFFF8 (empty)
0xFFFFF7FF TowardNegative AfterRounding 0x4F7FFFF7 INEXACT
0xFFFF0020 TowardNegative AfterRounding 0x4F7FFF00 INEXACT
0xFFFF001F TowardNegative AfterRounding 0x4F7FFF00 INEXACT
0xFFFF0011 TowardNegative AfterRounding 0x4F7FFF00 INEXACT
0xFFFF0010 TowardNegative AfterRounding 0x4F7FFF00 INEXACT
0xFFFF000F TowardNegative AfterRounding 0x4F7FFF00 INEXACT
0x80000001 TowardNegative AfterRounding 0x4F000000 INEXACT
0x80000000 TowardNegative AfterRounding 0x4F000000 (empty)
0x1 TowardNegative AfterRounding 0x3F800000 (empty)
0x0 TowardNegative AfterRounding 0x00000000 (empty)

# testing u32_to_f32 with TowardPositive BeforeRounding
0x0 TowardPositive BeforeRounding 0x00000000 (empty)
0x1 TowardPositive BeforeRounding 0x3F800000 (empty)
0x2 TowardPositive BeforeRounding 0x40000000 (empty)
0x3 TowardPositive BeforeRounding 0x40400000 (empty)
0x4 TowardPositive BeforeRounding 0x40800000 (empty)
0x5 TowardPositive BeforeRounding 0x40A00000 (empty)
0x6 TowardPositive BeforeRounding 0x40C00000 (empty)
0x7 TowardPositive BeforeRounding 0x40E00000 (empty)
0x7FF TowardPositive BeforeRounding 0x44FFE000 (empty)
0x800 TowardPositive BeforeRounding 0x45000000 (empty)
0x801 TowardPositive BeforeRounding 0x45001000 (empty)
0xFFE0 TowardPositive BeforeRounding 0x477FE000 (empty)
0xFFE1 TowardPositive BeforeRounding 0x477FE100 (empty)
0xFFEF TowardPositive BeforeRounding 0x477FEF00 (empty)
0xFFF0 TowardPositive BeforeRounding 0x477FF000 (empty)
0xFFF1 TowardPositive BeforeRounding 0x477FF100 (empty)
0x7FFFFFFF TowardPositive BeforeRounding 0x4F000000 INEXACT
0x80000000 TowardPositive BeforeRounding 0x4F000000 (empty)
0xFFFFFFFF TowardPositive BeforeRounding 0x4F800000 INEXACT
0x0 TowardPositive BeforeRounding 0x00000000 (empty)
0xFFFFFFFF TowardPositive BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFE TowardPositive BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFD TowardPositive BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFC TowardPositive BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFB TowardPositive BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFA TowardPositive BeforeRounding 0x4F800000 INEXACT
0xFFFFFFF9 TowardPositive BeforeRounding 0x4F800000 INEXACT
0xFFFFF801 TowardPositive BeforeRounding 0x4F7FFFF9 INEXACT
0xFFFFF800 TowardPositive BeforeRounding 0x4F7FFFF8 (empty)
0xFFFFF7FF TowardPositive BeforeRounding 0x4F7FFFF8 INEXACT
0xFFFF0020 TowardPositive BeforeRounding 0x4F7FFF01 INEXACT
0xFFFF001F TowardPositive BeforeRounding 0x4F7FFF01 INEXACT
0xFFFF0011 TowardPositive BeforeRounding 0x4F7FFF01 INEXACT
0xFFFF0010 TowardPositive BeforeRounding 0x4F7FFF01 INEXACT
0xFFFF000F TowardPositive BeforeRounding 0x4F7FFF01 INEXACT
0x80000001 TowardPositive BeforeRounding 0x4F000001 INEXACT
0x80000000 TowardPositive BeforeRounding 0x4F000000 (empty)
0x1 TowardPositive BeforeRounding 0x3F800000 (empty)
0x0 TowardPositive BeforeRounding 0x00000000 (empty)

# testing u32_to_f32 with TowardPositive AfterRounding
0x0 TowardPositive AfterRounding 0x00000000 (empty)
0x1 TowardPositive AfterRounding 0x3F800000 (empty)
0x2 TowardPositive AfterRounding 0x40000000 (empty)
0x3 TowardPositive AfterRounding 0x40400000 (empty)
0x4 TowardPositive AfterRounding 0x40800000 (empty)
0x5 TowardPositive AfterRounding 0x40A00000 (empty)
0x6 TowardPositive AfterRounding 0x40C00000 (empty)
0x7 TowardPositive AfterRounding 0x40E00000 (empty)
0x7FF TowardPositive AfterRounding 0x44FFE000 (empty)
0x800 TowardPositive AfterRounding 0x45000000 (empty)
0x801 TowardPositive AfterRounding 0x45001000 (empty)
0xFFE0 TowardPositive AfterRounding 0x477FE000 (empty)
0xFFE1 TowardPositive AfterRounding 0x477FE100 (empty)
0xFFEF TowardPositive AfterRounding 0x477FEF00 (empty)
0xFFF0 TowardPositive AfterRounding 0x477FF000 (empty)
0xFFF1 TowardPositive AfterRounding 0x477FF100 (empty)
0x7FFFFFFF TowardPositive AfterRounding 0x4F000000 INEXACT
0x80000000 TowardPositive AfterRounding 0x4F000000 (empty)
0xFFFFFFFF TowardPositive AfterRounding 0x4F800000 INEXACT
0x0 TowardPositive AfterRounding 0x00000000 (empty)
0xFFFFFFFF TowardPositive AfterRounding 0x4F800000 INEXACT
0xFFFFFFFE TowardPositive AfterRounding 0x4F800000 INEXACT
0xFFFFFFFD TowardPositive AfterRounding 0x4F800000 INEXACT
0xFFFFFFFC TowardPositive AfterRounding 0x4F800000 INEXACT
0xFFFFFFFB TowardPositive AfterRounding 0x4F800000 INEXACT
0xFFFFFFFA TowardPositive AfterRounding 0x4F800000 INEXACT
0xFFFFFFF9 TowardPositive AfterRounding 0x4F800000 INEXACT
0xFFFFF801 TowardPositive AfterRounding 0x4F7FFFF9 INEXACT
0xFFFFF800 TowardPositive AfterRounding 0x4F7FFFF8 (empty)
0xFFFFF7FF TowardPositive AfterRounding 0x4F7FFFF8 INEXACT
0xFFFF0020 TowardPositive AfterRounding 0x4F7FFF01 INEXACT
0xFFFF001F TowardPositive AfterRounding 0x4F7FFF01 INEXACT
0xFFFF0011 TowardPositive AfterRounding 0x4F7FFF01 INEXACT
0xFFFF0010 TowardPositive AfterRounding 0x4F7FFF01 INEXACT
0xFFFF000F TowardPositive AfterRounding 0x4F7FFF01 INEXACT
0x80000001 TowardPositive AfterRounding 0x4F000001 INEXACT
0x80000000 TowardPositive AfterRounding 0x4F000000 (empty)
0x1 TowardPositive AfterRounding 0x3F800000 (empty)
0x0 TowardPositive AfterRounding 0x00000000 (empty)

# testing u32_to_f32 with TiesToAway BeforeRounding
0x0 TiesToAway BeforeRounding 0x00000000 (empty)
0x1 TiesToAway BeforeRounding 0x3F800000 (empty)
0x2 TiesToAway BeforeRounding 0x40000000 (empty)
0x3 TiesToAway BeforeRounding 0x40400000 (empty)
0x4 TiesToAway BeforeRounding 0x40800000 (empty)
0x5 TiesToAway BeforeRounding 0x40A00000 (empty)
0x6 TiesToAway BeforeRounding 0x40C00000 (empty)
0x7 TiesToAway BeforeRounding 0x40E00000 (empty)
0x7FF TiesToAway BeforeRounding 0x44FFE000 (empty)
0x800 TiesToAway BeforeRounding 0x45000000 (empty)
0x801 TiesToAway BeforeRounding 0x45001000 (empty)
0xFFE0 TiesToAway BeforeRounding 0x477FE000 (empty)
0xFFE1 TiesToAway BeforeRounding 0x477FE100 (empty)
0xFFEF TiesToAway BeforeRounding 0x477FEF00 (empty)
0xFFF0 TiesToAway BeforeRounding 0x477FF000 (empty)
0xFFF1 TiesToAway BeforeRounding 0x477FF100 (empty)
0x7FFFFFFF TiesToAway BeforeRounding 0x4F000000 INEXACT
0x80000000 TiesToAway BeforeRounding 0x4F000000 (empty)
0xFFFFFFFF TiesToAway BeforeRounding 0x4F800000 INEXACT
0x0 TiesToAway BeforeRounding 0x00000000 (empty)
0xFFFFFFFF TiesToAway BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFE TiesToAway BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFD TiesToAway BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFC TiesToAway BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFB TiesToAway BeforeRounding 0x4F800000 INEXACT
0xFFFFFFFA TiesToAway BeforeRounding 0x4F800000 INEXACT
0xFFFFFFF9 TiesToAway BeforeRounding 0x4F800000 INEXACT
0xFFFFF801 TiesToAway BeforeRounding 0x4F7FFFF8 INEXACT
0xFFFFF800 TiesToAway BeforeRounding 0x4F7FFFF8 (empty)
0xFFFFF7FF TiesToAway BeforeRounding 0x4F7FFFF8 INEXACT
0xFFFF0020 TiesToAway BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF001F TiesToAway BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF0011 TiesToAway BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF0010 TiesToAway BeforeRounding 0x4F7FFF00 INEXACT
0xFFFF000F TiesToAway BeforeRounding 0x4F7FFF00 INEXACT
0x80000001 TiesToAway BeforeRounding 0x4F000000 INEXACT
0x80000000 TiesToAway BeforeRounding 0x4F000000 (empty)
0x1 TiesToAway BeforeRounding 0x3F800000 (empty)
0x0 TiesToAway BeforeRounding 0x00000000 (empty)

# testing u32_to_f32 with TiesToAway AfterRounding
0x0 TiesToAway AfterRounding 0x00000000 (empty)
0x1 TiesToAway AfterRounding 0x3F800000 (empty)
0x2 TiesToAway AfterRounding 0x40000000 (empty)
0x3 TiesToAway AfterRounding 0x40400000 (empty)
0x4 TiesToAway AfterRounding 0x40800000 (empty)
0x5 TiesToAway AfterRounding 0x40A00000 (empty)
0x6 TiesToAway AfterRounding 0x40C00000 (empty)
0x7 TiesToAway AfterRounding 0x40E00000 (empty)
0x7FF TiesToAway AfterRounding 0x44FFE000 (empty)
0x800 TiesToAway AfterRounding 0x45000000 (empty)
0x801 TiesToAway AfterRounding 0x45001000 (empty)
0xFFE0 TiesToAway AfterRounding 0x477FE000 (empty)
0xFFE1 TiesToAway AfterRounding 0x477FE100 (empty)
0xFFEF TiesToAway AfterRounding 0x477FEF00 (empty)
0xFFF0 TiesToAway AfterRounding 0x477FF000 (empty)
0xFFF1 TiesToAway AfterRounding 0x477FF100 (empty)
0x7FFFFFFF TiesToAway AfterRounding 0x4F000000 INEXACT
0x80000000 TiesToAway AfterRounding 0x4F000000 (empty)
0xFFFFFFFF TiesToAway AfterRounding 0x4F800000 INEXACT
0x0 TiesToAway AfterRounding 0x00000000 (empty)
0xFFFFFFFF TiesToAway AfterRounding 0x4F800000 INEXACT
0xFFFFFFFE TiesToAway AfterRounding 0x4F800000 INEXACT
0xFFFFFFFD TiesToAway AfterRounding 0x4F800000 INEXACT
0xFFFFFFFC TiesToAway AfterRounding 0x4F800000 INEXACT
0xFFFFFFFB TiesToAway AfterRounding 0x4F800000 INEXACT
0xFFFFFFFA TiesToAway AfterRounding 0x4F800000 INEXACT
0xFFFFFFF9 TiesToAway AfterRounding 0x4F800000 INEXACT
0xFFFFF801 TiesToAway AfterRounding 0x4F7FFFF8 INEXACT
0xFFFFF800 TiesToAway AfterRounding 0x4F7FFFF8 (empty)
0xFFFFF7FF TiesToAway AfterRounding 0x4F7FFFF8 INEXACT
0xFFFF0020 TiesToAway AfterRounding 0x4F7FFF00 INEXACT
0xFFFF001F TiesToAway AfterRounding 0x4F7FFF00 INEXACT
0xFFFF0011 TiesToAway AfterRounding 0x4F7FFF00 INEXACT
0xFFFF0010 TiesToAway AfterRounding 0x4F7FFF00 INEXACT
0xFFFF000F TiesToAway AfterRounding 0x4F7FFF00 INEXACT
0x80000001 TiesToAway AfterRounding 0x4F000000 INEXACT
0x80000000 TiesToAway AfterRounding 0x4F000000 (empty)
0x1 TiesToAway AfterRounding 0x3F800000 (empty)
0x0 TiesToAway AfterRounding 0x00000000 (empty)