Проект Minotaur развивает оптимизатор для LLVM, использующих инструкции SIMD #opennet www.opennet.ru/opennew…rt.shtml Группа исследователей из университета Юты (США) предложила оптимизатор Minotaur для набора компиляторов LLVM, использующий метод на основе решения задач выполнимости формул (SMT Solver) для выявления недостающих оптимизаций в промежуточном представлении кода (LLVM IR), генерируемом оптимизатором LLVM. Minotaur главным образом нацелен на оптимизацию целочисленных векторных инструкций (SMD), как переносимых, так и специфичных для систем x86_64 (SSE, AVX, AVX2 и AVX-512).