<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr">Am Di., 16. Okt. 2018 um 23:18 Uhr schrieb Simon Marlow <<a href="mailto:marlowsd@gmail.com">marlowsd@gmail.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>I vaguely recall that this was because 16 byte alignment is the minimum you need for certain foreign types, and it's what malloc() does.  Perhaps check the FFI spec and the guarantees that mallocForeignPtrBytes and friends provide?</div></div></blockquote><div><br></div><div>mallocForeignPtrBytes is defined in terms of malloc (<a href="https://www.haskell.org/onlinereport/haskell2010/haskellch29.html#x37-28400029.1.3">https://www.haskell.org/onlinereport/haskell2010/haskellch29.html#x37-28400029.1.3</a>), which in turn has the following guarantee (<a href="https://www.haskell.org/onlinereport/haskell2010/haskellch31.html#x39-28700031.1">https://www.haskell.org/onlinereport/haskell2010/haskellch31.html#x39-28700031.1</a>):<br></div><div><br></div><div>   "... All storage allocated by functions that allocate based on a size in bytes must be sufficiently aligned for any of the basic foreign types that fits into the newly allocated storage. ..."<br></div><div><br></div><div>The largest basic foreign types are Word64/Double and probably Ptr/FunPtr/StablePtr (<a href="https://www.haskell.org/onlinereport/haskell2010/haskellch8.html#x15-1700008.7">https://www.haskell.org/onlinereport/haskell2010/haskellch8.html#x15-1700008.7</a>), so per spec you need at least an 8-byte alignement. But in an SSE-world I would be *very* reluctant to use an alignment less strict than 16 bytes, otherwise people will probably hate you... :-]</div><div><br></div><div>Cheers,</div><div>   S.</div></div></div></div></div></div></div></div>