Re: Compiler Verification/Optimization

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

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