LabVIEW 編譯器深層解析

　　DFIR后端變換

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

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

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

　　DFIR與LLVM協(xié)同工作

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