Re: dynamic bintrans

toby@telegraphics.com.au (Toby Thain)
3 Dec 2003 20:22:12 -0500

          From comp.compilers

Related articles
dynamic bintrans jrydberg@night.trouble.net (Johan Rydberg) (2003-11-21)
Re: dynamic bintrans toby@telegraphics.com.au (2003-12-03)
Re: dynamic bintrans brown@cs.bris.ac.uk (Julian Brown) (2003-12-03)
Re: dynamic bintrans toby@telegraphics.com.au (2003-12-03)
Re: dynamic bintrans j.troeger@qut.edu.au (Jens Troeger) (2003-12-13)
Re: dynamic bintrans j.troeger@qut.edu.au (Jens Troeger) (2003-12-13)
| List of all articles for this month |

From: toby@telegraphics.com.au (Toby Thain)
Newsgroups: comp.compilers
Date: 3 Dec 2003 20:22:12 -0500
Organization: http://groups.google.com
References: 03-11-080
Keywords: translator
Posted-Date: 03 Dec 2003 20:22:11 EST

Johan Rydberg <jrydberg@night.trouble.net> wrote
> I'm interested in dynamic binary translation. I've done some small
> tests of my own, and they work pretty good. Now I want to make the
> compiler retargetable. For this, I have to choose an IR that can
> describe targets which has specific characteristics (such as delay
> slots, condition codes (x86), condition insns (arm, ia-64), ..).
>
> Standard RTL, such as used by GCC, seems to be too generic to
> describe for example the condition codes on x86. It also has
> troubles describing conditional insns.
>
> Anyone that has any ideas, or can give me some pointers to papers
> regarding this topic?


The following researchers and projects may interest you.
* http://www.itee.uq.edu.au/~csmweb/decompilation/bintrans.html
* http://www.eecs.harvard.edu/~nr/toolkit/ (NJ Machine-Code Toolkit)
    http://www.eecs.harvard.edu/~nr/pubs/specifying-abstract.html
* http://www.itee.uq.edu.au/~cristina/ (Cristina Cifuentes)
    http://www.itee.uq.edu.au/~cristina/uqbt.html
* http://www.itee.uq.edu.au/~emmerik/ (Mike Van Emmerik)
* http://www.cs.virginia.edu/zephyr/rtl.html


Toby


Post a followup to this message

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