Ada 83 TLALOC
Ada 83 / TLALOC compiler
What is Ada 83 / TLALOC ?
Ada 83 TLALOC is a modern resurrection of a pure Ada 83 MIL-STD-1815A compiler. It is all written in Ada 83 so that it can compile itself.
Its backend produces direct binary ELF through fasmg macros for a stack machine LLIR.
Ada 83 / TLALOC sources
It can be examined here :
light sources repository :
heavier historical repositories with documentation and modifications journals :
Origin of Ada 83 / TLALOC
TLALOC compiler originates from a series of tools for Ada 83 compiling to DIANA intermediate representation. Those tools were written in Ada 83 themselves and published in the Ada Software Repository in the 1990ies.
Vincent Morin from the Université de Bretagne Occidentale (Brest, France) reunited the Ada source code for separate phases in a homogeneous Ada 83 front-end and extensively modified the tree structure to adapt it to Gnat in Ada 83 mode and clarify some DIANA tree data structures.
Then V.Morin estimated that Ada 83 should have a modern dedicated compiler. Gnat has a -gnat83 option flag, but this well known compiler is essentially an Ada 9X, 2X very big compiler system with a compatible Ada 83 mode. Some Ada 83 rules are not exactly respected by Gnat.
An expander backend has thus been written with the most direct path to a binary executable : produce stack machine LLIR macro instructions for the fasmg assembly machine. This allows for direct production of a static ELF-64 binary.