JPH01177165A - Definition-quotation relation checking system for array - Google Patents

Abstract

PURPOSE:To facilitate the title checking system by performing automatically the dynamic check of the definition-quotation relation for an array related to the application of a vector instruction to a loop where no vector instruction is not applicable owing to the unknown definition-quotation relation for the array via the processing of a definition-quotation relation checking routine. CONSTITUTION:A source program production part 2 produces a call sentence insertion source program 8 and a load module 93 obtained based on the program 8 is carried out by a definition-quotation relation checking part 5. The definition- quotation relation for an array related to the application of a vector instruction to a loop where the vector instruction is not applicable owing to the unknown definition-quotation relation is dynamically checked by a definition-quotation relation checking sub-routine in a process of execution. Then this check result 94 is automatically delivered via the part 5. Thus it is possible to easily check the definition-quotation relation for an array related to the application of the vector instruction even in case a program to be checked is complicated or in case the user of the program is not equal to the producer of the program.

Description

[Detailed Description of the Invention] [Field of Industrial Application] The present invention relates to an array definition/citation relationship checking method, and in particular to an array definition/citation relationship checking method [conventional] in a computer system capable of executing vector instructions. Conventionally, vector instructions are applied to instructions generated for loops in source programs because the array definition/quotation relationship is unclear only through static program analysis (hereinafter simply referred to as "vector instructions for loops"). If the vector instruction cannot be applied (because it is uncertain whether the vector instruction can be applied), the compiler will send a message to that effect when the source program is translated. Apply a scalar instruction to the instruction generated for the loop when (information file similar to the array definition/unknown citation relationship vectorization information described later) is output (hereinafter simply "applying a scalar instruction to the loop") ) was performed to generate the target program.

Furthermore, based on the messages output in this way and the execution behavior of the generated target program, an array is created to determine whether there is no problem in applying a vector instruction to the loop in the source program. Inspection of definition/citation relationships (inspection of array definition/citation relationships regarding application of vector instructions) was performed by the user.

If it is determined that there is no problem in applying vector instructions to the loop in question, a directive line indicating this is inserted into the source program, and the source program with that directive line is recompiled. By translating this, a target program was generated that was executed by applying vector instructions to the loop. , the target program was executed with the scalar instructions applied to the loop).

As mentioned above, when it is not possible to apply vector instructions to a loop in a source program because the array definition/quotation relationship is unknown only by static program analysis, the conventional method for applying vector instructions to the array definition/quotation relationship is Dynamic inspection has been performed by a manual arrangement definition/citation relationship inspection method by a user or the like.

[Problem to be solved by the invention]

In the conventional array definition/quotation relationship checking method described above, dynamic checking of the array definition/quotation relationship regarding the application of vector instructions in a loop in a source program is performed using the messages output by the compiler and the purpose generated by the compiler. This is done manually by the user based on the execution behavior of the program, so if the program to be inspected (source program and target program) is complex, it is difficult to inspect the above-mentioned array definition/citation relationships. (which is often impossible to fully test).

In particular, if the user of the program is not the creator, the exact execution behavior of the program is often unknown to the user, so even if the program is not complex, the array definition/quotation relationship regarding the application of vector instructions The disadvantage is that it is difficult to test.

In view of the above-mentioned points, an object of the present invention is to dynamically inspect array definition/citation relationships regarding application of vector instructions, even when the program to be inspected is complex and even when the user of the program is not the creator. The object of the present invention is to provide an array definition/citation relationship inspection method that can easily perform the following.

[Means to solve the problem]

The array definition/citation relationship checking method of the present invention detects vectorization information with unknown array definition/citation relationship regarding loops to which vector instructions cannot be applied because the array definition/citation relationship in the source program is unknown. The detection unit and the call statement insertion source program, which is a source program in which a definition/citation relationship inspection subroutine call statement is inserted immediately before a loop in which vector instructions cannot be applied because the definition/citation relationship of the array is unknown, are vectorized. A source program creation section creates a source program based on the vectorization information with unknown array definition/citation relationship detected by the information detection section, and a load module based on the call statement insertion source program created by this source program creation section is executed. The definition inserted by the source program creation section/
Definition called by a citation relationship check subroutine call statement / Array definition based on the citation relationship check subroutine / Array definition / citation relationship behavior related to application of a vector instruction in a loop where a vector instruction cannot be applied because the citation relationship is unknown It has a definition/citation relationship inspection section that performs a general inspection and outputs the inspection results.

[Effect]

