JPH11195011A - Language translation processor, language translation processing method and record medium recording language translation processing program - Google Patents

Abstract

PROBLEM TO BE SOLVED: To shorten the execution time of a target program by generating the target program without enlarging the size of the target program and optimizing a condition branching instruction string. SOLUTION: The processor 2 has a structure analysis means 221 extracting a loop which can be made into a vector and a condition branching/analyzing means 222 analyzing whether the condition of condition branching is constant in a loop. A vector text generation means 223 using a condition branching instruction without using the instruction with mask information and mask information when all the condition expressions of condition branching, which are contained in the loop of a source program 1, are constant, and a vector operation optimizing means 224 analyzing the condition expression of the condition branching instruction whose condition expression contained in the loop which is made into the vector is constant in the loop and optimizing condition branching with respect to the instruction string under the condition of the condition expression are provided.

Description

DETAILED DESCRIPTION OF THE INVENTION

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to language processing of a computer having a vector operation processing device, and more particularly to vector operation optimization processing of a loop including a conditional branch.

[0002]

2. Description of the Related Art A computer having a vector processing device having at least one vector register and a vector control register for storing mask information when processing a conditional instruction is disclosed in Japanese Patent Application Laid-Open No. 7-56892, entitled "Vector arithmetic unit with mask". Computer ". In a language translation processing device that creates a target program running on a computer from a source program, when a conditional branch exists in a loop, mask information data is output regardless of whether the conditional expression of the conditional branch is constant in the loop. A vector is created by creating a statement under the condition of the conditional branch using an instruction sequence with mask information based on the created mask information data. Japanese Unexamined Patent Publication No. Hei 6-251054 discloses a method for optimizing a vector operation under an IF sentence, which is a method for optimizing a loop including a certain conditional branch in the loop.
In the case of an optimization method in which conditional branching is performed outside the loop by performing language translation processing as in the program shown in FIG. As in the program shown in FIG. 7, the language translation process is performed from the program, and the same statement or operation under different conditions is executed by an instruction without mask information, and the value is stored in the mask information. There is disclosed a method for reducing the execution time of a program by executing the program with instructions. However, a method for reducing the execution time of a program focusing on a conditional expression of a conditional branch has not been provided so far.

[0003]

In the above-mentioned optimization performed by the conventional language translation processing apparatus, the optimization in which the conditional branch is performed outside the loop is not optimized when the conditional branch is complicated. However, there is a disadvantage that the size of the target program becomes unnecessarily large.

Further, the same statement or operation under different conditions is executed by an instruction without mask information by focusing attention on the statement under the condition, and the value is executed by the instruction with mask information, thereby shortening the execution time of the program. In the method, there is a problem that a statement that is not executed at all depending on the condition as shown in FIG. 9 may generate a program that is always executed from the source program of FIG.

Furthermore, since processing was conventionally performed using an instruction with mask information, there was no conditional branch in the vectorized loop, so that the conditional branch could not be optimized.

[0006]

A first language translation processing apparatus according to the present invention comprises: a first means for reading a source program and performing syntax analysis to create a first intermediate text; and a structure of the first intermediate text. Second means for analyzing and extracting possible loops that can be vectorized in the source program, and using the first intermediate text, the condition of the conditional branch in the source program loop is constant in the loop. A third means for determining whether there is, a fourth means for creating a second intermediate text using a conditional branch instruction and a vector instruction without mask information based on the determination of the third means, A fifth means for creating a target program from the intermediate text is provided.

A second language translation processing device according to the present invention is characterized in that the first language translation processing device according to the first invention has a condition that a conditional expression included in a loop vectorized from the second intermediate text is constant in the loop. There is further provided a sixth means for optimizing a conditional branch for an instruction sequence under a condition of a branch instruction.

According to a first language translation processing method of the present invention, a first step of reading a source program and parsing it to create a first intermediate text, and analyzing a structure of the first intermediate text to execute the source program Extracting the vectorizable loops that can be vectorized in the second step; and determining whether the condition of a conditional branch in the loop of the source program is constant in the loop using the first intermediate text. Based on the three steps and the judgment of the third means,
There is a fourth step of creating a second intermediate text using a conditional branch instruction and a vector instruction without mask information, and a fifth step of creating a target program from the second intermediate text.

