DDC.Llvm.Transform.Simpl

LLVM program simplifier.

The LLVM compiler itself already contains a metric crapton of transforms that we don't want to re-implement here. However, these simple things are useful when normalising the code emitted by the code generator, so that the LLVM compiler will actually accept it.

Documentation

simpl :: Config -> Module -> Module

Simplify a module.

data Config

Simplifier config.

Constructors

Config

Fields

configDropNops :: Bool

Drop NOP instructions.

configSimplAlias :: Bool

Inline simple v1 v2 bindings.

configSimplConst :: Bool

Inline simple v1 const bindings.

NOTE: Inlining constants into phi nodes before the from labels for each in-edge are filled will lose information and render the program uncompilable.

configSquashUndef :: Bool

configZero :: Config

Config with all transforms disabled.