March 27, 2010
10:04 a.m.
Re-hi, On Thu, Mar 25, 2010 at 12:52:58PM +0100, Armin Rigo wrote:
The 64-bit version is more complicated, because the ABI on 64-bit is to use some number of registers in order to pass arguments; see details e.g. in http://www.x86-64.org/documentation/abi.pdf section "Function Calling Sequence".
I should point out that we only need to pass integers (of at most 64-bit), pointers, and 64-bit floats (that's "double", in C) as arguments to functions. Don't go discouraged because of the messy rules for passing structs, arrays, or 128- or 256-bit stuff. :-) A bientot, Armin.