Hi, Would I be right to assume that all C compiler vendors check their code generation with C compiler test suites? regards, Richard
Compiler validation suites?
Started by ●October 5, 2005
Reply by ●October 5, 20052005-10-05
Richard, > Would I be right to assume that all C compiler vendors check > their code generation with C compiler test suites? There are no commercial test suites to test code generation that I know of. Hence, it's all proprietary stuff. -- Paul Curtis, Rowley Associates Ltd http://www.rowley.co.uk CrossWorks for MSP430, ARM, AVR and now MAXQ processors
Reply by ●October 5, 20052005-10-05
Oops - I really meant language validation rather than code generation ...
IIRC Plum-Hall, Perennial and others used to market big gobs of source code
to check that C compilers were "doing the right thing".
Are these tools still useful / used?
regards,
Richard
----- Original Message -----
From: "Paul Curtis" <plc@plc@...>
To: <msp430@msp4...>
Sent: Wednesday, October 05, 2005 11:58 AM
Subject: RE: [msp430] Compiler validation suites?
> Richard,
>
>> Would I be right to assume that all C compiler vendors check
>> their code generation with C compiler test suites?
>
> There are no commercial test suites to test code generation that I know
> of. Hence, it's all proprietary stuff.
>
> --
> Paul Curtis, Rowley Associates Ltd http://www.rowley.co.uk
> CrossWorks for MSP430, ARM, AVR and now MAXQ processors
>
>
>
> .
>
>
> Yahoo! Groups Links
>
>
>
>
>
>
>
>
Reply by ●October 5, 20052005-10-05
Richard, > Oops - I really meant language validation rather than code > generation ... > > IIRC Plum-Hall, Perennial and others used to market big gobs > of source code to check that C compilers were "doing the right thing". Mostly for hosted implementations. > Are these tools still useful / used? Sometimes / Not in my case. Running on a micro with 2K of RAM and expecting file I/O to work isn't going to happen any time soon. -- Paul Curtis, Rowley Associates Ltd http://www.rowley.co.uk CrossWorks for MSP430, ARM, AVR and now MAXQ processors
Reply by ●October 5, 20052005-10-05
Hello Richard,
At Archelon, we use the Plum Hall Validation Suite to test our
compilers. It includes a set of "conformance" programs,
which try to check out every picky little detail of the C standard, and
a set of "exprtest" programs, which test code generation for all C
operators, using different combinations of operands. For our msp430
compiler, we run the suite in "freestanding" mode, which omits testing
of the I/O library. Highly recommended!
Preston Gurd
(the Quadravox AQ430 C compiler guy)
Richard (UK). wrote:
>Hi,
>
>Would I be right to assume that all C compiler vendors check their code
generation with C compiler test suites?
>
>regards,
>
>Richard
>
>
>
>