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.