Есть ли в LLVM взаимно-однозначное сопоставление MachineFunction CFG и IR Function CFG?

Question

Вы можете иметь CFG на уровне LLVM IR Function и CodeGen MachineFunction.Это сопоставление один к одному?Я имею в виду, есть ли такое же число (Machine)BasicBlock с в тех CFG с аналогичными потоками управления? Я знаю, что количество команд может отличаться по очевидной причине, но мне интересно знать, остается ли структура такой же.

Answer 1

Это отображение один-к-одному? Я имею в виду, есть ли такое же количество (Машина) Базовые блоки в тех CFG с аналогичными потоками управления?

Нет, нет однозначного отображения на уровне базовых блоков. Одна из причин этого заключается в том, что точная замена узла "PHI" невозможна. Генерация узлов «SELECT» и «SELECT_CC» реструктурирует представление базового блока машины.