GiNaC编译器设计中双向循环的归一化处理

Unified disposal for two-way loop in design of GiNaC compiler

文中提出一种判定归一化的处理方法,这种方法把编译器在语法分析过程中遇到的递增和递减循环统一成一种模式处理,而循环的递增和递减交由目标生成模块来判断。通过这种方法,使得编译过程中的各模块的功能能进一步趋于均衡和简化,同时也为代码优化提供更多的优化条件。G iNaC是基于Linux的开放源码符号计算平台,这种方法应用在G iNaC编译器的设计中取得了很好的效果。

A new method to dispose the two-way loop in syntax analysis was introduced. In this method, both increased and decreased loops were treated as one pattern. The recognition and distinction between them would be dealt with until the object codes was generated. Using this method, the weight of each part in compiler will be more equitable. At the same time, this method provides more information for code optimizing. GiNaC is an open-source symbolic computing package based on Linux, and the method implemented in GiNaC compiler achieves a satisfactory result.