Integer arithmetic gives the wrong answer on amd64/Linux

On x86 I get:

Prelude> reverse $ take 10 $ reverse $ show $ sum [ x ^ x | x <- [1..1000] ]
"9110846700"

which is correct, but on amd64/Linux I get:

Prelude> reverse $ take 10 $ reverse $ show $ sum [ x ^ x | x <- [1..1000] ]
"0612504812"

Both ghci's above are 6.4.1, but I also see it with the HEAD (a few days old).

Seen on Debian, Gentoo and rpath distributions.

Thanks Ian

Trac metadata

Trac field	Value
Version	6.4.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed weight to 5

added Tbug Trac import labels

I get the same results with ghc-6.4.2 and ghc-6.5.20060724 on my amd64 box.

It's fine in hugs on the amd64 and fine with ghc-6.4.2 on my sparc box. On both boxes I'm using gmp-4.1.4 (gentoo revision 3).

mentioned in commit 52eb09cc

mentioned in commit 28a0d04e

closed

Fixed by:

Thu Sep 28 01:48:06 BST 2006  Ian Lynagh <igloo@earth.li>
  * Fix mulIntMayOflo on 64-bit arches; fixes trac #867
  We were assuming we could multiply 2 32-bit numbers without overflowing
  a 64-bit number, but we can't as the top bit is the sign bit.

Test is arith019.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed

mentioned in issue #1656 (closed)

added Pnormal label