如何在32個處理器中編輯并且翻譯64固定的點進位計
摘要:介紹嵌式32位CPU在編譯器中解決64位運算的方法,并列舉一個加法運算的例子,給出可供參考的指令模板。包括32位RISC體系嵌入式CPU層次結構和編譯器后端結構。 關鍵詞: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的層次圖。
本文引用地址:http://m.butianyuan.cn/article/201609/303812.htm從圖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)))] addt%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;addt%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以上,收到了較好的預期結果。
評論