dyncall: doc/manual/callconvs/callconv

annotate doc/manual/callconvs/callconv_x86.tex @ 530:585dcb68f55d

- more doc and disas examples for x86 fastcall and non-trivial aggregates

author	Tassilo Philipp
date	Sat, 16 Apr 2022 12:10:02 +0200
parents	fc614cb865c6
children

rev	line source
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	1 %//////////////////////////////////////////////////////////////////////////////
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	2 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	3 % Copyright (c) 2007-2019 Daniel Adler <dadler@uni-goettingen.de>,
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	4 % Tassilo Philipp <tphilipp@potion-studios.com>
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	5 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	6 % Permission to use, copy, modify, and distribute this software for any
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	7 % purpose with or without fee is hereby granted, provided that the above
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	8 % copyright notice and this permission notice appear in all copies.
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	9 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	10 % THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	11 % WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	12 % MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	13 % ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	14 % WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	15 % ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	16 % OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	17 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	18 %//////////////////////////////////////////////////////////////////////////////
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	19
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	20 % ==================================================
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	21 % x86
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	22 % ==================================================
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	23 \subsection{x86 Calling Conventions}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	24
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	25
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	26 \paragraph{Overview}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	27
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	28 On this processor, a word is defined to be 16 bits in size, a dword 32 bits
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	29 and a qword 64 bits.\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	30
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	31 There are numerous different calling conventions on the x86 processor
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	32 architecture, like cdecl \cite{x86cdecl}, MS fastcall \cite{x86Winfastcall}, GNU
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	33 fastcall \cite{x86GNUfastcall}, Borland fastcall \cite{x86Borlandfastcall}, Watcom
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	34 fastcall \cite{x86Watcomfastcall}, Win32 stdcall \cite{x86Winstdcall}, MS thiscall
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	35 \cite{x86Winthiscall}, GNU thiscall \cite{x86GNUthiscall}, the pascal calling
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	36 convention \cite{x86Pascal} and a cdecl-like version for Plan9 \cite{x86Plan9}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	37 (dubbed plan9call by us), etc.\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	38
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	39 \begin{table}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	40 \begin{tabular*}{0.95\textwidth}{rccccc}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	41 & \# of regs & \# regs to & & cleanup & 64bit args \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	42 Name & for params & \# preserve & push order & by & via regs? \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	43 \hline
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	44 cdecl & 0 & 4 & $\leftarrow$ & caller & - \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	45 MS fastcall & 2 & 4 & $\leftarrow$ & callee & Y \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	46 GNU fastcall & 2 & 4 & $\leftarrow$ & callee & N \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	47 Borland fastcall & 3 & 4 & $\rightarrow$ & callee & N \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	48 Watcom fastcall & 4 & 2-6 & $\leftarrow$ & callee & N \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	49 win32 stdcall & 0 & 4 & $\leftarrow$ & callee & - \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	50 MS thiscall & 1 & 4 & $\leftarrow$ & callee & N \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	51 GNU thiscall & 0 & 4 & $\leftarrow$ & caller & - \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	52 pascal & 0 & 4 & $\rightarrow$ & callee & - \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	53 plan9call & 0 & 0 & $\leftarrow$ & caller & - \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	54 \end{tabular*}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	55 \caption{short x86 calling convention comparison}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	56 \end{table}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	57
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	58
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	59 \paragraph{\product{dyncall} support}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	60
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	61 Currently cdecl, stdcall, fastcall (MS and GNU), thiscall (MS and GNU) and
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	62 plan9call are supported.\\
340 6e33db95e724 - syscall infos in doc Tassilo Philipp parents: 328 diff changeset	63 \product{Dyncall} can also be used to issue syscalls on Linux and *BSD by using
6e33db95e724 - syscall infos in doc Tassilo Philipp parents: 328 diff changeset	64 the syscall number as target parameter and selecting the correct mode.
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	65
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	66
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	67
490 17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	68 \pagebreak
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	69
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	70 \subsubsection{cdecl}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	71
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	72 \paragraph{Registers and register usage}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	73
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	74 \begin{table}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	75 \begin{tabular*}{0.95\textwidth}{3 B}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	76 Name & Brief description\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	77 \hline
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	78 {\bf eax} & scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	79 {\bf ebx} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	80 {\bf ecx} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	81 {\bf edx} & scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	82 {\bf esi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	83 {\bf edi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	84 {\bf ebp} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	85 {\bf esp} & stack pointer\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	86 {\bf st0} & scratch, floating point return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	87 {\bf st1-st7} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	88 \end{tabular*}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	89 \caption{Register usage on x86 cdecl calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	90 \end{table}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	91
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	92
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	93 \paragraph{Parameter passing}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	94
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	95 \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	96 \item stack parameter order: right-to-left
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	97 \item caller cleans up the stack
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	98 \item all arguments are pushed onto the stack (as dwords)
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	99 \item arguments \textgreater\ 64 bits are pushed as a sequence of dwords
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	100 \item aggregates (structs, unions) are pushed as a sequence of dwords
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	101 \item {\it non-trivial} C++ aggregates (as defined by the language) of any size, are passed indirectly via a pointer to a copy of the aggregate
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	102 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	103
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	104 \paragraph{Return values}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	105
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	106 \begin{itemize}
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	107 \item for {\it non-trivial} C++ aggregates, the caller allocates space, passes pointer to it to the callee as a hidden first param
fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	108 (meaning via the stack), and callee writes return value to this space; the ptr to the aggregate is returned in eax
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	109 \item return values of pointer or integral type (\textless=\ 32 bits) are returned via the eax register
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	110 \item integers and aggregates (structs, unions) \textgreater\ 32 and \textless=\ 64 bits are returned via the eax and edx registers
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	111 \item return values \textgreater\ 64 bits (e.g. aggregates) are returned by the caller allocating the space and
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	112 passing a pointer to the callee as a new, implicit first parameter (this means, on the stack)
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	113 \item floating point types are returned via the st0 register (except on Minix, where they are returned as integers are)
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	114 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	115
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	116
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	117 \paragraph{Stack layout}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	118
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	119 % verified/amended: TP nov 2019 (see also doc/disas_examples/x86.cdecl.disas)
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	120 Stack directly after function prolog:\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	121
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	122 \begin{figure}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	123 \begin{tabular}{5\|3\|1 1}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	124 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	125 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	126 register save area & \hspace{4cm} & & \mrrbrace{6}{caller's frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	127 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	128 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	129 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	130 \mrlbrace{3}{parameter area} & arg n-1 & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	131 & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	132 & arg 0 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	133 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	134 & return address & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	135 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	136 register save area & & & \mrrbrace{4}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	137 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	138 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	139 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	140 parameter area & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	141 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	142 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	143 \end{tabular}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	144 \caption{Stack layout on x86 cdecl calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	145 \end{figure}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	146
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	147
490 17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	148 \pagebreak
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	149
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	150 \subsubsection{MS fastcall}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	151
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	152 \paragraph{Registers and register usage}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	153
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	154 \begin{table}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	155 \begin{tabular*}{0.95\textwidth}{3 B}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	156 Name & Brief description\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	157 \hline
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	158 {\bf eax} & scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	159 {\bf ebx} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	160 {\bf ecx} & scratch, parameter 0\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	161 {\bf edx} & scratch, parameter 1, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	162 {\bf esi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	163 {\bf edi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	164 {\bf ebp} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	165 {\bf esp} & stack pointer\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	166 {\bf st0} & scratch, floating point return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	167 {\bf st1-st7} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	168 \end{tabular*}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	169 \caption{Register usage on x86 fastcall (MS) calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	170 \end{table}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	171
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	172 \paragraph{Parameter passing}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	173
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	174 \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	175 \item stack parameter order: right-to-left
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	176 \item called function cleans up the stack
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	177 \item first two integers/pointers (\textless=\ 32bit) are passed via ecx and edx (even if preceded by other arguments)
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	178 \item if first argument is a 64 bit integer, it is passed via ecx and edx
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	179 \item all other parameters are pushed onto the stack (as dwords)
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	180 \item arguments \textgreater\ 64 bits are pushed as a sequence of dwords
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	181 \item aggregates (structs, unions) are pushed as a sequence of dwords, but are never split between registers and stack (if registers are still available and
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	182 aggregate doesn't fit entirely into ecx and edx, it is passed via the stack and remaining registers are free for subsequent arguments)
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	183 \item {\it non-trivial} C++ aggregates (as defined by the language) of any size, are passed indirectly via a pointer to a copy of the aggregate
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	184 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	185
490 17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	186 \clearpage
17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	187
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	188 \paragraph{Return values}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	189
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	190 \begin{itemize}
530 585dcb68f55d - more doc and disas examples for x86 fastcall and non-trivial aggregates Tassilo Philipp parents: 499 diff changeset	191 \item return values of pointer or integral type, as well as aggregates (structs, unions) \textless=\ 64 are returned via the eax and edx registers
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	192 \item for {\it non-trivial} C++ aggregates, the caller allocates space, passes pointer to it to the callee as a hidden first param
fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	193 (meaning via ecx), and callee writes return value to this space; the ptr to the aggregate is returned in eax
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	194 \item return values \textgreater\ 64 bits (e.g. aggregates) are returned by the caller allocating the space and
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	195 passing a pointer to the callee as a new, implicit first parameter (always via the stack, never via a register)
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	196 \item floating point types are returned via the st0 register
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	197 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	198
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	199
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	200 \paragraph{Stack layout}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	201
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	202 Stack directly after function prolog:\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	203
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	204 \begin{figure}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	205 \begin{tabular}{5\|3\|1 1}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	206 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	207 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	208 register save area & \hspace{4cm} & & \mrrbrace{6}{caller's frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	209 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	210 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	211 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	212 \mrlbrace{3}{parameter area} & last arg & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	213 & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	214 & first arg passed via stack & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	215 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	216 & return address & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	217 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	218 register save area & & & \mrrbrace{4}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	219 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	220 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	221 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	222 parameter area & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	223 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	224 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	225 \end{tabular}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	226 \caption{Stack layout on x86 fastcall (MS) calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	227 \end{figure}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	228
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	229
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	230 \pagebreak
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	231
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	232 \subsubsection{GNU fastcall}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	233
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	234 \paragraph{Registers and register usage}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	235
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	236 \begin{table}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	237 \begin{tabular*}{0.95\textwidth}{3 B}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	238 Name & Brief description\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	239 \hline
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	240 {\bf eax} & scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	241 {\bf ebx} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	242 {\bf ecx} & scratch, parameter 0\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	243 {\bf edx} & scratch, parameter 1, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	244 {\bf esi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	245 {\bf edi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	246 {\bf ebp} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	247 {\bf esp} & stack pointer\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	248 {\bf st0} & scratch, floating point return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	249 {\bf st1-st7} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	250 \end{tabular*}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	251 \caption{Register usage on x86 fastcall (GNU) calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	252 \end{table}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	253
490 17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	254
17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	255 \clearpage
17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	256
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	257 \paragraph{Parameter passing}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	258
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	259 \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	260 \item stack parameter order: right-to-left
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	261 \item called function cleans up the stack
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	262 \item first two integers/pointers (\textless=\ 32bit) are passed via ecx and edx (even if preceded by other arguments)
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	263 \item arguments \textgreater\ 32 bits are pushed onto the stack as a sequence of dwords (never passed via registers, any respective register is skipped and not used for subsequent args)
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	264 \item all other parameters are pushed onto the stack (as dwords)
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	265 \item aggregates (structs, unions) are pushed as a sequence of dwords, and never passed via registers (no matter their size, any respective register is skipped and not used for subsequent args)
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	266 \item {\it non-trivial} C++ aggregates (as defined by the language) of any size, are passed indirectly via a pointer to a copy of the aggregate
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	267 \item varargs are always passed via the stack
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	268 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	269
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	270
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	271 \paragraph{Return values}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	272
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	273 \begin{itemize}
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	274 \item return values of pointer or integral type (\textless=\ 32 bits) are returned via the eax register
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	275 \item integers \textgreater\ 32 and \textless=\ 64 bits are returned via the eax and edx registers
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	276 \item aggregates (structs, unions) of any size are returned by the caller allocating the space and
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	277 passing a pointer to the callee as a new, implicit first parameter (always via ecx), that same pointer is returned in eax
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	278 \item floating point types are returned via the st0
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	279 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	280
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	281
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	282 \paragraph{Stack layout}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	283
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	284 Stack directly after function prolog:\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	285
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	286 \begin{figure}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	287 \begin{tabular}{5\|3\|1 1}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	288 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	289 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	290 register save area & \hspace{4cm} & & \mrrbrace{6}{caller's frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	291 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	292 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	293 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	294 \mrlbrace{3}{parameter area} & last arg & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	295 & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	296 & first arg passed via stack & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	297 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	298 & return address & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	299 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	300 register save area & & & \mrrbrace{4}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	301 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	302 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	303 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	304 parameter area & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	305 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	306 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	307 \end{tabular}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	308 \caption{Stack layout on x86 fastcall (GNU) calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	309 \end{figure}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	310
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	311
490 17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	312 \pagebreak
17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	313
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	314 \subsubsection{Borland fastcall}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	315
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	316 Also called {\bf register convention} by Borland.
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	317
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	318
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	319 \paragraph{Registers and register usage}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	320
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	321 \begin{table}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	322 \begin{tabular*}{0.95\textwidth}{3 B}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	323 Name & Brief description\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	324 \hline
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	325 {\bf eax} & scratch, parameter 0, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	326 {\bf ebx} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	327 {\bf ecx} & scratch, parameter 2\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	328 {\bf edx} & scratch, parameter 1, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	329 {\bf esi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	330 {\bf edi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	331 {\bf ebp} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	332 {\bf esp} & stack pointer\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	333 {\bf st0} & scratch, floating point return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	334 {\bf st1-st7} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	335 \end{tabular*}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	336 \caption{Register usage on x86 fastcall (Borland) calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	337 \end{table}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	338
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	339 \paragraph{Parameter passing}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	340
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	341 \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	342 \item stack parameter order: left-to-right
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	343 \item called function cleans up the stack
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	344 \item first three integers/pointers (with exception of method pointers) (\textless=\ 32bit) are passed via eax, ecx and edx (preceding or interleaved arguments that are not passed via registers are pushed onto the stack)
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	345 \item arguments \textgreater\ 32 bits are passed as a pointer to the value
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	346 \item aggregates (structs, unions) are pushed as a sequence of dwords, and never passed via registers (no matter their size)
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	347 \item {\it non-trivial} C++ aggregates (as defined by the language) of any size, are passed indirectly via a pointer to a copy of the aggregate
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	348 \item varargs are always passed via the stack
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	349 \item all other parameters are pushed onto the stack
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	350 \item the direction flag is clear on entry and must be returned clear % mention it first, above @@@
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	351 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	352
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	353
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	354 \paragraph{Return values}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	355
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	356 \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	357 \item return values of pointer or integral type (\textless=\ 32 bits) are returned via the eax register
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	358 \item for {\it non-trivial} C++ aggregates, the caller allocates space, passes pointer to it to the callee as a hidden first param
fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	359 (meaning via ecx), and callee writes return value to this space; the ptr to the aggregate is returned in eax
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	360 \item integers and aggregates (structs, unions) \textgreater\ 32 and \textless=\ 64 bits are returned via the eax and edx registers
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	361 \item floating point types are returned via the st0 register
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	362 \item return values \textgreater\ 32 bits (e.g. aggregates, long long, ...) are returned by the caller allocating the space and
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	363 passing a pointer to the callee as a new, implicit {\bf last} parameter
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	364 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	365
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	366
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	367
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	368 \paragraph{Stack layout}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	369
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	370 Stack directly after function prolog:\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	371
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	372 \begin{figure}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	373 \begin{tabular}{5\|3\|1 1}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	374 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	375 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	376 register save area & \hspace{4cm} & & \mrrbrace{6}{caller's frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	377 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	378 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	379 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	380 \mrlbrace{3}{parameter area} & first arg passed via stack & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	381 & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	382 & last arg & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	383 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	384 & return address & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	385 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	386 register save area & & & \mrrbrace{4}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	387 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	388 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	389 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	390 parameter area & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	391 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	392 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	393 \end{tabular}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	394 \caption{Stack layout on x86 fastcall (Borland) calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	395 \end{figure}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	396
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	397
490 17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	398 \pagebreak
17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	399
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	400 \subsubsection{Watcom fastcall}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	401
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	402
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	403 \paragraph{Registers and register usage}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	404
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	405 \begin{table}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	406 \begin{tabular*}{0.95\textwidth}{3 B}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	407 Name & Brief description\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	408 \hline
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	409 {\bf eax} & scratch, parameter 0, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	410 {\bf ebx} & scratch when used for parameter, otherwise preserve, parameter 2\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	411 {\bf ecx} & scratch when used for parameter, otherwise preserve, parameter 3\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	412 {\bf edx} & scratch when used for parameter, otherwise preserve, parameter 1, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	413 {\bf esi} & scratch when used for return pointer, otherwise preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	414 {\bf edi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	415 {\bf ebp} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	416 {\bf esp} & stack pointer\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	417 {\bf st0} & scratch, floating point return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	418 {\bf st1-st7} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	419 \end{tabular*}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	420 \caption{Register usage on x86 fastcall (Watcom) calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	421 \end{table}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	422
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	423 \paragraph{Parameter passing}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	424
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	425 \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	426 \item stack parameter order: right-to-left
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	427 \item called function cleans up the stack
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	428 \item first four integers/pointers (\textless=\ 32bit) are passed via eax, edx, ebx and ecx (even if preceded by other arguments)
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	429 \item arguments \textgreater\ 32 bits, as well as all subsequent arguments, are passed via the stack
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	430 \item aggregates (structs, unions) are passed as a pointer to the aggregate (a copy, if needed, to guarantee by-value semantics)
fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	431 \item {\it non-trivial} C++ aggregates (as defined by the language) of any size, are passed indirectly via a pointer to a copy of the aggregate
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	432 \item all other parameters are pushed onto the stack
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	433 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	434
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	435
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	436 \paragraph{Return values}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	437
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	438 \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	439 \item return values of pointer or integral type (\textless=\ 32 bits) are returned via the eax register
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	440 \item integers \textgreater\ 32 bits and \textless=\ 64 bits are returned via the eax and edx registers
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	441 \item for {\it non-trivial} C++ aggregates, the caller allocates space, passes pointer to it to the callee via esi, and callee writes return value to
fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	442 this space; the ptr to the aggregate is returned in eax
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	443 \item aggregates (structs, unions) \textless=\ 32 bits are returned in eax
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	444 \item aggregates (structs, unions) \textgreater\ 32 bits are returned by the caller allocating the space and
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	445 passing a pointer to the callee via esi, that same pointer is returned in eax
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	446 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	447
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	448
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	449 \paragraph{Stack layout}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	450
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	451 Stack directly after function prolog:\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	452
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	453 \begin{figure}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	454 \begin{tabular}{5\|3\|1 1}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	455 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	456 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	457 register save area & \hspace{4cm} & & \mrrbrace{6}{caller's frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	458 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	459 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	460 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	461 \mrlbrace{3}{parameter area} & last arg & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	462 & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	463 & first arg passed via stack & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	464 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	465 & return address & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	466 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	467 register save area & & & \mrrbrace{4}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	468 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	469 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	470 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	471 parameter area & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	472 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	473 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	474 \end{tabular}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	475 \caption{Stack layout on x86 fastcall (Watcom) calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	476 \end{figure}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	477
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	478
490 17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	479 \pagebreak
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	480
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	481 \subsubsection{win32 stdcall}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	482
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	483 \paragraph{Registers and register usage}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	484
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	485 \begin{table}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	486 \begin{tabular*}{0.95\textwidth}{3 B}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	487 Name & Brief description\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	488 \hline
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	489 {\bf eax} & scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	490 {\bf ebx} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	491 {\bf ecx} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	492 {\bf edx} & scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	493 {\bf esi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	494 {\bf edi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	495 {\bf ebp} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	496 {\bf esp} & stack pointer\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	497 {\bf st0} & scratch, floating point return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	498 {\bf st1-st7} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	499 \end{tabular*}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	500 \caption{Register usage on x86 stdcall calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	501 \end{table}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	502
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	503 \paragraph{Parameter passing}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	504
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	505 \begin{itemize}
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	506 \item stack parameter order: right-to-left
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	507 \item called function cleans up the stack
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	508 \item all parameters are pushed onto the stack (as dwords)
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	509 \item arguments \textgreater\ 64 bits are pushed as a sequence of dwords
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	510 \item aggregates (structs, unions) are pushed as a sequence of dwords
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	511 \item {\it non-trivial} C++ aggregates (as defined by the language) of any size, are passed indirectly via a pointer to a copy of the aggregate
530 585dcb68f55d - more doc and disas examples for x86 fastcall and non-trivial aggregates Tassilo Philipp parents: 499 diff changeset	512 \item stack is usually 4 byte aligned (GCC \textgreater=\ 3.x seems to use a 16byte alignment)
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	513 \item the direction flag is clear on entry and must be returned clear % mention it first, above @@@
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	514 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	515
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	516 % introduce mangling section? \item Function name is decorated by prepending an underscore character and appending a '@' character and the number of bytes of stack space required
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	517
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	518 \paragraph{Return values}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	519
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	520 \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	521 \item return values of pointer or integral type (\textless=\ 32 bits) are returned via the eax register
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	522 \item integers \textgreater\ 32 and \textless=\ 64 bits are returned via the eax and edx registers
fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	523 \item for aggregates and integer return values \textgreater\ 64 bits, the caller allocates space, passes pointer to it to the callee as a hidden first param
fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	524 (meaning via stack), and callee writes return value to this space; the ptr to the aggregate is returned in eax
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	525 \item floating point types are returned via the st0 register
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	526 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	527
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	528
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	529 \paragraph{Stack layout}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	530
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	531 Stack directly after function prolog:\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	532
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	533 \begin{figure}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	534 \begin{tabular}{5\|3\|1 1}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	535 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	536 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	537 register save area & \hspace{4cm} & & \mrrbrace{6}{caller's frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	538 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	539 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	540 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	541 \mrlbrace{3}{parameter area} & arg n-1 & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	542 & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	543 & arg 0 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	544 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	545 & return address & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	546 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	547 register save area & & & \mrrbrace{4}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	548 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	549 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	550 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	551 parameter area & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	552 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	553 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	554 \end{tabular}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	555 \caption{Stack layout on x86 stdcall calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	556 \end{figure}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	557
490 17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	558
17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	559 \pagebreak
17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	560
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	561 \subsubsection{MS thiscall}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	562
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	563 \paragraph{Registers and register usage}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	564
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	565 \begin{table}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	566 \begin{tabular*}{0.95\textwidth}{3 B}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	567 Name & Brief description\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	568 \hline
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	569 {\bf eax} & scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	570 {\bf ebx} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	571 {\bf ecx} & scratch, parameter 0\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	572 {\bf edx} & scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	573 {\bf esi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	574 {\bf edi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	575 {\bf ebp} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	576 {\bf esp} & stack pointer\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	577 {\bf st0} & scratch, floating point return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	578 {\bf st1-st7} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	579 \end{tabular*}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	580 \caption{Register usage on x86 thiscall (MS) calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	581 \end{table}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	582
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	583
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	584 \paragraph{Parameter passing}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	585
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	586 \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	587 \item stack parameter order: right-to-left
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	588 \item called function cleans up the stack (except for variadic functions where the caller cleans up)
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	589 \item first parameter (this pointer) is passed via ecx
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	590 \item all other parameters are pushed onto the stack
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	591 \item arguments \textgreater\ 64 bits are pushed as a sequence of dwords
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	592 \item aggregates (structs, unions) are pushed as a sequence of dwords
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	593 \item {\it non-trivial} C++ aggregates (as defined by the language) of any size, are passed indirectly via a pointer to a copy of the aggregate
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	594 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	595
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	596 % introduce mangling section? \item Function name is decorated by prepending a '@' character and appending a '@' character and the number of bytes (decimal) of stack space required
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	597
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	598 \paragraph{Return values}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	599
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	600 \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	601 \item return values of pointer or integral type (\textless=\ 32 bits) are returned via the eax register
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	602 \item integers \textgreater\ 32 bits and \textless=\ 64 bits are returned via the eax and edx
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	603 \item aggregates (structs, unions) of any size are returned by the caller allocating the space and passing
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	604 a pointer to the callee as a new, implicit first parameter, that same pointer is returned in eax
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	605 \item floating point types are returned via the st0 register
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	606 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	607
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	608
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	609 \paragraph{Stack layout}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	610
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	611 Stack directly after function prolog:\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	612
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	613 \begin{figure}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	614 \begin{tabular}{5\|3\|1 1}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	615 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	616 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	617 register save area & \hspace{4cm} & & \mrrbrace{6}{caller's frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	618 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	619 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	620 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	621 \mrlbrace{3}{parameter area} & arg n-1 & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	622 & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	623 & arg 1 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	624 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	625 & return address & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	626 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	627 register save area & & & \mrrbrace{4}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	628 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	629 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	630 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	631 parameter area & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	632 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	633 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	634 \end{tabular}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	635 \caption{Stack layout on x86 thiscall (MS) calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	636 \end{figure}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	637
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	638
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	639
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	640 \subsubsection{GNU thiscall}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	641
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	642 This is equivalent to the cdecl calling convention, with the first parameter being the this pointer.
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	643
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	644 % \paragraph{Registers and register usage}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	645 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	646 % \begin{table}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	647 % \begin{tabular*}{0.95\textwidth}{3 B}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	648 % Name & Brief description\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	649 % \hline
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	650 % {\bf eax} & scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	651 % {\bf ebx} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	652 % {\bf ecx} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	653 % {\bf edx} & scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	654 % {\bf esi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	655 % {\bf edi} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	656 % {\bf ebp} & preserve\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	657 % {\bf esp} & stack pointer\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	658 % {\bf st0} & scratch, floating point return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	659 % {\bf st1-st7} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	660 % \end{tabular*}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	661 % \caption{Register usage on x86 thiscall (GNU) calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	662 % \end{table}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	663 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	664 % \paragraph{Parameter passing}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	665 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	666 % \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	667 % \item stack parameter order: right-to-left
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	668 % \item caller cleans up the stack
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	669 % \item all parameters are pushed onto the stack
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	670 % \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	671 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	672 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	673 % \paragraph{Return values}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	674 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	675 % \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	676 % \item return values of pointer or integral type (\textless=\ 32 bits) are returned via the eax register
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	677 % \item integers \textgreater\ 32 bits are returned via the eax and edx registers
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	678 % \item floating point types are returned via the st0 register
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	679 % \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	680 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	681 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	682 % \paragraph{Stack layout}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	683 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	684 % Stack directly after function prolog:\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	685 %
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	686 % \begin{figure}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	687 % \begin{tabular}{5\|3\|1 1}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	688 % & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	689 % \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	690 % register save area & \hspace{4cm} & & \mrrbrace{6}{caller's frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	691 % \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	692 % local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	693 % \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	694 % \mrlbrace{3}{parameter area} & arg n-1 & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	695 % & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	696 % & arg 0 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	697 % \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	698 % & return address & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	699 % \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	700 % register save area & & & \mrrbrace{4}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	701 % \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	702 % local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	703 % \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	704 % parameter area & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	705 % \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	706 % & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	707 % \end{tabular}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	708 % \caption{Stack layout on x86 thiscall (GNU) calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	709 % \end{figure}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	710
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	711
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	712
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	713 \subsubsection{pascal}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	714
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	715 The best known uses of the pascal calling convention are the 16 bit OS/2 APIs, Microsoft Windows 3.x and Borland Delphi 1.x.
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	716 It is a variation of stdcall, however, arguments are passed from left-to-right.
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	717 Since this calling convention is for 16-bit APIs, it is not discussed in
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	718 further detail, here.
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	719
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	720
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	721
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	722 \subsubsection{plan9call}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	723
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	724 \paragraph{Registers and register usage}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	725
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	726 \begin{table}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	727 \begin{tabular*}{0.95\textwidth}{3 B}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	728 Name & Brief description\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	729 \hline
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	730 {\bf eax} & scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	731 {\bf ebx} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	732 {\bf ecx} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	733 {\bf edx} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	734 {\bf esi} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	735 {\bf edi} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	736 {\bf ebp} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	737 {\bf esp} & stack pointer\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	738 {\bf st0} & scratch, floating point return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	739 {\bf st1-st7} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	740 \end{tabular*}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	741 \caption{Register usage on x86 plan9call calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	742 \end{table}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	743
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	744 \paragraph{Parameter passing}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	745
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	746 \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	747 \item stack parameter order: right-to-left
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	748 \item caller cleans up the stack
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	749 \item all parameters are pushed onto the stack
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	750 \item all parameters are pushed onto the stack (as dwords)
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	751 \item arguments \textgreater\ 64 bits are pushed as a sequence of dwords
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	752 \item aggregates (structs, unions) are pushed as a sequence of dwords
499 fc614cb865c6 - doc and disasexample additions specific to non-trivial C++ aggregates as return values (incl. fixes to doc and additional LSB specific PPC32 section) Tassilo Philipp parents: 490 diff changeset	753 \item {\it non-trivial} C++ aggregates (as defined by the language) of any size, are passed indirectly via a pointer to a copy of the aggregate
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	754 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	755
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	756
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	757 \paragraph{Return values}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	758
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	759 \begin{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	760 \item return values of pointer or integral type (\textless=\ 32 bits) are returned via the eax register
472 e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	761 \item integers \textgreater\ 32 bits and aggregates (structs, unions) of any size are returned by the caller allocating
e5820b7a3fbc doc: Tassilo Philipp parents: 467 diff changeset	762 the space and passing a pointer to the callee as a new, implicit first parameter, that same pointer is returned in eax
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	763 \item floating point types are returned via the st0 register (called F0 in plan9 8a's terms)
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	764 \end{itemize}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	765
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	766
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	767 \paragraph{Stack layout}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	768
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	769 % verified/amended: TP nov 2019 (see also doc/disas_examples/x86.plan9call.disas)
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	770 Note there is no register save area at all. Stack directly after function prolog:\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	771
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	772 \begin{figure}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	773 \begin{tabular}{5\|3\|1 1}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	774 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	775 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	776 local data & \hspace{4cm} & & \mrrbrace{5}{caller's frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	777 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	778 \mrlbrace{3}{parameter area} & arg n-1 & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	779 & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	780 & arg 0 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	781 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	782 & return address & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	783 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	784 local data & & & \mrrbrace{3}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	785 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	786 parameter area & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	787 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	788 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	789 \end{tabular}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	790 \caption{Stack layout on x86 plan9call calling convention}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	791 \end{figure}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 145 diff changeset	792
340 6e33db95e724 - syscall infos in doc Tassilo Philipp parents: 328 diff changeset	793
345 c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	794 \subsubsection{Linux syscalls}
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	795
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	796 \paragraph{Parameter passing}
340 6e33db95e724 - syscall infos in doc Tassilo Philipp parents: 328 diff changeset	797
345 c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	798 \begin{itemize}
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	799 \item syscall is issued by triggering {\em interrupt 80h}
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	800 \item syscall number is set in eax
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	801 \item params are passed in the following registers in this order: ebx, ecx, edx, esi, edi, ebp
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	802 \item for more than six arguments, ebx points to the list of further arguments (not used in practice, as Linux syscalls use a maximum of 5 arguments)
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	803 \item register eax holds the return value
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	804 \end{itemize}
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	805
490 17287342e273 manual: Tassilo Philipp parents: 472 diff changeset	806
345 c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	807 \subsubsection{*BSD syscalls}
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	808
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	809 \paragraph{Parameter passing}
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	810
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	811 \begin{itemize}
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	812 \item syscall is issued by triggering {\em interrupt 80h}
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	813 \item syscall number is set in eax
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	814 \item params are passed on the stack as with the cdecl calling convention
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	815 \end{itemize}
c607d67cd6b8 - doc: added syscall info to appendix, fixed broken literature link Tassilo Philipp parents: 340 diff changeset	816

Mercurial > pub > dyncall > dyncall

annotate doc/manual/callconvs/callconv_x86.tex @ 530:585dcb68f55d