Практическое применение подхода
С помощью предложенного подхода были построены тесты и протестированы ряд оптимизаторов в нескольких компиляторах для современных архитектур: GCC, Open64, Intel C/Fortran compiler.
Были разработаны генераторы для следующих оптимизаторов:
- Control Flow Graph optimization;
- Common Subexpression Elimination;
- Induction Variable optimization;
- Loop Fusion optimization;
- Loop Data Dependence analysis.
Соответствующие множества тестов генерировались для языков программирования C и Fortran.