一种具有轻量级比较指令生成的编译方法

摘要

本发明是一种具有轻量级比较指令生成的编译方法。本编译方法的比较指令生成部分包括以下步骤：在生成语法树阶段赋值操作时，如果右边为常数，则判断高位是否为1，并在生成语法树和生成中间代码阶段将此状态进行传播，在生成汇编码阶段生成比较语句时，如果能够判断高位为1，则生成优化的比较指令，如果不能判定高位是否为1，则按照一般的原则去生成比较指令。该方法能够使编译器对比较指令生成正确，生成的代码量也较小。

主权项

一种具有轻量级比较指令生成的编译方法，其特征在于，包括：将程序命令行参数进行处理步骤；将进行命令行参数处理后的程序进行预处理的语言预处理步骤；将进行语言预处理后的程序进行词法分析步骤；将进行词法分析后的程序进行语法分析步骤；将进行语法分析后的程序生成语法树步骤；生成中间代码步骤；将中间代码进行优化并生成汇编码的步骤；其中在生成语法树步骤赋值语句中记录变量高位的状态是否为1，并在生成语法树和生成中间代码步骤之间通过数据流传播所述的变量高位状态，在生成汇编码步骤生成比较指令时，判断变量的高位状态是否为1，并据此进行优化的比较指令生成；所述在生成语法树步骤赋值语句中记录变量高位的状态是否为1，包括以下步骤：(1)如果赋值语句中右边是常数，则根据左边的变量类型，判断右边常数的高位状态是否为1，分别记录高位状态为1或高位状态不为1的状态；(2)如果赋值语句右边不是常数，赋值语句左边的高位的状态等于赋值语句右边的高位的状态；在生成语法树和生成中间代码步骤之间通过数据流传播所述的变量高位状态，包括以下步骤：(1)在生成语法树步骤中，除了赋值操作，设置其他操作的返回值的类型的高位的状态；(2)在生成中间代码步骤中，语法树翻译到中间代码的过程中，传播高位的状态；生成汇编码步骤中，如果当前中间代码的左树或者右树高位为1，通过后向的数据流分析，确定其高位状态是否为1，如果高位状态为1，则生成优化的比较指令；否则，按照常规的比较指令规则，生成比较指令。