「コンパイラ・スクリプトエンジン」相談室16 (648ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
198(2): デフォルトの名無しさん [sage] 2015/02/24(火) 01:43:04.58 ID:f8A7qwV2(1) AAS
共通部分式の除去のやり方がわかんねえ
定数伝播、四則演算も含む組み込み関数の畳み込み、使わない変数の除去、
ループ展開等を同じパスでやってるんだけど
共通部分式の除去とそれをやるのに必要な不変式の判定はまた別でやった方がいいのかな
不変式かどうかはループ最適化でも使えそうなんだけど混乱してきた
199(1): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2015/02/24(火) 08:04:58.95 ID:UGr8Bbp/(1/2) AAS
>>198
ある計算式eについて、eの部分式を互いに参照するエントリーとして再帰的にテーブルに登録する。
登録するときにソートと重複チェックを行えば、テーブルは一意化できる。
テーブルの各エントリーの参照構造は、木構造のノードを成す。
200(1): デフォルトの名無しさん [] 2015/02/24(火) 11:33:08.23 ID:wemgVVUb(1/2) AAS
>>198
式の属性に関する再帰方程式の近似解をニュートン法のように求めること、
これがデータフロー計算解法の本質と理解できてないんじゃない？
ドラゴンブックのavailable, killedの説明の所読んでみれば？
同じパス内でループしながら収束するまで計算するのよ。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.130s*