Re: Detailed algorithms on inline optimization

Martin Ward <martin@gkc.org.uk>
Thu, 28 Jan 2010 10:33:24 +0000

          From comp.compilers
Related articles
[10 earlier articles]
Re: Detailed algorithms on inline optimization bobduff@shell01.TheWorld.com (Robert A Duff) (2010-01-21)
Re: Detailed algorithms on inline optimization cdodd@acm.org (Chris Dodd) (2010-01-23)
Re: Detailed algorithms on inline optimization mcrodgers@gmail.com (Martin Rodgers) (2010-01-24)
Re: Detailed algorithms on inline optimization anton@mips.complang.tuwien.ac.at (2010-01-25)
Re: Detailed algorithms on inline optimization monnier@iro.umontreal.ca (Stefan Monnier) (2010-01-25)
Re: Detailed algorithms on inline optimization kkylheku@gmail.com (Kaz Kylheku) (2010-01-28)
Re: Detailed algorithms on inline optimization martin@gkc.org.uk (Martin Ward) (2010-01-28)
Re: Detailed algorithms on inline optimization anton@mips.complang.tuwien.ac.at (2010-01-31)
Re: Detailed algorithms on inline optimization dot@dotat.at (Tony Finch) (2010-02-02)
Re: Detailed algorithms on inline optimization anton@mips.complang.tuwien.ac.at (2010-02-02)
| List of all articles for this month |
From: Martin Ward <martin@gkc.org.uk>
Newsgroups: comp.compilers
Date: Thu, 28 Jan 2010 10:33:24 +0000
Organization: Compilers Central
References: 10-01-058 10-01-079 10-01-085
Keywords: optimize
Posted-Date: 31 Jan 2010 01:08:10 EST

On Monday 25 Jan 2010 10:05, Anton Ertl wrote:
> I wonder if this kind of transformation is applicable to functions
> occuring in practical programs, or if it is just some Fibonacci
> special.


Any fucntion with one or more calls at the end is tail-recursive and
the tail calls can be replaced by branches to the top of the function
body.


For a generic recursion removal theorem, see this paper:


http://www.cse.dmu.ac.uk/~mward/martin/papers/#recursion
http://www.gkc.org.uk/martin/papers/#recursion


This theorem can also be used to convert iterative programs
to recursive programs for reverse engineering.


--
Martin


STRL Senior Research Fellow and Royal Society Industry Fellow
martin@gkc.org.uk http://www.cse.dmu.ac.uk/~mward/ Erdos number: 4
G.K.Chesterton web site: http://www.cse.dmu.ac.uk/~mward/gkc/
Mirrors: http://www.gkc.org.uk and http://www.gkc.org.uk/gkc


Post a followup to this message

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