| 1 |
709 |
jeremybenn |
IQ2000 ABI
|
| 2 |
|
|
=========
|
| 3 |
|
|
|
| 4 |
|
|
Sizes and alignments
|
| 5 |
|
|
--------------------
|
| 6 |
|
|
|
| 7 |
|
|
Type Size (bytes) Alignment (bytes)
|
| 8 |
|
|
|
| 9 |
|
|
char 1 1
|
| 10 |
|
|
short 2 2
|
| 11 |
|
|
int 4 4
|
| 12 |
|
|
unsigned 4 4
|
| 13 |
|
|
long 4 4
|
| 14 |
|
|
long long 8 8
|
| 15 |
|
|
float 4 4
|
| 16 |
|
|
double 8 8
|
| 17 |
|
|
pointers 4 4
|
| 18 |
|
|
|
| 19 |
|
|
* alignment within aggregates (structs and unions) is as above, with
|
| 20 |
|
|
padding added if needed
|
| 21 |
|
|
* aggregates have alignment equal to that of their most aligned
|
| 22 |
|
|
member
|
| 23 |
|
|
* aggregates have sizes which are a multiple of their alignment
|
| 24 |
|
|
|
| 25 |
|
|
|
| 26 |
|
|
Floating point
|
| 27 |
|
|
--------------
|
| 28 |
|
|
|
| 29 |
|
|
All emulated using IEEE floating point conventions.
|
| 30 |
|
|
|
| 31 |
|
|
Registers
|
| 32 |
|
|
----------------
|
| 33 |
|
|
|
| 34 |
|
|
%0 always zero
|
| 35 |
|
|
%1 call clobbered
|
| 36 |
|
|
%2 return value
|
| 37 |
|
|
%3 return value
|
| 38 |
|
|
%4 argument register 1
|
| 39 |
|
|
%5 argument register 2
|
| 40 |
|
|
%6 argument register 3
|
| 41 |
|
|
%7 argument register 4
|
| 42 |
|
|
%8 argument register 5
|
| 43 |
|
|
%9 argument register 6
|
| 44 |
|
|
%10 argument register 7
|
| 45 |
|
|
%11 argument register 8
|
| 46 |
|
|
%12 call clobbered
|
| 47 |
|
|
%13 call clobbered
|
| 48 |
|
|
%14 call clobbered
|
| 49 |
|
|
%15 call clobbered
|
| 50 |
|
|
%16 call saved
|
| 51 |
|
|
%17 call saved
|
| 52 |
|
|
%18 call saved
|
| 53 |
|
|
%19 call saved
|
| 54 |
|
|
%20 call saved
|
| 55 |
|
|
%21 call saved
|
| 56 |
|
|
%22 call saved
|
| 57 |
|
|
%23 call saved
|
| 58 |
|
|
%24 call clobbered
|
| 59 |
|
|
%25 call clobbered
|
| 60 |
|
|
%26 reserved
|
| 61 |
|
|
%27 frame ptr
|
| 62 |
|
|
%28 global ptr
|
| 63 |
|
|
%29 stack ptr
|
| 64 |
|
|
%30 reserved
|
| 65 |
|
|
%31 return address
|
| 66 |
|
|
|
| 67 |
|
|
Stack alignment 8 bytes
|
| 68 |
|
|
|
| 69 |
|
|
Structures passed <= 32 bits as values, else as pointers
|
| 70 |
|
|
|
| 71 |
|
|
The IQ2000 Stack
|
| 72 |
|
|
---------------
|
| 73 |
|
|
|
| 74 |
|
|
Space is allocated as needed in the stack frame for the following at compile
|
| 75 |
|
|
time:
|
| 76 |
|
|
|
| 77 |
|
|
* Outgoing parameters beyond the eighth
|
| 78 |
|
|
|
| 79 |
|
|
* All automatic arrays, automatic data aggregates, automatic
|
| 80 |
|
|
scalars which must be addressable, and automatic scalars for
|
| 81 |
|
|
which there is no room in registers
|
| 82 |
|
|
|
| 83 |
|
|
* Compiler-generated temporary values (typically when there are
|
| 84 |
|
|
too many for the compiler to keep them all in registers)
|
| 85 |
|
|
|
| 86 |
|
|
Space can be allocated dynamically (at runtime) in the stack frame for the
|
| 87 |
|
|
following:
|
| 88 |
|
|
|
| 89 |
|
|
* Memory allocated using the alloca() function of the C library
|
| 90 |
|
|
|
| 91 |
|
|
Addressable automatic variables on the stack are addressed with positive
|
| 92 |
|
|
offsets relative to %27; dynamically allocated space is addressed with positive
|
| 93 |
|
|
offsets from the pointer returned by alloca().
|
| 94 |
|
|
|
| 95 |
|
|
Stack Frame
|
| 96 |
|
|
-----------
|
| 97 |
|
|
|
| 98 |
|
|
+-----------------------+
|
| 99 |
|
|
| Caller memory args |
|
| 100 |
|
|
+-----------------------+ <-sp
|
| 101 |
|
|
| Return address |
|
| 102 |
|
|
+-----------------------+
|
| 103 |
|
|
| Previous FP |
|
| 104 |
|
|
+-----------------------+
|
| 105 |
|
|
| Saved Registers |
|
| 106 |
|
|
+-----------------------+
|
| 107 |
|
|
| ... |
|
| 108 |
|
|
+-----------------------+
|
| 109 |
|
|
| Local Variables |
|
| 110 |
|
|
+-----------------------+ <-fp
|
| 111 |
|
|
| Alloca |
|
| 112 |
|
|
+-----------------------+
|
| 113 |
|
|
| ... |
|
| 114 |
|
|
+-----------------------+
|
| 115 |
|
|
| Parameter Word 2 |
|
| 116 |
|
|
+-----------------------+
|
| 117 |
|
|
| Parameter Word 1 |
|
| 118 |
|
|
+-----------------------+ <-sp
|
| 119 |
|
|
|
| 120 |
|
|
|
| 121 |
|
|
Parameter Assignment to Registers
|
| 122 |
|
|
---------------------------------
|
| 123 |
|
|
|
| 124 |
|
|
Consider the parameters in a function call as ordered from left (first
|
| 125 |
|
|
parameter) to right. GR contains the number of the next available
|
| 126 |
|
|
general-purpose register. STARG is the address of the next available stack
|
| 127 |
|
|
parameter word.
|
| 128 |
|
|
|
| 129 |
|
|
INITIALIZE:
|
| 130 |
|
|
Set GR=r4 and STARG to point to parameter word 1.
|
| 131 |
|
|
|
| 132 |
|
|
SCAN:
|
| 133 |
|
|
If there are no more parameters, terminate.
|
| 134 |
|
|
Otherwise, select one of the following depending on the type
|
| 135 |
|
|
of the next parameter:
|
| 136 |
|
|
|
| 137 |
|
|
SIMPLE ARG:
|
| 138 |
|
|
|
| 139 |
|
|
A SIMPLE ARG is one of the following:
|
| 140 |
|
|
|
| 141 |
|
|
* One of the simple integer types which will fit into a
|
| 142 |
|
|
general-purpose register,
|
| 143 |
|
|
* A pointer to an object of any type,
|
| 144 |
|
|
* A struct or union small enough to fit in a register (<= 32 bits)
|
| 145 |
|
|
* A larger struct or union, which shall be treated as a
|
| 146 |
|
|
pointer to the object or to a copy of the object.
|
| 147 |
|
|
(See below for when copies are made.)
|
| 148 |
|
|
|
| 149 |
|
|
If GR > r11, go to STACK. Otherwise, load the parameter value into
|
| 150 |
|
|
general-purpose register GR and advance GR to the next general-purpose
|
| 151 |
|
|
register. Values shorter than the register size are sign-extended or
|
| 152 |
|
|
zero-extended depending on whether they are signed or unsigned. Then
|
| 153 |
|
|
go to SCAN.
|
| 154 |
|
|
|
| 155 |
|
|
DOUBLE or LONG LONG
|
| 156 |
|
|
|
| 157 |
|
|
If GR > r10, go to STACK. Otherwise, if GR is odd, advance GR to the
|
| 158 |
|
|
next register. Load the 64-bit long long or double value into register
|
| 159 |
|
|
pair GR and GR+1. Advance GR to GR+2 and go to SCAN.
|
| 160 |
|
|
|
| 161 |
|
|
STACK:
|
| 162 |
|
|
|
| 163 |
|
|
Parameters not otherwise handled above are passed in the parameter
|
| 164 |
|
|
words of the caller's stack frame. SIMPLE ARGs, as defined above, are
|
| 165 |
|
|
considered to have size and alignment equal to the size of a
|
| 166 |
|
|
general-purpose register, with simple argument types shorter than this
|
| 167 |
|
|
sign- or zero-extended to this width. Round STARG up to a multiple of
|
| 168 |
|
|
the alignment requirement of the parameter and copy the argument
|
| 169 |
|
|
byte-for-byte into STARG, STARG+1, ... STARG+size-1. Set STARG to
|
| 170 |
|
|
STARG+size and go to SCAN.
|
| 171 |
|
|
|
| 172 |
|
|
|
| 173 |
|
|
Structure passing
|
| 174 |
|
|
-----------------
|
| 175 |
|
|
|
| 176 |
|
|
As noted above, code which passes structures and unions by value is implemented
|
| 177 |
|
|
specially. (In this section, "struct" will refer to structs and unions
|
| 178 |
|
|
inclusively.) Structs small enough to fit in a register are passed by value in
|
| 179 |
|
|
a single register or in a stack frame slot the size of a register. Structs
|
| 180 |
|
|
containing a single double or long long component are passed by value in two
|
| 181 |
|
|
registers or in a stack frame slot the size of two registers. Other structs
|
| 182 |
|
|
are handled by passing the address of the structure. In this case, a copy of
|
| 183 |
|
|
the structure will be made if necessary in order to preserve the pass-by-value
|
| 184 |
|
|
semantics.
|
| 185 |
|
|
|
| 186 |
|
|
Copies of large structs are made under the following rules:
|
| 187 |
|
|
|
| 188 |
|
|
ANSI mode K&R Mode
|
| 189 |
|
|
--------- --------
|
| 190 |
|
|
Normal param Callee copies if needed Caller copies
|
| 191 |
|
|
Varargs (...) param Caller copies Caller copies
|
| 192 |
|
|
|
| 193 |
|
|
In the case of normal (non-varargs) large-struct parameters in ANSI mode, the
|
| 194 |
|
|
callee is responsible for producing the same effect as if a copy of the
|
| 195 |
|
|
structure were passed, preserving the pass-by-value semantics. This may be
|
| 196 |
|
|
accomplished by having the callee make a copy, but in some cases the callee may
|
| 197 |
|
|
be able to determine that a copy is not necessary in order to produce the same
|
| 198 |
|
|
results. In such cases, the callee may choose to avoid making a copy of the
|
| 199 |
|
|
parameter.
|
| 200 |
|
|
|
| 201 |
|
|
|
| 202 |
|
|
Varargs handling
|
| 203 |
|
|
----------------
|
| 204 |
|
|
|
| 205 |
|
|
No special changes are needed for handling varargs parameters other than the
|
| 206 |
|
|
caller knowing that a copy is needed on struct parameters larger than a
|
| 207 |
|
|
register (see above).
|
| 208 |
|
|
|
| 209 |
|
|
The varargs macros set up a register save area for the general-purpose
|
| 210 |
|
|
registers to be saved. Because the save area lies between the caller and
|
| 211 |
|
|
callee stack frames, the saved register parameters are contiguous with
|
| 212 |
|
|
parameters passed on the stack. A pointer advances from the register save area
|
| 213 |
|
|
into the caller's stack frame.
|
| 214 |
|
|
|
| 215 |
|
|
|
| 216 |
|
|
Function return values
|
| 217 |
|
|
----------------------
|
| 218 |
|
|
|
| 219 |
|
|
Type Register
|
| 220 |
|
|
---- --------
|
| 221 |
|
|
int r2
|
| 222 |
|
|
short r2
|
| 223 |
|
|
long r2
|
| 224 |
|
|
long long r2-r3
|
| 225 |
|
|
float r2
|
| 226 |
|
|
double r2-r3
|
| 227 |
|
|
struct/union see below
|
| 228 |
|
|
|
| 229 |
|
|
Structs/unions which will fit into two general-purpose registers are returned
|
| 230 |
|
|
in r2, or in r2-r3 if necessary. Larger structs/unions are handled by the
|
| 231 |
|
|
caller passing as a "hidden" first argument a pointer to space allocated to
|
| 232 |
|
|
receive the return value.
|
| 233 |
|
|
|
| 234 |
|
|
|
| 235 |
|
|
Copyright (C) 2003 Free Software Foundation, Inc.
|
| 236 |
|
|
|
| 237 |
|
|
Copying and distribution of this file, with or without modification,
|
| 238 |
|
|
are permitted in any medium without royalty provided the copyright
|
| 239 |
|
|
notice and this notice are preserved.
|