JPH0635712A - Automatic in-line expansion processing system for procedure in fortran program - Google Patents

Abstract

PURPOSE:To attain the in-line expansion of many procedures by using an outside function quoted in a sentential function definition sentence as the object of the in-line expansion. CONSTITUTION:A sentential function processing part 12 equipped with a sentential function expansion processing control means 121 which controls the processing of expanding a sentential function to a sentential function quoting part, sentential function definition sentence analyzing means 122 which prepares information for expanding the sentential function to the sentential function quoting part, sentential function quoting part analyzing means 123, and sentential function expanding means 124 which operates the processing of expanding the sentential function to the sentential function quoting part based on the prepared information, is added to an in-line expansion processing part 11 being the function of an FORTRAN compiler. Thus, the sentential function definition sentence can be expanded to a source program as the execution sentence, and the outside function quoted in the sentential function definition sentence can be used as the object of the in-line expansion of the procedure.

Description

Detailed Description of the Invention

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to an automatic inline expansion processing system for procedures in a FORTRAN program which performs source level inline expansion as a preprocessor of a FORTRAN compiler.

[0002]

2. Description of the Related Art Conventionally, in the automatic inline expansion processing of a procedure held by the FORTRAN compiler, only the procedure in the execution statement at the source level is the target of the inline expansion of the procedure, so the statement function definition statement is not the object. , Therefore, the external function quoted in the statement function definition statement is not the target of inline expansion of the procedure. Therefore, the inline expanded source program is not generated for external functions.

[0003]

DISCLOSURE OF THE INVENTION The above-mentioned conventional FOR
According to the automatic inline expansion processing method for procedures in TRAN programs, the external function quoted in the statement function is not subject to inline expansion of the procedure, and optimization by the compiler is performed only for individual procedures. There are drawbacks.

An object of the present invention is to improve the above-mentioned drawbacks, to target an external function quoted in a statement function definition statement for inline expansion, and to enable inline expansion of more procedures. It is to provide an automatic inline expansion processing method.

[0005]

FORTRAN of the present invention
An automatic inline expansion processing method of a procedure in a program includes a FORTRAN compiler including an automatic inline expansion processing unit for performing source level inline expansion as a preprocessor and a translation processing unit for performing translation using the expanded source program as an input. The expansion processing unit is provided with a statement function processing unit for expanding the statement function in the source program in advance and a procedure inline expansion processing unit for performing inline expansion of the procedure by using the source program with the expanded statement function as input. The name function and each type used in the program in the function processing part are created as name information, and the statement function expansion processing control means for controlling the expansion processing of the statement function and the statement function definition statement are analyzed to A statement function that creates statement function definition statement information such as the function name, its formal parameters, and the statement function type There is a sentence function quoting part analysis means that analyzes the sentence function quotation part and the sentence function quotation information such as the sentence function name and its actual argument by analyzing the sentence function quotation part and the quotation of the sentence function. For each of the statement function reference information and the statement function definition statement information, the name of the actual function and the dummy argument and the type of the statement function are matched, and the statement function name is added immediately after the statement that cites the statement function. Insert an assignment statement that substitutes the evaluation result of a statement function expression into a created variable of the same type, create a new statement with the statement function reference part replaced with the created variable, and quote the original statement function. It has a statement function expansion unit that performs processing for replacing existing statements with comment statements, and the statement functions are quoted in the statement function by inline expansion in advance at the source level and inputting the source program. External functions are also treated as targets for inline expansion of procedures Constituted by the.

[0006]

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

FIG. 1 is a block diagram of an embodiment of the present invention, FIGS. 2 and 3 are block diagrams of various tables used in the processing of the embodiment of FIG. 1, and FIG. 4 is a model of a FORTRAN program. It is a figure which shows the correspondence table of information. In the embodiment of FIG. 1, the compiler control unit 10 has an inline expansion processing unit 11 and a translation processing unit 14, and the inline expansion processing unit 11 has a statement function processing unit 12 and a procedure inline expansion processing unit 13. The statement function processing unit 12 is a statement function expansion processing control unit 12
1, statement function definition statement analysis means 122, statement function reference part analysis means 123, and statement function expansion means 124.

