Mercurial > pub > dyncall > dyncall
annotate doc/manual/callconvs/callconv_sparc64.tex @ 478:6c72cb768099
callconv doc:
- mips o32 update w/ regards to aggregates
- mips o32 disas examples
- sparc64 doc fixes
author | Tassilo Philipp |
---|---|
date | Tue, 01 Mar 2022 00:16:50 +0100 |
parents | 5be9f5ccdd35 |
children | fc614cb865c6 |
rev | line source |
---|---|
328
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
1 %////////////////////////////////////////////////////////////////////////////// |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
2 % |
474
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
3 % Copyright (c) 2012-2022 Daniel Adler <dadler@uni-goettingen.de>, |
328
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
4 % Tassilo Philipp <tphilipp@potion-studios.com> |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
5 % |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
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:
297
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:
297
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:
297
diff
changeset
|
9 % |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
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:
297
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:
297
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:
297
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:
297
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:
297
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:
297
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:
297
diff
changeset
|
17 % |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
18 %////////////////////////////////////////////////////////////////////////////// |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
19 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
20 \subsection{SPARC64 Calling Conventions} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
21 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
22 \paragraph{Overview} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
23 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
24 The SPARC family of processors is based on the SPARC instruction set architecture, which comes in basically three revisions, |
474
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
25 V7, V8\cite{SPARCV8}\cite{SPARCSysV}\cite{SPARCCD} and V9\cite{SPARCV9}\cite{SPARCV9SysV}\cite{SPARCCD}. The former two are 32-bit (see previous chapter) whereas the latter refers to the 64-bit SPARC architecture. |
328
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
26 SPARC uses big endian byte order, however, V9 supports also little endian byte order, but for data access only, not instruction access.\\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
27 \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
28 There are two proposals, one from Sun and one from Hal, which disagree on how to handle some aspects of this calling convention.\\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
29 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
30 \paragraph{\product{dyncall} support} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
31 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
32 \product{dyncall} fully supports the SPARC 64-bit instruction set (V9), for calls and callbacks. |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
33 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
34 \subsubsection{SPARC (64-bit) Calling Convention} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
35 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
36 \begin{itemize} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
37 \item 32 double precision floating point registers (d0,d2,d4,...,d62, usable as 16 quad precision ones q0,q4,q8,...g60, and also first half of them are usable as 32 single precision registers f0-f31) |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
38 \item 32 64-bit integer/pointer registers out of a bigger (vendor/model dependent) number that are accessible at a time (8 are global ones (g*), whereas the remaining 24 form a register window with 8 input (i*), 8 output (o*) and 8 local (l*) ones) |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
39 \item calling a function shifts the register window, the old output registers become the new input registers (old local and input ones are not accessible anymore) |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
40 \item stack and frame pointer are offset by a BIAS of 2047 (see official doc for reasons) |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
41 \end{itemize} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
42 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
43 \begin{table}[h] |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
44 \begin{tabular*}{0.95\textwidth}{lll} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
45 Name & Alias & Brief description\\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
46 \hline |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
47 {\bf \%g0} & \%r0 & Read-only, hardwired to 0 \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
48 {\bf \%g1-\%g7} & \%r1-\%r7 & Global \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
49 {\bf \%o0-\%o3 and \%i0-\%i3} & \%r8-\%r11 and \%r24-\%r27 & Output and input argument registers, return value \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
50 {\bf \%o4,\%o5 and \%i4,\%i5} & \%r12,\%r13 and \%r28,\%r29 & Output and input argument registers \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
51 {\bf \%o6 and \%i6} & \%r14 and \%r30, \%sp and \%fp & Stack and frame pointer (NOTE, offset with a BIAS of 2047) \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
52 {\bf \%o7 and \%i7} & \%r15 and \%r31 & Return address (caller writes to o7, callee uses i7) \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
53 {\bf \%l0-\%l7} & \%r16-\%r23 & preserve \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
54 {\bf \%d0,\%d2,\%d4,\%d6} & & scratch, Floating point arguments, return value \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
55 {\bf \%d8,\%d10,...,\%d14} & & scratch, Floating point arguments \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
56 {\bf \%d16,\%d18,...,\%d30} & & scratch (preserve for Hal), Floating point arguments \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
57 {\bf \%d32,\%d34,...,\%d62} & & scratch (preserve for Hal) \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
58 \end{tabular*} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
59 \caption{Register usage on sparc64 calling convention} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
60 \end{table} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
61 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
62 \paragraph{Parameter passing} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
63 \begin{itemize} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
64 \item stack grows down |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
65 \item stack parameter order: right-to-left |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
66 \item caller cleans up the stack |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
67 \item stack frame is always aligned to 16 bytes |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
68 \item first 6 integers are passed in registers using \%o0-\%o5 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
69 \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-\%f31, respectively) |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
70 \item for every other argument the stack is used |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
71 \item single precision floating point args are passed in odd \%f* registers, and are "right aligned" in their 8-byte space on the stack |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
72 \item for every argument passed, corresponding \%o*, \%f* register or stack space is skipped (e.g. passing a double as 3rd call argument, \%d4 is used and \%o2 is skipped) |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
73 \item all arguments \textless=\ 64 bit are passed as 64 bit values |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
74 \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 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
75 \item if needed, register spill area (both, integer and float arguments are spilled in order) is adjacent to parameters |
475 | 76 \item structs with only one field are passed as if the param would be the field itself |
77 \item structs \textless=\ 16 bytes (which have more than one field) are passed field-by-field, {\bf however} evaluated as a sequence of 8-byte parameter slots | |
474
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
78 \begin{itemize} |
475 | 79 \item note that due to aggregate alignment rules, any floating point value is either the entire slot (for double precision) or exactly one half |
474
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
80 \item fields are left justified in register or stack slots |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
81 \item integers in a slot are passed as such (either via \%o* registers or the stack) |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
82 \item single precision floats (using half of the slot) use even numbered \%f* registers when they occupy the left half, odd numbered ones otherwise (no register skipping logic applied within a slot) |
475 | 83 \item splitting struct fields between registers and stack is allowed |
474
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
84 \end{itemize} |
475 | 85 \item unions \textless=\ 16 bytes passed by-value are passed like integers in left-justified 8-byte slots (either via \%o* registers or the stack) |
474
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
86 \item aggregates (struct, union) and types \textgreater\ 16 bytes are passed indirectly, as a pointer to a correctly aligned copy of the data (that copy can be avoided under certain conditions) |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
87 % from spec: |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
88 %Structure or union types up to eight bytes in size are assigned to one parameter array word, and align to eight-byte |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
89 %boundaries. |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
90 %Structure or union types larger than eight bytes, and up to sixteen bytes in size are assigned to two consecutive |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
91 %parameter array words, and align according to the alignment requirements of the structure or at least to an eight-byte |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
92 %boundary. |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
93 %Structure or union types are always left-justified, whether stored in registers or memory. The individual fields of a |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
94 %structure (or containing storage unit in the case of bit fields) are subject to promotion into registers based on their type |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
95 %using the same rules as apply to scalar values (with the addition that a single-precision floating-point number assigned |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
96 %to the left half of an argument slot will be promoted into the corresponding even-numbered float register.). Any union |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
97 %type being passed directly is subject to promotion into the appropriate integer register(s). |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
98 %Note that a sixteen-byte structure with all integral fields assigned to locations %sp+BIAS+168 and %sp+BIAS+176 will |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
99 %be “split,” as the contents of location %sp+BIAS+168 will be promoted to %o5. |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
100 %Structures or unions larger than sixteen bytes are copied by the caller and passed indirectly; the caller will pass the |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
101 %address of a correctly aligned structure value. This sixty-four bit address will occupy one word in the parameter array, |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
102 %and may be promoted to an %o register like any other pointer value. The callee may modify the addressed structure. |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
103 %The caller can omit the copy if such omission cannot be detected. That requires (at least) that: |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
104 %* the original aggregate is already properly aligned, |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
105 %* the original aggregate is not aliased, |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
106 %* the original aggregate is not used after the call, and |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
107 %* no language-specific semantics require the copy. |
328
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
108 \end{itemize} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
109 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
110 \paragraph{Return values} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
111 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
112 \begin{itemize} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
113 \item results are expected by caller to be returned in \%o0-\%o3 (after reg window restore, meaning callee writes to \%i0-\%i3) for integers |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
114 \item \%d0,\%d2,\%d4,\%d6 are used for floating point values |
478 | 115 \item the fields of aggregates (struct, union) \textless= 32 bytes are returned via registers mentioned above (which are |
474
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
116 assigned following the same logic as when passing the aggregate as a first argument to a function) |
478 | 117 \item aggregates (struct, union) \textgreater 32 bytes are returned in a space allocated by the caller, with a pointer to it |
474
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
118 passed as first parameter to the function called (meaning in \%o0) |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
119 % from spec: |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
120 %Structure and union return types up to thirty-two bytes in size are returned in registers. The registers are assigned as if |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
121 %the value was being passed as the first argument to a function with a known prototype. |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
122 %For types with a larger size the caller allocates an area large enough and aligned properly to hold the return value, and |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
123 %passes a pointer to that area as an implicit first argument (of type pointer-to-data) to the callee. This implicit argument |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
124 %logically precedes the first actual argument, and is allocated according to normal argument passing rules (i.e. into %o0). |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
125 %The callee must store the function return value in the result area before control is returned to the caller and after the last |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
126 %use or definition of any variable that might overlap with the result area. If the callee is terminated through any means |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
127 %other than a normal function return (e.g., through a call to the longjmp function), the contents of the result area are |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
128 %undefined. |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
129 %In the common case that the caller immediately assigns the returned value to a program variable, the caller may |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
130 %substitute the address of the assigned program variable in place of the allocated result area and omit the code to do the |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
131 %assignment, as long as this substitution does not change the program’s externally visible behavior. |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
132 %Note also that the caller is required to provide the implicit argument and a properly sized and aligned receiving area |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
133 %even if it does not wish to use the callee’s function result. In that case, the caller may simply pass a pointer to a scratch |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
134 %area. |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
135 %So that compilers are not forced to emit in-line code for structure copy, Section 6.2 defines a set of routines optimized |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
136 %for this purpose. In the case of a routine which had kept its first argument in %i0 and was returning a value pointed to |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
137 %by %i1, epilogue code would take the form: |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
138 % |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
139 %mov %i0, %o0 |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
140 %mov %i1, %o1 |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
141 %call __align_cpy_n |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
142 %mov size, %o2 |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
143 %ret |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
144 %restore %o0, %g0, %o0 |
c9e19249ecd3
- doc: sparc64 disas examples and doc additions regarding aggregates
Tassilo Philipp
parents:
330
diff
changeset
|
145 % |
328
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
146 \end{itemize} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
147 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
148 \paragraph{Stack layout} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
149 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
150 % verified/amended: TP nov 2019 (see also doc/disas_examples/sparc64.sparc64.disas) |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
151 Stack directly after function prolog:\\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
152 |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
153 \begin{figure}[h] |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
154 \begin{tabular}{5|3|1 1} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
155 & \vdots & & \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
156 \hhline{~=~~} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
157 local data (and padding) & \hspace{4cm} & & \mrrbrace{8}{caller's frame} \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
158 \hhline{~-~~} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
159 \mrlbrace{6}{parameter area} & arg n-1 & \mrrbrace{3}{stack parameters} & \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
160 & \ldots & & \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
161 & arg 6 & & \\ |
330 | 162 & \%o5 & \mrrbrace{3}{spill area} & \\ |
328
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
163 & \ldots & & \\ |
330 | 164 & \%o0 & & \\ |
328
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
165 \hhline{~-~~} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
166 register save area (\%i* and \%l*) & & & \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
167 \hhline{~=~~} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
168 local data (and padding) & & & \mrrbrace{3}{current frame} \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
169 \hhline{~-~~} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
170 parameter area & & & \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
171 \hhline{~-~~} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
172 & \vdots & & \\ |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
173 \end{tabular} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
174 \caption{Stack layout on sparc64 calling convention} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
175 \end{figure} |
276eb8c87aa0
- review and fixes, cleanup, amendments to calling convention appendix of manual
Tassilo Philipp
parents:
297
diff
changeset
|
176 |