Intel i960 User Manual page 262

Language Implementation
Selection Criteria and Coercion
If a control line contains an
declarations, the control line unconditionally matches any call.
If a control line contains any parameter declarations or does not contain an
or control, the control line matches a call only when the
error call
argument categories match the parameter declarations in the control line.
If an or control line contains parameter declarations, the
error call
compiler generates the message or function call only if the parameter
classes match the call context.
The compiler processes
•
Checking the function for correct syntax and semantics. If any of
asm
the following control lines are present, the compiler reports an error:

or
error call
 an
control line with more than one line of template text
error
 a
control line with any template text
call
•
Reporting an error, if an
parameter declarations is not the last control line in the
definition.
•
Ensuring that all control lines contain either parameter declarations or
an unconditionally matching control by adding default parameter
declarations for all parameters declared in the function prototype to
any control line that does not already contain
parameter declarations. This action includes adding parameter
declarations to a control line containing
controls but no parameter declarations. Default parameter
declarations use
tmpreg
parameters.
or control and no parameter
error call
functions by doing the following:
asm
with any other control (
or control line without
error call
spillall
class for and
return
, , or
spillall use label
function
asm
, , or
error call
, , or
use label
class for
reglit
7
)
7-73