| ERC32 Ada Technical Summary: For mission-critical applications using the ERC32 spacecraft computer | ||
|---|---|---|
| Prev | Chapter 6. Cross-Compiler and Run-Time Interfacing | Next |
The compiler generates assembly language, which is automatically passed to the assembler. The assembler generates object code, and several different object code formats are supported. The utility program objcopy may be used to change the format among any of those supported.
The final program representation is one of a number of industry-standard formats, including but not limited to the following:
COFF (default)
Motorola S-Records
Intel Hex
Tek Hex
The default format is COFF, which can include symbolic information to help with debugging. When COFF files are converted into the other formats, some or all of the debugging information is lost.
ERC32 Ada provides information for other tools—notably the GNU debugger GDB and the GNU profiler GPROF. GPROF is not included with ERC32 Ada, but may be used with a native Ada compiler to provide a useful analysis of software that is intended to be run on the target microprocessor. ERC32 Ada can also provide information for future program analysis tools. This is done by an implementation-defined pragma that allows the programmer to annotate the Ada source with arbitrary comments that are preserved in the internal data structures.