Improving Haskell Code Generation
|
Supervisor |
|
|
Suitable for |
Mathematics and Computer Science, Part C
|
Abstract
The Glasgow Haskell Compiler (GHC) is a widely used, industrial strength compiler for Haskell that is able to produce bytecode that can be compiled by the Low Level Machine (LLVM) compiler infrastructure. This project is an investigation into Haskell's LLVM backend, with the aim of improving the code that is generated.
Currently Haskell directly outputs LLVM instructions which are then parsed by the LLVM tools before compilation. The goal of this project is to replace this mechanism by directly interfacing with the LLVM API, thus reducing the time it takes to compile code, and making the backend more robust to future changes in the LLVM backend.