Re: request C code which translates source into PDG

I have code inside the ParaScope programming environment for parallel
Fortran that builds any or all of the following from a Fortran AST:


* Control flow graph


* with pre- and post-dominator trees


* with Tarjan interval tree (nested loops)


* Unfactored control dependence graph (no region nodes)


* edge labels according to corresponding branch values


* edge levels according to carrying loop


* Static Single-Assignment form with def-use chains


* with or without arrays modeled as scalars


* interprocedural variables modeled separately or as
one glob


* with or without def-def chains (output dependences)


* optionally converted to Gated Single-Assignment form
(a variant on the version in Ballance et al.,
SIGPLAN 90)


* Hashed value numbers based on SSA or GSA form


        There are several complete or nearly-complete program
representations in ParaScope:


* Control dependence graph and SSA form


* Control dependence graph and data dependence graph
(like a PDG, although the data dependence computation
still has technical limitations)


* Gated Single-Assignment form


        Many more features to come, perhaps even documentation :-). Of my
code, only the value numbering is in C++ and relatively abstract; the
rest is in C with more details about our AST implementation than I
would put in today.
        All this is a very small part of the ParaScope infrastructure.
ParaScope source is available for a relatively small fee -- for
details send mail to softlib@cs.rice.edu (works like netlib) with the
line:


send catalog


-- and another with the line:


send license


Regards,
Paul
--
Paul Havlak Dept. of Computer Science
Graduate Student Rice University, Houston TX 77251-1892
PFC/ParaScope projects (713) 527-8101 x2738 paco@cs.rice.edu
--

Return to the comp.compilers page.
Search the comp.compilers archives again.