Re: Compiler Verification/Optimization

Vladimir Makarov <vmakarov@cygnus.com>
25 Apr 2000 02:30:39 -0400

          From comp.compilers

Related articles
Compiler Verification/Optimization jared@zucotto.com (Jared Dykstra) (2000-04-20)
Re: Compiler Verification/Optimization naveen_sharma@my-deja.com (2000-04-21)
Re: Compiler Verification/Optimization vmakarov@cygnus.com (Vladimir Makarov) (2000-04-25)
Re: Compiler Verification/Optimization johnrn@attglobal.net (2000-04-26)
| List of all articles for this month |

From: Vladimir Makarov <vmakarov@cygnus.com>
Newsgroups: comp.compilers
Date: 25 Apr 2000 02:30:39 -0400
Organization: Cygnus Solutions
References: 00-04-143
Keywords: testing

Jared Dykstra wrote:
>
> What Optimization and verification suites are currently available? I
> looked around, but could only come up with one company called
> Nullstone. Are there any other alternatives? or Has anyone dealt with
> NullStone in the past?
>


Nullstone is good to find what is quality of your optimizations and
what optimizations are missed.


As verification of C/C++/Java, I'd recommend Plumhall testsuite
(http://www.plumhall.com). It stresses the compiler very good.


Another testsuite is perennial testsuite (http://www.peren.com).


One interesting useful toolset which tests so called "student" program
is DDT (article about DDT is on
http://www.europe.digital.com/info/DTJT08/DTJT08HM.HTM. You can
download DDT from
http://nar-associates.com/site/sdr/projects/ddt/download/). It finds
bugs which other testsuites usually can not find (but it misses the
most of bugs which other testsuites find). It automatically generates
C tests and can compare the results on different compilers. You can
modify it to tune it to another language, e.g. I used it to find some
bugs (even parser bugs) in Microsoft Fortran 90.


> Also, are the egcs/gcc benchmark & verification suites freely
> available or GPLed? If so where can I get them.
>


http://gcc.gnu.org


Vladimir Makarov, Gcc compiler engineer
Cygnus, a Red Hat company


Post a followup to this message

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