Safe Haskell	None
Language	Haskell2010

Kempe.IR.Type

Description

IR loosely based on Appel book.

Documentation

data Stmt Source #

Constructors

Labeled Label
Jump Label
CJump Exp Label Label
MJump Exp Label
CCall MonoStackType ByteString
KCall Label
WrapKCall ABI MonoStackType ByteString Label
MovTemp Temp Exp
MovMem Exp Int64 Exp
Ret

Instances

Instances details

Generic Stmt Source #
Instance details Defined in Kempe.IR.Type Associated Types type Rep Stmt :: Type -> Type # Methods from :: Stmt -> Rep Stmt x # to :: Rep Stmt x -> Stmt #
NFData Stmt Source #
Instance details Defined in Kempe.IR.Type Methods rnf :: Stmt -> () #
Pretty Stmt Source #
Instance details Defined in Kempe.IR.Type Methods pretty :: Stmt -> Doc ann prettyList :: [Stmt] -> Doc ann
type Rep Stmt Source #
Instance details Defined in Kempe.IR.Type type Rep Stmt = D1 ('MetaData "Stmt" "Kempe.IR.Type" "kempe-0.1.1.2-inplace-kempe-modules" 'False) (((C1 ('MetaCons "Labeled" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)) :+: C1 ('MetaCons "Jump" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label))) :+: (C1 ('MetaCons "CJump" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label))) :+: (C1 ('MetaCons "MJump" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)) :+: C1 ('MetaCons "CCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MonoStackType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))) :+: ((C1 ('MetaCons "KCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)) :+: C1 ('MetaCons "WrapKCall" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ABI) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MonoStackType)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)))) :+: (C1 ('MetaCons "MovTemp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Temp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: (C1 ('MetaCons "MovMem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) :+: C1 ('MetaCons "Ret" 'PrefixI 'False) (U1 :: Type -> Type)))))

data Exp Source #

Instances

Instances details

