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.
Yusuke HIBINO
Denso Techno Co., Ltd.
Hirofumi IKEO
Kwansei Gakuin University
Nagisa ISHIURA
Kwansei Gakuin University
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Yusuke HIBINO, Hirofumi IKEO, Nagisa ISHIURA, "CF3: Test Suite for Arithmetic Optimization of C Compilers" in IEICE TRANSACTIONS on Fundamentals,
vol. E100-A, no. 7, pp. 1511-1512, July 2017, doi: 10.1587/transfun.E100.A.1511.
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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E100.A.1511/_p
Copy
@ARTICLE{e100-a_7_1511,
author={Yusuke HIBINO, Hirofumi IKEO, Nagisa ISHIURA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={CF3: Test Suite for Arithmetic Optimization of C Compilers},
year={2017},
volume={E100-A},
number={7},
pages={1511-1512},
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.},
keywords={},
doi={10.1587/transfun.E100.A.1511},
ISSN={1745-1337},
month={July},}
Copy
TY - JOUR
TI - CF3: Test Suite for Arithmetic Optimization of C Compilers
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1511
EP - 1512
AU - Yusuke HIBINO
AU - Hirofumi IKEO
AU - Nagisa ISHIURA
PY - 2017
DO - 10.1587/transfun.E100.A.1511
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E100-A
IS - 7
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - July 2017
AB - 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.
ER -