控制膨胀的程序结构化

Controlling Expansion in Program Structuralization

目前人们通常单纯用增加临时变量和相关判断的方法 ,或者使用共享代码拷贝的方法来消除goto语句。但前一种方法会造成判定增加 ,语义分析困难 ;而后一种虽然使转变后的程序结构清晰 ,却造成benchmark中的某些程序急剧膨胀。针对上述问题 ,本文提出了能控制膨胀的代码拷贝算法 。

Two methods are usually used to eliminate goto statements in Fortran programs One is to increase temporary variables and conditional statements,the other is to copy codes The first will lead to difficulties in program analysis,the second will result in the sharp expansion of some programs in benchmark In this paper,a new method is presented to control expansion in code copy in program structure Moreover,it can handle irreducible loops effectively