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 pagelink1call_made, external pagelink2call_made, external pagelink3call_made, external pagelink4call_made, external pagelink5)call_made, LLVM (external pagelink1call_made, external pagelink2call_made, external pagelink3,call_made external pagelink4call_made, external pagelink5)call_made]