ICC Ada Technologies

ICC's Ada compiler is tuned for fast program builds and very efficient target code. The Ada runtime is compact, easily customized and noted for its exceptional execution speed. ICC Ada supports both shared and macro generic implementations and all Ada Language Reference Manual Chapter 13 optional features required by embedded and system programmers. Support for length clauses, bit-level representation clauses, machine code insertions, subprogram inlining, and optional pragmas and attributes provides the flexibility and features necessary for time- and space-critical applications. Easy interfacing to other languages simplifies integration with existing C and assembly code.

The Ada graphical debugger provides a nonintrusive debugging environment with both graphical and line-oriented interfaces. Both interfaces allow easy access to Ada variables, types, subprograms, and library units using Ada syntax. The graphical debugger also provides simple point-and-click access to values as well as simultaneous display of many different windows (including different source files) and a structure editor for complex Ada data structures.

Ada 95 validated using ACVC 2.0.1. See our validation announcement.

• Support Tools
  • Source-level debugger with command-line-oriented and graphical user interface
  • Compilation unit manager and automatic build facility
  • Low-level Target Monitor interface for direct access to target
• Language Features
  • 8, 16, and 32-bit signed and unsigned integers
  • 32 and 16-bit floats
  • Shared and macro generics
  • Chapter 13 support
  • Enumeration representation clauses
  • Bit-level record representation clauses
  • Representation attributes
  • Address and length clauses
  • Machine code insertions
  • Easy interfacing to C and assembly
  • Shift and masking packages for bit manipulation
• Graphical Debugger
  • Non-intrusive access to registers, memory locations, and internal structures
  • Debug execution inside generics
  • Supports for breakpoints, conditional breakpoints, and watchpoints
  • Support for user-defined commands and function keys
• Optimizations
  • Value following
  • Common subexpression reduction
  • Redundant check elimination
  • Variable lifetiming
  • Unreferenced code elimination
  • Jump straightening
  • Constant folding
  • Algebraic simplification
  • Dead assignment and code elimination
  • Options specifiable in Ada source or on command line
• Predefined Pragmas
  • Elaborate, Export, Inline, Interface, List, Optimize Pack, Page, Priority, Pure, Suppress, Volatile
• ICC-Defined Pragmas
  • Interface_name, No_zero, Put, Put_line, and others
• Ada Runtime
  • All sources included with compiler (except tasking), royalty-free
  • Preemptive tasking with ARTEWG (CIFO) extensions
  • Blocking and Nonblocking I/O
• Advisory Warnings
  • Missing return statements
  • Exceptions to be raised at run time
  • Variables never initialized or modified
  • Unused variable and parameters
  • Dead assignments
• Compilation Library System
  • Automatic build from Ada source files
  • Automatic recompilation from dependencies
  • Support for non-Ada files
• Easy Integration with C
  • INTERFACE and EXPORT pragmas allow calls to C from Ada and to Ada from C
  • Supports passing of both scalar and structure parameters to C
  • Pragma FOREIGN for automatic import of C files and libraries
  • Compatible object file format