Using GCC's front-end to parse SystemC
Pop Sébastian
pop@gauvain.u-strasbg.fr
Tue Apr 1 22:18:00 GMT 2003
On Tue, Apr 01, 2003 at 09:23:55PM +0200, Matthieu Moy wrote:
>
> But will they do type analysis & so on ? Typically, if a global and a
> local variable have the same name, I don't want to bother about which
> one is which one, and the front-end must have done it for me. For
> example, a yacc grammar would not be sufficient.
>
> But off course, if you have a precise idea/name of software/...
>
> At the moment, the main options seem to be hacking GCC (I began some
> work on it, and I confess I'm a bit lost ...) or using the proprietary
> EDG front-end, but I would prefer to use free software.
>
You can have a look at the tree-ssa branch:
http://gcc.gnu.org/projects/tree-ssa/
It includes a simplification pass that eliminates syntactic sugar and
lowers the code to a three address form simpler to analyse or to transform.
Gimple is still a high level representation since you have all the type
information.
Gimple does not contain concurency informations, but introducing AST nodes
with this kind of semantics is in the long term todo lists.
Sebastian
More information about the Gcc
mailing list