Compiler backend implementation for Noisy

Abstract

With this diploma thesis we develop a compiler backend for a subset of the programming language Noisy. Noisy is a new high level programming language designed for embedded systems and real-time computing platforms. Noisy aims to provide embedded systems designers and users with a new set of tools to simplify and also boost their work. Our current work implements the basic computational core of Noisy and should act as a solid foundation for the further development of this language. In this thesis we used the already implemented lexer and parser of Noisy and we created a semantic analyzer as well as a code generator. For the code generation we used the LLVM toolchain which enables us to generate assembly code for many different target architectures. Also, since Noisy aims to implement the CSP (Communicating sequential processes) model, we experimented on its implementation using the LLVM’s coroutines. Finally, we wrote and tested a variety of programs in Noisy in order to evaluate and measure our compiler’s performance as well as the performance of generated code.