教科書系統程式-第8章、編譯器.pptVIP

階段五、最佳化過程的示意圖 * i i t1 + sum t1 t2 = t2 sum * i i t1 + sum t1 sum 最佳化 階段六、程式碼產生過程的示意圖 * i i t1 + sum t1 sum LD R1, i LD R2, sum MUL R3, R1, R1 ADD R2, R3, R2 ST R2, sum 程式碼產生 Pcode 中間碼 CPU0 組合語言 程式剖析到 i=1 完成時的語法樹與堆疊結構 PROG BaseList BASE FOR for ( i: id = STMT 1:number PROG BaseList BASE FOR 成 長 方 向 堆疊 (Stack) EXP TERM FACTOR ITEM BASE STMT sum: id = 0:number EXP TERM FACTOR ITEM ; 副程式呼叫時的堆疊變化情況 框架指標FP 區域變數 x 區域變數 y 參數t (=x=1) FP SP 框架指標 FP 區域變數 x 區域變數 y 參數 t (=x=1) y=f1(x) 返回地址 保存的 FP 區域變數 b (b) 呼叫 y=f1(x) 後 註：在 CPU0 當中，返回值都是儲存在 R1返回 框架指標 FP 區域變數 x 區域變數 y 參數 t (=x=1) y=f1(x) 返回地址 保存的 FP FP SP 區域變數 b 參數 *p (=t) (c) 呼叫 b=f2(t) 後 區域變數 r b=f2(t) 返回地址 保存的 FP 0 +4 +8 +12 -4 FP SP 0 +4 +8 +12 -4 (a) 呼叫 y=f1(x) 前 0 +4 -4 … -4 … … -8 -12 圖 8.20 範例 8.4 程式的堆疊變化情況 使用gcc跨平台編譯的範例圖 array_sum.c gcc array_sum_IA32.s arm-elf-gcc array_sum_ARM.s arm-elf-gcc gcc array_sum_ARM.o array_sum_IA32.o 圖 8.13 中間碼產生的演算法(第1頁) 圖 8.13 中間碼產生的演算法(第2頁) 圖 8.13 中間碼產生的演算法(第3頁) 圖 8.13 中間碼產生的演算法(第4頁) 8.6 組合語言產生 時機 一旦中間碼產生完畢, 程式就可以輕易的將中間碼轉換成組合語言。 方法 將中間碼指令轉為組合語言指令 必須考慮佔存器的載入與儲存 範例 + sum i T0 LD R1 sum LD R2 i ADD R3 R1 R2 ST R3 T0 範例 8.4 將中間碼轉換為組合語言 圖 8.14 將中間碼轉換為 CPU0 組合語言的演算法 指令的改寫 對常數值的載入指令改寫為 LDI 8.7 最佳化 + sum i T0 LD R1 sum LD R2 i ADD R3 R1 R2 ST R3 T0 中間碼 組合語言 轉換 ADD R3 R1 R2 最佳化 當 sum 已經在 R1 中， i 已經在 R2 中， 而且 T0 對應到 R3 時 範例 8.5 最佳化的範例 8.8 實務案例：gcc 編譯器 gcc 編譯器的過程 C 語言 ? (剖析) ? generic 語法樹? (產生) ? gimple 中間碼? (語意分析) ? RTL 中間碼? (最佳化) ? (組合語言產生)? 組合語言 GENERIC (剖析樹) C C++ … GIMPLE (中間碼) RTL (中間碼) 組合語言 Parsing Generic converter Gimplify Tree SSA optimizer RTL generator RTL optimizer ASM generator 圖 8.15 GNU 編譯器的流程 範例 8.6 gcc 編譯器的中間碼格式 範例 8.7 中間碼 Gimple 與 RTL 之對照範例 將 Gimple 轉為 RTL 的範例 8.7(b) RTL 範例的解讀 要求 gcc 編譯器輸出 rtl 中間碼 指令： 加上 –dr 參數, 可讓 gcc 輸出 rtl 中間碼 RTL 檔案的內容 Gcc 的最佳化功能 範例 8.9 gcc 不同層級的最佳化實例 結語 高階語言? (掃描) ? 詞彙串列? (剖析) ? 語法樹? (語意分析) ? 語意樹? (中間碼產生) ?中間碼? (組合語言產生) ? 組合語言? (組譯器) ? 目的檔「機器碼」 習題 8.1 請為 C0 語言加上 if 語句的 EBNF 語法, 加入到圖 8.2 中。 8.2 接續上題, 請在圖 8.9 當中加入剖析