LabVIEW 編譯器深層解析

　　DFIR后端變換

　　在DFIR圖表被分解與優(yōu)化后，后端變換開(kāi)始執(zhí)行。這些變換評(píng)估并注解DFIR圖表，為最終將DFIR圖表降低為L(zhǎng)LVM IR做好準(zhǔn)備。聚叢程序負(fù)責(zé)將節(jié)點(diǎn)歸為簇，這些簇可以并行運(yùn)行。替代程序識(shí)別何時(shí)分配的數(shù)據(jù)可以重新使用，何時(shí)必須制作副本。在替代程序運(yùn)行后，分配程序預(yù)留出VI執(zhí)行所需的內(nèi)存空間。最后，編碼發(fā)生器負(fù)責(zé)將DFIR圖表轉(zhuǎn)化為可執(zhí)行的機(jī)器指令用于目標(biāo)處理器。

　　LLVM提供一種底層的中間表示

　　LLVM是一種多用途，高性能，源代碼開(kāi)放的構(gòu)架，原來(lái)是伊利諾斯州州立大學(xué)的作為研究項(xiàng)目而發(fā)明的。LLVM因?yàn)槠潇`活性，簡(jiǎn)潔的API以及不受許可的限制，被廣泛用于學(xué)術(shù)研究與工業(yè)生產(chǎn)。在LabVIEW 2010版本，LabVIEW編碼生成器使用LLVM來(lái)生成目標(biāo)機(jī)器碼。在從DFIR圖表創(chuàng)建編碼流后，LabVIEW訪問(wèn)每個(gè)指令并創(chuàng)建一個(gè)等價(jià)的LLVM表示。軟件會(huì)激活多種優(yōu)化掃描，最終，LLVM準(zhǔn)時(shí)制(JIT)構(gòu)架在內(nèi)存中創(chuàng)建可執(zhí)行的機(jī)器指令。現(xiàn)在LabVIEW可以使用LLVM來(lái)執(zhí)行指令綜合，跳變線程，聚合標(biāo)量替代(scalar replacement of aggregates)，條件擴(kuò)展，尾端調(diào)用刪除，循環(huán)不變代碼移出，死碼刪除以及循環(huán)展開(kāi)。

　　DFIR與LLVM協(xié)同工作

　　DFIR是高級(jí)的IR具有并行性，而LLVM是底層IR，具有目標(biāo)機(jī)器特性的認(rèn)知，二者協(xié)同工作以?xún)?yōu)化開(kāi)發(fā)者為處理器結(jié)構(gòu)而編寫(xiě)的LabVIEW代碼，它們能夠在處理器上被執(zhí)行。