构造使用类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需要做回溯，无其他难点。

未完待续