Writing a C compiler in 500 lines of Python
8 months ago
- #python
- #webassembly
- #compiler
- 作者用500行Python代码实现了一个面向WebAssembly的C语言编译器。
- 该编译器采用单遍编译方式，在解析时直接生成代码而无需构建抽象语法树。
- 已实现的关键功能包括算术运算、指针、数组、函数和类型定义(typedef)。
- 暂未实现的结构包括结构体、枚举、预处理指令和浮点类型。
- 编译器使用WebAssembly的结构化控制流，这使得'for'循环等结构的实现较为复杂。
- 错误处理较为简单，仅提供基本错误信息和堆栈跟踪。
- 在c-testsuite测试集中通过了220个测试用例中的34个，能编译斐波那契数列生成器等简单程序。
- 词法分析器采用'lexer hack'技术来区分类型名和变量名。
- 编译器为C变量维护独立的栈帧，因为无法直接引用WebAssembly的栈空间。
- 表达式解析使用辅助函数来处理不同运算符优先级层次的代码生成。