On Debian unstable at least, the C parts of MLton are compiled with -mtune=opteron. With recent GCCs (4.1 in some distros, and 4.2 mainline), this overrides the default of -mtune=generic, and produces code that doesn't run very well on Netburst machines. (The impact on the Core architecture should be less significant, if measurable at all.)