lvmlib-1.0: The Lazy Virtual Machine (LVM).

Safe Haskell	None

Lvm.Instr.Data

Documentation

data Instr Source

Constructors

VAR !Id
PARAM !Id
USE !Id
NOP
ATOM ![Instr]
INIT ![Instr]
CATCH ![Instr]
EVAL !Depth ![Instr]
RESULT ![Instr]
MATCH ![Alt]
MATCHCON ![Alt]
SWITCHCON ![Alt]
MATCHINT ![Alt]
PUSHVAR !Var
PUSHINT !Int
PUSHBYTES !Bytes !Index
PUSHFLOAT !Double
PUSHCODE !Global
PUSHCONT !Offset
PUSHCATCH
ARGCHK !Arity
SLIDE !Int !Int !Depth
STUB !Var
ENTER
RAISE
CALL !Global
ENTERCODE !Global
EVALVAR !Var
RETURN
RETURNCON !Con
RETURNINT !Int
ALLOCAP !Arity
PACKAP !Var !Arity
PACKNAP !Var !Arity
NEWAP !Arity
NEWNAP !Arity
ALLOCCON !Con
PACKCON !Con !Var
NEWCON !Con
ALLOC
NEW !Arity
PACK !Arity !Var
UNPACK !Arity
GETFIELD
SETFIELD
GETTAG
GETSIZE
UPDFIELD
ADDINT
SUBINT
MULINT
DIVINT
MODINT
QUOTINT
REMINT
ANDINT
XORINT
ORINT
SHRINT
SHLINT
SHRNAT
NEGINT
EQINT
NEINT
LTINT
GTINT
LEINT
GEINT
ADDFLOAT
SUBFLOAT
MULFLOAT
DIVFLOAT
NEGFLOAT
EQFLOAT
NEFLOAT
LTFLOAT
GTFLOAT
LEFLOAT
GEFLOAT
PUSHVAR0
PUSHVAR1
PUSHVAR2
PUSHVAR3
PUSHVAR4
PUSHVARS2 !Var !Var
NEWAP2
NEWAP3
NEWAP4
NEWNAP2
NEWNAP3
NEWNAP4
NEWCON0 !Con
NEWCON1 !Con
NEWCON2 !Con
NEWCON3 !Con
RETURNCON0 !Con

Instances

Enum Instr
Eq Instr
Ord Instr
Show Instr
Pretty Instr

data Var Source

Constructors

Var
Fields idFromVar :: !Id offsetFromVar :: !Offset depthFromVar :: !Depth

Instances

Show Var
Pretty Var

data Con Source

Constructors

Con
Fields idFromCon :: !Id indexFromCon :: Index arityFromCon :: !Arity tagFromCon :: !Tag

Instances

Show Con
Pretty Con

data Global Source

Constructors

Global
Fields idFromGlobal :: !Id indexFromGlobal :: Index arityFromGlobal :: !Arity

Instances

Show Global
Pretty Global

data Alt Source

Constructors

Alt !Pat ![Instr]

Instances

Show Alt
Pretty Alt

data Pat Source

Constructors

PatCon !Con
PatInt !Int
PatTag !Tag !Arity
PatDefault

Instances

Show Pat
Pretty Pat

type Offset = Int Source

type Depth = Int Source

type Index = Int Source

type Tag = Int Source

type Arity = Int Source

opcodeFromInstr :: Instr -> Int Source

instrFromOpcode :: Int -> Instr Source

instrFromName :: String -> Instr Source

nameFromInstr :: Instr -> String Source

isCATCH :: Instr -> Bool Source

strictResult :: Instr -> Bool Source