2008-10-07 01:27:30 +00:00
|
|
|
;Testname=unoptimized; Arguments=-O0 -fbin -ofloatb.bin; Files=stdout stderr floatb.bin
|
|
|
|
|
;Testname=optimized; Arguments=-Ox -fbin -ofloatb.bin; Files=stdout stderr floatb.bin
|
2008-04-23 13:05:31 +00:00
|
|
|
|
2007-10-05 21:36:03 +00:00
|
|
|
;; Known problematic floating-point numbers and their proper
|
|
|
|
|
;; encoding...
|
2007-10-16 22:46:04 +00:00
|
|
|
|
|
|
|
|
bits 64
|
2007-10-05 21:36:03 +00:00
|
|
|
|
2007-10-16 22:46:04 +00:00
|
|
|
dd 1.1e10
|
|
|
|
|
dd 0x5023e9ac ; Should be...
|
2007-10-05 21:36:03 +00:00
|
|
|
|
2007-10-16 22:46:04 +00:00
|
|
|
dd 50.40e9
|
|
|
|
|
dd 0x513bc130 ; Should be...
|
2007-10-05 21:36:03 +00:00
|
|
|
|
2007-10-16 22:46:04 +00:00
|
|
|
dq 1.4e23
|
|
|
|
|
dq 0x44bda56a4b0835c0
|
2007-10-05 21:36:03 +00:00
|
|
|
|
2007-10-16 22:46:04 +00:00
|
|
|
dq 50.48e21
|
|
|
|
|
dq 0x44a5610d7502feae
|
2007-10-05 21:36:03 +00:00
|
|
|
|
2007-10-16 22:46:04 +00:00
|
|
|
dt 1.2e28
|
|
|
|
|
dq 0x9b18ab5df7180b6c
|
|
|
|
|
dw 0x405c
|
2007-10-05 21:36:03 +00:00
|
|
|
|
2007-10-16 22:46:04 +00:00
|
|
|
dt 50.46e25
|
|
|
|
|
dq 0xd0b29a67e95dcb60
|
|
|
|
|
dw 0x4057
|
|
|
|
|
|
|
|
|
|
;; Way too big numbers, should overflow to +Inf
|
|
|
|
|
dd 1.0E646456955
|
|
|
|
|
dd 1.0E646456956
|
|
|
|
|
dd 1.0E2147483646
|
|
|
|
|
dd 1.0E2147483647
|
|
|
|
|
dd 1.0E2147483648
|
|
|
|
|
dd 1.0E2147483649
|
