crucible-0.7: Crucible is a library for language-agnostic symbolic simulation
Copyright(c) Galois Inc 2014
LicenseBSD3
MaintainerJoe Hendrix <jhendrix@galois.com>
Stabilityprovisional
Safe HaskellSafe-Inferred
LanguageHaskell2010

Lang.Crucible.CFG.SSAConversion

Description

This module provides a function for converting from the RTL to SSA Crucible representation.

Synopsis

Documentation

toSSA :: 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.