Поиск доминирующего местоположения определения из места использования с помощью llvm ⇐ C++

[Anonymous]

Я пытаюсь найти определяющие местоположения, которые могут достичь места использования в llvm. Например, у меня есть конфигурация

Код: Выделить всё

  a (def)
/ \
b   c (def)
\ /
d (use)

Итак, обе инструкции a и c определяют значение, и в d мы хотим использовать это значение. Как я могу найти местоположения a и c из d в целом, используя llvm? Могу ли я решить эту проблему с помощью дерева доминирования?

Подробнее здесь: https://stackoverflow.com/questions/787 ... using-llvm