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