新语言支持建议

非常高兴华为能把代码开放出来学习。
这段时间学习了一下MapleFE，尝试了一下在其上构建Kaleidoscope语言的AST(llvm教程中的一个玩具语言，https://llvm.org/docs/tutorial/MyFirstLanguageFrontend/index.html)。
折腾了几天，发现了一些问题。
1 构建系统没有做好对多语言的支持。顶层Makefile，autogen/Makefile都出现了对java的硬编码，没有使用LANG这个变量。AutoGen::Init 函数的路径名中出现了java硬编码。
2 部分构建代码没有考虑多语言的场景，运行时会有段错误。比较典型的有shared/src/ruletable_util.cpp 中的FindSeparator/FindOperator函数，循环中用SEP_NA等定死的宏做终止判断条件，如果新语言的定义和java不同，会出现未定义的行为。类似的问题，shared/src/parser.cpp中Parser::SetupTopTables没有考虑新语言没有TblClassDeclaration/TblInterfaceDeclaration的情况。
3 部分实现和文档不对应。AddFunctionBody这个Action没有对应的实现，只有AddFunctionBodyTo。更加奇特的是binary expression的解析，BuildBinaryOperation这action不能直接调用(会assert)。一定要写成下面这样
rule UnaryExpression : ONEOF(
  '+' + Identifier,
  '-' + Identifier)
  attr.action.%1,%2 : BuildUnaryOperation(%1, %2)
rule BinaryExpression : ONEOF( 
  Identifier + UnaryExpression,
  Identifier + UnaryExpression)
走ASTTree::NewTreeNode中的特殊流程，把Identifier + UnaryExpression再合并回binary expression。这个逻辑文档只字未提实在是太坑了。。。
4 添加--trace-table等选项后，java2mpl会死循环，无法结束。

综上，总体感觉FE核心的抽象做得不错，比较容易看懂，比flex+bison要更简单清晰，但成熟度确实还差一些。
个人有些小的建议：
A) 把文档做好，文档尽量以中文编写(如果这套体系能起来，我相信一定是依靠以中文为母语的华人。中文文档能大幅提升沟通效率)。良好的文档对培养社区用户是至关重要的。
B) 实现一个类似Kaleidoscope的简单语言，作为教程放到代码里面。这个不仅能帮助理清整个框架对多语言支持的需求，还能大幅减少新手用户学习的成本。
C) 到mapleIR的生成部分对用户很有吸引力，如果可能应尽早开源。目前只是解析AST，实用性比较弱。用户要想自己写IR的生成流程也缺乏参考。

方舟编译器孵化器/MapleFE

内容风险标识

评论 (10)

方舟编译器孵化器/MapleFE .gitee-modal { width: 500px !important; }

内容风险标识