公开(公告)号：US20180143812A1

公开(公告)日：2018-05-24

申请号：US15873292

申请日：2018-01-17

申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION

发明人： REID T. COPELAND ,  TOSHIHIKO KOJU

IPC分类号： G06F8/41

CPC分类号： G06F8/433

摘要： A method and systems generate a control flow graph including an edge of the control flow graph from a branch instruction to a target address of the branch instruction in an abstract interpretation for an assignment instruction to a branch target variable of a program. The program allocates a particular branch target variable to a branch instruction having a plurality of branch targets. The branch target address is loaded from the branch target variable upon branching, a branch address of a branch instruction having one branch target as well as the address assigned by the assignment instruction to the branch target variable being determined as certain constant values determined by compiling the program. The target address assigned by the assignment instruction is added to an object of the abstract interpretation. A current abstract interpretation is terminated if the abstract interpretation reaches an instruction already subjected to the abstract interpretation.

公开(公告)号：US20170060589A1

公开(公告)日：2017-03-02

申请号：US14833964

申请日：2015-08-24

申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION

发明人： REID T. COPELAND ,  TOSHIHIKO KOJU

IPC分类号： G06F9/30

CPC分类号： G06F8/433

摘要： A method and systems generate a control flow graph including an edge of the control flow graph from a branch instruction to a target address of the branch instruction in an abstract interpretation for an assignment instruction to a branch target variable of a program. The program allocates a particular branch target variable to a branch instruction having a plurality of branch targets. The branch target address is loaded from the branch target variable upon branching, a branch address of a branch instruction having one branch target as well as the address assigned by the assignment instruction to the branch target variable being determined as certain constant values determined by compiling the program. The target address assigned by the assignment instruction is added to an object of the abstract interpretation. A current abstract interpretation is terminated if the abstract interpretation reaches an instruction already subjected to the abstract interpretation.

摘要翻译： 一种方法和系统产生一个控制流程图，该控制流程图包括控制流程图从分支指令到分支指令的目标地址的边缘，用于对程序的分支目标变量的分配指令的抽象解释。 该程序将特定分支目标变量分配给具有多个分支目标的分支指令。 分支目标地址在分支时从分支目标变量加载，具有一个分支目标的分支指令的分支地址以及由分配指令分配给分支目标变量的地址被确定为通过编译所确定的某些常数值 程序。 由分配指令分配的目标地址被添加到抽象解释的对象。 如果抽象解释达到已经受到抽象解释的指令，则当前的抽象解释将被终止。

公开(公告)号：US20160154635A1

公开(公告)日：2016-06-02

申请号：US15016510

申请日：2016-02-05

申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION

发明人： TOSHIHIKO KOJU ,  ALI I SHEIKH

IPC分类号： G06F9/45

CPC分类号： G06F8/443 ,  G06F8/4441

摘要： A method for optimizing binary code in a language having access to binary coded decimal variable. The method includes: generating a first compiler expression of the binary code; analyzing a use-definition and/or a definition-use for the first compiler expression; generating a second compiler expression by identifying logical binary coded decimal (BCD) variables in the first compiler expression; assigning temporary variables to the logical BCD variables, wherein the second compiler expression includes packed decimal operations and the assigned temporary variables; and converting a packed decimal operation in the second compiler expression and an assigned temporary variable to a decimal floating point (DFP) if sign information and precision information are not lost during conversion from BCD to DFP, wherein identifying logical BCD variables includes: in the use-definition and/or definition-use of operands, regarding an operand of definition and an operand of use as the same logical BCD variables.

摘要翻译： 用于以具有二进制编码的十进制变量的访问权的语言来优化二进制代码的方法。 该方法包括：生成二进制码的第一编译器表达式; 分析第一个编译器表达式的使用定义和/或定义; 通过识别第一编译器表达式中的逻辑二进制编码十进制（BCD）变量来生成第二编译器表达式; 将临时变量分配给逻辑BCD变量，其中第二编译器表达式包括压缩小数运算和分配的临时变量; 并且如果在从BCD到DFP转换期间符号信息和精度信息不丢失，则将第二编译器表达式中的打包十进制运算和分配的临时变量转换为十进制浮点（DFP），其中识别逻辑BCD变量包括：在使用中 定义和/或操作数的定义 - 使用定义操作数和使用操作数作为相同的逻辑BCD变量。