×

Method and apparatus for eliminating redundant array range checks in a compiler

  • US 6,519,765 B1
  • Filed: 07/09/1999
  • Issued: 02/11/2003
  • Est. Priority Date: 07/10/1998
  • Status: Expired due to Fees
First Claim
Patent Images

1. A method for eliminating a redundant array range check of array range checks in a program, said method comprising the steps of:

  • in each basic block, collecting a first information about array range checks already processed, in program execution order according to a first condition, said first information being a set of array range checks;

    propagating said first information along a data-flow of the program according to a second condition, and generating a second information about array range checks already processed at the beginning of each basic block; and

    in each basic block, eliminating an array range check by following each instruction in program execution order with modification of said second information according to a third condition and by using the second information.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×