非常感動有人研究 LLVM 的原始碼
但有點可惜的事 DominanceFrontier 目前已經(建議) deprecated 了：
https://goo.gl/7Ag9je
原因我不太清楚 但有一個類似的替代選項：IteratedDominanceFrontier
include/include/llvm/Analysis/IteratedDominaceFrontier.h 裡面的
class Forward/ReverseIDFCalculator
iterated dominance frontier(IDF) 跟 dominance frontier(DF) 有些不一樣
根據 DF 的定義，每個 DF block 也是可能需要插入 Phi node 的 block
而 Phi node 基本上也是一個 definition，所以也可以找到他的 DF block
IDF 就是基於這個概念，延伸 DF 的演算法：在找到一個 DF block 後
會以該 block 為起點 繼續找該 block 的 DF
以這個例子來看：https://i.imgur.com/oTyD5OM.png
以下是 definition BB 以及 IDFCalculator 計算出的對應結果
| Definition Block | IDF(s) |