Intel i960 - Page 262

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