DDC.Llvm.Analysis.Defs

Documentation

data Def

How a variable is defined.

Constructors

DefVar

Variable is given a non-constant value.

DefAlias Var

Variable is an alias of another variable.

DefClosedConstant Exp

Variable binds some closed, constant expression.

Instances

Show Def

takeDefOfInstr :: Instr -> Maybe (Var, Def)

If this instruction defines a variable, then collect some information about it.

defsOfBlock :: Block -> Map Var (Label, Def)

Collect information about how all the local variables in this block are defined.