Re: C compiler validation suite

"Christopher Glaeser" <cdb@nullstone.com>
Mon, 7 May 2007 10:24:55 -0700

          From comp.compilers

Related articles
C compiler validation suite martin_filteau@yahoo.ca (Martin Filteau) (2007-04-18)
Re: C compiler validation suite derek@knosof.co.uk (Derek M. Jones) (2007-04-19)
Re: C compiler validation suite cdb@nullstone.com (Christopher Glaeser) (2007-05-07)
| List of all articles for this month |

From: "Christopher Glaeser" <cdb@nullstone.com>
Newsgroups: comp.compilers
Date: Mon, 7 May 2007 10:24:55 -0700
Organization: Compilers Central
References: 07-04-060 07-04-067
Keywords: testing
Posted-Date: 08 May 2007 00:43:49 EDT

Nullstone is an automated compiler performance analysis tool and it not a
validation suite per se, but it does check results to ensure the optimized
code is both fast and correct. It also includes a variety of test
categories that are specifically designed to catch the optimizer performing
overzealous optimizations. A couple examples include power-of-2 integer
division where the optimizer attempts to negate the largest negative number
(a very common defect when Nullstone was first released), and loop unrolling
of loops with an unsigned loop control variable that wraps across zero.


In addition, the coverage analysis of testing each optimization with all
applicable language features (e.g. data type = char, short, int, ... storage
class = static, auto, ..., operator = plus, minus, left shift, right shift,
....) within various types of control flow (e.g. basic block, extended basic
block, simple loop, ...) isolates defects in corner cases that are otherwise
undetected. See www.nullstone.com for more information.


Best,
Christopher



Post a followup to this message

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