The statement function processing unit 12 is called from the inline expansion processing unit 11 in order to make the external function quoted in the statement function definition statement an object of inline expansion, and the statement function definition statement is the statement function reference section. The source is expanded as an executable statement. That is, the statement function expansion processing control means 121 analyzes the input source program, and the name information such as the name of the function name, common block name, variable name, etc. appearing in the program and the type of the name tag. Are sequentially registered in the name field 211 and the type field 212 from the second element column of the name table 21 shown in FIG. Type field 2
The value registered in 12 is obtained from the type correspondence table of FIG. When the analysis is completed, the number of the registered names in the name table 21 is changed to the name field 21 in the first element column of the name table 21.
Register to 1. Next, the statement function expansion processing means 121 analyzes the statement function definition statement by the statement function definition analysis means 122.
Call.

The statement function definition statement analysis means 122 sequentially analyzes the statement function definition statements. Then, the statement function definition statement table 22 shown in FIG. 2B is created for the statement function definition statement, and the statement function name and information such as its type are respectively stored in the statement function name field 221 of the statement function definition statement table 22. Register with the type field 222. If the statement function definition statement has a dummy argument, the statement function definition statement argument table 2 shown in FIG.
Create 3. Then, a name that does not exceed the maximum number of characters obtained by adding a 2-digit serial number to the dummy argument name and that does not match the name registered in the name table 21 is created. In the name field 231 of the argument table 23, the original dummy argument type is set to the type field 23.
Register in 2. In addition, the nameplate that was created is shown in Figure 3.
It is registered in the name tag field 272 corresponding to the type of the type declaration table 7 shown in (d). When the registration is completed, the address of the statement function definition statement argument table 23 is set in the argument chain field 225 of the statement function definition statement table 22, and the number of arguments is set in the argument number field 224. When the analysis is completed, a two-digit serial number is added to the statement function name registered in the statement function name field 221 of the statement function definition statement table 22 in order to register the created variable in the creation variable field 223 of the statement function definition statement table 22. A name tag which does not exceed the maximum number of characters and does not match the name registered in the name table 21 is created and registered in the generated variable field 223 of the statement function definition table 22. The created name tag is registered in the name tag field 272 corresponding to the type of the type declaration table 27. The above processing is repeated every time a statement function definition statement is detected. When the processing is completed for all the statement function definition statements, the control is returned to the statement function expansion processing control means 121.

The statement function expansion processing control means 121 next calls the statement function reference part analysis means 123. The sentence function quotation portion analysis unit 123 searches for the quotation portion of the sentence function. When the citation of a statement function is detected, the line number of the statement that cites the statement function is shown in Fig. 3.
The line number field 241 of the sentence function reference sentence table 24 shown in (a) is registered, and the image of the quoted execution sentence is registered in the reference sentence field 243. Next, in order to register the sentence function information, the sentence function reference table 2 shown in FIG.
5 is created and the address of the sentence function reference table 25 is registered in the sentence function reference chain field 242 of the statement function reference sentence table 24. Then, the sentence function name is registered in the sentence function name field 251 of the sentence function reference sentence table 25. If the statement function has arguments, the statement function reference argument table 26 shown in FIG. 3C is created. Then, the names of the arguments are registered in the name field 261 of the sentence function reference argument table 26 in the order of the arguments. When the registration is completed, the address of the statement function reference argument table 26 and the number of registered arguments are registered in the argument chain field 253 and the argument number field 252 of the statement function reference table 25, respectively. When there are two or more statement function references, a statement function reference table 25 is further created, and this statement function reference table 2 is created.
The address 5 is registered in the NEXT chain field 254 of the sentence function reference table 25. When the statement function quoting part analysis means 123 is completed, control is returned to the statement function expansion processing control means 121. The statement function expansion processing control means 121 next calls the statement function expansion means 124 to perform the expansion processing of the statement function.

