| Copyright | (c) Galois Inc 2014 |
|---|---|
| License | BSD3 |
| Maintainer | Joe Hendrix <jhendrix@galois.com> |
| Stability | provisional |
| Safe Haskell | None |
| Language | Haskell2010 |
Lang.Crucible.CFG.SSAConversion
Description
This module provides a function for converting from the RTL to SSA Crucible representation.
Synopsis
- toSSA :: forall ext s (init :: Ctx CrucibleType) (ret :: CrucibleType). IsSyntaxExtension ext => CFG ext s init ret -> SomeCFG ext init ret
Documentation
toSSA :: forall ext s (init :: Ctx CrucibleType) (ret :: CrucibleType). IsSyntaxExtension ext => CFG ext s init ret -> SomeCFG ext init ret Source #
Convert a CFG in RTL form into a Core CFG in SSA form.
This prunes the CFG so that only reachable blocks are returned.