Method of producing object program based on interprocedural dataflow analysis of a source program

A method of generating an object program from a source program which includes a plurality of procedures, at least one procedure of the procedures including at least one loop containing a procedure call for calling another procedure within the source program as a called procedure, and the object program being for executing the loop in parallel for different iterations of the loop, the method comprising the steps executed by a computer, the steps including:

• detecting one or plural regions of a first kind, one or plural regions of a second kind and one or plural regions of a third kind, each of the one or plural regions of the first kind and each of the one or plural regions of the second kind for said each appearing array for said each iteration of the loop being regions respectively defined and used on one or more program execution paths, and each of the one or plural regions of the third kind being a region within the one or plural regions of the second kind which is used on one of the program execution paths for said each iteration without being defined on said one program execution path before being used;
• determining whether or not each of one or more arrays appearing in a statement of the loop satisfies a first or second condition, the first condition being that any one of the one or plural regions of the first kind for the each appearing array for any iteration of the loop does not intersect with any one of the one or plural regions of the second kind for said each appearing array for any iteration of the loop, and the second condition being that any one of the one or plural regions of the first kind for the appearing array for any iteration of the loop does not intersect with any of the one or plural regions of the third kind for said each appearing array for another iteration of the loop following an iteration of the loop for which one of the one or plural regions of the first kind has been detected;
• replacing, when any of the one or more appearing arrays is one of an array of a first kind which satisfies the first condition and an array of a second kind which does not satisfy the first condition but satisfies the second condition, each of the one or more arrays which is an array of the second kind by a new array;
• and
• compiling the source program after replacing the replaced each of the one or more arrays into an object program including codes for executing the loop in parallel.