LLVM M.D.Source codeContentsIndex
MD.Syntax.Symbolic
MaintainerPaul Govereau <govereau@cs.harvard.edu>
Description
Abstract syntax for symbolic values.
Documentation
type Const = IntSource
data Common a Source
Constructors
Const Const
Proj PI a
GetElemPtr Type a [a]
BinOp Opr String Type a a
Conv ConvOp Type a Type
Select a a a
Alloc Type Integer a
Load Type a a
Store Type a a a
Call a [a] a
Phi Type a a a
show/hide Instances
Eq a => Eq (Common a)
Show a => Show (Common a)
data Term Source
Constructors
IVar Ident
CT (Common Ident)
data SValue s Source
Constructors
Var (STRef s (SValue s))
CV (Common (SValue s))
Omega
variable :: Ident
vartype :: Type
condition :: SValue s
sequences :: [Sequence s]
show/hide Instances
Eq (SValue s)
Show (SValue s)
data Sequence s Source
Constructors
SeqRules String (SValue s) (SValue s)
show/hide Instances
Eq (Sequence s)
Show (Sequence s)
Produced by Haddock version 2.6.0