CF3: Test Suite for Arithmetic Optimization of C Compilers

Yusuke HIBINO; Hirofumi IKEO; Nagisa ISHIURA

doi:10.1587/transfun.E100.A.1511

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

Online ISSN : 1745-1337
Print ISSN : 0916-8508

Special Section on Design Methodologies for System on a Chip

CF3: Test Suite for Arithmetic Optimization of C Compilers

Yusuke HIBINO, Hirofumi IKEO, Nagisa ISHIURA

Author information

Keywords: C compiler test suite, arithmetic optimization

JOURNAL RESTRICTED ACCESS

2017 Volume E100.A Issue 7 Pages 1511-1512

DOI https://doi.org/10.1587/transfun.E100.A.1511

Details

Abstract

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.

Content from these authors

Favorites & Alerts

Corresponding author

Register with J-STAGE for free!