Ticket #186 (closed bug: fixed)
Bad sparc Int64 code via NCG with -O
|Reported by:||nobody||Owned by:||benl|
|Type of failure:||Difficulty:||Unknown|
|Test Case:||enum02||Blocked By:|
Description (last modified by simonmar) (diff)
On sparc machines ( sparc-sun-solaris2.6, sparc-unknown-openbsd ) testsuite tests exercising Int64 code are broken when compiled the optasm way. This includes the arith011 test and the enum02 test, possibly others. Trivial Int64 code will produce erroneous results. Turning off optimisation, or compiling via C, will generate correct code. Some examples.. This one comes from enum02: import Int main = do print $ pred (1 :: Int64) $ ./a.out 4294967295 which is UINT_MAX... And from arith011, this generates incorrect results: import Int main = do print $ take 10 [ (0::Int64), toEnum 2 .. ] on x86: [0,2,4] on sparc: [0,8589934592,17179869184] which is 2 * (UNIT_MAX + 1), and then twice that. This erroneously generates an infinte sequence, filling up /usr on my system before I realised what happened: import Int main = do print [ (0::Int64) .. toEnum 2 ] -- Don Stewart
Note: See TracTickets for help on using tickets.