Static Single Assignment (SSA) form in an Embedded Compiler

Affiliated to

Description

For use by embedded systems, STMicroelectronics in Manno is currently developing a Just-In-Time (JIT) compiler that translates the .NET byte-code of Microsoft, also known as MSIL or CIL (Common Intermediate Language), into native code. The CIL format is more expressive than Java byte-codes and is already used by several open-source projects, in particular Mono and DotGNU Portable.NET.

The purpose of this internship is to work on the SSA optimizations inside the STMicroelectronics JIT compiler, in particular the transformation of conditional code into predicated code. In predicated code, explicit branches are replaced by instructions like conditional moves or conditional selections. The target processors for the STMicroelectronics JIT compiler are the ARM and the STMicroelectronics ST200 processors. Development is done in C language on Linux.