Source to source compiling

I am currently working on a source to source compiler. The source
language is a kind of state langage. A program containes 1-n states. All
states have the same kind of structure, ie. in the beginning you initilaze
variables, then comes some code to execute and at last a bunch of
conditional jumps to other states.


Example:


STATE1:
    Do something;
    if (a) goto STATE3;
    if (b) goto STATE2;
    etc...


STATE2:
    ....


STATE3:
    ....


The destination langage is very c-like. With while loops and if-then-else
statements.


Now the problem is that I don't know how to convert these conditional goto
statements in the source language to while/if-then-else constructs in the
destination language. How do I check for eg. loops, and presumably some of
the goto statements just cannot be translated into if-them-else statements.


One kludgy solution would be to model every state as a function in the
destination language. Then every goto statement in the source language
would simply convert to a function call in the destination language.


I have made compilers that convert loops & if-then-else statements into
goto statements, ie. using short-circuit code (from the dragon book :)),
but I have no idea how to do it the other way.


Are there any books on the subject or any ready-made similar compilers
that I could check out.


Thanks.


// Casper
--

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