The statement function expanding means 124 registers the statement in which the statement function is expanded in a dynamically prepared generated statement area, and the created statement registered immediately after the statement in which the statement function is cited is registered. Perform the process to insert all at once. When the insertion is complete, annotate the statement that references the statement function. When performing this process, in order to maintain consistency of the line numbers, the line number field 241 of the sentence function reference sentence table 24 is used as a key from the bottom (line number descending order).
I will go. As the processing, the statement function definition statement table 22, the statement function reference statement table 24, and the statement function reference table 25 are associated with each other, and the corresponding statement function definition statement argument table 23.
And the statement function quotation argument table 26 are used to create an assignment statement for substituting the actual argument at the time of the statement function reference into the name tag created from the dummy argument in the statement function definition statement. This sentence is registered in the generated sentence area. Next, the assignment of the statement function definition statement to the statement function name is performed by the generation variable field 223 of the statement function definition statement table 22.
Create an assignment statement to assign to the generated variable registered in. This sentence is also registered in the generated sentence area. Next, an assignment statement is created by replacing the statement function reference part with the generated variable assigned above. To create this sentence, the sentence function reference table 2 corresponding to the sentence function reference image field 243 of the statement function reference table 24.
When the statement function is detected by using the statement function name field 251 of 5 and the statement function name field 221 and the created variable field 223 of the statement function definition statement table 22, the created statement function is replaced with the created variable, and the others are sequentially created statements. Register in the area. This is repeated until the end of the sentence registered in the sentence function reference image field 243. When this processing is completed, the generated sentences registered in the generated sentence area are sequentially inserted after this sentence function reference sentence. In this way, the statement quoted by the statement function is converted into an assignment statement for the generated variable in which the statement function is expanded and a statement for quoting the assigned generated variable.
When the conversion is complete, replace the sentence function quote with a comment. When the conversion processing of all the elements registered in the statement function reference sentence table 24 is completed, the type declaration is made based on the type declaration table 27 having the type and the name tag information about the name tag generated by the above processing. Create a statement and insert it after the last type declaration statement in your source program. As a result, the sentence function expansion processing ends, and control is returned to the statement function expansion processing control means 121.

The statement function expansion processing control means 121 returns the control to the inline expansion processing section 13 of the procedure as the source program information of the source program obtained by source expansion of the statement function into the execution statement. As a result, if there is an external function referenced in the statement function in the source program when it is first input, this external function is subject to inline expansion of the procedure because the statement function is source-expanded as an executable statement. Will be treated.

Next, the operation of the present embodiment thus constructed will be described by taking the case of processing the source program shown in FIG. 5 as an example. When a source program as shown in FIG. 5 is input, the inline expansion processing section 11 calls the statement function expansion processing section 12 to expand the statement function. The statement function expansion processing unit 12 calls the statement function expansion processing control means 121 to control the expansion processing of the statement function.

The statement function expansion processing control means 121 analyzes the input source program and obtains information such as function names, common block names, variable names and other names appearing in the program and the type of the names. The name tag is extracted from the second element column of the name table 21 into the name field 211, and the type value corresponding to the name is extracted from the type correspondence table of FIG. When the analysis is completed, the number of names (30 in this example) registered in the name table 21 is registered in the first element column of the name table 21. Next, the statement function definition statement analysis means 122 is called to analyze the statement function definition statement.

