From: George N. <ne...@ee...> - 2005-06-07 07:42:48
|
--__--__-- >=20 > Message: 1 > Date: Mon, 6 Jun 2005 17:34:16 -0700 > From: Ru-Gang Xu <ru...@gm...> > Reply-To: Ru-Gang Xu <ru...@gm...> > To: cil...@li... > Subject: [CIL users] ssa in Cil >=20 > I'm need to us ssa for a project and I'm hoping that Cil=20 > already has done the work for me. I'm wondering how to use=20 > "cil/src/ssa.ml" or if there is some other way to do ssa for=20 > Cil? The functions with ssa.ml seems to implement the Domain=20 > Frontier way of calculating ssa but it takes only a cfgInfo=20 > type that is defined in ssa.ml. I'm wondering how this=20 > cfginfo relates to the standard cil types. For example, is=20 > there some function that converts a CFG processed fundec to=20 > the cfginfo that ssa.ml takes? Thanks >=20 > RuGang The ssa.ml module has been ported to CIL from another project. We have not used it yet in CIL and we do not have the glue code for producing the cfginfo. That code should be easy to write. If you do so, please consider contributing it to the rest of the users.=20 Thanks, George. |