In the array definition/citation relationship checking method of the present invention, the vectorization information detection unit detects array definition/citation relationship unknown vectorization information regarding a loop to which a vector instruction cannot be applied because the array definition/citation relationship in the source program is unknown. A call statement insertion source is a source program in which a definition/citation relationship check subroutine call call statement is inserted immediately before a loop in which vector instructions cannot be applied because the source program creation module detects the array definition/citation relationship. A program is created based on the unknown array definition/citation relationship vectorization information detected by the vectorization information detection unit, and the definition/citation relationship inspection unit creates a load module based on the call statement insertion source program created by the source program creation unit. During execution, the vector instruction cannot be applied because the array definition/citation relationship is unknown based on the definition/citation relationship inspection subroutine called by the definition/citation relationship inspection subroutine call statement inserted by the source program creation module. It dynamically inspects the array definition/quotation relationship regarding the application of vector instructions in a loop and outputs the inspection results.

〔Example〕

Next, the present invention will be explained with reference to the drawings.

FIG. 1 is a block diagram showing the configuration of an embodiment of the array definition/citation relationship checking method of the present invention.

The array definition/citation relationship checking method of this embodiment consists of a vectorization information detection section 1 (realized by the FORTI'?AN compiler), a source program creation section 2, and a translation section 3 (realized by the FORTRAN compiler). ), a link unit 4 (realized by a linker), a definition/citation relation checking unit 5 (realized by an execution unit that executes the load module 93), and a source program 6 (
written by FORTRAN) and array definition/
It is composed of citation relationship unknown vectorization information 7, call statement insertion source program 8, compile unit 91, definition/citation relationship inspection subroutine compile unit 92, load module 93, and inspection result 94.

The source program creation unit 2 includes a vectorization information acquisition unit 21
, a source program input section 22 , a source program analysis section 23 , a call statement insertion section 24 , and a source program output section 25 .

FIG. 2 is a diagram showing an example of vectorization information 7 with unknown array definition/citation relationship. Referring to this episode, array definition/
The citation relation unknown vectorization information 7 is composed of a line number 71, a message number 72, and a message section 73.

FIG. 3 is a diagram showing an example of the call statement insertion source program 8. Referring to this figure, the call statement insertion source program 8 includes definition/citation relationship checking subroutine call statements 81 and 82.

FIG. 4 shows the call statement insertion source program 8 and the definition/citation relationship inspection subroutine source program (not shown, the source program of the definition/citation relationship inspection subroutine compilation unit 92, and the definition/citation relationship inspection subroutine source program and definition /Citation Relationship Inspection Subroutine When referring to the contents of the processing of the compilation unit 92, it is a diagram showing parameters used as an interface with the "Definition/Citation Relationship Inspection Subroutine").

Next, the operation of the array definition/citation relationship checking method of this embodiment configured as described above will be explained.

First, source program 6 has a loop in which vector instructions cannot be applied because the array definition/quotation relationship is unknown.
When translated by the ORTRAN compiler, the vectorization information detection unit implemented by the FORTRAN compiler detects a loop to which vector instructions cannot be applied because the array definition/quotation relationship is unknown, and the array definition/quote relationship for that loop is detected. Unknown citation relationship vectorization information 7 (Specify the relevant loop, the corresponding array base, and the part (line number) where the array definition/quotation relationship is unknown, etc.) An information file indicating that the vector instruction cannot be applied is output in the format shown in FIG.

Sequence definition/unknown citation relationship vectorization information 7 shown in Figure 2
, the message rUNsUrTABLE DATA REF in the message section 73 identified by r70J in line number 71 and "30" in message number 72
ERENCE RELATION, J and additional information 11rARRAY in message section 73: A 80.
90J indicates that the vector instruction cannot be applied to the loop starting at line number 70 because the definition/quotation relationship to the array is unknown in the statements at line numbers 80 and 90 (
(See lines 70 to 90 in FIG. 3). Similarly, line number 71
r150 J, the message in the message section 73 identified by the message number 72 "30" and the additional information in the message section 73 "To ARR8Y: X 16
0, 160 J indicates that the vector instruction cannot be applied to the loop starting from line number 150 because the definition/citation relationship of array X is unknown in the statement at line number 160 (line 150 in Figure 3). and line 160).

Next, in the source program creation unit 2, a call statement (definition/citation relationship inspection subroutine call call statement) that calls a definition/citation relationship inspection subroutine immediately before a loop in which vector instructions cannot be applied because the definition/citation relationship of the array is unknown. 81, 82, etc.) is inserted (call statement insertion source program 8) is shown in FIG. Created as follows.

That is, first, the source program input section 22 inputs the source program 6, and the vectorization information acquisition section 21 acquires the vectorization information 7 with unknown array definition/citation relationship.

Next, the source program analysis unit 23 searches for loops in the source program 6 to which vector instructions cannot be applied because the array definition/citation relationship is unknown, based on the array definition/citation relationship unknown vectorization information 7.

