|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 条件 ： [じょうけん] 【名詞】 1. conditions 2. terms ・ 件 ： [くだん, けん] 【名詞】 1. matter 2. case 3. item ・ 分 ： [ぶん, ふん] 1. (n,n-suf,pref) (1) part 2. segment 3. share 4. ration 5. (2) rate 6. (3) degree 7. one's lot 8. one's status 9. relation 10. duty 1 1. kind 12. lot 13. (4) in proportion to 14. just as much as 1 ・ 分岐 ： [ぶんき] 1. (n,vs) (gen) (comp) forking 2. jump (computer) 3. divergence (e.g., in a road) ・ 考慮 ： [こうりょ] 1. (n,vs) consideration 2. taking into account ・ 定数 ： [ていすう] 【名詞】 1. constant ・ 数 ： [すう, かず] 1. (n,n-suf) number 2. figure ・ 伝 ： [でん, てん, つたえ] 【名詞】 1. legend 2. tradition 3. life 4. biography 5. comment 6. communication ・ 伝播 ： [でんぱ] 1. (n,vs) transmission 2. propagation 3. spread 4. circulation 5. diffusion 6. dissemination
疎な条件分岐を考慮した定数伝播（英: Sparse conditional constant propagation）とは、計算機科学におけるコンパイラ最適化手法の一つで、静的単一代入(SSA)形式に変換した後に適用されることが多い。 この手法は、プログラム全体に対してある種のデッドコードの除去と、定数畳み込みを同時に実施する。重複の回数によらず、単純なデッドコード削除と定数畳み込みより強力な方法である〔Wegman, Mark N. and Zadeck, F. Kenneth. "Constant Propagation with Conditional Branches." ''ACM Transactions on Programming Languages and Systems'', 13(2), April 1991, pages 181-210.〕〔Click, Clifford and Cooper, Keith. "Combining Analyses, Combining Optimizations", ''ACM Transactions on Programming Languages and Systems'', 17(2), March 1995, pages 181-196〕。 アルゴリズムはSSA形式のコードに抽象解釈を実施することにより働く。抽象解釈を実施する間、典型的には、値に対応する定数の値と定数のフラットな束と、束に対する大域的な SSA 変数と値の割り当てを用いる。アルゴリズムの最重要な点は分岐命令をどのように扱うかにある。分岐命令に遭遇すると、抽象化された値を、可能な限り正確に条件の変数に割り当てるようにする。 値が完全に正確で、抽象解釈で分岐のどちらに進むかが決定できる場合もある。値が定数ではない場合、あるいは条件文における変数が未定義の場合、保守的にいずれの分岐方向も残される。 抽象解釈が完了すると、到達しない命令はデッドコードとされる。定数であることが判明した SSA 変数は使用される箇所でインライン展開（伝播）される。 ==脚注== 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「疎な条件分岐を考慮した定数伝播」の詳細全文を読む スポンサード リンク
|