LLVM M.D.Source codeContentsIndex
MD.Convert
MaintainerPaul Govereau <govereau@cs.harvard.edu>
Description
This module builds a CFG of GDSA rules from an SSA program, by converting each basic block. This module also generates the abstract state variables for side-effects.
Synopsis
convertToGDSA :: [Block] -> [GBlock]
Documentation
convertToGDSA :: [Block] -> [GBlock]Source
Convert a set of LLVM Blocks to GDSA GBlocks.
Produced by Haddock version 2.6.0