The statement function definition statement analysis unit 122 sets the statement function name SFUN in the statement function name field 221 of the statement function definition statement table 22 for the statement function definition statement to be quoted, and sets a value corresponding to the type of the statement function. The name table 21 is searched, and the value 2 is registered in the type field 222. Since the statement function definition statement has dummy arguments X and Y, the statement function definition statement argument table 23 is created. First, a name mark in which the serial number 01 is added to the name mark X is created, and the name mark table 21 is searched for whether there is a name mark matching this name mark. Since there is no matching name tag, this name tag 01 is registered in the name tag field 231 of the statement function definition argument table 23. Since the name X01 takes over the type of the dummy argument X, the value of the type of the dummy argument X is fetched from the name table 21 and registered in the type field 232. Since the value of the type of the name tag X01 is 2, the name field 272 corresponding to the value of the type field of the type declaration table 27 is 2.
Register X01 in. Similar processing is performed for the dummy argument Y. Then, the address of the statement function definition argument table 23 is set in the argument chain field 225 of the statement function definition statement table 22, and 2 which is the number of arguments is set in the argument number field 224. When the analysis is completed, a name label SFUN01 is created by adding the serial number 01 to the statement function name registered in the statement function name field 221 of the statement function definition table 22 in order to register the created variable in the created variable field 223 of the statement function definition table 22. Then, it is searched whether or not the name tag matches the name registered in the name tag table 21. Since there is no same name, SFUN01 is registered in the generated variable field 223 of the statement function definition statement table 22. Further, the value of the type field 271 of the type declaration table 27 is additionally registered in the name tag field 272 corresponding to 2. Since the registration of the generated variable is completed, the control is returned to the statement function expansion processing control means 121. Statement function expansion processing control means 12
1 then calls the sentence function reference part analysis means 123.

The sentence function quotation portion analysis means 123 searches for the quotation portion of the sentence function. The line number 200 detects the citation of the sentence function SFUN, and the line number 200 of the sentence that cites the sentence function in the sentence function reference sentence table 24 is displayed in the line number field 241.
In the sentence function name table 25 of the sentence function reference table 25.
The statement function name SFUN is registered in 1. Also, the statement function SFUN
Since the two arguments A and B are used when quoting, the number of arguments 2 is registered in the argument number field 252 of the statement function reference table 25. Next, in order to create information about the arguments, the statement function reference arguments table 26 for the number of arguments is created, and A and B are registered in the name field 261 in the order of the arguments. And sentence function reference argument table 2
The address No. 6 is registered in the argument chain field 253 of the sentence function reference table 25. The NEXT chain field of this sentence function reference table 25 is NU as an initial value.
LL address is used. Since the processing on the quote side of the statement function is completed, control is returned to the statement function expansion processing control means 121.
The statement function expansion processing control means 121 then proceeds to the statement function expansion means 1
Call 24.

The statement function expansion means 124 matches the statement function definition table 22, the statement function definition argument table 23, the statement function reference statement table 24, the statement function reference table 25, and the statement function reference argument table 26, and within the statement function definition statement. Create an assignment statement that substitutes the actual argument when the statement function is quoted to the formal argument in.

The statement function expansion means 124 searches the statement function definition table 22 and the statement function name field 221 for a name that matches the SFUN of the statement function name field 251 of the statement function reference table 25. When the matching name SFUN is detected, the correspondence of the arguments is checked in order to change to the assignment statement for substituting the name of the actual argument for the name of the dummy argument. Name tag X01
The name tag corresponding to is A, and the name tag corresponding to name Y01 is B. Therefore, an assignment statement such as X01 = A Y01 = B is created and registered in the generated statement area. Next, a statement generated by replacing the quotation part of the dummy argument with the name tag created from the dummy argument for the assignment statement from the statement function definition statement to the generated variable, such as SFUN01 = UFUN1 (Y01) * 10 * UFUN2 (X01). Is additionally registered in the generated sentence area. Next, a sentence in which the sentence function reference part is replaced with a generated variable is created as in XYZ = SFUN01 * 10 and additionally registered in the generated sentence area. Since the creation of the execution statement for changing the source program is completed, the execution statement of the conventional statement function quotation part is annotated, and the statement registered in the generated statement area is inserted between it and the next line. Since the insertion of the sentence from the generated sentence area is completed, the generated area is initialized. Next, the type declaration table 27 is created in order to create the type declaration statement of the created variable using the type declaration table 27. Type field 271
2 is INTEGER, and the corresponding contents of the name tag field 272 are X01 and SFUN01.
Since the value 6 of the type field 271 is REAL and the content of the name tag field 272 corresponding thereto is Y01, a type declaration statement such as INTERGER SFUN01, X01 REAL Y01 is created. This is registered in the generated sentence area. The source program is analyzed to insert this type declaration statement after the last type declaration statement. Since line number 20 is the last type declaration statement, the declaration statement registered in the generated statement area after line number 20 Insert. This creates a source program as shown in FIG. When all the conversions are completed, the control is returned to the statement function expansion processing control means 121.

