Language.MASMGen.Types

Documentation

data MASM

Constructors

MASM

Fields

• masmProgMode :: MASMMode
• masmProgOptions :: [String]
• masmInclude :: [MASMInclude]
• masmProg :: MASMProgM ()

data Lit

Constructors

Lit8 Word8

Lit16 Word16

Lit32 Word32

Instances

Show Lit

Defined in Language.MASMGen.Types

Methods

showsPrec :: Int -> Lit -> ShowS

show :: Lit -> String

showList :: [Lit] -> ShowS

data Var

Instances

Show Var

Defined in Language.MASMGen.Types

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

type Addr = Word16

type Scale = Int

type Displacement = Int

mkVar :: String -> MASMType -> Var

data Operand where

Constructors

Imm :: Word32 -> Operand

Direct :: Addr -> Operand

Reg :: forall a. Reg a => a -> Operand

RegIndirect :: forall a. Reg a => a -> Operand

RegIndex :: forall a. Reg a => a -> Displacement -> Operand

RegIndexScale :: forall a. Reg a => a -> a -> Scale -> Displacement -> Operand

VarAddr :: Var -> Operand

Instances

Show Operand

Defined in Language.MASMGen.Types

Methods

showsPrec :: Int -> Operand -> ShowS

show :: Operand -> String

showList :: [Operand] -> ShowS

data OpClass

Constructors

Pointer

Register RegClass

Immediate

data MASMMode

Constructors

Mode386

Mode486

Mode586

Mode686

data Reg32

Constructors

EAX

EBX

ECX

EDX

ESI

EDI

ESP

EBP

Instances

Show Reg32

Defined in Language.MASMGen.Types

Methods

showsPrec :: Int -> Reg32 -> ShowS

show :: Reg32 -> String

showList :: [Reg32] -> ShowS

data Reg16

Constructors

AX

BX

CX

DX

SI

DI

SP

BP

Instances

Show Reg16

Defined in Language.MASMGen.Types

Methods

showsPrec :: Int -> Reg16 -> ShowS

show :: Reg16 -> String

showList :: [Reg16] -> ShowS

data Reg8

Constructors

AH

AL

BH

BL

CH

CL

DH

DL

SPL

BPL

SIL

DIL

Instances

Show Reg8

Defined in Language.MASMGen.Types

Methods

showsPrec :: Int -> Reg8 -> ShowS

show :: Reg8 -> String

showList :: [Reg8] -> ShowS

data RegXMM

Constructors

XMM0

XMM1

XMM2

XMM3

XMM4

XMM5

XMM6

XMM7

XMM8

XMM9

XMM10

XMM11

XMM12

XMM13

XMM14

XMM15

Instances

Show RegXMM

Defined in Language.MASMGen.Types

Methods

showsPrec :: Int -> RegXMM -> ShowS

show :: RegXMM -> String

showList :: [RegXMM] -> ShowS

data RegClass

Constructors

Reg32

Reg16

Reg8

RegXMM

data MASMInclude

Constructors

MASMInclude String

MASMIncludeLib String

data MASMType where

Constructors

DB :: MASMType

DW :: MASMType

DD :: MASMType

Ptr :: MASMType -> MASMType

Instances

Show MASMType

Defined in Language.MASMGen.Types

Methods

showsPrec :: Int -> MASMType -> ShowS

show :: MASMType -> String

showList :: [MASMType] -> ShowS

type MASMVar = (MASMType, Maybe [Lit])

type MASMVarMap = Map String MASMVar

data CallingConvention

Constructors

Default

Cdecl

FastCall

StdCall

data MASMInstr

Constructors

MASMAdd (Maybe MASMType) Operand Operand

MASMSub (Maybe MASMType) Operand Operand

MASMMul (Maybe MASMType) Operand Operand

MASMDiv (Maybe MASMType) Operand Operand

MASMMov (Maybe MASMType) Operand Operand

MASMMovsx Operand Operand

MASMMovzx Operand Operand

MASMInc (Maybe MASMType) Operand

MASMDec (Maybe MASMType) Operand

MASMPush (Maybe MASMType) Operand

MASMPop (Maybe MASMType) Operand

MASMShl Operand Operand

MASMSal Operand Operand

MASMShr Operand Operand

MASMSar Operand Operand

MASMLea Operand Operand

MASMFuncCall String CallingConvention [FuncArg]

MASMGoto String

MASMLabel String

MASMComment String

type FuncArg = Operand

data MASMFunc

Constructors

MASMFunc

Fields

• funcName :: String
• instrs :: [MASMInstr]

type MASMFuncM a = State MASMFunc a

type MASMProgM a = State MASMProg a

data MASMTopLevel

Constructors

Func MASMFunc

data MASMProg

Constructors

MASMProg

Fields

• globalVarMap :: MASMVarMap
• funcs :: [MASMTopLevel]

data MASMOutput

Constructors

MASMOutput String

MASMOutputNoIndent String

Indent

Dedent

NewLine

type UntypedMASMInstrSinCon = Operand -> MASMInstr

type UntypedMASMInstrBinCon = Operand -> Operand -> MASMInstr

type TypedMASMInstrSinCon = Maybe MASMType -> Operand -> MASMInstr

type TypedMASMInstrBinCon = Maybe MASMType -> Operand -> Operand -> MASMInstr

operandClass :: OperandClass a => a -> OpClass

def :: Def a => a

showReg :: Reg a => a -> String

regClass :: Reg a => a -> RegClass