Special Section on Design Methodologies for System on a Chip
CF3: Test Suite for Arithmetic Optimization of C Compilers
2017 年 E100.A 巻 7 号 p. 1511-1512
詳細
2017 年 E100.A 巻 7 号 p. 1511-1512
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.
