プロジェクト・ナニ屋

リリースに向けて更新。
ごたくを削って、かわりに言い訳を挿入。

ときどき区別なし判定に失敗するのは、unsignedの罠にハマってたのだった。…未熟。
ついでにデバッグメッセージをもうすこしトレースしやすいものに変更。

ヒット判定に
- 零次判定ネガティヴハッシュ(ビットマップ)
- 一次判定小テーブル
を導入。一次判定は、ハッシュ版もつくってみたが、バイナリサーチとさほど性能が変わらなかったため、より頑丈なバイナリサーチを採用。
長年懸念になっていた、大小判定まわりをきっちり作り込…んだつもりなんだが、まだびみょーにバグってるみたい。このバグ取れたらリリースしよう。

ALU_T を多用するかもなので、ALU_Tの付属定義を移動。

３パターン展開を[]でまとめるように変更。

PARAM::hit[] を廃止し、PARAM::t[] を伸ばす方向に記述を変更しました。
随所に散らばっていた t 関係のマジックナンバーを、crypt64.h, synth.h にて定義しました。
ワークエリア割り当ては、PARAM::hit[]廃止に伴い、tにさしかかるように取ることにしました。

disp_rm() において、disp==0 の最適化を入れました。

USE_64 時においても PTR_T は SI のまま使えるようにしたので、レジスタ割り当てを本来あるべき(に近い)姿に変更しました。

合成中に頻出する操作をまとめ、 reg_not(), reg_clr() を新設しました。

synth_assemble_lr() において、最初の積項を R6 で計算し R7 へ移動していましたが、これを直接 R7 上に展開するように最適化しました。

USE_64 時、演算で破壊される T (%rsi) をポインタで利用するため、演算後に設定するようにしました。

役に立つデバッグメッセージを追加。

モジュールが増えたので、それへの対応。

Emacs vc-svn がトチ狂うので、スマンけど日本語のファイル名は名前変更させて!

せっかくだからスナップショット公開のために誤字脱字訂正。

VC8では inline と書いちゃダメっぽいので、とりあえず外しとく。
(C99 では有効なキーワードのハズ)

hit時のワークエリア叩きが効率悪かったので、ちょっとは効率よくなるように構造をやや作り替える。
つーかさっきのは、またもやキャッシュの呪いにかかってしまったようで…

ノードの二重登録を行ってしまっていたのでちゃんとする。

モジュール wdict.[ch] を新規作成し、辞書関係の記述を移動。
ついでに popcnt32() などを util.h へ移す。
動作に影響はない、ハズ。

[./] のヒット処理を加えた。てきとうな処理なのでてきとうにヲーニングが出るが無視。

ついでにコメント1カ所修正。

[./] を登録するときに、間違えてビットマップを渡していた。内部コードを渡すのだよ。

これまた実験的に、[./]を区別なし文字扱いにした。でもなんだかすっきり書けないねぇ。

昨夜いろいろバグってたので修正して、なんだか動いてる感じがするようにまでしてみた。
いちばんの勘違いは、ANDNの作用を取り違えていたことだったり。

メッセージに関する説明を加えておきました。
開発版であることを明記しました。

辞書だけじゃなく、論理項の結果もちゃんと出るようにしました。これで実用になるでしょう。

…って思って検証してたら、どうやら被覆最適化がバグってたもよう。一時的に殺してあります。

実験的に、「英文字」クラスに、[./]を混ぜる。
世間一般の埋め草つきターゲットだと、劇的に性能が向上する。
いっそのこと、[./]を大小区別ナシ扱いにしてもいいかもしれんが要検討。

NI_DICT節に対して定数削りの最適化が効いていなかったため、後半のコード生成でしんでた。

辞書を更新する処理をちょっとズルして、プチ最適化しなくても木が肥大化しないようにした。これにより、30万語の辞書読み込みもあっという間に終わることとなった!

末尾LRの全集合(無条件に t)を最適化フェイズでたたき落とせていなくて「やっちゃったー」になっていたため、対策。

word to シリーズ

これからの展開用に。

LR生成の際に、式の相関により最適化を行うようにした。かなり効果があるハズだが、ときどき重いフェイズに突入してしまい、「ドツボ」ることがあるのでこれが今後の課題。

・木の最適化に、AND 1, OR 0 などの無意味項を丸める処理を追加。
・最適化の結果参照されなくなったLRノードを削除するようにした。ついでに削除ノードを最適化効果指標として報告するようにした。
・synth_extract_minterm() に記述されていた処理の大部分は、前段の synth_expand_terms() にて終わっているので、処理を大幅に削った。
・synth_simplify_qm() は、生成限界に達したときに全主項を返すようにした(未デバッグ)。

ついでに、N_INFLIGHT=2 にしてみた。いいのか?

Fastcall がダメな環境への対応。

転置のつくりかた/取り出し方が x64 では根本的にマズかったので修正。USE_64, USE_64_XMM にて確認。
ついでに、比較ビット中ヒット率も表示するようにした(デバッグモード)。