| H. Peter Anvin | 9d14a10 | 2007-10-05 14:36:03 -0700 | [diff] [blame] | 1 | ;; Known problematic floating-point numbers and their proper |
| 2 | ;; encoding... |
| H. Peter Anvin | 9d14a10 | 2007-10-05 14:36:03 -0700 | [diff] [blame] | 3 | |
| H. Peter Anvin | a366cac | 2007-10-16 15:46:04 -0700 | [diff] [blame] | 4 | bits 64 |
| H. Peter Anvin | 9d14a10 | 2007-10-05 14:36:03 -0700 | [diff] [blame] | 5 | |
| H. Peter Anvin | a366cac | 2007-10-16 15:46:04 -0700 | [diff] [blame] | 6 | dd 1.1e10 |
| 7 | dd 0x5023e9ac ; Should be... |
| 8 | |
| 9 | dd 50.40e9 |
| 10 | dd 0x513bc130 ; Should be... |
| 11 | |
| 12 | dq 1.4e23 |
| 13 | dq 0x44bda56a4b0835c0 |
| 14 | |
| 15 | dq 50.48e21 |
| 16 | dq 0x44a5610d7502feae |
| 17 | |
| 18 | dt 1.2e28 |
| 19 | dq 0x9b18ab5df7180b6c |
| 20 | dw 0x405c |
| 21 | |
| 22 | dt 50.46e25 |
| 23 | dq 0xd0b29a67e95dcb60 |
| 24 | dw 0x4057 |
| 25 | |
| 26 | ;; Way too big numbers, should overflow to +Inf |
| 27 | dd 1.0E646456955 |
| 28 | dd 1.0E646456956 |
| 29 | dd 1.0E2147483646 |
| 30 | dd 1.0E2147483647 |
| 31 | dd 1.0E2147483648 |
| 32 | dd 1.0E2147483649 |