[发明专利]一种计算机程序语言的编译方法和编译器

权利要求书

1.一种计算机程序语言的编译方法，其特征在于，包括：

对结构化文本ST语言的循环语句进行预处理后，至少获取所述循环语句的初始值表达式、终止值表达式、循环增量表达式和循环执行语句；

对所述初始值表达式和所述终止值表达式分别进行编译，得到初始值表达式的值和终止值表达式的值；

将所述初始值表达式的值确定为所述循环语句的索引值；

基于所述循环增量表达式的类型，从所述初始值表达式的值和所述终止值表达式的值中确定出所述循环语句的上界和所述循环语句的下界；

基于所述循环语句的上界、所述循环语句的下界、所述循环语句的索引值和所述循环增量表达式，对所述循环执行语句进行编译，得到所述循环语句的编译结果；

当所述循环增量表达式的常量类型为正数常量时，对所述循环执行语句进行编译，得到对应的编译语句；

比较所述循环语句的索引值与所述循环语句的上界是否相等；

若为是，终止所述循环语句；

若为否，根据所述循环语句的索引值与所述循环增量表达式的值，更新所述循环语句的索引值，重新对所述循环执行语句进行编译，得到对应的编译语句，并再次比较所述循环语句的索引值与所述循环语句的上界是否相等；

当所述循环增量表达式的常量类型为负数常量时，对所述循环执行语句进行编译，得到对应的编译语句；

比较所述循环语句的索引值与所述循环语句的下界是否相等；

若为是，终止所述循环语句；

若为否，根据所述循环语句的索引值与所述循环增量表达式的值，更新所述循环语句的索引值，重新对所述循环执行语句进行编译，得到对应的编译语句；并再次比较所述循环语句的索引值与所述循环语句的下界是否相等；

当所述循环增量表达式的类型为变量时，对所述循环执行语句进行编译，得到对应的编译语句；

对所述循环增量表达式进行编译，得到所述循环增量表达式的值；

根据所述循环语句的索引值与所述循环增量表达式的值，更新所述循环语句的索引值；

比较更新后的所述循环语句的索引值是否大于所述循环语句的上界，若为是，终止所述循环语句；

比较更新后的所述循环语句的索引值是否小于所述循环语句的下界，若为是，终止所述循环语句；

否则，重新对所述循环执行语句进行编译，得到对应的编译语句；并再次对所述循环增量表达式进行编译，得到所述循环增量表达式的值。

2.根据权利要求1所述的方法，其特征在于，所述基于所述循环增量表达式的类型，从所述初始值表达式的值和所述终止值表达式的值中确定出所述循环语句的上界和所述循环语句的下界，包括：

当所述循环增量表达式的类型为常量时，从所述初始值表达式的值和所述终止值表达式的值中，确定出所述循环语句的上界预测值和所述循环语句的下界预测值；

比较所述下界预测值是否大于所述上界预测值；

若为是，终止所述循环语句；

若为否，将所述上界预测值确定为所述循环语句的上界，且将所述下界预测值确定为所述循环语句的下界。

3.根据权利要求2所述的方法，其特征在于，所述当所述循环增量表达式的类型为常量时，从所述初始值表达式的值和所述终止值表达式的值中，确定出所述循环语句的上界预测值和所述循环语句的下界预测值，包括：

当所述循环增量表达式的常量类型为正数常量时，将所述初始值表达式的值确定为所述循环语句的下界预测值，将所述终止值表达式的值确定为所述循环语句的上界预测值；

当所述循环增量表达式的常量类型为负数常量时，将所述初始值表达式的值确定为所述循环语句的上界预测值，将所述终止值表达式的值确定为所述循环语句的下界预测值。