Safe Haskell	Safe-Inferred
Language	Haskell2010

SSA

Documentation

data Locality Source #

Constructors

Global
Local

data Var Source #

Constructors

Var
Fields id :: !VID tpe :: !Type astDecl :: !(Maybe (Either Argument FieldDecl)) loc :: !Range locality :: !Locality

Instances

Instances details

Generic Var Source #
Instance details Defined in SSA Associated Types type Rep Var :: Type -> Type # Methods from :: Var -> Rep Var x # to :: Rep Var x -> Var #
Show Var Source #
Instance details Defined in SSA Methods showsPrec :: Int -> Var -> ShowS # show :: Var -> String # showList :: [Var] -> ShowS #
type Rep Var Source #
Instance details Defined in SSA type Rep Var = D1 ('MetaData "Var" "SSA" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) (C1 ('MetaCons "Var" 'PrefixI 'True) ((S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VID) :: S1 ('MetaSel ('Just "tpe") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Type)) :: (S1 ('MetaSel ('Just "astDecl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (Either Argument FieldDecl))) :: (S1 ('MetaSel ('Just "loc") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Range) :: S1 ('MetaSel ('Just "locality") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Locality)))))

type VarList = [Var] Source #

type Label = Text Source #

data VarOrImm Source #

Constructors

BoolImm !Bool
IntImm !Int64
CharImm !Char
StringImm !Text
PtrImm !Int64
Variable !Var

Instances

Instances details

Show VarOrImm Source #
Instance details Defined in SSA Methods showsPrec :: Int -> VarOrImm -> ShowS # show :: VarOrImm -> String # showList :: [VarOrImm] -> ShowS #

data SSA Source #

Constructors

Assignment
Fields dst :: !Var src :: !VarOrImm
MethodCall
Fields dst :: !Var name :: !Name arguments :: ![Var]
Return
Fields ret :: !(Maybe VarOrImm)
Alloca
Fields dst :: !Var tpe :: !Type sz :: !(Maybe Int64)
Load
Fields dst :: !Var ptr :: !VarOrImm
Store
Fields ptr :: !VarOrImm src :: !VarOrImm
Arith
Fields dst :: !Var arithOp :: !ArithOp opl :: !VarOrImm opr :: !VarOrImm
Rel
Fields dst :: !Var relOp :: !RelOp opl :: !VarOrImm opr :: !VarOrImm
Cond
Fields dst :: !Var condOp :: !CondOp opl :: !VarOrImm opr :: !VarOrImm
Eq
Fields dst :: !Var eqOp :: !EqOp opl :: !VarOrImm opr :: !VarOrImm
Neg
Fields dst :: !Var negOp :: !NegOp oprand :: !VarOrImm
Not
Fields dst :: !Var notOp :: !NotOp oprand :: !VarOrImm
Phi
Fields dst :: !Var predecessors :: ![(Var, BBID)]
AllocaStr
Fields dst :: !Var content :: !Text tpe :: !Type
BrUncon
Fields target :: !Label
BrCon
Fields pred :: !VarOrImm targetT :: !Label targetF :: !Label

Instances

Instances details

Generic SSA Source #
Instance details Defined in SSA Associated Types type Rep SSA :: Type -> Type # Methods from :: SSA -> Rep SSA x # to :: Rep SSA x -> SSA #
Show SSA Source #
Instance details Defined in SSA Methods showsPrec :: Int -> SSA -> ShowS # show :: SSA -> String # showList :: [SSA] -> ShowS #
type Rep SSA Source #
Instance details Defined in SSA type Rep SSA = D1 ('MetaData "SSA" "SSA" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) ((((C1 ('MetaCons "Assignment" 'PrefixI 'True) (S1 ('MetaSel ('Just "dst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :: S1 ('MetaSel ('Just "src") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm)) :+: C1 ('MetaCons "MethodCall" 'PrefixI 'True) (S1 ('MetaSel ('Just "dst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name) :: S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Var])))) :+: (C1 ('MetaCons "Return" 'PrefixI 'True) (S1 ('MetaSel ('Just "ret") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe VarOrImm))) :+: C1 ('MetaCons "Alloca" 'PrefixI 'True) (S1 ('MetaSel ('Just "dst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :: (S1 ('MetaSel ('Just "tpe") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Type) :: S1 ('MetaSel ('Just "sz") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Int64)))))) :+: ((C1 ('MetaCons "Load" 'PrefixI 'True) (S1 ('MetaSel ('Just "dst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :: S1 ('MetaSel ('Just "ptr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm)) :+: C1 ('MetaCons "Store" 'PrefixI 'True) (S1 ('MetaSel ('Just "ptr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm) :: S1 ('MetaSel ('Just "src") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm))) :+: (C1 ('MetaCons "Arith" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :: S1 ('MetaSel ('Just "arithOp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ArithOp)) :: (S1 ('MetaSel ('Just "opl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm) :: S1 ('MetaSel ('Just "opr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm))) :+: C1 ('MetaCons "Rel" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :: S1 ('MetaSel ('Just "relOp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RelOp)) :: (S1 ('MetaSel ('Just "opl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm) :: S1 ('MetaSel ('Just "opr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm)))))) :+: (((C1 ('MetaCons "Cond" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :: S1 ('MetaSel ('Just "condOp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CondOp)) :: (S1 ('MetaSel ('Just "opl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm) :: S1 ('MetaSel ('Just "opr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm))) :+: C1 ('MetaCons "Eq" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :: S1 ('MetaSel ('Just "eqOp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EqOp)) :: (S1 ('MetaSel ('Just "opl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm) :: S1 ('MetaSel ('Just "opr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm)))) :+: (C1 ('MetaCons "Neg" 'PrefixI 'True) (S1 ('MetaSel ('Just "dst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :: (S1 ('MetaSel ('Just "negOp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NegOp) :: S1 ('MetaSel ('Just "oprand") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm))) :+: C1 ('MetaCons "Not" 'PrefixI 'True) (S1 ('MetaSel ('Just "dst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :: (S1 ('MetaSel ('Just "notOp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NotOp) :: S1 ('MetaSel ('Just "oprand") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm))))) :+: ((C1 ('MetaCons "Phi" 'PrefixI 'True) (S1 ('MetaSel ('Just "dst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :: S1 ('MetaSel ('Just "predecessors") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Var, BBID)])) :+: C1 ('MetaCons "AllocaStr" 'PrefixI 'True) (S1 ('MetaSel ('Just "dst") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :: (S1 ('MetaSel ('Just "content") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "tpe") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Type)))) :+: (C1 ('MetaCons "BrUncon" 'PrefixI 'True) (S1 ('MetaSel ('Just "target") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Label)) :+: C1 ('MetaCons "BrCon" 'PrefixI 'True) (S1 ('MetaSel ('Just "pred") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarOrImm) :: (S1 ('MetaSel ('Just "targetT") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Label) :: S1 ('MetaSel ('Just "targetF") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Label)))))))