Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Indirection

Synopsis

data JumpTable = JumpTable {
- jtbl_index :: Operand
- jtbl_bound :: Int
- jtbl_target :: Operand
- jtbl_table :: IntMap Word64
}
data Indirection
type Indirections = Set Indirection

Documentation

data JumpTable Source #

A jump table with : index: an operand containing a bounded index at the beginning of execution of the block bound: the bound on idx trgt: the operand containg the jump target at the end of execution of the block tbl: a table from values of idx to resulting jump targets

Constructors

JumpTable
Fields jtbl_index :: Operand jtbl_bound :: Int jtbl_target :: Operand jtbl_table :: IntMap Word64

Instances

Instances details

Generic JumpTable Source #
Instance details Defined in Data.Indirection Associated Types type Rep JumpTable :: Type -> Type # Methods from :: JumpTable -> Rep JumpTable x # to :: Rep JumpTable x -> JumpTable #
Show JumpTable Source #
Instance details Defined in Data.Indirection Methods showsPrec :: Int -> JumpTable -> ShowS # show :: JumpTable -> String # showList :: [JumpTable] -> ShowS #
Serialize JumpTable Source #
Instance details Defined in Data.Indirection Methods put :: Putter JumpTable # get :: Get JumpTable #
NFData JumpTable Source #
Instance details Defined in Data.Indirection Methods rnf :: JumpTable -> () #
Eq JumpTable Source #
Instance details Defined in Data.Indirection Methods (==) :: JumpTable -> JumpTable -> Bool # (/=) :: JumpTable -> JumpTable -> Bool #
Ord JumpTable Source #
Instance details Defined in Data.Indirection Methods compare :: JumpTable -> JumpTable -> Ordering # (<) :: JumpTable -> JumpTable -> Bool # (<=) :: JumpTable -> JumpTable -> Bool # (>) :: JumpTable -> JumpTable -> Bool # (>=) :: JumpTable -> JumpTable -> Bool # max :: JumpTable -> JumpTable -> JumpTable # min :: JumpTable -> JumpTable -> JumpTable #
type Rep JumpTable Source #
Instance details Defined in Data.Indirection type Rep JumpTable = D1 ('MetaData "JumpTable" "Data.Indirection" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "JumpTable" 'PrefixI 'True) ((S1 ('MetaSel ('Just "jtbl_index") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Operand) :: S1 ('MetaSel ('Just "jtbl_bound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :: (S1 ('MetaSel ('Just "jtbl_target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Operand) :*: S1 ('MetaSel ('Just "jtbl_table") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IntMap Word64)))))

data Indirection Source #

An indirection is either a jump table or a set of resolved jump targets

Constructors

Indirection_JumpTable JumpTable
Indirection_Resolved ResolvedJumpTarget
Indirection_Unresolved

Instances

Instances details

Generic Indirection Source #
Instance details Defined in Data.Indirection Associated Types type Rep Indirection :: Type -> Type # Methods from :: Indirection -> Rep Indirection x # to :: Rep Indirection x -> Indirection #
Show Indirection Source #
Instance details Defined in Data.Indirection Methods showsPrec :: Int -> Indirection -> ShowS # show :: Indirection -> String # showList :: [Indirection] -> ShowS #
Serialize Indirection Source #
Instance details Defined in Data.Indirection Methods put :: Putter Indirection # get :: Get Indirection #
NFData Indirection Source #
Instance details Defined in Data.Indirection Methods rnf :: Indirection -> () #
Eq Indirection Source #
Instance details Defined in Data.Indirection Methods (==) :: Indirection -> Indirection -> Bool # (/=) :: Indirection -> Indirection -> Bool #
Ord Indirection Source #
Instance details Defined in Data.Indirection Methods compare :: Indirection -> Indirection -> Ordering # (<) :: Indirection -> Indirection -> Bool # (<=) :: Indirection -> Indirection -> Bool # (>) :: Indirection -> Indirection -> Bool # (>=) :: Indirection -> Indirection -> Bool # max :: Indirection -> Indirection -> Indirection # min :: Indirection -> Indirection -> Indirection #
type Rep Indirection Source #
Instance details Defined in Data.Indirection type Rep Indirection = D1 ('MetaData "Indirection" "Data.Indirection" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "Indirection_JumpTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JumpTable)) :+: (C1 ('MetaCons "Indirection_Resolved" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResolvedJumpTarget)) :+: C1 ('MetaCons "Indirection_Unresolved" 'PrefixI 'False) (U1 :: Type -> Type)))

type Indirections = Set Indirection Source #