CF3: Test Suite for Arithmetic Optimization of C Compilers

Yusuke HIBINO  Hirofumi IKEO  Nagisa ISHIURA  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E100-A   No.7   pp.1511-1512
Publication Date: 2017/07/01
Online ISSN: 1745-1337
Type of Manuscript: Special Section LETTER (Special Section on Design Methodologies for System on a Chip)
Category: 
Keyword: 
C compiler test suite,  arithmetic optimization,  

Full Text: PDF(57.6KB)
>>Buy this Article


Summary: 
This letter presents a test suite CF3 designed to find bugs in arithmetic optimizers of C compilers. It consists of 13,720 test programs containing all the expression patterns covering all the permutations of 3 operators from 14 operators. CF3 detected more than 70 errors in GCC 4.2-4.5 within 2 hours.