Potential Error Conditions

If the use of arithmetic services is enabled, the code generator depends on the validity and completeness of the arithmetic services.

The following error message (MIle20) is generated if an arithmetic service is required for an operation, but is not found in the selected set:

Arithmetic service <name> required but not defined.

This behavior is limited to all operations that are derived from purely arithmetic operations (+, -, *,/, abs, neg).

To ensure that a corresponding arithmetic service is defined for each operation, the standard operations can be integrated into the corresponding set by adding wildcard functions. In this case, a corresponding entry must be present for each operation that is derived from an arithmetic operation (+, -, *,/, abs, neg).

For an addition, this entry would appear as follows:

+|*|*|*=(%i1% + %i2%)

For a combined multiplication/division, it would appear as such:

*/|*|*|*|*=((%i1% * %i2%) / %i3%)

The code generator then replaces the wildcards * with all theoretically possible combinations of types.

If all elements that are directly connected to an arithmetic operation (+, -, *, /, abs, neg) are implementation casts, and the user has specified differing quantizations for these, ASCET generates the following warning

Usage of arithmetic service <name> requires extra code for requantization