構造使用類C語言的指令碼引擎(5)語法檢查,產生文法樹,代碼產生。

構造使用類C語言的指令碼引擎(5)

作者 :kevin_qing

轉貼請註明

語法檢查,常量合并和產生文法樹是在reduce規約函數中實現

文法樹節點定義

struct GTreeNode{

uint32_t type;

uint32_t value;

};

struct GTreeNode1:public GTreeNode{

GTreeNode* child1;

};

struct GTreeNode2:public GTreeNode1{

GTreeNode* child2;

};

struct GTreeNode3:public GTreeNode2{

GTreeNode* child3;

};

struct GTreeNodeN:public GTreeNode{

array<GTreeNode> childs;

};

其中type是指節點類型，如IF SWITCH OP_2 OP_1 SMT_SEQ(語句序列) CPD_SMT(複合陳述式) CASE VAR NUMBERS 等

value是對應的類型的值,如case 的標號，STRING的id,常量的值,OP_2的操作等

GTreeNode1對應1元操作,如not

GTreeNode2對應2元操作，如IF-SMT, + - * / %等算術邏輯運算

GTreeNode2對應3元操作，典型的是IF-SMT-ELSE-SMT

GTreeNodeN對應語句序列

規約函數內部產生文法樹，通過棧實現加入子節點。類似於Token。

產生文法樹節點時可以做語義檢查，同時可以檢查運算元是否都是常量，而做常量合并最佳化代碼。

產生代碼時使用先序遍曆文法樹，即可。主要是lable需要做回溯，無其他痛點。

未完待續