基于GCC的中間代碼優(yōu)化技術(shù)研究.pdf

1、目前程序語言層出不窮，計算機日新月異，導致了程序語言與計算機的多樣性，這就給編譯器的構(gòu)造帶來了沉重的負擔。中間代碼的出現(xiàn)，將優(yōu)化盡量施加到中間語言上，而不是施加到高級語言或低級語言上。中間代碼優(yōu)化過程包含非循環(huán)優(yōu)化和循環(huán)優(yōu)化兩個部分。數(shù)據(jù)流分析是非循環(huán)優(yōu)化技術(shù)必要的模型，然而目前的數(shù)據(jù)流分析模型不能增量式地修改數(shù)據(jù)流信息，因此構(gòu)建可增量式的數(shù)據(jù)流分析模型就成為了非循環(huán)優(yōu)化技術(shù)的研究重點；另一方面，循壞優(yōu)化可提高程序的局部性，然而對多個數(shù)

2、組訪問要分別確定獲得理想步長向量對應的變換矩陣，如果這些變換矩陣不相同，解決沖突措施的計算復雜度非常高。 本文通過對數(shù)據(jù)流分析技術(shù)的深入研究，引入控制塊分解流圖來構(gòu)建控制流樹，確定了流圖中的回邊及循環(huán)路徑中所包含的節(jié)點，通過將這些回邊從原流圖中消去可構(gòu)建無環(huán)流圖，從而簡化流圖的數(shù)據(jù)流分析?？刂茐K將流圖的控制關(guān)系轉(zhuǎn)移到新構(gòu)建的控制流樹的內(nèi)部控制節(jié)點上。使用控制塊分解算法將流圖轉(zhuǎn)換到控制流樹過程中，所創(chuàng)建節(jié)點數(shù)目不超過n，使用控制流

3、樹求解路徑表達式和確定回邊的時間復雜度不超過O(nlogn)。另外，本文采用將加權(quán)系統(tǒng)矩陣每一列的元素相加得到一個新的向量，確定嵌套循環(huán)中的大多數(shù)數(shù)組訪問的順序與存儲順序相一致，在一個較粗粒度上提高嵌套循環(huán)的局部性，并大大地降低了計算復雜度。本文還對GCC高級循環(huán)變換實現(xiàn)機制進行了深入的研究，確定了影響GCC高級循環(huán)變換的主要因素是GCC計算矩陣變換機制不足，通過使用整個嵌套循環(huán)統(tǒng)一分析框架，確定理想的循環(huán)層次結(jié)構(gòu)，解決了GCC計算矩陣