ISO Pascal reference manual

Chapter 6
END;
6.2.3 Parameters
I a 32-bit real number I
*MOVLF_r,res; IMOVe Long (64-bit) to Floating (32-bit)]
Real320fReal := res
Parameters to a Pascal procedure are evaluated left-to-right, but are pushed
on the stack (using the 32000 TOS mechanism) in the order defined by the
Calling Standard, i.e. right-to-left. The following details govern the
individual parameter mechanisms:
VAR parameters
For all parameter types except conformant arrays, the address of the object
concerned is pushed as a 32-bit unsigned pointer; for (non- conformant)
arrays this is the address of the first element of the array.
A conformant array is passed as a VAR parameter by means of a number of
32-bit items, pushed on the stack in the following order:
1. The address of element [0] (or [0,0] etc) of the actual array parameter.
This is defined even if there is no such element in the array; for
instance the address of the 0 element of an array specified as 'ARRAY
[2..5] OF Char' is 2 bytes less than the address of the first actual
element. Where the bounds are of an enumerated type, the ordinal
value of the lower bound is used for this calculation.
2. For each dimension of the array, working from the right-most index to
the left-most, 3 items are pushed:
a. the ordinal value of the lower bound of this dimension of the actual
array parameter;
b. the ordinal value of the upper bound;
c. the size in bytes of this dimension of the array: this is determined
by considering the array in the form:
36 Pascal Issue 1