Eq Exp Source #
Instance details Defined in Kempe.IR.Type Methods (==) :: Exp -> Exp -> Bool # (/=) :: Exp -> Exp -> Bool #
Generic Exp Source #
Instance details Defined in Kempe.IR.Type Associated Types type Rep Exp :: Type -> Type # Methods from :: Exp -> Rep Exp x # to :: Rep Exp x -> Exp #
NFData Exp Source #
Instance details Defined in Kempe.IR.Type Methods rnf :: Exp -> () #
Pretty Exp Source #
Instance details Defined in Kempe.IR.Type Methods pretty :: Exp -> Doc ann prettyList :: [Exp] -> Doc ann
type Rep Exp Source #
Instance details Defined in Kempe.IR.Type type Rep Exp = D1 ('MetaData "Exp" "Kempe.IR.Type" "kempe-0.1.1.2-inplace-kempe-modules" 'False) (((C1 ('MetaCons "ConstInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)) :+: (C1 ('MetaCons "ConstInt8" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8)) :+: C1 ('MetaCons "ConstTag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))) :+: (C1 ('MetaCons "ConstWord" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)) :+: (C1 ('MetaCons "ConstBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "Reg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Temp))))) :+: ((C1 ('MetaCons "Mem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: (C1 ('MetaCons "ExprIntBinOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntBinOp) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) :+: C1 ('MetaCons "ExprIntRel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelBinOp) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))))) :+: ((C1 ('MetaCons "BoolBinOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BoolBinOp) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) :+: C1 ('MetaCons "IntNegIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) :+: (C1 ('MetaCons "PopcountIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "EqByte" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))))))

data RelBinOp Source #

Constructors

IntEqIR
IntNeqIR
IntLtIR
IntGtIR
IntLeqIR
IntGeqIR

Instances

Instances details

Eq RelBinOp Source #
Instance details Defined in Kempe.IR.Type Methods (==) :: RelBinOp -> RelBinOp -> Bool # (/=) :: RelBinOp -> RelBinOp -> Bool #
Generic RelBinOp Source #
Instance details Defined in Kempe.IR.Type Associated Types type Rep RelBinOp :: Type -> Type # Methods from :: RelBinOp -> Rep RelBinOp x # to :: Rep RelBinOp x -> RelBinOp #
NFData RelBinOp Source #
Instance details Defined in Kempe.IR.Type Methods rnf :: RelBinOp -> () #
Pretty RelBinOp Source #
Instance details Defined in Kempe.IR.Type Methods pretty :: RelBinOp -> Doc ann prettyList :: [RelBinOp] -> Doc ann
type Rep RelBinOp Source #
Instance details Defined in Kempe.IR.Type type Rep RelBinOp = D1 ('MetaData "RelBinOp" "Kempe.IR.Type" "kempe-0.1.1.2-inplace-kempe-modules" 'False) ((C1 ('MetaCons "IntEqIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IntNeqIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IntLtIR" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "IntGtIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IntLeqIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IntGeqIR" 'PrefixI 'False) (U1 :: Type -> Type))))

data IntBinOp Source #

Constructors

IntPlusIR
IntTimesIR
IntDivIR
IntMinusIR
IntModIR
IntXorIR
WordShiftRIR
WordShiftLIR
WordModIR
WordDivIR

Instances

Instances details

Eq IntBinOp Source #
Instance details Defined in Kempe.IR.Type Methods (==) :: IntBinOp -> IntBinOp -> Bool # (/=) :: IntBinOp -> IntBinOp -> Bool #
Generic IntBinOp Source #
Instance details Defined in Kempe.IR.Type Associated Types type Rep IntBinOp :: Type -> Type # Methods from :: IntBinOp -> Rep IntBinOp x # to :: Rep IntBinOp x -> IntBinOp #
NFData IntBinOp Source #
Instance details Defined in Kempe.IR.Type Methods rnf :: IntBinOp -> () #
Pretty IntBinOp Source #
Instance details Defined in Kempe.IR.Type Methods pretty :: IntBinOp -> Doc ann prettyList :: [IntBinOp] -> Doc ann
type Rep IntBinOp Source #
Instance details Defined in Kempe.IR.Type type Rep IntBinOp = D1 ('MetaData "IntBinOp" "Kempe.IR.Type" "kempe-0.1.1.2-inplace-kempe-modules" 'False) (((C1 ('MetaCons "IntPlusIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IntTimesIR" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IntDivIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IntMinusIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IntModIR" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "IntXorIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WordShiftRIR" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "WordShiftLIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "WordModIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WordDivIR" 'PrefixI 'False) (U1 :: Type -> Type)))))

data BoolBinOp Source #

Constructors

BoolAnd
BoolOr
BoolXor

Instances

Instances details

Eq BoolBinOp Source #
Instance details Defined in Kempe.IR.Type Methods (==) :: BoolBinOp -> BoolBinOp -> Bool # (/=) :: BoolBinOp -> BoolBinOp -> Bool #
Generic BoolBinOp Source #
Instance details Defined in Kempe.IR.Type Associated Types type Rep BoolBinOp :: Type -> Type # Methods from :: BoolBinOp -> Rep BoolBinOp x # to :: Rep BoolBinOp x -> BoolBinOp #
NFData BoolBinOp Source #
Instance details Defined in Kempe.IR.Type Methods rnf :: BoolBinOp -> () #
Pretty BoolBinOp Source #
Instance details Defined in Kempe.IR.Type Methods pretty :: BoolBinOp -> Doc ann prettyList :: [BoolBinOp] -> Doc ann
type Rep BoolBinOp Source #
Instance details Defined in Kempe.IR.Type type Rep BoolBinOp = D1 ('MetaData "BoolBinOp" "Kempe.IR.Type" "kempe-0.1.1.2-inplace-kempe-modules" 'False) (C1 ('MetaCons "BoolAnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BoolOr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BoolXor" 'PrefixI 'False) (U1 :: Type -> Type)))

type Label = Word Source #

data Temp Source #

Constructors

Temp64 !Int
Temp8 !Int
DataPointer

Instances

Instances details

Eq Temp Source #
Instance details Defined in Kempe.IR.Type Methods (==) :: Temp -> Temp -> Bool # (/=) :: Temp -> Temp -> Bool #
Generic Temp Source #
Instance details Defined in Kempe.IR.Type Associated Types type Rep Temp :: Type -> Type # Methods from :: Temp -> Rep Temp x # to :: Rep Temp x -> Temp #
NFData Temp Source #
Instance details Defined in Kempe.IR.Type Methods rnf :: Temp -> () #
Pretty Temp Source #
Instance details Defined in Kempe.IR.Type Methods pretty :: Temp -> Doc ann prettyList :: [Temp] -> Doc ann
type Rep Temp Source #
Instance details Defined in Kempe.IR.Type type Rep Temp = D1 ('MetaData "Temp" "Kempe.IR.Type" "kempe-0.1.1.2-inplace-kempe-modules" 'False) (C1 ('MetaCons "Temp64" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: (C1 ('MetaCons "Temp8" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "DataPointer" 'PrefixI 'False) (U1 :: Type -> Type)))

data WriteSt Source #

Constructors

WriteSt
Fields wlabels :: [Label] temps :: [Int]

ConstInt Int64
ConstInt8 Int8
ConstTag Word8
ConstWord Word
ConstBool Bool
Reg Temp
Mem Int64 Exp
ExprIntBinOp IntBinOp Exp Exp
ExprIntRel RelBinOp Exp Exp
BoolBinOp BoolBinOp Exp Exp
IntNegIR Exp
PopcountIR Exp
EqByte Exp Exp