The statement function expansion processing control means 121 returns control to the inline expansion processing as if the source program was the first input source program. By inputting to this source program, the inline expansion processing unit 11 finally creates a source program as shown in FIG.

[0020]

As described above, the present invention is a FORT.
A statement function definition statement analyzing means and statement function quote part analyzing means for creating information for expanding a statement function into a statement function reference part in the inline expansion processing of the RAN compiler, and a statement function statement based on the created information. A statement function processing unit having a statement function expanding unit that expands to the function reference section is provided to expand the statement function definition statement into the source program as an execution statement, and the external function quoted in the statement function definition statement The target of inline expansion has the effect that more procedures can be expanded inline and the compiler is optimized for a wide range.

[Brief description of drawings]

FIG. 1 is a configuration diagram of an embodiment of the present invention.

FIG. 2 is a diagram showing a part and an example of contents of various tables used in the embodiment of FIG.

3 is a diagram of various tables used in the embodiment of FIG.
It is a figure which shows the other table and the example of content.

FIG. 4 is a diagram showing a correspondence table of type information held by a FORTRAN program.

FIG. 5 is a diagram showing an example of a source program for explaining the processing of the embodiment of FIG.

6 is a diagram showing a source program obtained by changing the source program of FIG. 5 into a format in which inline expansion is possible by the processing of the embodiment of FIG.

7 is a diagram showing a source program after the final in-line expansion of the source program of FIG. 5 created by the processing of the embodiment of FIG.

[Explanation of symbols]

 Reference numeral 10 compiler control unit 11 inline expansion processing unit 12 statement function processing unit 13 procedure inline expansion processing unit 14 translation processing unit 121 statement function expansion processing control unit 122 statement function definition statement analysis unit 123 statement function reference analysis unit 124 statement function expansion means

Claims (1)

[Claims] 1. A FORTRAN compiler includes, as a preprocessor, an automatic inline expansion processing unit for performing source-level inline expansion and a translation processing unit for performing translation using the expanded source program as an input, and the automatic inline expansion processing unit is provided with the source program. A statement function processing unit for expanding the statement function in the sentence in advance and a procedure inline expansion processing unit for performing inline expansion of a procedure using the source program in which the statement function is expanded as an input, and the statement function processing unit Create the name tag and each type used in the name tag information, and analyze the statement function expansion processing control means for controlling the expansion processing of the statement function and the statement function definition statement,
A statement function definition statement analysis unit that creates statement function definition statement information such as statement function names, their formal parameters, and statement function types, and a statement function name for each statement function that is analyzed by analyzing the statement function reference part. The statement function reference part analysis means for creating the statement function reference information such as the actual argument, and the name and statement of the actual argument and the dummy argument based on the statement function reference information and the statement function definition statement information every time the statement function is referenced. Insert the assignment statement that assigns the evaluation result of the statement function expression to the generated variable that has the same type as the statement function name immediately after the statement that references the statement function while maintaining the consistency of the function type. A sentence function expanding unit that performs a process for newly generating a sentence in which a quoted portion is replaced with the generated variable and replacing a sentence that is quoting the original sentence function with a comment sentence is provided. You can inline in advance at the source level and enter the source program. Automatic inlining process scheme in procedure in FORTRAN program characterized by handled as an object of inlining external functions also procedures are cited in the text function.