Chillet Compiler，基于自主研发的 Chillet ir 设计的 SysY 编译器。本项目以 SysY 代码作为输入，生成 Chillet AST、Chillet Triples，并生成 ARM 汇编或 RiscV 汇编。
没有 make, 先安装 make
$ make requirements此时会自动监听目录下的文件变化, 并自动编译 不支持新建文件, 需要手动重启
$ make dev$ make$ make cleanChillet AST 以 XML 格式、树状结构描述 SysY 语言程序。例如，以下是 test/hello_and_apb.sysy 生成的对应 Chillet AST:
<CompUnit>
<Scope name="Global">
<Decl/>
<FunctionDef>
<Function return="Int" name="main">
<Params/>
<Scope name="main">
<Decl>
<Var name="a" line="2" column="8" type="Int">
<InitValue>
<Exp>
<Call line="2" name="getint"/>
</Exp>
</InitValue>
</Var>
<Var name="b" line="2" column="22" type="Int">
<InitValue>
<Exp>
<Call line="2" name="getint"/>
</Exp>
</InitValue>
</Var>
</Decl>
<Block>
<Var name="a" line="2" column="8" type="Int">
<InitValue>
<Exp>
<Call line="2" name="getint"/>
</Exp>
</InitValue>
</Var>
<Var name="b" line="2" column="22" type="Int">
<InitValue>
<Exp>
<Call line="2" name="getint"/>
</Exp>
</InitValue>
</Var>
<Exp>
<Call line="3" name="putf">
<Param value="a + b: %d\n" type="StringConst"/>
<Param>
<Plus>
<Fetch>
<Address base="a" line="3" column="24"/>
</Fetch>
<Fetch>
<Address base="b" line="3" column="28"/>
</Fetch>
</Plus>
</Param>
</Call>
</Exp>
<Exp>
<Call line="4" name="putf">
<Param value="Hello world!\n" type="StringConst"/>
</Call>
</Exp>
</Block>
</Scope>
</Function>
</FunctionDef>
</Scope>
</CompUnit>
用于查询 ASTNode 树状结构的语言
- 没有转义字符，无法查询包含特殊字符的节点
- 在子节点顺序匹配中无法使用表达式，目前可以使用ASTNode_querySelectf 函数来实现
- 子节点顺序匹配中使用切片
- 支持负数索引
- 在属性匹配中无法使用表达式和函数，希望加入调用
C/C++函数能力
/Scope/Main
在以上例子中, /Scope/Main 表示从根节点开始, 依次查找子节点 Scope 和 Main
/Scope/*
在以上例子中, /Scope/* 表示从根节点开始, 依次查找子节点 Scope 下的所有子节点
//Main
在以上例子中, //Main 表示从根节点开始, 依次查找子节点中所有的 Main 节点
Hint: 可以和顺序查询, 通配符查询, 后代查询一起使用
//Var[@name='a',@type='Int']
在以上例子中, //Var[@name='a',@type='Int'] 表示查找所有 Var 节点, 节点的 name 属性为 a 且 type 属性为 Int
Note: 同样可以使用
|来表示或
//Exp//Number[@value=1]
在以上例子中, //Exp//Number[@value=1] 表示查找所有 Exp 节点下的所有 Number 节点, 节点的 value 属性为 1
//Exp//*[@value]
在以上例子中, //Exp//*[@value] 表示查找所有 Exp 节点下的所有节点, 节点的 value 属性存在
/Scope[0]
在以上例子中, /Scope[0] 表示从根节点开始, 依次查找子节点中的 Scope子节点中第一个子节点
//Var[1]
在以上例子中, //Var[1] 表示查找所有 Var 节点, 并取出第二个节点
.选择器表示当前节点
Note: 注意此选择器暂时不支持与子代顺序查询一起使用
..选择器表示父节点
注意该选择器会直接选中父节点，若要对选择的父节点有要求，请使用 parent:: 选择器
Note: 注意此选择器暂时不支持与子代顺序查询一起使用
ARM Stack Translator 将 Chillet AST 翻译为 ARM 汇编。
其原理将 SysY 视为广义表达式，即：运行程序本质是求解函数；函数本质是多条、多种表达式的集合；表达式有变量定义、变量运算、函数调用；AST 本质是程序表达式的生成树。
基于此，ARM Stack Translator 使用基于栈的表达式求值算法，对其扩展，将程序运行栈视为表达式的参数栈，将 Chillet AST 作为输入表达式，生成求解表达式的原子动作，并以 ARM 汇编形式输出。
Chillet Triples 接受 Chillet AST 作为输入，生成四元组形式的分子级指令动作。例如，以下是 test/hello_and_apb.sysy 生成对应的 Chillet Triples:
0- 0@main :
1> {(b0)
2> call, lib@getint, {}, T0
3> mov, T0, -, a(0)
4> var, a(0), #1, Int
5> call, lib@getint, {}, T0
6> mov, T0, -, b(1)
7> var, b(1), #1, Int
8> load, a(0), -, T1
9> load, b(1), -, T2
10> add, T1, T2, T1
11> call, lib@putf, {"a + b: %d\n", T1}, -
12> call, lib@putf, {"Hello world!\n"}, -
13> }(b0)
相关定义在 include/triples.h 中。
RiscV Generator 将 Chillet Triples 翻译为 RiscV 汇编。
Chillet Triples 中，每一条四元组均有分子级指令动作。 RiscV Generator 解析这些指令与其参数，将其拆解成原子级 RiscV 指令，并生成对应 RiscV 汇编。
相关定义在 include/codegen/generator、include/codegen/riscvinstr.h、include/codegen/stack_rv_generator.h 中。
Chillet Compiler 使用以下第三方开源库：
- bison: https://www.gnu.org/software/bison/
- flex: https://github.com/westes/flex
- uthash: https://troydhanson.github.io/uthash/
此外，Chillet Compiler 还参考了中山大学 YatCC 在毕昇杯交流环节分享的心得。
在此对开源软件和分享经验的同学表示真挚的感谢。