On Wed, Oct 14, 2009 at 7:23 AM, Florian Weimer <span dir="ltr"><<a href="mailto:fw@deneb.enyo.de">fw@deneb.enyo.de</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
The AMD64 psABI supplement requires 8-byte alignment. And the end of<br>
the input area on the stack must be aligned to a 16 byte boundary upon<br>
function entry. See <<a href="http://www.x86-64.org/documentation/abi-0.99.pdf" target="_blank">http://www.x86-64.org/documentation/abi-0.99.pdf</a>>.<br>
</blockquote></div><br>The stack was actually already aligned, just not the GMP limb array in MLton's heap.<br><br>Still, if requiring this 8-byte alignment is sanctioned, we should just go with -align 8 and be safe.<br>
<br>Since Matthew is the AMD64 expert I'm mostly waiting to hear his opinion before I commit a fix.<br><br>