Mercurial > pub > dyncall > dyncall
comparison doc/manual/callconvs/callconv_sparc64.tex @ 197:53c42b1d9f8b
- sparc doc improvements for both, 32 and 64
- changelog, mentioning sparc64 callback support
author | Tassilo Philipp |
---|---|
date | Sun, 19 Mar 2017 18:43:39 +0100 |
parents | 41d6945f5858 |
children | e07fb0bbddae |
comparison
equal
deleted
inserted
replaced
196:95cf20c0d1de | 197:53c42b1d9f8b |
---|---|
61 \paragraph{Parameter passing} | 61 \paragraph{Parameter passing} |
62 \begin{itemize} | 62 \begin{itemize} |
63 \item stack grows down | 63 \item stack grows down |
64 \item stack parameter order: right-to-left | 64 \item stack parameter order: right-to-left |
65 \item caller cleans up the stack | 65 \item caller cleans up the stack |
66 \item stack always aligned to 8 bytes | 66 \item stack frame is always aligned to 16 bytes |
67 \item first 6 integers are passed in registers using \%o0-\%o5 | 67 \item first 6 integers are passed in registers using \%o0-\%o5 |
68 \item first 8 quad precision floating point args (or 16 double precision, or 32 single precision) are passed in floating point registers (\%q0,\%q4,...,\%q28 or \%d0,\%d2,...,\%d30 or \%f0-\%f32, respectively) | 68 \item first 8 quad precision floating point args (or 16 double precision, or 32 single precision) are passed in floating point registers (\%q0,\%q4,...,\%q28 or \%d0,\%d2,...,\%d30 or \%f0-\%f32, respectively) |
69 \item for every other argument the stack is used | 69 \item for every other argument the stack is used |
70 \item for every floating point argument passed in a register, corresponding \%o* registers or stack space is skipped (e.g. if \%d0 is used for 3rd call argument, \%o2 is skipped and not used for subsequent integer arguments) | 70 \item single precision floating point args are passed in odd \%f* registers, and are "right aligned" in their 8-byte space on the stack |
71 \item for every argument passed, corresponding \%o*, \%f* register or stack space is skipped (e.g. passing a doube as 3rd call argument, \%d4 is used and \%o2 is skipped) | |
71 \item all arguments \textless=\ 64 bit are passed as 64 bit values | 72 \item all arguments \textless=\ 64 bit are passed as 64 bit values |
72 \item minimum stack size is 128 bytes, b/c stack pointer must always point at enough space to store all \%i* and \%l* registers, used when running out of register windows | 73 \item minimum stack size is 128 bytes, b/c stack pointer must always point at enough space to store all \%i* and \%l* registers, used when running out of register windows |
73 \item if needed, register spill area (for integer arguments passed via \%o0-\%o5) is adjacent to parameters | 74 \item if needed, register spill area (for integer arguments passed via \%o0-\%o5) is adjacent to parameters |
74 \item results are expected by caller to be returned in \%o0-\%o3 (after reg window restore, meaning callee writes to \%i0-\%i3) for integers, \%d0,\%d2,\%d4,\%d6 for floats, and for structs/unions a pointer to them is used as a hidden stack parameter (see below) | 75 \item results are expected by caller to be returned in \%o0-\%o3 (after reg window restore, meaning callee writes to \%i0-\%i3) for integers, \%d0,\%d2,\%d4,\%d6 for floats |
76 \item structs/unions up to 32b, the fields are returned via the respective registers mentioned in the previous bullet point | |
77 \item for structs/unions \textgreater= 32b, the caller allocates the space and a pointer to it is passed as hidden first parameter to the function called (meaning in \%o0) | |
75 \end{itemize} | 78 \end{itemize} |
76 | 79 |
77 \paragraph{Stack layout} | 80 \paragraph{Stack layout} |
78 | 81 |
79 Stack directly after function prolog:\\ | 82 Stack directly after function prolog:\\ |
81 \begin{figure}[h] | 84 \begin{figure}[h] |
82 \begin{tabular}{5|3|1 1} | 85 \begin{tabular}{5|3|1 1} |
83 \hhline{~-~~} | 86 \hhline{~-~~} |
84 & \vdots & & \\ | 87 & \vdots & & \\ |
85 \hhline{~=~~} | 88 \hhline{~=~~} |
86 local data & \hspace{4cm} & & \mrrbrace{10}{caller's frame} \\ | 89 local data (and padding) & \hspace{4cm} & & \mrrbrace{8}{caller's frame} \\ |
87 \hhline{~-~~} | 90 \hhline{~-~~} |
88 \mrlbrace{7}{parameter area} & argument x & \mrrbrace{3}{stack parameters} & \\ | 91 \mrlbrace{7}{parameter area} & argument x & \mrrbrace{3}{stack parameters} & \\ |
89 & \ldots & & \\ | 92 & \ldots & & \\ |
90 & argument 6 & & \\ | 93 & argument 6 & & \\ |
91 & input argument 5 spill & \mrrbrace{3}{spill area} & \\ | 94 & input argument 5 spill & \mrrbrace{3}{spill area} & \\ |
92 & \ldots & & \\ | 95 & \ldots & & \\ |
93 & input argument 0 spill & & \\ | 96 & input argument 0 spill & & \\ |
94 & struct/union return pointer & & \\ | |
95 \hhline{~-~~} | 97 \hhline{~-~~} |
96 register save area (\%i* and \%l*) & & & \\ | 98 register save area (\%i* and \%l*) & & & \\ |
97 \hhline{~=~~} | 99 \hhline{~=~~} |
98 local data & & & \mrrbrace{3}{current frame} \\ | 100 local data (and padding) & & & \mrrbrace{3}{current frame} \\ |
99 \hhline{~-~~} | 101 \hhline{~-~~} |
100 parameter area & & & \\ | 102 parameter area & & & \\ |
101 \hhline{~-~~} | 103 \hhline{~-~~} |
102 & \vdots & & \\ | 104 & \vdots & & \\ |
103 \hhline{~-~~} | 105 \hhline{~-~~} |