вообще эти армострадания (а также всякая борьба с спектрами/мелтдаунами) большая проблема и плохие новости для любых более менее выразительных языков (типа хаскеля), все и так ничтожные завоевания последних 20 лет по производительности будут уничтожены
Всё-таки, львиная доля оптимизатора не так уж, чтоб специфична относительно архитектуры.
Да, кодогенерацию придётся делать заново.
Но даже если воспользоваться llvm, то производительность упадёт не так уж, чтоб кардинально.
Сужу по ghc через llvm на x86.