Re: [avr-gcc-list] avr superoptimizer

2009-04-21 Thread Georg-Johann Lay
Sean D'Epagnier schrieb: Hi, On 4/20/09, Georg-Johann Lay a...@gjlay.de wrote: Hi Sean, as far as I understand, your tool runs on asm code, i.e. you map short sequences of asm instructions (which must not contain code labels) to other instruction sequences. Right, and it's far from

Re: [avr-gcc-list] avr superoptimizer

2009-04-20 Thread John Regehr
On Sat, 18 Apr 2009, Sean D'Epagnier wrote: http://www.avrfreaks.net/index.php?name=PNphpBB2file=viewtopict=77805 This is cool, though I largely agree with the message in this thread which says that most of the time, poor avr-gcc output should simply be filed as bugs in the AVR backend.

Re: [avr-gcc-list] avr superoptimizer

2009-04-20 Thread John Regehr
Sean is your code available? A quick scan of the AVR Freaks thread didn't show it. Thanks, John Regehr ___ AVR-GCC-list mailing list AVR-GCC-list@nongnu.org http://lists.nongnu.org/mailman/listinfo/avr-gcc-list

RE: [avr-gcc-list] avr superoptimizer

2009-04-20 Thread Weddington, Eric
: [avr-gcc-list] avr superoptimizer Many benefits of something like Diablo come from optimizing the application and all of its libraries together. Someone should figure out how to get this kind of benefit for AVR. I have spent a bunch of time looking at avr-gcc output over the past

RE: [avr-gcc-list] avr superoptimizer

2009-04-20 Thread Weddington, Eric
: [avr-gcc-list] avr superoptimizer Sean is your code available? A quick scan of the AVR Freaks thread didn't show it. Thanks, You have to login to AVR Freaks in order to see files that are posted, which means, of course, that you have to have a login ID

RE: [avr-gcc-list] avr superoptimizer

2009-04-20 Thread John Regehr
That's why I'm (desperately) hoping that the LTO project in GCC will eventually help in this area. http://gcc.gnu.org/wiki/LinkTimeOptimization Alternatively, an LLVM backend for AVR would give this capability (approximately) for free. John ___

RE: [avr-gcc-list] avr superoptimizer

2009-04-20 Thread Weddington, Eric
-Original Message- From: avr-gcc-list-bounces+eric.weddington=atmel@nongnu.org [mailto:avr-gcc-list-bounces+eric.weddington=atmel@nongnu. org] On Behalf Of John Regehr Sent: Monday, April 20, 2009 2:04 PM To: avr-gcc-list@nongnu.org Subject: RE: [avr-gcc-list] avr

Re: [avr-gcc-list] avr superoptimizer

2009-04-20 Thread Josef Eisl
John Regehr wrote: That's why I'm (desperately) hoping that the LTO project in GCC will eventually help in this area. http://gcc.gnu.org/wiki/LinkTimeOptimization Alternatively, an LLVM backend for AVR would give this capability (approximately) for free. I've started implementing an LLVM

Re: [avr-gcc-list] avr superoptimizer

2009-04-20 Thread Georg-Johann Lay
Sean D'Epagnier schrieb: Hi, I posted a forum topic on a new avr superoptimizer I'm working on. It was noted that some people on this mailing list might be interested but don't view the forum regularly. The forum topic also contains the source code which you can download:

RE: [avr-gcc-list] avr superoptimizer

2009-04-20 Thread Weddington, Eric
: [avr-gcc-list] avr superoptimizer Sean the limit case of what you are working on is something like Diablo, you should read some of their papers: http://diablo.elis.ugent.be/publications It is an excellent tool. Unfortunately diablo looks a bit stale. Their latest release was over 3

Re: [avr-gcc-list] avr superoptimizer

2009-04-20 Thread Sean D'Epagnier
Hi, On 4/20/09, Georg-Johann Lay a...@gjlay.de wrote: Hi Sean, as far as I understand, your tool runs on asm code, i.e. you map short sequences of asm instructions (which must not contain code labels) to other instruction sequences. Right, and it's far from complete. In theory it could

RE: [avr-gcc-list] avr superoptimizer

2009-04-20 Thread John Regehr
On Mon, 20 Apr 2009, Weddington, Eric wrote: Unfortunately diablo looks a bit stale. Their latest release was over 3 years ago (Feb. 2006), and their required patches are for binutils 2.13 and gcc 3.3.2. :-P Is this project even a going concern anymore? I don't think so. And anyway I think