The second language translation processing method according to the present invention is characterized in that in the first language translation processing method according to the first aspect of the present invention, a conditional expression included in a loop vectorized from the second intermediate text is constant in the loop. The method further includes a sixth step of optimizing a conditional branch for an instruction sequence under a condition of a branch instruction.

The recording medium of the present invention has a control program for causing a computer to execute the language translation processing method of the present invention.

[0011]

DESCRIPTION OF THE PREFERRED EMBODIMENTS Next, the present invention will be described with reference to the drawings.

FIG. 1 is a block diagram of a language translation processing apparatus according to an embodiment of the present invention.

The language translation processor 2 includes a syntax analyzer 21
, A vectorization processing unit 22 and a code generation unit 23. The vectorization processing unit 22 includes a structure analysis unit 221
, Conditional branch analysis means 222, vector text generation means 223, and vector calculation optimization means 224.

The source program 1 is input to the language translation processing device 2, and the first intermediate text 2
4 is created. Further, the source program 1 is read and analyzed by the structure analysis means 221. Second intermediate text 2
Reference numeral 5 denotes a vectorized part created by the vector text generating means 223, and the rest is constituted by the first intermediate text 24. Second intermediate text 25
Is further read and optimized by the vector operation optimizing means 224. The target program 3 is generated by the code generation unit 23 of the language translation processing device 2. Next, the operation of the language translation processing device 2 shown in FIG. 1 will be described with reference to the drawings.

FIG. 3 shows a computer 50 for executing the program processing of the present invention and a recording medium 5 storing the processing.
It is one. FIG. 2 is a flowchart of a language translation process according to one embodiment of the present invention. The source program 1 is input to the language translation processing device 2. The syntax analysis unit 21 of the language translation processor 2 creates the first intermediate text 24 of the input source program 1 (step A-1). A vectorizable loop is extracted from the first intermediate text 24 generated by the structure analysis unit 221 (step A-).
2). If there is no loop that can be vectorized, the target program 1 is generated (step A-9). If there is a vectorizable loop, it is checked whether a conditional branch is included in the vectorizable loop (step A-3). If the conditional loop is not included in the vectorizable loop, the vectorizable loop text in the first intermediate text 24 that does not include the conditional branch is replaced with text using vector processing.
Is created (step A-5). If a conditional branch is included in the vectorizable loop, it is checked whether or not all conditional expressions of the conditional branches included in the vectorizable loop are constant in the loop (step A-4).

If the conditional expressions of the conditional branches included in the vectorizable loop are all constant, the vectorized loop text of the first intermediate text 24 including the constant conditional branches in the loop is subjected to vector processing. Replace with the existing text. At this time, the conditional branch and the statement or operation under the condition are rewritten into the internal text using the conditional branch and the instruction without mask information, and the second intermediate text 25 is created (step A).
-6). If the conditional expressions of the conditional branches included in the vectorizable loop are not all constant, the text of the vectorizable loop of the first intermediate text 24 including the conditional branch is replaced with text using vector processing. At this time,
The conditional branch and the statements and operations under the condition create mask information data from the result of the conditional expression operation for the conditional branch, and rewrite it into an internal text using an instruction with mask information using the mask information data. The text 25 is created (step A-7). Generated second intermediate text 2
Step 5 optimizes the text by the vector operation optimizing means 224 (step A-8). The second intermediate text 25 after the optimization is subjected to the generation processing of the target program 1 by the code generation means 23 (step A-9).

The above processing (A-2 to A-9) is repeated for a loop that can vectorize the intermediate text (step A-10).

[0018]

