Дормидонтов Егор. Лабораторная работа 3. Backend. Вариант 4.

[EgorDormidontov]

FmsubOptPass - пасс, который на этапе генерации машинного кода ищет и оптимизирует последовательности операций умножения и вычитания (или сложения с отрицанием), используя инструкции FMA/FMSUB.

Пасс распознаёт следующие шаблоны:

1. (a * b) - c
   Заменяется на инструкцию VFMSUB213, что соответствует fused multiply-subtract (FMSUB).

2. c - (a * b)
   Заменяется на VFNMADD213 — fused negative multiply-add (FNMADD).

3. -(a * b) + c
   (или через XOR/NEG) также заменяется на VFNMADD213.

Пасс покрывает оба варианта SIMD/скалярных инструкций:

SSE/SSE2: MULSSrr, MULSDrr, SUBSSrr, SUBSDrr, ADDSSrr, ADDSDrr и их packed-аналоги.
AVX/FMA: VMULSSrr, VMULSDrr, VSUBSSrr, VSUBSDrr, VADDSSrr, VADDSDrr и packed-варианты.

[aobolensk]

These CHECKs are not checking register correctness in the new instruction