摘要 |
PROBLEM TO BE SOLVED: To decrease the frequency of an array range check and to increase execution speed by generating a code for an array range check included in array range checks. SOLUTION: Array range checks, corresponding to array access operations, are integrated under specific conditions and the result is stored in a storage device (110). An array range check is assigned to one ore more flags (120). Codes to be stored in the assigned flags are generated and stored in a storage device (130). If versioning is carried out (140), a versioning header is generated by using the flags, and a version of flag check success and a version of flag check failure are generated and stored in the storage device (150). A code, which invalidates a code is generated and stored in the storage device (160). Consequently, array range checks which are to be removed becomes few.
|