Compiler Testing

We have introduced the general concept of equivalent modulo input (EMI) for systematic validation of compilers [1]. Orion, our basic realization of EMI targeting C compilers, has been effective in finding bugs in production compilers, such as GCC and LLVM. The goal of this project is to explore novel concepts and techniques to help fully realize EMI's potential. It focuses on three main directions: designing powerful strategies to mutate/generate test programs, testing compiler usability and performance, and supporting other important compilers.
We have maintained our continuous, extensive effort in stress-testing GCC and LLVM to benefit the entire community:

EMI & SPE Compiler Testing: [GCC/LLVM bugs: 1,634 (total) / 1,076 (fixed)]
[Reports: GCC (external page link1, external page link2, external page link3, external page link4, external page link5), LLVM (external page link1, external page link2, external page link3, external page link4, external page link5)]