Re: Q: Side effect removal transformations (Source to source)

Mark Harman <11harmanm@unl.ac.uk> wrote:
>The transformations I'm looking for would transform a C program with side
>effects in its expressions into a semantically equivelent program (in C) with
>no side effects.
>
>For example, the program fragment:-
>
>x = y++ ;
>if (z=++i>2) x++ ;
>
>could be transformed to
>
>x = y;
>y = y+1;
>i = i+1;
>z = i;
>if(z>2) x=x+1;
                  ^^^^^
Umm, x=x+1 is a side effect; it changes the value of x as a result of
evaluating x=x+1. If you want to do the above with truly no side
effects, you'd have to use recursion.


Seth


--

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