1. 目的是識(shí)別循環(huán)中那種在每個(gè)迭代都產(chǎn)生相同值的計(jì)算，并將它們移到循環(huán)之外。注意，如果一個(gè)計(jì)算出現(xiàn)在嵌套循環(huán)內(nèi)，對(duì)外循環(huán)的特定迭代而言，內(nèi)循環(huán)的每個(gè)迭代都產(chǎn)生相同的值，但外循環(huán)的不同迭代產(chǎn)生不同的值，那么這種計(jì)算將移到內(nèi)循環(huán)外，而非外循環(huán)外
2. 識(shí)別循環(huán)不變量可以基于數(shù)據(jù)流分析求得的use-def鏈，一條指令是循環(huán)不變的，當(dāng)它的每個(gè)操作數(shù)滿足以下條件之一
a）該操作數(shù)是常數(shù)
b）該操作數(shù)的所有到達(dá)定值在循環(huán)之外。因?yàn)槿粲幸粋€(gè)在循環(huán)內(nèi)，則該指令就可能是循環(huán)變化的，除非那個(gè)定值是循環(huán)不變量
c）該操作數(shù)只存在一個(gè)為循環(huán)不變量的到達(dá)定值，且該指令之前沒有對(duì)其左部變量（若有）的使用。因?yàn)槿粲卸鄠€(gè)這樣的定值，則該指令就可能是循環(huán)變化的，除非多個(gè)定值結(jié)果都一樣；因?yàn)槿羟懊嬗袑?duì)其左部變量的使用，則該指令的賦值就殺死了左部變量的初值，這樣外提后左部變量第一次迭代就會(huì)使用錯(cuò)誤的定值
3. 由于以上條件沒考慮到控制流分析，不能保證循環(huán)不變量在每個(gè)迭代中執(zhí)行，以及循環(huán)不變量之左部變量的所有使用都是相同的值。因此為了保證外提后的代碼行為正確，還需要滿足條件：循環(huán)不變量所在基本塊必須是循環(huán)中所有使用了其左部變量的基本塊和所有出口基本塊的必經(jīng)結(jié)點(diǎn)。當(dāng)外提循環(huán)不變量后，考慮到循環(huán)有可能執(zhí)行0次即一開始就不滿足循環(huán)進(jìn)入條件，可以用是否進(jìn)入循環(huán)的測(cè)試條件來保護(hù)前置塊，即識(shí)別終止條件是否一開始就為false，來保護(hù)它。這種方法總是安全的，但增加了代碼體積。不過若終止條件恒為true或false，則常數(shù)傳播分析會(huì)刪除這個(gè)冗余測(cè)試，如果為false，那么還會(huì)刪除前置塊
posted on 2023-09-06 23:30
春秋十二月 閱讀(72)
評(píng)論(0) 編輯 收藏 引用 所屬分類:
Compiler