7.3.1 How a Function Makes a Call

A function (parent function) performs the following tasks when it calls another function (child function).

  1. Any registers whose values are not necessarily preserved by the function being called (registers that are not save-on-entry (SOE) registers), but will be needed after the function returns are saved on the stack.
  2. If the called function returns a structure, the calling function allocates the space for the structure and pass the address of that space to the called function as the first argument.
  3. Arguments passed to the called function are placed in registers and, when necessary, placed on the stack.

    4. Arguments are placed in registers using the following scheme:

    1. If the target is FPU and there are any 32-bit float arguments, the first four float arguments are placed in registers R0H-R3H.
    2. If there are any 64-bit floating point arguments (long doubles), they are passed by reference.
    3. If there are any 64-bit integer arguments (long long), the first is placed in ACC and P (ACC holds the upper 32 bits and P holds the lower 32 bits). All other 64-bit integer arguments are placed on the stack in reverse order.

      4. If the P register is used for argument passing, then prolog/epilog abstraction is disabled for that function. See Section 3.13 for more information on abstraction.

    4. If there are any 32-bit arguments (longs or floats), the first is placed in the 32-bit ACC (AH/AL). All other 32-bit arguments are placed on the stack in reverse order.
      5. func1(long a, long long b, int c, int* d); stack ACC/P XAR5, XAR4
    5. Pointer arguments are placed in XAR4 and XAR5. All other pointers are placed on the stack.
    6. Remaining 16-bit arguments are placed in the order AL, AH, XAR4, XAR5 if they are available.

  4. Any remaining arguments not placed in registers are pushed on the stack in reverse order. That is, the leftmost argument that is placed on the stack is pushed on the stack last. All 32-bit arguments are aligned to even addresses on the stack.

    5. A structure argument is passed as the address of the structure. The called function must make a local copy.

    For a function declared with an ellipsis, indicating that it is called with varying numbers of arguments, the convention is slightly modified. The last explicitly declared argument is passed on the stack so that its stack address can act as a reference for accessing the undeclared arguments.

  5. The stack pointer (SP) must be even-aligned by the parent function prior to making a call to the child function. This is done by incrementing the stack pointer by 1, if necessary. If needed, the coder should increment the SP before making the call.

    6. Some examples of function calls that show where arguments are placed are listed below:

    func1 (int a, int b. long c) XAR4 XAR5 AH/AL func1 (long a, int b, long c) ; AH/AL XAR4 stack vararg (int a, int b, int c, ...) AL AH stack
  6. The caller calls the function using the LCR instruction. The RPC register value is pushed on the stack. The return address is then stored in the RPC register.
  7. The stack is aligned at function boundary.