论文部分内容阅读
CIL（C中间语言）是一高层的描述，并带有对C程序进行简单分析和源到源转换的一组工具。CIL可以简化和优化C程序，编译生成一些语义简洁的核心构造。通过澄清C语言中有二义性的构造，和去除冗余构造，CIL比抽象语法树更低层。CIL保留了类型并保持与源程序相近，因此它比为编译设计的典型的中间语言（如三地址码）更高层。此外CIL能够处理ANSIC程序，和使用Microsoft C或GNU C扩展的程序。这篇论文对CIL系统进行了分析和研究。