a21_hlx001_2 のバックアップ(No.2)

バックアップ一覧
差分を表示
現在との差分を表示
ソースを表示
a21_hlx001_2 へ行く。
- 1 (2021-08-23 (月) 15:51:16)
- 2 (2021-08-23 (月) 17:04:42)
- 3 (2021-08-23 (月) 23:44:56)
- 4 (2021-08-24 (火) 16:01:47)
- 5 (2021-08-24 (火) 16:28:11)
- 6 (2021-08-25 (水) 00:56:10)

HLX-001 の補足ページ#2

(by K, 2021.08.23)

↑

(8) HLX-001の最適化アルゴリズム

HLX-001は、いろいろな最適化を比較的コンパクトに実現できていると思うのですが、そのアルゴリズムの詳細や、なぜそういう仕様にしたのかの説明を書いておけば、誰かの参考になるかもしれないと思ったので書いておきます。

[5-1] 「比較演算子の結果を0かどうか比較する」という処理を一度の比較にまとめる。
- AEs_optimizeSub0() [24行] のアルゴリズム：
```
最適化の範囲： p0 ～ p1
for (p = p0; p < p1; p = 次の命令) {
    if (pの命令がAEs_OpCmpEq～AEs_OpCmpRnz) { r = p; （この命令の場所を覚えておく） }
    if (pの命令がAEs_OpSetCc && 次の命令がAEs_OpCmpEqかAEs_OpCmpNeで定数0との比較 && OpSetCcの結果をその先で一切使わない) {
        if (次の命令がAEs_OpCmpEq) { rに書いてある命令の比較条件を反転させる }
        pのSetCc命令をNopにしてしまう
        pの次のAEs_OpCmpEq/AEs_OpCmpNe命令もNopにしてしまう
    }
}
```
- [Q] 「OpSetCcの結果をその先で一切使わない」ってどうやって判定していますか？
  - [A] プログラムでは AEs_isVoid() で判定しています。
  - やっていることは単純で、その先の命令を見ていって、もしその変数が何らかの命令の引数に使われていれば、それは「使われている」と判断しておしまいです。
  - もしその変数に対して何らかの値が上書きされるか、OpVoid命令で無効化されたら、それは「使われていない」と判断しておしまいです。
  - Op0JmpやOp0Jccに出会ってしまったら、その先でどうなるかは分からないので、「使われている」ということにしておしまいです。・・・いやOp0Jmpであればさらに追跡も可能ではありますが、それで最適化ルーチンが無限ループに入ったらいやだなとか、それを回避するためにどの命令がチェック済みかを管理するのも手間だなと思って、やっていません。
  - そこを頑張っても、得られるものはそれほど多くないと思うので・・・。