Kempe.IR

IR loosely based on Appel book.

Documentation

writeModule :: SizeEnv -> Declarations () (ConsAnn MonoStackType) MonoStackType -> TempM [Stmt]

data Stmt

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

Generic Stmt

Defined in Kempe.IR

Associated Types

type Rep Stmt :: Type -> Type

Methods

from :: Stmt -> Rep Stmt x

to :: Rep Stmt x -> Stmt

NFData Stmt

Defined in Kempe.IR

Methods

rnf :: Stmt -> ()

Pretty Stmt

Defined in Kempe.IR

Methods

pretty :: Stmt -> Doc ann

prettyList :: [Stmt] -> Doc ann

type Rep Stmt

Defined in Kempe.IR

type Rep Stmt = D1 ('MetaData "Stmt" "Kempe.IR" "kempe-0.1.1.0-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

Constructors

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

Instances

Eq Exp

Defined in Kempe.IR

Methods

(==) :: Exp -> Exp -> Bool

(/=) :: Exp -> Exp -> Bool

Generic Exp

Defined in Kempe.IR

Associated Types

type Rep Exp :: Type -> Type

Methods

from :: Exp -> Rep Exp x

to :: Rep Exp x -> Exp

NFData Exp

Defined in Kempe.IR

Methods

rnf :: Exp -> ()

Pretty Exp

Defined in Kempe.IR

Methods

pretty :: Exp -> Doc ann

prettyList :: [Exp] -> Doc ann

type Rep Exp

Defined in Kempe.IR

type Rep Exp = D1 ('MetaData "Exp" "Kempe.IR" "kempe-0.1.1.0-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

Constructors

IntEqIR

IntNeqIR

IntLtIR

IntGtIR

IntLeqIR

IntGeqIR

Instances

Eq RelBinOp

Defined in Kempe.IR

Methods

(==) :: RelBinOp -> RelBinOp -> Bool

(/=) :: RelBinOp -> RelBinOp -> Bool

Generic RelBinOp

Defined in Kempe.IR

Associated Types

type Rep RelBinOp :: Type -> Type

Methods

from :: RelBinOp -> Rep RelBinOp x

to :: Rep RelBinOp x -> RelBinOp

NFData RelBinOp

Defined in Kempe.IR

Methods

rnf :: RelBinOp -> ()

Pretty RelBinOp

Defined in Kempe.IR

Methods

pretty :: RelBinOp -> Doc ann

prettyList :: [RelBinOp] -> Doc ann

type Rep RelBinOp

Defined in Kempe.IR

type Rep RelBinOp = D1 ('MetaData "RelBinOp" "Kempe.IR" "kempe-0.1.1.0-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

Constructors

IntPlusIR

IntTimesIR

IntDivIR

IntMinusIR

IntModIR

IntXorIR

WordShiftRIR

WordShiftLIR

WordModIR

WordDivIR

Instances

Eq IntBinOp

Defined in Kempe.IR

Methods

(==) :: IntBinOp -> IntBinOp -> Bool

(/=) :: IntBinOp -> IntBinOp -> Bool

Generic IntBinOp

Defined in Kempe.IR

Associated Types

type Rep IntBinOp :: Type -> Type

Methods

from :: IntBinOp -> Rep IntBinOp x

to :: Rep IntBinOp x -> IntBinOp

NFData IntBinOp

Defined in Kempe.IR

Methods

rnf :: IntBinOp -> ()

Pretty IntBinOp

Defined in Kempe.IR

Methods

pretty :: IntBinOp -> Doc ann

prettyList :: [IntBinOp] -> Doc ann

type Rep IntBinOp

Defined in Kempe.IR

type Rep IntBinOp = D1 ('MetaData "IntBinOp" "Kempe.IR" "kempe-0.1.1.0-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

Constructors

BoolAnd

BoolOr

BoolXor

Instances

Eq BoolBinOp

Defined in Kempe.IR

Methods

(==) :: BoolBinOp -> BoolBinOp -> Bool

(/=) :: BoolBinOp -> BoolBinOp -> Bool

Generic BoolBinOp

Defined in Kempe.IR

Associated Types

type Rep BoolBinOp :: Type -> Type

Methods

from :: BoolBinOp -> Rep BoolBinOp x

to :: Rep BoolBinOp x -> BoolBinOp

NFData BoolBinOp

Defined in Kempe.IR

Methods

rnf :: BoolBinOp -> ()

Pretty BoolBinOp

Defined in Kempe.IR

Methods

pretty :: BoolBinOp -> Doc ann

prettyList :: [BoolBinOp] -> Doc ann

type Rep BoolBinOp

Defined in Kempe.IR

type Rep BoolBinOp = D1 ('MetaData "BoolBinOp" "Kempe.IR" "kempe-0.1.1.0-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

data Temp

Constructors

Temp64 !Int

Temp8 !Int

DataPointer

Instances

Eq Temp

Defined in Kempe.IR

Methods

(==) :: Temp -> Temp -> Bool

(/=) :: Temp -> Temp -> Bool

Generic Temp

Defined in Kempe.IR

Associated Types

type Rep Temp :: Type -> Type

Methods

from :: Temp -> Rep Temp x

to :: Rep Temp x -> Temp

NFData Temp

Defined in Kempe.IR

Methods

rnf :: Temp -> ()

Pretty Temp

Defined in Kempe.IR

Methods

pretty :: Temp -> Doc ann

prettyList :: [Temp] -> Doc ann

type Rep Temp

Defined in Kempe.IR

type Rep Temp = D1 ('MetaData "Temp" "Kempe.IR" "kempe-0.1.1.0-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)))

runTempM :: TempM a -> (a, WriteSt)

type TempM = State TempSt

prettyIR :: [Stmt] -> Doc ann

data WriteSt

Constructors

WriteSt

Fields

• wlabels :: [Label]
• temps :: [Int]

size :: SizeEnv -> KempeTy a -> Size

Don't call this on ill-kinded types; it won't throw any error.