使用LLVM達到定義

Question

我正試圖實現達到定義的天真執行。但是，我在瀏覽LLVM框架時遇到了問題。我正在考慮如何首先獲得一個基本塊的GEN設置，然後再去執行KILL設置（就像在樸素算法中一樣）。

有關此事的任何指導表示讚賞。 謝謝

Answer 1

達到定義分析並不真正適用於像LLVM IR這樣的SSA形式的語言，因爲從來沒有對先前定義的變量進行重新定義（或重新賦值）。