Re: C code refactoring or optimizing ?

"Dennis Yurichev" <Dennis.Yurichev@gmail.com> wrote
> How can I find some ready tool or how can I find a proper way to
> develop a tool which will convert such code:
>
> if (a>b+2+2)
> {
> f1();
> f2(a*3*2);
> } else
> {
> f1();
> f3(a);
> }
>
> To something like that:
>
> f1();
> if (a>b+4)
> f2(a*6)
> else
> f3(a);
>
> In another words, this is what is done by modern compiler at
> optimization phase, right? (that's why I post here) But I need to have
> C-source at the input and C-source at the output. Could please anyone
> point me to any ideas or ready works.


The DMS Software Reengineering Tookit has the machinery to support
this, including a robust C front with preprocessor, parser to ASTs,
symbol table construction, control and dataflow analysis. You can
specify tree to tree transformations either procedurally or with
source-to-source transformations, conditioned by the circumstances
(e.g, analyses) that make the transform legal. After transformation,
you can regenerate legal C source code, including the comments.


You should understand that setting this up isn't an afternoon's task.
DMS is a big tool, necessitated by the complexity of real languages
such as GCC and MS Visual Studio dialects of C. But if you have scale
or need to do this a lot, DMS is a big win.


DMS has been used to carry out these kinds of tasks
on very large C source code bases.


See http://www.semdesigns.com/Products/DMS/DMSToolkit.html


--
Ira Baxter, CTO
www.semanticdesigns.com

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