Safety in numbers
Additional product documentation
The SPARC design includes 32 integer registers and 32 floating point registers. Integer registers are accessed via a window mechanism that reveals eight new registers on each subprogram call. These are managed by the register allocator.
Read moreThis post lists the units in the Ada 95 predefined library, and indicates whether a unit is supported or not. The answer “Yes” means the unit is supported in the default profile, and maybe in the other profiles. The answer “Restricted…” means the unit is not supported in any profile because of a built-in restriction.
Read moreThis note defines how the Ada 95 restrictions, accessible through the pragma Restrictions, are supported. Unsafe features such as run-time dispatching and heap management are not supported in the run-time system, so all the restrictions that are relevant for these features are set to True by default.
Read moreBenchmark programs are used by compiler vendors as a standard for compiler assessment, and are selected to cover interesting aspects of the compiler and target computer. We use Ackermann, Sieve and Whetstone.
Read moreNote: originally posted year 2000. ERC32 Ada has a compact high-performance run-time system that is considerably smaller and faster than others we have evaluated. Some time ago, we looked at another GNAT-based compiler using the RTEMS real-time kernel and compared its performance with ERC32 Ada. The results are summarized in this report. The information was prepared December 1999 in response […]
Read moreAll XGC compilers are designed for hard real-time applications and offer a small run-time footprint and fast response to real-time events. The default profile offers a wide range of real-time features that will be suitable for most applications. For more critical applications, XGC Ada compilers support the Ravenscar profile. This places further restrictions on Ada language features acceptable to the […]
Read more