CF3: Test Suite for Arithmetic Optimization of C Compilers. - Yusuke Hibino; Hirofumi Ikeo; Nagisa Ishiura (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017)