關鍵詞：RTL 指令模板 編譯優(yōu)化
1 概述
在信息化飛速發(fā)展的今天，計算機已成為人們學習和工作不可缺少的工具，我國業(yè)已取得了電腦生產大國的地位；但是，作為計算機的核心——CPU的設計與制造，卻成了幾代計算機工作者的未了習愿，也給國家的安全帶來了隱憂。順應潮流，中芯微系統(tǒng)公司于2001年推出了國內第一顆實用化的32位CPU（方舟一號），主頻達到166MHz。下一代方舟CPU將采用0.18μm工藝，超流水結構，主頻能達到600MHz以上，在嵌入式CPU領域走到國際前列。
傳統(tǒng)的32位計算機處理64位運算通常是設計具體的邏輯電路實現。隨著SoC（System on Chip）的出現，芯片上集成各種功能部件越來越多，特別對于嵌入式系統(tǒng)，片上能利用的空間就列加有限，這也要求將部分功能用軟件來實現。對于64位長字運算軟件實現的方法通常有兩種：一是設計系統(tǒng)軟件供操作系統(tǒng)內核調用；二是在相關的編譯器中設計指令模板來解決。前者執(zhí)行效率高，但每使用一次就要編譯一次；后者只需編譯一次，總的效率要高于前者。因此，實際采用在編譯器中設計指令模板予以解決。
2 32位RISC體系嵌入式CPU層次結構描述
圖1是一個集成了DSP（數字信號處理器）嵌入式CPU的層次圖。
從圖1可看到，編譯器在整個CPU結構中處于ASIC硬件電路之下和操作系統(tǒng)之上，擔負著將高級的、抽象的表達式轉化為相對低級的表達式，最終生成系統(tǒng)指令集。
3 CPU編譯器后端結構
CPU編譯器分為前端和后端：前端主要完成詞法/語法分析并生成語法樹，這里不再論述；后端是編譯的主體部分，它將語法樹轉換成不間語言，在此不間語言基礎上進行各種編譯優(yōu)化，最終生成匯編指令代碼。編譯后端在進行優(yōu)化的過程中要跟具體的目標機的機器描述文件多次匹配，生成RTL語言（Register Transfer Language）—GNU CC的中間語言。
機器描述文件由各種與目標機有關的指令模板、功能模板、C語言形式的預處理函數等構成。本文涉及到的64位運算就是由RTL和指令模板多次匹配后生成匯編指令來解決的，過程如圖2所示。
限于篇幅，這里僅舉64位加法運算的部分例子，其它運算與此類似。
4 64位加法運算指令板
① RTL識別指令模板，第一次匹配。
（define_insn “adddi3”）
[(set(match_operand:DI 0 "register_operand" "=r")
（plus:DI (match_operand:DI 1“register_operand”“0”)
（match_operand:DI 2 "register_operand"“r”）））
（clobber(reg:SI 6)）]//6號寄存器作進位使用
"")
② 將64位加法分解成高32位和低32位運算，第二次匹配。
（define_split
[(set(match_operand:DI 0 "register_operand"“=r”)
(plus:DI (match_operand:DI 1“register_operand”“0”)
(match_operand:DI 2 “register_operand”“r”)）)
（clobber(reg:SI 6)）]
"reload_complete"
“{
[(const_int 0)] //寄存器使用前清零
rtx low[3],high[3]; //rtx為一種處理表達式的數據類型
low[0]=gen_lowpart(Simode,operands[0]);
low[1]=gen_lowpart(Simode,operands[1])；
low[2]=gen_lowpart(Simode,operands[2]);
high[0]=gen_rtx(REG,Simode,REGNO(operands[0]-1);
high[1]=gen_rtx(REG,Simode,REGNO(operands[1]-1)；
high[2]=gen_rtx(REG,Simode,REGNO(operands[2]-1)；
//由于方舟CPU地址存儲方式采用的是Big-Endian，即字節(jié)中的最高有效位具有最低序號，所以高位硬寄存器號要減1。
emit_insn(gen_addsi3_set_carry(low[0],low[1],low[2])) //低32位加并設置進位
emit_insn(gen_addsi3_use_carry(high[0],high[1],high[2])); //高32位加并處理進位
DONE；
}
③ 處理低32位加。
（define_insn "addsi_set_carry"
[(set(match_operand:SI 0 (match_operand:SI1 "register_operand" "r")
(match_operand:SI 2
"register_operand"“r”））） （clobber(reg:SI6)）] //以下判斷是否有進位。有，則6號寄存器置1（set(reg:SI6)
(itu:SI(plus:SI(match_dup 1)match_dup 2))(match_dup 1)))]
""
"add %0,%1,%2" //生成低32位匯編模板
）
④處理高32位加。
（define_insn "addi3_use_carry"
（define_insn "adddi3_use_carry"
[(set(match_operand:SI 0 "register_operand"“=r”)
（plus:SI(plus:SI(match_operand:SI 1 "register_operand" "r"))
(reg:SI 6)))
(clobber(reg:SI 6))]
“”
"add%0,%1,%2;add %0,%0,r6" //生成高32位帶進位加匯編模板
)
在機器描述文件中，DI為64位機器方式，SI為32位方式。該文件由機器描述處理程序進行格式轉換，它將調用編譯內部一套專門的函數和數據結構作為接口，生成gen_開頭的預處理函數對指令模板作進一步的處理，再生成由insn_開頭的函數對模板作匹配后生成匯編代碼。
結語
在方舟二號CPU上測試的結果達到了64運算的要求，相關的指令代碼如下：
……
132 r18,[r15,4]
132 r19,[r15,8]
add r16,r16,r18
add r17,r17,r19
add r17,r17,r6
……
用SPEC95進行定點運算測試，可達280MIPS以上，收到了較好的預期結果。
下載文檔
