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

Safe HaskellNone
LanguageHaskell98

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

data Var Source

Constructors

Var 

Fields

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

Instances

data Con Source

Constructors

Con 

Fields

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

Instances

data Global Source

Constructors

Global 

Fields

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

Instances

data Alt Source

Constructors

Alt !Pat ![Instr] 

Instances

data Pat Source

Constructors

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

Instances

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