Zero Sound

Restart my Compiler project

考完试了，有几天空闲时间。我想起还有个建设中的编译器被我遗忘在目录深处，决定利用这几天工夫好好来写点代码。

这个玩具编译器（我的计划是未来某一天它不再是一个toy language，我设想了许多美好的特性，但我现在还没有足够的技术和时间来实现他们）的前端已经完工。编译器前端——词法分析、语法分析——在教科书上占一半的篇幅，涉及到不少理论知识，但实际上是个无聊的工作。而code generation则是麻烦而繁琐的。网上可以找到全套的工具——从flex、bison这样的前端生成器，到MLRISC这样完备的后端，但我还是想自己动手写一遍。 我现在去看几个月以前写的code generation，惊奇于这样丑陋而复杂的代码居然（貌似）是对的。

我的目标是生成机器代码，这两天花了不少功夫研究IA32处理器的浮点运算，深刻地认识到FPU是一个多么难看的设计，让我的代码增加了无数的条件分支和switch。想了解一下MIPS在这个问题上是怎么处理的。string，class等已经初步提上日程。至于我幻想中的gc及lambda expression,high-order function,continuation等一干functional特性，现在还遥遥无期。

从书签里翻出一篇老文章，一直没细读，Modern x86 assembly （blogspot….被和谐掉了。同志们上代理。），里面着重谈了alignment(对齐）和caching(缓存）。对现代的计算机架构，这两样东西对性能有极其重要的影响。对齐主要是编译器考虑的问题；而cache的影响则更为微妙。准备好好学习一下。

阅读(779 次)