dyncall: doc/manual/callconvs/callconv

annotate doc/manual/callconvs/callconv_arm32.tex @ 481:0fc22b5feac7

- arm related doc addition about aggregates

author	Tassilo Philipp
date	Wed, 02 Mar 2022 17:30:51 +0100
parents	b47168dacba6
children	d160046da104

rev	line source
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	1 %//////////////////////////////////////////////////////////////////////////////
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	2 %
481 0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	3 % Copyright (c) 2007-2022 Daniel Adler <dadler@uni-goettingen.de>,
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	4 % Tassilo Philipp <tphilipp@potion-studios.com>
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	5 %
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	6 % Permission to use, copy, modify, and distribute this software for any
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	7 % purpose with or without fee is hereby granted, provided that the above
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	8 % copyright notice and this permission notice appear in all copies.
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	9 %
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	10 % THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	11 % WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	12 % MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	13 % ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	14 % WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	15 % ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	16 % OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	17 %
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	18 %//////////////////////////////////////////////////////////////////////////////
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	19
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	20 \subsection{ARM32 Calling Conventions}
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	21
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	22 \paragraph{Overview}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	23
117 4a64b733dc76 - doc, added first version of mips64 callconv page cslag parents: 95 diff changeset	24 The ARM32 family of processors is based on the Advanced RISC Machines (ARM)
4a64b733dc76 - doc, added first version of mips64 callconv page cslag parents: 95 diff changeset	25 processor architecture (32 bit RISC).
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	26 The word size is 32 bits (and the programming model is LLP64).\\
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	27 Basically, this family of microprocessors can be run in 2 major modes:\\
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	28 \\
77 e441ef3ec782 - manual layout tweaks cslag parents: 76 diff changeset	29 \begin{tabular*}{0.95\textwidth}{2 B}
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	30 Mode & Description\\
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	31 \hline
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	32 {\bf ARM} & 32bit instruction set\\
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	33 {\bf THUMB} & compressed instruction set using 16bit wide instruction encoding\\
76 7ca46969e0ad - tweaks in manual, mainly for html generation cslag parents: 51 diff changeset	34 \end{tabular*}
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	35 \\
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	36 \\
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	37 For more details, take a look at the ARM-THUMB Procedure Call Standard (ATPCS)
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	38 \cite{ATPCS}, the Procedure Call Standard for the ARM Architecture (AAPCS)
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	39 \cite{AAPCS}, as well as Debian's ARM EABI port \cite{armeabi} and hard-float
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	40 \cite{armhf} wiki pages.\\ \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	41
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	42 \paragraph{\product{dyncall} support}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	43
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	44 Currently, the \product{dyncall} library supports the ARM and THUMB mode of the
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	45 ARM32 family (ATPCS \cite{ATPCS}, EABI \cite{armeabi}, the ARM hard-float
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	46 (armhf) \cite{armeabi} varian, as well as Apple's calling convention based on
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	47 the ATPCS), excluding manually triggered ARM-THUMB interworking calls.\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	48 Also supported is armhf, a calling convention with register support to pass
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	49 floating point numbers. FPA and the VFP (scalar mode) procedure call standards,
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	50 as well as some instruction sets accelerating DSP and multimedia application
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	51 like the ARM Jazelle Technology (direct Java bytecode execution, providing
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	52 acceleration for some bytecodes while calling software code for others), etc.,
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	53 are not supported by the dyncall library.\\
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	54
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	55
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	56 \subsubsection{ATPCS ARM mode}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	57
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	58
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	59 \paragraph{Registers and register usage}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	60
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	61 In ARM mode, the ARM32 processor has sixteen 32 bit general purpose registers, namely r0-r15:\\
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	62 \\
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	63 \begin{table}[h]
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	64 \begin{tabular*}{0.95\textwidth}{lll}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	65 Name & Alias & Brief description\\
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	66 \hline
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	67 {\bf r0} & {\bf a1} & parameter 0, scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	68 {\bf r1} & {\bf a2} & parameter 1, scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	69 {\bf r2,r3} & {\bf a3,a4} & parameters 2 and 3, scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	70 {\bf r4-r9} & {\bf v1-v6} & permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	71 {\bf r10} & {\bf sl} & permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	72 {\bf r11} & {\bf fp} & frame pointer, permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	73 {\bf r12} & {\bf ip} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	74 {\bf r13} & {\bf sp} & stack pointer, permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	75 {\bf r14} & {\bf lr} & link register, permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	76 {\bf r15} & {\bf pc} & program counter (note: due to pipeline, r15 points to 2 instructions ahead)\\
76 7ca46969e0ad - tweaks in manual, mainly for html generation cslag parents: 51 diff changeset	77 \end{tabular*}
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	78 \caption{Register usage on arm32}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	79 \end{table}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	80
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	81 \paragraph{Parameter passing}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	82
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	83 \begin{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	84 \item stack parameter order: right-to-left
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	85 \item caller cleans up the stack
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	86 \item first four words are passed using r0-r3
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	87 \item subsequent parameters are pushed onto the stack (in right to left order, such that the stack pointer points to the first of the remaining parameters)
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	88 \item if the callee takes the address of one of the parameters and uses it to address other parameters (e.g. varargs) it has to copy - in its prolog - the first four words to a reserved stack area adjacent to the other parameters on the stack
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	89 \item parameters \textless=\ 32 bits are passed as 32 bit words
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	90 \item 64 bit parameters are passed as two 32 bit parts (even partly via the register and partly via the stack, although this doesn't seem to be specified in the ATPCS)
481 0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	91 \item aggregates (struct, union) are passed by value (after rounding up the size to the nearest multiple of 4), as a sequence of words (splitting across registers and stack is allowed)
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	92 \item keeping the stack eight-byte aligned can improve memory access performance and is required by LDRD and STRD on ARMv5TE processors which are part of the ARM32 family, so, in order to avoid problems one should always align the stack (tests have shown, that GCC does care about the alignment when using the ellipsis)
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	93 \end{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	94
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	95 \paragraph{Return values}
481 0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	96
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	97 \begin{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	98 \item return values \textless=\ 32 bits use r0
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	99 \item 64 bit return values use r0 and r1
481 0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	100 \item aggregates (struct, union) \textless=\ 32 bits are returned like an integer (in r0)
0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	101 \item aggregates (struct, union) \textgreater\ 32 bits the caller allocates space for the return value on the stack in its frame and passes a pointer to it in r0
0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	102 \item for all other aggregates, the caller allocates space, passes pointer to it to the callee as a hidden first param (meaning in r0), and callee writes return value to this space; the ptr to the aggregate is returned in r0
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	103 \end{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	104
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	105 \paragraph{Stack layout}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	106
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	107 % verified/amended: TP nov 2019 (see also doc/disas_examples/arm.atpcs_arm.disas)
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	108 Stack directly after function prolog:\\
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	109
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	110 \begin{figure}[h]
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	111 \begin{tabular}{5\|3\|1 1}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	112 & \vdots & & \\
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	113 \hhline{~=~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	114 register save area & \hspace{4cm} & & \mrrbrace{5}{caller's frame} \\
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	115 \hhline{~-~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	116 local data & & & \\
117 4a64b733dc76 - doc, added first version of mips64 callconv page cslag parents: 95 diff changeset	117 \hhline{~-~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	118 \mrlbrace{7}{parameter area} & last arg & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	119 & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	120 & 5th word of arg data & & \\
117 4a64b733dc76 - doc, added first version of mips64 callconv page cslag parents: 95 diff changeset	121 \hhline{~=~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	122 & r3 & \mrrbrace{4}{spill area (if needed)} & \mrrbrace{7}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	123 & r2 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	124 & r1 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	125 & r0 & & \\
117 4a64b733dc76 - doc, added first version of mips64 callconv page cslag parents: 95 diff changeset	126 \hhline{~-~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	127 register save area (with return address) & & & \\ %fp points here to 1st word of this area: $\leftarrow$ fp
117 4a64b733dc76 - doc, added first version of mips64 callconv page cslag parents: 95 diff changeset	128 \hhline{~-~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	129 local data & & & \\
117 4a64b733dc76 - doc, added first version of mips64 callconv page cslag parents: 95 diff changeset	130 \hhline{~-~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	131 parameter area & \vdots & & \\
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	132 \end{tabular}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	133 \caption{Stack layout on arm32}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	134 \end{figure}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	135
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	136
467 b47168dacba6 manual: Tassilo Philipp parents: 404 diff changeset	137 \clearpage
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	138
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	139
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	140 \subsubsection{ATPCS THUMB mode}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	141
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	142
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	143 \paragraph{Status}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	144
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	145 \begin{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	146 \item The ATPCS THUMB mode is untested.
361 06c9adae114d - typos Tassilo Philipp parents: 328 diff changeset	147 \item Ellipsis calls may not work.
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	148 \item C++ this calls do not work.
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	149 \end{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	150
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	151 \paragraph{Registers and register usage}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	152
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	153 In THUMB mode, the ARM32 processor family supports eight 32 bit general purpose registers r0-r7 and access to high order registers r8-r15:\\
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	154 \\
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	155 \begin{table}[h]
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	156 \begin{tabular*}{0.95\textwidth}{lll}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	157 Name & Alias & Brief description\\
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	158 \hline
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	159 {\bf r0} & {\bf a1} & parameter 0, scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	160 {\bf r1} & {\bf a2} & parameter 1, scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	161 {\bf r2,r3} & {\bf a3,a4} & parameters 2 and 3, scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	162 {\bf r4-r6} & {\bf v1-v3} & permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	163 {\bf r7} & {\bf v4} & frame pointer, permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	164 {\bf r8-r11} & {\bf v5-v8} & permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	165 {\bf r12} & {\bf ip} & scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	166 {\bf r13} & {\bf sp} & stack pointer, permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	167 {\bf r14} & {\bf lr} & link register, permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	168 {\bf r15} & {\bf pc} & program counter (note: due to pipeline, r15 points to 2 instructions ahead)\\
76 7ca46969e0ad - tweaks in manual, mainly for html generation cslag parents: 51 diff changeset	169 \end{tabular*}
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	170 \caption{Register usage on arm32 thumb mode}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	171 \end{table}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	172
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	173 \paragraph{Parameter passing}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	174
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	175 \begin{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	176 \item stack parameter order: right-to-left
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	177 \item caller cleans up the stack
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	178 \item first four words are passed using r0-r3
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	179 \item subsequent parameters are pushed onto the stack (in right to left order, such that the stack pointer points to the first of the remaining parameters)
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	180 \item if the callee takes the address of one of the parameters and uses it to address other parameters (e.g. varargs) it has to copy - in its prolog - the first four words to a reserved stack area adjacent to the other parameters on the stack
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	181 \item parameters \textless=\ 32 bits are passed as 32 bit words
481 0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	182 \item 64 bit parameters are passed as two 32 bit parts (even partly via the register and partly via the stack, although this doesn't seem to be specified in the ATPCS)
0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	183 \item aggregates (struct, union) are passed by value (after rounding up the size to the nearest multiple of 4), as a sequence of words (splitting across registers and stack is allowed)
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	184 \item keeping the stack eight-byte aligned can improve memory access performance and is required by LDRD and STRD on ARMv5TE processors which are part of the ARM32 family, so, in order to avoid problems one should always align the stack (tests have shown, that GCC does care about the alignment when using the ellipsis)
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	185 \end{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	186
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	187 \paragraph{Return values}
481 0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	188
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	189 \begin{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	190 \item return values \textless=\ 32 bits use r0
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	191 \item 64 bit return values use r0 and r1
481 0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	192 \item aggregates (struct, union) \textless=\ 32 bits are returned like an integer (in r0)
0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	193 \item aggregates (struct, union) \textgreater\ 32 bits the caller allocates space for the return value on the stack in its frame and passes a pointer to it in r0
0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	194 \item for all other aggregates, the caller allocates space, passes pointer to it to the callee as a hidden first param (meaning in r0), and callee writes return value to this space; the ptr to the aggregate is returned in r0
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	195 \end{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	196
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	197 \paragraph{Stack layout}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	198
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	199 Stack directly after function prolog:\\
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	200
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	201 \begin{figure}[h]
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	202 \begin{tabular}{5\|3\|1 1}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	203 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	204 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	205 register save area & \hspace{4cm} & & \mrrbrace{5}{caller's frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	206 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	207 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	208 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	209 \mrlbrace{7}{parameter area} & last arg & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	210 & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	211 & 5th word of arg data & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	212 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	213 & r3 & \mrrbrace{4}{spill area (if needed)} & \mrrbrace{7}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	214 & r2 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	215 & r1 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	216 & r0 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	217 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	218 register save area (with return address) & & & \\ %fp points here to 1st word of this area: $\leftarrow$ fp
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	219 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	220 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	221 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	222 parameter area & \vdots & & \\
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	223 \end{tabular}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	224 \caption{Stack layout on arm32 thumb mode}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	225 \end{figure}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	226
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	227
467 b47168dacba6 manual: Tassilo Philipp parents: 404 diff changeset	228 \clearpage
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	229
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	230
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	231 \subsubsection{EABI (ARM and THUMB mode)}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	232
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	233
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	234 The ARM EABI is very similar to the ABI outlined in ARM-THUMB procedure call
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	235 standard (ATPCS) \cite{ATPCS} - however, the EABI requires the stack to be
41 00310bf92924 - doc cslag parents: 35 diff changeset	236 8-byte aligned at function entries, as well as for 64 bit parameters. The latter
00310bf92924 - doc cslag parents: 35 diff changeset	237 are aligned on 8-byte boundaries on the stack and 2-registers for a parameter
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	238 passed via register. In order to achieve such an alignment, a register might
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	239 have to be skipped for parameters passed via registers, or 4-bytes on the stack
35 61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	240 for parameters passed via the stack. Refer to the Debian ARM EABI port wiki
173 8402121e1737 - doc tweaks cslag parents: 148 diff changeset	241 for more information \cite{armeabi}.\\
8402121e1737 - doc tweaks cslag parents: 148 diff changeset	242 \\
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	243 \paragraph{Status}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	244
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	245 \begin{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	246 \item The EABI THUMB mode is tested and works fine (contrary to the ATPCS).
361 06c9adae114d - typos Tassilo Philipp parents: 328 diff changeset	247 \item Ellipsis calls do not work.
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	248 \item C++ this calls do not work.
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	249 \end{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	250
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	251
467 b47168dacba6 manual: Tassilo Philipp parents: 404 diff changeset	252 \clearpage
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	253
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	254
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	255 \subsubsection{ARM on Apple's iOS (Darwin) Platform (ARM and THUMB mode)}
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	256
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	257
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	258 The iOS runs on ARMv6 (iOS 2.0) and ARMv7 (iOS 3.0) architectures. Both, ARM and THUMB are available,
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	259 code is usually compiled in THUMB mode.\\
173 8402121e1737 - doc tweaks cslag parents: 148 diff changeset	260 \\
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	261 \paragraph{Register usage}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	262
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	263 \begin{table}[h]
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	264 \begin{tabular*}{0.95\textwidth}{lll}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	265 Name & Alias & Brief description\\
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	266 \hline
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	267 {\bf r0} & & parameter 0, scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	268 {\bf r1} & & parameter 1, scratch, return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	269 {\bf r2,r3} & & parameters 2 and 3, scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	270 {\bf r4-r6} & & permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	271 {\bf r7} & & frame pointer, permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	272 {\bf r8} & & permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	273 {\bf r9} & & permanent (iOS 2.0) / scratch (since iOS 3.0)\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	274 {\bf r10-r11}& & permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	275 {\bf r12} & & scratch, intra-procedure scratch register (IP) used by dynamic linker\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	276 {\bf r13} & {\bf sp} & stack pointer, permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	277 {\bf r14} & {\bf lr} & link register, permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	278 {\bf r15} & {\bf pc} & program counter (note: due to pipeline, r15 points to 2 instructions ahead)\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	279 {\bf cpsr} & & program status register\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	280 {\bf d0-d7} & & scratch, aliases s0-s15, on ARMv7 also as q0-q3; not accessible from Thumb mode on ARMv6\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	281 {\bf d8-d15} & & permanent, aliases s16-s31, on ARMv7 also as q4-q7; not accesible from Thumb mode on ARMv6\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	282 {\bf d16-d31}& & only available in ARMv7, aliases q8-q15\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	283 {\bf fpscr} & & VFP status register\\
76 7ca46969e0ad - tweaks in manual, mainly for html generation cslag parents: 51 diff changeset	284 \end{tabular*}
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	285 \caption{Register usage on ARM Apple iOS}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	286 \end{table}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	287
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	288 \paragraph{Parameter passing and Return values}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	289
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	290 The ABI is based on the AAPCS but with the following important differences:
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	291
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	292 \begin{itemize}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	293 \item in ARM mode, r7 is used as frame pointer instead of r11 (so both, ARM and THUMB mode use the same convention)
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	294 \item r9 does not need to be preserved on iOS 3.0 and greater
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	295 \end{itemize}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	296
34 645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	297
467 b47168dacba6 manual: Tassilo Philipp parents: 404 diff changeset	298 \clearpage
b47168dacba6 manual: Tassilo Philipp parents: 404 diff changeset	299
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	300 \paragraph{Stack layout}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	301
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	302 % verified/amended: TP nov 2019 (see also doc/disas_examples/arm.darwin_{arm,thumb}.disas)
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	303 Stack directly after function prolog:\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	304
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	305 \begin{figure}[h]
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	306 \begin{tabular}{5\|3\|1 1}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	307 & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	308 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	309 register save area & \hspace{4cm} & & \mrrbrace{5}{caller's frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	310 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	311 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	312 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	313 \mrlbrace{7}{parameter area} & last arg & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	314 & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	315 & 5th word of arg data @@@verify & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	316 \hhline{~=~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	317 & r3 & \mrrbrace{4}{spill area (if needed)} & \mrrbrace{7}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	318 & r2 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	319 & r1 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	320 & r0 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	321 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	322 register save area (with return address) & & & \\ %fp points here to 1st word of this area: $\leftarrow$ fp
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	323 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	324 local data & & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	325 \hhline{~-~~}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	326 parameter area & \vdots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	327 \end{tabular}
467 b47168dacba6 manual: Tassilo Philipp parents: 404 diff changeset	328 \caption{Stack layout on arm32 (Apple)}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	329 \end{figure}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	330
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	331
467 b47168dacba6 manual: Tassilo Philipp parents: 404 diff changeset	332 \clearpage
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	333
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	334
34 645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	335 \subsubsection{ARM hard float (armhf)}
645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	336
645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	337
35 61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	338 Most debian-based Linux systems on ARMv7 (or ARMv6 with FPU) platforms use a calling convention referred to
41 00310bf92924 - doc cslag parents: 35 diff changeset	339 as armhf, using 16 32-bit floating point registers of the FPU of the VFPv3-D16 extension to the ARM architecture.
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	340 Refer to the debian wiki for more information \cite{armhf}. % The following is for ARM mode, find platform that uses thumb+hard-float @@@
35 61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	341
173 8402121e1737 - doc tweaks cslag parents: 148 diff changeset	342 Code is little-endian, rest is similar to EABI with an 8-byte aligned stack, etc..\\
8402121e1737 - doc tweaks cslag parents: 148 diff changeset	343 \\
34 645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	344 \paragraph{Register usage}
645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	345
645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	346 \begin{table}[h]
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	347 \begin{tabular*}{0.95\textwidth}{lll}
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	348 Name & Alias & Brief description\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	349 \hline
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	350 {\bf r0} & {\bf a1} & parameter 0, scratch, non floating point return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	351 {\bf r1} & {\bf a2} & parameter 1, scratch, non floating point return value\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	352 {\bf r2,r3} & {\bf a3,a4} & parameters 2 and 3, scratch\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	353 {\bf r4-r9} & {\bf v1-v6} & permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	354 {\bf r10} & {\bf sl} & permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	355 {\bf r11} & {\bf fp} & frame pointer, permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	356 {\bf r12} & {\bf ip} & scratch, intra-procedure scratch register (IP) used by dynamic linker\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	357 {\bf r13} & {\bf sp} & stack pointer, permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	358 {\bf r14} & {\bf lr} & link register, permanent\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	359 {\bf r15} & {\bf pc} & program counter (note: due to pipeline, r15 points to 2 instructions ahead)\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	360 {\bf cpsr} & & program status register\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	361 {\bf s0} & & floating point argument, floating point return value, single precision\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	362 {\bf d0} & & floating point argument, floating point return value, double precision, aliases s0-s1\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	363 {\bf s1-s15} & & floating point arguments, single precision\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	364 {\bf d1-d7} & & aliases s2-s15, floating point arguments, double precision\\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	365 {\bf fpscr} & & VFP status register\\
76 7ca46969e0ad - tweaks in manual, mainly for html generation cslag parents: 51 diff changeset	366 \end{tabular*}
34 645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	367 \caption{Register usage on armhf}
645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	368 \end{table}
645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	369
35 61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	370 \paragraph{Parameter passing}
61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	371
61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	372 \begin{itemize}
61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	373 \item stack parameter order: right-to-left
61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	374 \item caller cleans up the stack
61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	375 \item first four non-floating-point words are passed using r0-r3
51 9e9d6a90492a - armhf experimental vararg call support cslag parents: 50 diff changeset	376 \item out of those, 64bit parameters use 2 registers, either r0,r1 or r2,r3 (skipped registers are left unused)
41 00310bf92924 - doc cslag parents: 35 diff changeset	377 \item first 16 single-precision, or 8 double-precision arguments are passed via s0-s15 or d0-d7, respectively (note that since s and d registers are aliased, already used ones are skipped)
35 61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	378 \item subsequent parameters are pushed onto the stack (in right to left order, such that the stack pointer points to the first of the remaining parameters)
47 c4de113dc1e9 - some armhf comments, doc clarification, cleanup cslag parents: 45 diff changeset	379 \item note that as soon one floating point parameter is passed via the stack, subsequent single precision floating point parameters are also pushed onto the stack even if there are still free S* registers
51 9e9d6a90492a - armhf experimental vararg call support cslag parents: 50 diff changeset	380 \item float and double vararg function parameters (no matter if in ellipsis part of function, or not) are passed like int or long long parameters, vfp registers aren't used
50 9bd3c5219505 - minor test code fix cslag parents: 47 diff changeset	381 \item if the callee takes the address of one of the parameters and uses it to address other parameters (e.g. varargs) it has to copy - in its prolog - the first four words (for first 4 integer arguments) to a reserved stack area adjacent to the other parameters on the stack
35 61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	382 \item parameters \textless=\ 32 bits are passed as 32 bit words
481 0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	383 \item aggregates (struct, union) with 1 to 4 identical floating-point members (either float or double) are passed field-by-field, except if passed as a vararg
0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	384 \item aggregates that could be passed via floating point register are never split across those and the stack, so if not enough registers are available an aggregate is
0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	385 passed entirely via the stack (implying above rule that any still unused float registers will be skipped for any subsequent arg)
0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	386 \item all other aggregates (struct, union), after rounding up the size to the nearest multiple of 4, are passed as a sequence of dwords, like integers (splitting across registers and stack is allowed)
148 12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	387 \item callee spills, caller reserves spill area space, though
35 61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	388 \end{itemize}
61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	389
61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	390 \paragraph{Return values}
481 0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	391
35 61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	392 \begin{itemize}
42 ecc9403e214a - final touch for complete armhf callback support, yay cslag parents: 41 diff changeset	393 \item non floating point return values \textless=\ 32 bits use r0
ecc9403e214a - final touch for complete armhf callback support, yay cslag parents: 41 diff changeset	394 \item non floating point 64-bit return values use r0 and r1
481 0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	395 \item floating point return value uses s0 (for float) or d0 (for double), respectively
0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	396 \item aggregates (struct, union) with 1 to 4 identical floating-point members are returned in s0-s3 (for float) or d0-d3 (for double), respectively
0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	397 \item all other aggregates \textless=\ 32 bits are returned via r0
0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	398 \item for all other aggregates, the caller allocates space, passes pointer to it to the callee as a hidden first param
0fc22b5feac7 - arm related doc addition about aggregates Tassilo Philipp parents: 467 diff changeset	399 (meanin in r0), and callee writes return value to this space; the ptr to the aggregate is returned in x0
35 61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	400 \end{itemize}
61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	401
148 12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	402 \paragraph{Stack layout}
35 61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	403
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	404 % verified/amended: TP nov 2019 (see also doc/disas_examples/arm.armhf.disas)
148 12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	405 Stack directly after function prolog:\\
12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	406
12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	407 \begin{figure}[h]
12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	408 \begin{tabular}{5\|3\|1 1}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	409 & \vdots & & \\
148 12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	410 \hhline{~=~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	411 register save area & \hspace{4cm} & & \mrrbrace{5}{caller's frame} \\
148 12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	412 \hhline{~-~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	413 local data & & & \\
148 12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	414 \hhline{~-~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	415 \mrlbrace{7}{parameter area} & last arg & \mrrbrace{3}{stack parameters} & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	416 & \ldots & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	417 & first arg passed via stack & & \\
148 12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	418 \hhline{~=~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	419 & r3 & \mrrbrace{4}{spill area (if needed)} & \mrrbrace{7}{current frame} \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	420 & r2 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	421 & r1 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	422 & r0 & & \\
148 12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	423 \hhline{~-~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	424 register save area (with return address) & & & \\ %fp points here to 1st word of this area: $\leftarrow$ fp
148 12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	425 \hhline{~-~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	426 local data & & & \\
148 12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	427 \hhline{~-~~}
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	428 parameter area & \vdots & & \\
148 12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	429 \end{tabular}
12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	430 \caption{Stack layout on arm32 armhf}
12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	431 \end{figure}
12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	432
12729fd52ab7 - performance improvement and more correct handling of arm32 armhf calls, not copying bogus data just to reserve spill area space cslag parents: 117 diff changeset	433
467 b47168dacba6 manual: Tassilo Philipp parents: 404 diff changeset	434 \clearpage
35 61edd9cf8026 - armhf doc update cslag parents: 34 diff changeset	435
34 645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	436
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	437 \subsubsection{Architectures}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	438
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	439 The ARM architecture family contains several revisions with capabilities and
117 4a64b733dc76 - doc, added first version of mips64 callconv page cslag parents: 95 diff changeset	440 extensions (such as thumb-interworking, more vector registers, ...)
4a64b733dc76 - doc, added first version of mips64 callconv page cslag parents: 95 diff changeset	441 The following table sums up the most important properties of the various
34 645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	442 architecture standards, from a calling convention perspective.
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	443
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	444 % iPhone 3GS : ARM Cortex-A8
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	445 % Nintendo DS: ARM 7 and ARM 9
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	446 % ARM 7: ARMv4T
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	447 % ARM 9: ARMv4T, HTC Wizard
34 645307d37731 - started section for armhf in doc cslag parents: 0 diff changeset	448 % Cortex-*: ARMv7, Raspberry Pi 2, ...
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	449
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	450 \begin{table}[h]
77 e441ef3ec782 - manual layout tweaks cslag parents: 76 diff changeset	451 \begin{tabular*}{0.95\textwidth}{lll}
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	452 Arch & Platforms & Details \\
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	453 \hline
328 276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	454 ARMv4 & & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	455 ARMv4T & ARM 7, ARM 9, Neo FreeRunner (OpenMoko) & \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	456 ARMv5 & ARM 9E & BLX instruction available \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	457 ARMv6 & & No vector registers available in thumb \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	458 ARMv7 & iPod touch, iPhone 3GS/4, Raspberry Pi 2 & VFP, armhf convention on some platforms \\
276eb8c87aa0 - review and fixes, cleanup, amendments to calling convention appendix of manual Tassilo Philipp parents: 277 diff changeset	459 ARMv8 & iPhone 6 and higher & 64bit support \\
76 7ca46969e0ad - tweaks in manual, mainly for html generation cslag parents: 51 diff changeset	460 \end{tabular*}
0 3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	461 \caption{Overview of ARM Architecture, Platforms and Details}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	462 \end{table}
3e629dc19168 initial from svn dyncall-1745 Daniel Adler parents: diff changeset	463

Mercurial > pub > dyncall > dyncall

annotate doc/manual/callconvs/callconv_arm32.tex @ 481:0fc22b5feac7