Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.CFG

Synopsis

data CFG = CFG {
- cfg_blocks :: IntMap [Int]
- cfg_edges :: IntMap IntSet
- cfg_addr_to_blockID :: IntMap Int
- cfg_fresh :: Int
- cfg_instrs :: IntMap [Instruction]
}
num_of_instructions :: CFG -> Int
init_cfg :: Integral a => a -> CFG
is_end_node :: CFG -> Int -> Bool
post :: CFG -> Int -> IntSet
fetch_block :: CFG -> Int -> [Instruction]

Documentation

data CFG Source #

A control flow graph with blocks and edges. A blockID (represented as an Int) is a unique identifier of a basic block. We store basic blocks twice: once as addresses, and once as instructions.

Constructors

CFG
Fields cfg_blocks :: IntMap [Int] A mapping of blockIDs to instruction addresses cfg_edges :: IntMap IntSet A mapping of blockIDs to sets of blocKIDs cfg_addr_to_blockID :: IntMap Int A mapping of instruction addresses to blockIDs cfg_fresh :: Int A fresh blockID cfg_instrs :: IntMap [Instruction] A mapping of blockIDs to instructions

Instances

Instances details

Generic CFG Source #
Instance details Defined in Data.CFG Associated Types type Rep CFG :: Type -> Type # Methods from :: CFG -> Rep CFG x # to :: Rep CFG x -> CFG #
Show CFG Source #
Instance details Defined in Data.CFG Methods showsPrec :: Int -> CFG -> ShowS # show :: CFG -> String # showList :: [CFG] -> ShowS #
Serialize CFG Source #
Instance details Defined in Data.CFG Methods put :: Putter CFG # get :: Get CFG #
NFData CFG Source #
Instance details Defined in Data.CFG Methods rnf :: CFG -> () #
IntGraph CFG Source #
Instance details Defined in WithAbstractPredicates.ControlFlow Methods intgraph_post :: CFG -> Int -> IntSet Source # intgraph_V :: CFG -> IntSet Source #
Eq CFG Source #
Instance details Defined in Data.CFG Methods (==) :: CFG -> CFG -> Bool # (/=) :: CFG -> CFG -> Bool #
type Rep CFG Source #
Instance details Defined in Data.CFG type Rep CFG = D1 ('MetaData "CFG" "Data.CFG" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "CFG" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cfg_blocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IntMap [Int])) :: S1 ('MetaSel ('Just "cfg_edges") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IntMap IntSet))) :: (S1 ('MetaSel ('Just "cfg_addr_to_blockID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IntMap Int)) :: (S1 ('MetaSel ('Just "cfg_fresh") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "cfg_instrs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IntMap [Instruction]))))))

num_of_instructions :: CFG -> Int Source #

init_cfg :: Integral a => a -> CFG Source #

is_end_node Source #

Arguments

:: CFG	The CFG
-> Int	The blockID
-> Bool

Returns true if the given blockID is a leaf-node in the given CFG.

post :: CFG -> Int -> IntSet Source #

The set of next blocks from the given block in a CFG

fetch_block Source #

Arguments

:: CFG	The CFG
-> Int	The blockID
-> [Instruction]

Fetching an instruction list given a block ID