IRTS.Bytecode

Documentation

data Reg

Constructors

RVal

L Int

T Int

Tmp

Instances

Eq Reg

Show Reg

data BC

Constructors

ASSIGN Reg Reg

ASSIGNCONST Reg Const

UPDATE Reg Reg

MKCON Reg (Maybe Reg) Int [Reg]

CASE Bool Reg [(Int, [BC])] (Maybe [BC])

PROJECT Reg Int Int

PROJECTINTO Reg Reg Int

CONSTCASE Reg [(Const, [BC])] (Maybe [BC])

CALL Name

TAILCALL Name

FOREIGNCALL Reg FLang FType String [(FType, Reg)]

SLIDE Int

REBASE

RESERVE Int

ADDTOP Int

TOPBASE Int

BASETOP Int

STOREOLD

OP Reg PrimFn [Reg]

NULL Reg

ERROR String

Instances

Show BC

toBC :: (Name, SDecl) -> (Name, [BC])

clean :: Bool -> [BC]

bc :: Reg -> SExp -> Bool -> [BC]

isConst :: [SAlt] -> Bool

moveReg :: Int -> [LVar] -> [BC]

assign :: Reg -> Reg -> [BC]

conCase :: Bool -> Reg -> Reg -> [SAlt] -> Bool -> [BC]

constCase :: Reg -> Reg -> [SAlt] -> Bool -> [BC]

caseAlt :: Reg -> Reg -> Bool -> SAlt -> Maybe (Int, [BC])

constAlt :: t -> Reg -> Bool -> SAlt -> Maybe (Const, [BC])

defaultAlt :: Reg -> [SAlt] -> Bool -> Maybe [BC]