netail.net

_ [work]Dominatorの検出 ▲

バイトコードの制御フローグラフ上で，条件分岐の結果がいつまで有効だといえるかをPostDominator（どちらに分岐しても必ず通過する最初の頂点）で判定するために，PostDominatorの計算を実装してみた．

アルゴリズムは悩んだが，実装が単純な繰り返し計算方法Keith D. Cooper, Timothy J. Harvey, Ken Kennedy:A Simple, Fast Dominance Algorithm.に掲載のものを使ってみた．文献自体はSoftware Practice and Experience にSubmitted となっているもの（Acceptedではないらしい）．これ自体はDominantの計算なので，PostDominantを判定するために依存関係のたどり方だけ逆向きにして適用してみた．

パフォーマンス的には最適化の余地はあるのだが，とりあえず単純な実装で動作試験にはいちおう成功しているみたい．

_ [Java]Eclipse 3.1M2 ▲

新しく作るツールでは Java Generics が使いたいので，Eclipse のいちおう Generics 対応版である 3.1M2 を導入．

設定ダイアログの Compliance Level でソースコード，生成バイトコードを 1.5 対応にする必要はあったが，いちおう Generics 対応コードがコンパイルできているみたい．