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