According to the present invention, if it is found that the conditional expressions of all conditional branches in a loop to be vectorized at the time of compilation are constant in the loop, a conditional branch instruction or a vector instruction without mask information is used. A target program is created using the instruction sequence. Thus, the target program can be created without increasing the target program size.
In addition, since a conditional branch instruction that has not been created in the conventional vectorized loop is created, optimization of the conditional branch instruction sequence can be performed, and the execution time of the target program can be reduced.

[Brief description of the drawings]

FIG. 1 is a functional block diagram of a language translation processing apparatus provided with vectorization of a loop including a conditional branch according to an embodiment of the present invention.

FIG. 2 is a flowchart of a language translation process according to an embodiment of the present invention.

FIG. 3 is a recording medium storing a computer and a processing program when a method for vectorizing a loop including a conditional branch of the present invention is a program processing.

FIG. 4 shows an original source program in an optimization method in which a conditional branch is performed outside a loop. Primitive program after optimization.

FIG. 5 is a source program after optimization in an optimization method in which conditional branching is performed outside a loop.

FIG. 6 focuses on the statement under the condition, executes the same statement or operation under different conditions with an instruction without mask information, and executes the original value in the execution time reduction method of executing the value with the instruction with mask information. It is a primitive program.

FIG. 7 is an execution time in the execution time reduction method in which the same statement or operation under different conditions is executed by an instruction without mask information, and the value is executed by an instruction with mask information. This is the source program after shortening.

FIG. 8 shows a source program in a case where a statement that is not executed at all depending on conditions is always executed.

FIG. 9 shows a source program after execution time reduction when a statement that is not executed at all depending on conditions is always executed.

[Explanation of symbols]

 DESCRIPTION OF SYMBOLS 1 Source program 2 Language translation processing apparatus 3 Objective program 21 Syntax analysis means 22 Vectorization processing part 23 Code generation means 24 First intermediate text 25 Second intermediate text 50 Computer 51 Recording medium 221 Structural analysis means 222 Conditional branch analysis means 223 Vector Text generation means 224 Vector operation optimization means

Claims (8)

[Claims] 1. A language translation processing device for creating a target program from a source program of a computer having a vector processing mechanism having at least one vector register and a vector control register for storing mask information for processing a conditional instruction. A first means for reading the source program and performing a syntax analysis to create a first intermediate text; and a second means for performing a structural analysis of the first intermediate text and extracting a vectorizable loop in the source program A second means, a third means for determining whether the condition of the conditional branch in the loop of the source program is constant in the loop using the first intermediate text, and A fourth means for generating a second intermediate text using a conditional branch instruction and a vector instruction without mask information based on the second instruction; Language translation processing apparatus characterized by having a fifth means for creating the desired program from among the text. 2. A method for optimizing a conditional branch for an instruction sequence under a condition of a conditional branch instruction in which a conditional expression included in a loop vectorized from the second intermediate text is constant in the loop. 2. The language translation processing device according to claim 1, further comprising: six means. 3. The language translation processing apparatus according to claim 1, wherein said first to fifth means are program processing. 4. The language translation processing apparatus according to claim 2, wherein said first to sixth means are program processing. 5. A language translation processing method for creating a target program from a source program of a computer having a vector processing mechanism having at least one vector register and a vector control register for storing mask information for processing a conditional instruction. In the first step, a first step of reading the source program and performing a syntax analysis to create a first intermediate text, and a second step of performing a structural analysis of the first intermediate text and extracting a vectorizable loop in the source program A second step, a third step of using the first intermediate text to determine whether a condition of a conditional branch in the loop of the source program is constant in the loop, and a determination of the third means A fourth step of creating a second intermediate text using a conditional branch instruction and a vector instruction without mask information based on the If, language translation processing method characterized by having a fifth step of creating the desired program from said second intermediate text. 6. A method for optimizing a conditional branch for an instruction sequence under a condition of a conditional branch instruction in which a conditional expression included in a loop vectorized from the second intermediate text is constant in the loop. The language translation processing method according to claim 5, further comprising six steps. 7. A recording medium storing a program for causing a computer to execute the first to fifth steps according to claim 5. 8. A recording medium storing a program for causing a computer to execute the first to sixth steps according to claim 6.