Furthermore, the definition of an array related to the application of a vector instruction immediately before the loop searched by the source program analysis unit 23/
Definition for checking citation relationships/Call statement that calls the citation relationship inspection subroutine (Definition/Tagawa relationship inspection subroutine call call statement 81 (rCALL DEPCEK
(Nl, N2.N3゜K, J, -M, L) J and definition/citation relationship inspection subroutine call statement 82 (r
CALL DEPCEK (1, to -1,1,5,1
, 1, O)'') is inserted by the call statement insertion unit 24.

Finally, the source program output unit 25 outputs the call statement insertion source program 8 into which the definition/citation relationship inspection subroutine call statements 81 and 82 have been inserted.

The call statement insertion source program 8 output from the source program creation unit 2 in this way is translated into the translation unit 3 (FO
(RTRAN compiler) and output as a compilation unit 91.

The compile unit 91 executes a definition/citation relationship inspection subroutine compile unit 92 (definitions interfaced with the call statement insertion source program 8 and parameters as shown in FIG. 4) prepared in advance by the link unit 4 (linker). /The compilation unit in which the citation relationship check subroutine source program was translated,
To exemplify the first and fourth parameters in the t parameter shown in FIG. 4, the first parameter corresponds to "N1" of the definition/citation relationship inspection subroutine call statement 81 in FIG. In this case 7
It shows the initial pJI value of the DO small loop index variable rlJ starting from line 0, and the fourth parameter corresponds to rKJ of the definition/citation relationship inspection subroutine call statement 81 in FIG. is the array element rA([J+K)J(array element rA (1*L-
M) The subscript expression "I*J" of the first dimension (in this example, there is only one dimension) of the array element whose execution order is earlier than J
(indicates the value when the value of the index variable rlJ of +KJ is 0), and the load module 93 is output.

The load module 93 generated in this way is executed by the definition/citation relationship inspection unit 5 (execution unit), and during the execution process, the definition/citation relationship of arrays related to the application of vector instructions is operated by the definition/citation relationship inspection subroutine. The definition/citation relation checking unit 5 automatically outputs a check result 94 that is the result of the check.

〔Effect of the invention〕

As explained above, the present invention provides dynamic inspection of array definition/quotation relationships regarding the application of vector instructions to loops in which vector instructions cannot be applied because the array definition/quotation relationships are unknown only through static program analysis. This is automatically performed by the definition/citation relation inspection subroutine, etc. without requiring any human intervention from the user, so even if the program to be inspected is complex, even if the user of the program is not the creator. This has the advantage that it is possible to easily dynamically check the constant n/quotation relationship of arrays regarding the application of vector instructions.

[Brief explanation of the drawing]

FIG. 1 is a block diagram showing the configuration of an embodiment of the present invention. FIG. 2 is a diagram showing an example of vectorized information with unknown array definition/citation relationship in FIG. 1. A diagram showing an example of a call statement insertion source program. Figure 4 shows the call statement insertion source program in Figure 1 and the definition/citation relationship inspection subroutine source program (the source of the definition/citation relationship inspection subroutine compilation unit in Figure 1). FIG. 3 is a diagram showing parameters used as an interface between the program and the program. In the figure, 1... vectorization information detection unit, 2... source program creation unit, 3... translation unit. 4... Link section, 5... Definition/citation relationship inspection section, 6... Source program, 7... Array definition/unknown citation relationship vectorization information, 8... Call statement insertion source program, 21 ...Vectorization information acquisition section, 22.. Source program input section, 23.. Source program analysis section, 24.. Call statement insertion section, 25.. Source program output section, 71.. Line Number, 72... Message number, 73... Message part, 81, 82... Definition/citation relationship inspection subroutine call call statement, 91... Compilation unit, 92... Definition/citation relationship inspection subroutine compilation unit, 93...Load module, 94...Inspection results.

Claims (1)

[Scope of Claims] A vectorization information detection unit that detects vectorization information with unknown array definition/citation relationship regarding a loop to which a vector instruction cannot be applied because the definition/citation relationship of the array in the source program is unknown; and the definition of the array. /The vectorization information detection unit detects a call statement insertion source program, which is a source program in which a definition/citation relationship inspection subroutine call call statement is inserted immediately before a loop to which vector instructions cannot be applied because the citation relationship is unknown. A source program creation section that creates a source program based on vectorized information with unknown array definition/quotation relationship, and a load module based on the call statement insertion source program created by this source program creation section, and in the process inserts the call statement by the source program creation section. / Definition called by the citation relationship check subroutine call statement / Definition of an array based on the citation relationship check subroutine / Definition of an array related to application of vector instructions in a loop where vector instructions cannot be applied because the citation relationship is unknown / An array definition/citation relationship inspection method comprising: a definition/citation relationship inspection unit that dynamically inspects citation relationships and outputs the inspection results.