CompilerTermProject.pptVIP

Compiler Term Project MilkTea a simplified C to Java Compiler NTUCSIE, 吳介元 林軒田 Scanner 我們的 Scanner 使用 flex 製作 特別的地方有： 字串部分是採用Hand Coding，原因是若採用flex來處理，須表示成regular expression，而且有escape character要處理(如：\\、\“ )，所以該部分的code是自己處理的。 字元部分也可處理escape character Scanner(continue) 關於 Identifier 部份，為了解決 Parser 所出現的 Conflict, 我們使用 Semantic-Feedback Scanning，即在 Scanning 時依目前 Semantic 的狀況回傳不同的資訊，區分為IDENTIFIER、FIDENTIFIER、TIDENTIFIER，code節錄如下： Scanner(continue) [a-zA-Z_]+[a-zA-Z0-9_]* { yylval.StringValue = new TString(yytext); if (IsTypeName(yylval.StringValue)) return TIDENTIFIER; else if (IsFuncName(yylval.StringValue)) return FIDENTIFIER; else return IDENTIFIER; } Scanner(continue) System support functions 由 scanner 直接判斷讀入，以節省在 Symbol Table 中搜尋與判斷的時間，如 printint, printfloat, malloc 等，但缺點是擴展性較差。 Parser Parser 使用 bison 製作，由於使用 LR-parsing，在幾個常見的 C 語法會出現 Conflict，列舉如下： If-then-else，即 Dangling-else 的問題。在 bison(yacc)中提供了使用 precedence 的標準作法。即讓有 ELSE (需 shift)的 Rule 優先序高於無 ELSE (需 reduce)的來解決。 Parser(continue) Struct Dec List, Func Dec List, GlobalVar Dec List, Func Body List的區塊，由於可能有相近的開頭(struct IDENTIFIER)而使 parser 無法 lookahead 出其屬於哪一種而出現 reduce/reduce conflict。即如下的 Grammar: Program : StructDecList FuncDecList GlobalVarDecList FuncBodyList StructDecList: Lambda | StructDecList StructDec … 不是一個 LR Grammar，所以我們把它 Modify 成如下的 Grammar： Parser(continued) Program: InfoList InfoList: Lambda | InfoList Info Info: StructDec | FuncDec | GlobalVarDec | FuncBody 但如此 Semantic 時需作 check 以確定 Program 是照著我們預期的順序寫成。 Parser(continued) 由於允許 Pointer 宣告的存在，因此如下的語法會出現 Conflict Complex* x; A*b; 用標準 C 語法宣告可以避開這個問題，另外我們在 scanner 中作了 IDENTIFIER 類別的判斷也可以讓我們對 Semantics 的定義更輕鬆。 struct Complex* x; Semantics Semantics 端可以分為三個部份，首先是 SymbolTable 的建立與操作。 我們的 Symbol Table 使用自訂的 Hash Table，在每個 Scope 中有自己的 Symbol Table 來作區別，因此 Variable binding 的動作可以透過 Display 式的尋找而得到。 而 Ty