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

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

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