MYC编译器源码之语法分析

program ::= (
    outer_decl
  | func_decl
);

outer_decl ::= [ class ] type ident { "," ident } ";";
func_decl ::= [ class ] type ident "(" params ")" outer_block;
outer_block ::= "{" { inner_decl } { stmt } "}";
inner_decl ::= [ class ] type ident { "," ident } ";";
inner_block ::= "{" { stmt } "}";

ident ::= name | function_call;
function_call ::= name "(" [expr {, expr}] ")";
params ::= type ident { , type ident };

stmt ::= (
	if_stmt
	| while_stmt
	| for_stmt
	| break_stmt
	| cont_stmt
	| ret_stmt
	| assign_stmt
);

if_stmt ::= "if" "(" expr ")" stmt_block [ "else" inner_block ];
while_stmt ::= "while" "(" expr ")" inner_block;
for_stmt ::= "for" "(" assign ";" expr ";" assign ")" inner_block
break_stmt ::= "break" ";";
cont_stmt ::= "continue" ";";
ret_stmt ::= "return" expr ";";
assign_stmt ::= assign ";" ;

assign = ident "=" expr;
class ::= "extern" | "static" | "auto";
type ::= "int" | "void";

factor ::= (ident | integer | "(" expr ")" );
unary_factor ::= ["+"|"-"] factor;

term1 ::= ["*"|"/"] factor;
term0 ::= factor { term1 };
first_term ::= unary_factor term1;

math_expr ::= first_term { ["+"|"-"] term0 }
rel_expr ::= math_expr ("=="|"!="|"<"|">"|">="|"<=") math_expr;
not_factor ::= ["!"] rel_expr;
term_bool ::= not_factor { ("&" | "&&") not_factor };
bool_expr ::= term_bool { ("|" | "^") term_bool };
expr ::= bool_expr;

name ::= letter { letter | digit };
integer ::= digit { digit };

letter ::= "A-Za-z";
digit ::= "0-9";

int a;

void main()
{
  int c;
  int d;
}

public Parse(Io i, Tok t)
{
  io = i;
  tok = t;
  // 初始化静态变量列表
  staticvar = new VarList();
}

public void program()
{
  // 准备要生成的模块信息
  prolog();
  // 循环消耗源码里的Token流
  while (tok.NotEOF())
    {
  // 虽然名字叫outerDecl，实际上包含了两条语法规则，即program
  // 规则里的outer_decl和func_decl
    outerDecl();
    }
  // 错误处理
  if (Io.genexe && !mainseen)
    io.Abort("Generating executable with no main entrypoint");
  // 结束代码生成
  epilog();
}

void prolog()
{
  // 创建代码生成对象
  emit = new Emit(io);
  // 准备最终包含C程序的.NET模块
  emit.BeginModule();		// need assembly module
  // 生成一个默认的类
  emit.BeginClass();
}

void outerDecl()
{
  // 保存当前解析的C语句中变量的信息，如变量名
  // 函数名、变量类型等信息
  Var e = new Var();
#if DEBUG
  Console.WriteLine("outerDecl token=["+tok+"]\n");
#endif
  // 记录当前源码位置，以便在结果IL文件（如果要生成IL的话）
  // 中保存位置信息
  CommentHolder();	/* mark the position in insn stream */

  // 处理 outer_decl 和 func_decl 规则共有的 [class] 规则
  dataClass(e);
  // 处理 outer_decl 和 func_decl 规则共有的 type 规则
  dataType(e);

  // 判断下一个字符是否是左括号，如果是的话，则按
  // func_decl规则处理
  if (io.getNextChar() == ‘(‘)
    declFunc(e);
  // 否则按outer_decl规则处理
  else
    declOuter(e);
}

// 解析outer_decl语法规则的剩余部分
void declOuter(Var e)
  {
#if DEBUG
  Console.WriteLine("declOuter1 token=["+tok+"]\n");
#endif
  // 前面在outerDecl函数里已经处理过 [class] 和 type 规则了
  // 因此目前Token流的第一个Token时ident，也就是变量名
  // 这里将变量名赋值给e - 即由outerDecl创建的变量名
  e.setName(tok.getValue());	/* use value as the variable name */
  // 将这个变量保存到全局变量列表里，以备后面语义分析时使用
  addOuter(e);		/* add this variable */
  // 在结果语法树里创建一个变量声明节点
  emit.FieldDef(e);		/* issue the declaration */
  // 如果当前语句有匹配 [class] 规则的部分，即语句的前面有static, 
  // extern 这些关键字，把这个信息也保存到变量声明节点里，以便 
  // 后面生成代码时参考
  if (e.getClassId() == Tok.T_DEFCLASS)
    e.setClassId(Tok.T_STATIC);	/* make sure it knows its storage class */

  // 处理 outer_decl 规则里 { "," ident } 这个多变量声明部分
  // 即处理类似：int a, b, c; 这样的变量声明语句
  // 这个过程是通过判断后面的Token是否是 ‘,‘ 来完成的
  /*
   * loop while there are additional variable names
   */
  while (io.getNextChar() == ‘,‘)
    {
    // 后面跟着 ‘,‘，那么先消化掉这个字符
    tok.scan();
    if (tok.getFirstChar() != ‘,‘)
	io.Abort("Expected ‘,‘");
    // 向右扫描
    tok.scan();
    // 尝试找到一个匹配 ident 规则的Token
    if (tok.getId() != Tok.T_IDENT)
	io.Abort("Expected identifier");
    // 找到一个变量名 - 即匹配 ident 规则的Token
    e.setName(tok.getValue()); /* use value as the variable name */
    // 将这个新的全局变量添加到全局变量表里
    addOuter(e);		/* add this variable */
    // 当然也要在结果语法树里保存这个变量声明节点
    emit.FieldDef(e);		/* issue the declaration */
    if (e.getClassId() == Tok.T_DEFCLASS)
      e.setClassId(Tok.T_STATIC);	/* make sure it knows its storage class */
    }

  // 消化完前面的变量定义，看看后面跟着的字符是不是分号 - ‘;‘
  /*
   * move beyond end of statement indicator
   */
  tok.scan();
  if (tok.getFirstChar() != ‘;‘)
    io.Abort("Expected ‘;‘");
  // 顺利解析完一条语句，扫尾处理
  CommentFill();
  tok.scan();
#if DEBUG
  Console.WriteLine("declOuter2 token=["+tok+"]\n");
#endif
  }