Реализация алгоритма Болла-Ларуса

Question

Доступна ли где-нибудь реализация алгоритма «эффективного профилирования пути» Ball-larus?

[Реализация в llvm была бы более полезной]

Вот ссылка Citeseer на оригинальную статью BL96

Answer 1

В LLVM уже существует реализация профилирования пути Болла-Ларуса. Дополнительные патчи в этой области запрашиваются .

Answer 2

Все, что мне удалось найти, это какой-то псевдокод:

for all node n in reverse topological order do
  if n is a leaf then
     NumPaths(n) ← 1
  else
     NumPaths(n) ← 0
     for all edge e of the form n → m do
        Val(e) ← NumPaths(n)
        NumPaths(n) ← NumPaths(n) + NumPaths(m)
     end for
  end if
end for