combining two procedures?

I am looking for an algorithm for combining the statements
of two procedures into one. I think this can be done
by making a poset of the ordered statements, and then
using one of the total orders of the poset.


As a trivial case, combining
        proc p1 { s1; s2; s3}
        proc p2 { t1; t2; t3}
could result in the orders
        { s1; s2; s3; t1; t2; t3 }, { s1; t1; s2; t2; s3; t3 }, etc.


I'm interested in understanding how control flow (loops,
conditionals, etc) affects this. Does it simply become
a matter of ordering blocks rather than statements?


Any ideas appreciated,
Mark.


---------------------------------------------------------------------
Mark Harrison
AsiaInfo Computer Networks http://usai.asiainfo.com:8080/
Beijing, China / Santa Clara, CA markh@usai.asiainfo.com

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