"Paulo J. Matos" <pocm@soton.ac.uk> writes:
> After reading the internals of gcc wikibooks some questions come up.
> So, gcc has front end for C, C++, java, fortran, etc..
> All these languages have a frontend which parse into AST and then
> GIMPLE which is converted to RTX and then assembly. Now, my guess is
> that GIMPLE is the _common_ ground for all languages. No matter which
> language, all will go through GIMPLE, so if I wished to implement some
> language analysis / optimizations, I should do it in GIMPLE to be able
> to implement in one go the optimization for all languages, right?
Yes.
> Is there any formal syntax/semantics for GIMPLE? Or the SIMPLE paper
> is the only thing with this stuff? Any reference to the differences
> between GIMPLE and SIMPLE?
GIMPLE is more-or-less documented in the gcc internals manual.
Ian