24 Nov
2008
24 Nov
'08
6:43 p.m.
john:
Is the windows 32 or 64 bit, a while ago, ghc had trouble producing efficient binaries for 64 bit intel systems. Something about the interaction between gcc and the C it produced created some pessimal assembly output. I do not know how much this is still an issue though. You could try compiling 32 bit binaries under linux and running them on the same machine (they will work on the 64 bit system) and compare the results.
I get better code on x86_64/linux than on x86/linux, fwiw, thanks to my trusty gcc version 4.3.2.