Ada, Alpha & IEEE Computational Models?

[John Connett <jrc@art.co.uk>]

The Alpha architecture provides a choice of three IEEE computational
models:

    *   IEEE compliant arithmetic;
    *   IEEE compilant arithmetic without inexact exception;
    *   High performance IEEE-format arithmetic.

The model used is controlled by instruction qualifiers.  The choice of
model can have an impact on the speed of the code.

For the language systems with which I am familiar, gcc/egcs on Alpha
Linux, the choice of computational model is made on a per compilation
unit basis through the use of compile time switches.

The use of pragmas would seem to offer a mechanism for finer control of
the computational model within compilation units.  Do any existing Ada
language systems which target the Alpha architecture offer this level of
control?

Any pointer to further information on this topic would be gratefully
received.

Regards
--
John Connett (jrc@art.co.uk)