Automatic C Compiler Generation from Architecture Description Language ISAC

Adam Husar, Miloslav Trmac, Jan Hranac, Tomas Hruska & Karel Masarik
This paper deals with retargetable compiler generation. After an introduction to application-specific instruction set processor design and a review of code generation in compiler backends, ISAC architecture description language is introduced. Automatic approach to instruction semantics extraction from ISAC models which result is usable for backend generation is presented. This approach was successfully tested on three models of MIPS, ARM and TI MSP430 architectures. Further backend generation process that uses extracted instruction is semantics presented....