| LEON Ada (DRAFT): For mission-critical applications using the LEON 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)
ELF
Motorola S-Records
Intel 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 might be lost.
LEON Ada provides information for other tools, notably the GNU debugger GDB and the GNU profiler GPROF. GPROF is not included with LEON 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. LEON 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.