Плюсы и минусы графического и линейного промежуточного представления в дизайне компилятора?

Question

Существует два вида промежуточного представления (IR) в дизайне компилятора, кратко представленные здесь : графическое (например, дерево абстрактного синтаксиса) и линейное (например, LLVM IR). Каковы плюсы и минусы двух?

Я заметил, что Clang реализовал оба, но, похоже, только линейное представление (LLVM IR) используется в бэкэнде LLVM.

Answer 1

Это очень субъективное решение со стороны разработчика компилятора. На моем языке я реализую график AST, который затем используется для получения LLVM-IR. Я мог бы легко перейти от семантической проверки к IR, но я делаю некоторый рефакторинг / оптимизацию, которые AST прекрасно выполняет до генерации IR.