【正文】 – 注：遍與階段的含義毫無關(guān)系。 ? 代碼優(yōu)化：改善代碼的時空效率，如常數(shù)表達(dá)式求值，公共子表達(dá)式優(yōu)化，循環(huán)語句中的不變表達(dá)式外提，削減運算強(qiáng)度等等。 標(biāo)識符 a 算符 (賦值 ) = 標(biāo)識符 a 算符 (加 ) + 整數(shù) 2 界符 。 ? 廣義看法：程序變換， 翻譯器 (translator) C++?C。 2020/6/28 15 分析－綜合模型 AnalysisSynthesis Model ? Two parts of pilation: – Analysis : Depose Source into an intermediate representation – Synthesis: Target program generation from representation 2020/6/28 16 The context of a piler Preprocessor Skeletal source program 2020/6/28 17 Analysis of the source program ? Analysis consists of three phases –詞法分析 Lexical analysis / Linear analysis / Scanning –語法分析 Syntax analysis / Hierarchical analysis / Parsing –語義分析 Semantic analysis 2020/6/28 18 詞法分析 (Lexical analysis) ? 詞法分析程序又稱 掃描程序 。 Var rate: real。主要包括代碼優(yōu)化、代碼生成等。 – 注：在內(nèi)存許可情況下，還是遍數(shù)盡可能少些為好。 后端 包括依賴于目標(biāo)機(jī)器的階段。 c = arr1 * 10。 2020/6/28 13 解釋和編譯 ? 解釋 – 以源程序作為輸入，不產(chǎn)生目標(biāo)程序，一邊解釋一邊執(zhí)行。 執(zhí)行翻譯的軟件，稱為翻譯程序。 ? 功能：讀入由詞法分析程序識別出的符號，根據(jù)給定語法規(guī)則，識別出各個語法結(jié)構(gòu)（檢查語法的正確性） ,并生成另一種內(nèi)部表示。 根據(jù)源程序的語法結(jié)構(gòu)和語義信息，生成目標(biāo)代碼。 ? 多遍掃描的缺點 – 編譯時間較長。遍數(shù)多一些，編譯程序的邏輯結(jié)構(gòu)會較清晰，對機(jī)器資源的要求也較低，然而，編譯速度也隨之降低。 （ 3）語義分析：確定各語法成分之間的對應(yīng)關(guān)系和一致性，如標(biāo)識符的作用域、類型匹配等等。 a=a+2。 Compiler Source program Target program Error message 2020/6/28 10 程序的等價 ? 程序的等價 ：若兩個程序 P1和 P2所允許的輸入集合相同，且對相同的輸入，均產(chǎn)生相同的輸出，則稱程序 P1和 P2等價。 ? 輸入：源程序中的字符流 ? 輸出： tokens(或稱為 words) 2020/6/28 19 詞法分析 舉例 Pascal賦值語句 position := initial + rate * 60 would be grouped into the following tokens: 1. Identifier position 2. Assignment symbol := 3. Identifier initial 4. Plus sign + 5. Identifier rate 6. Multiplication sign * 7. Number 60 分隔這些記號的空格被刪除。 … position := initial + rate*60 2020/6/28 28 Semantic analysis inserts a conversion from integer to real. := position + * rate 60 initial inttoreal 插入語義處理結(jié)點的語法樹 2020