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
>
>
>
>
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 Richard \UK\.●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 Paul Curtis●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 Richard \UK\.●October 5, 20052005-10-05
Hi,
Would I be right to assume that all C compiler vendors check their code
generation with C compiler test suites?
regards,
Richard