Invention Grant
US07950005B2 Method and apparatus for performing versioning for loop, method and apparatus for collecting array range check information in basic blocks, method for modifying array range check information, method for optimizing array range checks, method for generating codes for array range checks, method and apparatus for eliminating redundant array range checks, method for selecting array range checks, method for modifying array range checks, method for collecting array range checks, and method for determining handling of array range checks
失效
用于执行循环的方法和装置，用于收集基本块中的阵列范围检查信息的方法和装置，用于修改阵列范围检查信息的方法，用于优化阵列范围检查的方法，用于生成阵列范围检查的代码的方法，方法和装置 消除冗余阵列范围检查，选择阵列范围检查的方法，修改阵列范围检查的方法，采集数组范围检查的方法以及确定数组范围检查处理的方法
- Patent Title: Method and apparatus for performing versioning for loop, method and apparatus for collecting array range check information in basic blocks, method for modifying array range check information, method for optimizing array range checks, method for generating codes for array range checks, method and apparatus for eliminating redundant array range checks, method for selecting array range checks, method for modifying array range checks, method for collecting array range checks, and method for determining handling of array range checks
- Patent Title (中): 用于执行循环的方法和装置，用于收集基本块中的阵列范围检查信息的方法和装置，用于修改阵列范围检查信息的方法，用于优化阵列范围检查的方法，用于生成阵列范围检查的代码的方法，方法和装置 消除冗余阵列范围检查，选择阵列范围检查的方法，修改阵列范围检查的方法，采集数组范围检查的方法以及确定数组范围检查处理的方法
-
Application No.: US11838734Application Date: 2007-08-14
-
Publication No.: US07950005B2Publication Date: 2011-05-24
- Inventor: Motohiro Kawahito , Toshiaki Yasue , Hideaki Komatsu
- Applicant: Motohiro Kawahito , Toshiaki Yasue , Hideaki Komatsu
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agency: Scully, Scott, Murphy & Presser, P.C.
- Priority: JP10-195316 19980710; JP10-370460 19981225
- Main IPC: G06F9/44
- IPC: G06F9/44
Abstract:
A system and method are provided that in one aspect eliminate redundant array range checks by performing a versioning for a loop. In another aspect, a system and method optimize array range checks by performing data-flow analysis in reverse order of the program execution. Yet in another aspect, a system and method obtains information about array ranges already checked by performing data-flow analysis in program execution order and eliminate redundant array range checks from this information.
Information query
