EmbeddedRelated.com
Forums

Compiler validation suites?

Started by Richard \UK\. October 5, 2005
Hi,

Would I be right to assume that all C compiler vendors check their code
generation with C compiler test suites?

regards,

Richard




Beginning Microcontrollers with the MSP430

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

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
>
>
>
>
>
>
>
> 


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

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
>
>
>  
>