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)

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