DDC.Llvm.Transform.Flatten

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.

Documentation

flatten :: Module -> Module

Flatten expressions in a module.