| H. Peter Anvin | 733cbb3 | 2008-10-06 18:27:30 -0700 | [diff] [blame^] | 1 | ;Testname=unoptimized; Arguments=-O0 -fbin -ofloatb.bin; Files=stdout stderr floatb.bin |
| 2 | ;Testname=optimized; Arguments=-Ox -fbin -ofloatb.bin; Files=stdout stderr floatb.bin |
| Victor van den Elzen | 82fa68a | 2008-04-23 15:05:31 +0200 | [diff] [blame] | 3 | |
| H. Peter Anvin | 9d14a10 | 2007-10-05 14:36:03 -0700 | [diff] [blame] | 4 | ;; Known problematic floating-point numbers and their proper |
| 5 | ;; encoding... |
| H. Peter Anvin | 9d14a10 | 2007-10-05 14:36:03 -0700 | [diff] [blame] | 6 | |
| H. Peter Anvin | a366cac | 2007-10-16 15:46:04 -0700 | [diff] [blame] | 7 | bits 64 |
| H. Peter Anvin | 9d14a10 | 2007-10-05 14:36:03 -0700 | [diff] [blame] | 8 | |
| H. Peter Anvin | a366cac | 2007-10-16 15:46:04 -0700 | [diff] [blame] | 9 | dd 1.1e10 |
| 10 | dd 0x5023e9ac ; Should be... |
| 11 | |
| 12 | dd 50.40e9 |
| 13 | dd 0x513bc130 ; Should be... |
| 14 | |
| 15 | dq 1.4e23 |
| 16 | dq 0x44bda56a4b0835c0 |
| 17 | |
| 18 | dq 50.48e21 |
| 19 | dq 0x44a5610d7502feae |
| 20 | |
| 21 | dt 1.2e28 |
| 22 | dq 0x9b18ab5df7180b6c |
| 23 | dw 0x405c |
| 24 | |
| 25 | dt 50.46e25 |
| 26 | dq 0xd0b29a67e95dcb60 |
| 27 | dw 0x4057 |
| 28 | |
| 29 | ;; Way too big numbers, should overflow to +Inf |
| 30 | dd 1.0E646456955 |
| 31 | dd 1.0E646456956 |
| 32 | dd 1.0E2147483646 |
| 33 | dd 1.0E2147483647 |
| 34 | dd 1.0E2147483648 |
| 35 | dd 1.0E2147483649 |