[MLton] latest MLton segfault in gmp
Wesley W. Terpstra
wesley at terpstra.ca
Wed Oct 14 02:57:19 PDT 2009
On Wed, Oct 14, 2009 at 7:23 AM, Florian Weimer <fw at deneb.enyo.de> wrote:
> The AMD64 psABI supplement requires 8-byte alignment. And the end of
> the input area on the stack must be aligned to a 16 byte boundary upon
> function entry. See <http://www.x86-64.org/documentation/abi-0.99.pdf>.
>
The stack was actually already aligned, just not the GMP limb array in
MLton's heap.
Still, if requiring this 8-byte alignment is sanctioned, we should just go
with -align 8 and be safe.
Since Matthew is the AMD64 expert I'm mostly waiting to hear his opinion
before I commit a fix.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton/attachments/20091014/a1763248/attachment-0001.htm
More information about the MLton
mailing list