Safe Haskell | None |
---|---|
Language | Haskell98 |
Flatten out the extended operators in our expression type to instructions that the LLVM compiler will accept directly.
The LLVM expresion language is anemic by design. During code generation we use a fatter language, but now need to flatten out the extra operators into plain LLVM instructions.
This transform is kept separate from the Simpl
as it the input and
output programs are in different (sub) languages.