Re: Verifying a compiler

Taylor Hutt <t.hutt@worldnet.att.net>
20 Jun 2000 02:49:33 -0400

          From comp.compilers

Related articles
Verifying a compiler scarroll@csrd.uiuc.edu (Steven Carroll) (2000-06-14)
Re: Verifying a compiler mlross@jf.intel.com (2000-06-20)
Re: Verifying a compiler t.hutt@worldnet.att.net (Taylor Hutt) (2000-06-20)
Re: Verifying a compiler wlohmann@informatik.uni-rostock.de (2000-06-22)
Re: Verifying a compiler david@somers.lu (David Somers) (2000-06-22)
Re: Verifying a compiler echristo@cygnus.com (Eric Christopher) (2000-06-27)
Re: Verifying a compiler world!bobduff@uunet.uu.net (Robert A Duff) (2000-06-27)
Re: Verifying a compiler iainf@news.kororaa.com (Iain A F Fleming) (2000-06-30)
Re: Verifying a compiler wlohmann@informatik.uni-rostock.de (2000-06-30)
[1 later articles]
| List of all articles for this month |
From: Taylor Hutt <t.hutt@worldnet.att.net>
Newsgroups: comp.compilers
Date: 20 Jun 2000 02:49:33 -0400
Organization: Compilers Central
References: 00-06-056
Keywords: testing, comment

Steven Carroll <scarroll@csrd.uiuc.edu> writes:


> I'm looking for a test suite to insure the correctness of a compiler
> that handles C, C++, Fortran, and Java with emphasis on C and FORTRAN.
> Does anyone have any experience using GCC's test suite with a
> different compiler? Can anyone reccomend a more directed suite?


Plum Hall (language compilance)


There is a competitor to Plum Hall, but I can't remember the name
right now.


Nullstone (optimizations / code generation)


> FORTRAN anyone?


No idea.
[When I wrote an F77 compiler 20 years ago, there were some tests from
NTIS which weren't great but at least picked out some of the more
egregious errors in my compiler. -John]


Post a followup to this message

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