Я пытаюсь выполнить анализ псевдонимов в бэкэнде LLVM (фаза генерации кода). На этом этапе мы имеем дело с машинными инструкциями (MachineInstr), и операнды этих инструкций не являются типом Value. Функции в анализе псевдонимов LLVM (например, isNoAlias) получают тип значения в качестве входных данных. Можно ли использовать анализ псевдонимов LLVM для машинных инструкций и операндов?