JP3107151B2 - Optimized code debugging method - Google Patents

Description

DETAILED DESCRIPTION OF THE INVENTION

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to an optimized code debugging method, and more particularly, to a compiler for converting a source program into a more efficient or smaller target program, and a converted object program. The present invention relates to an optimized code debugging method including a symbolic debugger for debugging a program.

[0002]

2. Description of the Related Art Generally, when a target program is executed by a symbolic debugger, a source program can be step-executed line by line. The source program is also called a source program, and one line of the source program is called a source line. In the step execution, one source line is executed.

In recent compilers, it is common to actively optimize a target program in order to reduce execution efficiency or code size. When the compiler generates an optimized target program, the order of execution of operations in the source program may not match the order of execution of operations in the target program.

However, in the conventional debugging system in which the debugger executes one step and displays only the current position in the source program, even if the execution order of the operations does not match between the source program and the target program, some sort of mismatch does not occur. No information is shown. Therefore, when the debugger sees the value of a variable in the debugger,
If the value is not the expected value of the variable deduced from the source program, the debugger must determine whether it is due to compiler optimization or incorrect program by looking at the disassembly list of the target program. Debugging requires a lot of man-hours.

[0005] For example, a compiler can be used to wind up a known code (Ikuo Nakata, Chopsticks “Compiler”, Sangyo Tosho, Showa 6)
3 years). This is an optimization that moves computations and statements that exist in both paths of the branch before the branch, and the code is moved backward in the direction of execution flow. Referring to FIG. 5 showing an example of backward movement by optimization of a compiler, a code string S521
Has been moved backwards. In addition, when there is an assignment to the same variable before the branch and in one of the paths after the branch,
There is also an optimization that moves the assignment statement before the branch to the other path after the branch, where the code is moved forward, as viewed from the direction of execution flow. Referring to FIG. 6 showing an example of forward movement by optimization of the compiler, the code string S6
24 have been moved forward.

When debugging a target program whose execution order has been changed, if a debugger refers to the value of a variable, depending on the stop position of the target program,
It is possible that the expected value of the variable estimated from the current position in the source program has not been substituted yet. This is not a program fraud but an effect of code movement due to optimization. In the target program 5c, when the execution reaches the branch S522, the eleventh line is displayed as the current position in the source program display. At this time, 12
The statements on lines 14 and 14 are branch S in the source program
After 511, in the target program already S
521 has already been executed. Therefore, referring to the value of the variable a, 0 is displayed due to the substitution executed earlier. Further, in the target program 6c, the execution is branched S6.
When it reaches 21, the 22nd line is displayed as the current position on the source program. At this time, the statement on line 21 is before the branch S612 on the source program,
In the target program, the processing is not executed until S624. Therefore, referring to the value of the variable s, a value other than 0 may be displayed because the assignment of 0 to the variable s is delayed. As described above, in a debugging system that only displays the current position in the source program, when the value of a variable is not the expected value, it is determined whether the variable was due to optimization or the program was illegal. Is not easy.

In the early symbolic debuggers, most of the optimized target programs could be debugged only at the assembly level. However, with the spread of the optimizing compiler in recent years, the optimized target programs have been reduced at the source level. Establishing the technology to enable debugging is a significant issue in debugging systems. The problem with the source program is whether it is possible for the debugger to clearly indicate that the execution order has been changed, and how to display the correspondence between the source program and the target program with a debugger is a paper or patent. Many have been issued.

For example, a "debugger of a computer program for a pipeline processing system" disclosed in Japanese Patent Application Laid-Open No. H5-222487 displays a line number of a source program and a memory address range of a target program for each source line. And outputting the table. In the step execution at the source level, the step execution of the machine language instruction is repeated, and when it is out of the memory address range corresponding to the source line, it is determined that the step execution is completed. The debugger calculates the stop address of the target program,
The stop source line number is displayed to the debugger by sequentially comparing the start address of the memory address range in the table.

According to this technique, when debugging a target program whose execution order has been changed by optimization, source lines of a source program are sequentially displayed as stopped source lines by step execution. It is not possible to know how the execution order has been changed except by visually checking the transition of the stop source line number.

A "debugger device" disclosed in Japanese Patent Application Laid-Open No. 4-38841 creates a graph representing the flow of execution of a source program, and processes a source program and a translated conversion result program. It is characterized by analyzing a route. The debugger displays the graph, the source program, and the conversion result program, and visually displays the correspondence for each processing path in each display.

According to this technique, only the correspondence of the processing paths is displayed, and when the execution order of the code in each processing path is changed, how the execution order in the source program is changed. No indication can be made as to whether or not it has been done.

[0012]

The first problem is that, in the conventional optimized code debugging method, the execution order of the above-mentioned source program and conversion result program is changed by optimizing the compiler. In this case, the debugger must visually check the code of the source program and the target program and make the correspondence by himself. The reason for this is that the optimized code debugging method does not have means for providing a user-friendly display of a change in the execution order.

An object of the present invention is to provide an optimized code debugging method which enables debugging at a source level in an object program whose execution order has been changed by optimization of a compiler.

[0014]

SUMMARY OF THE INVENTION An optimized code debugging method according to the present invention analyzes a source program and converts it into an intermediate language format.
Parsing means for converting to an expression program, and said parsing
Source line number of the statement for each sentence at the time of analysis of the source program are within the functions of the source program by means, offset from the function start address of object code generated for the sentence, and the optimization attributes in the set Line information generating means for generating line information, and the intermediate language format program
Various optimizations for
Optimizing means for converting to an expression program, and the optimizing means
As a result of optimization processing by
Corresponds to the moved intermediate language instruction sequence if it occurred
Set the forward movement flag in the optimization attribute of line information and
Affected by the route of movement of the intermediate language instruction sequence
Optimization attribute of line information corresponding to other intermediate language instruction sequence
Set the secondary fluctuation flag to prevent backward movement of the intermediate language instruction sequence.
Corresponds to the moved intermediate language instruction sequence if it occurred
Set the backward movement flag in the optimization attribute of line information and
Affected by the route of movement of the intermediate language instruction sequence
Optimization attribute of line information corresponding to other intermediate language instruction sequence
Optimization attribute setting means for setting a secondary variation flag ;
An intermediate language format program is converted to a target program containing the line information.
A compilation processing unit having translation means for translating into a program, and a purpose of inputting a purpose program including the line information
Program input means , and line information table structuring means for inputting the line information in the target program and forming a line information table comprising a source line number , an offset of a target code from a function head address , and an optimization attribute; Seo
Current stop when a source level step execution instruction is
Search the line information table from the stop address and then stop
One line in the source program to find the address to be
Execute the target code corresponding to the statement, and
Source-level stepping to show current position on display
Means and the source level step executing means
The optimization attribute of the target code to be
And the backward movement flag is set in the optimization attribute.
In other words, "Execute the source program earlier than the execution order.
Is displayed, and the secondary fluctuation flag is set.
If it is, `` The value of a variable etc.
May have been affected. "
If the forward move flag is set,
And a debug processing unit having an execution order display unit for displaying a message of “execute the sentence” .

[0015] In addition, the compilation method of the present invention, source
Analyze the program and convert it to an intermediate language format program
Parsing means, and a source program by the parsing means.
Source line number of the statement for each sentence at the time of grams of analysis is in the function of the source program, the offset from the top of the function address of the target code generated for the sentence, and
Line information generating means for generating line information with a set of optimization attributes, and various optimizations for the intermediate language format program
And convert it to a more efficient intermediate language format program
Optimization means and the optimization processing by the optimization means.
As a result, if the forward movement of the intermediate language instruction sequence occurs, move
Line information corresponding to the specified intermediate language instruction sequence
Set the forward movement flag and
Other intermediate language instruction sequences affected by travel route due to movement
A secondary fluctuation flag in the optimization attribute of the line information corresponding to
If the backward movement of the intermediate language instruction sequence occurs, move
Line information corresponding to the specified intermediate language instruction sequence
Set the backward movement flag and set the intermediate language instruction sequence
Other intermediate language instruction sequences affected by travel route due to movement
A secondary fluctuation flag in the optimization attribute of the line information corresponding to
And optimization attribute setting means for the intermediate language format program
For translating a program into a target program containing the line information
Means .

Further, according to the debugging method of the present invention, the line information
Enter a target program containing a target program
Means, inputting the line information in the object program ,
Source line numbers and line information table configuration means for configuring the line information table of offsets, and optimization attributes from the function start address of object code, source-level scan
From the current stop address when there is a step execution instruction
The next address to search the line information table and stop at
The equivalent of a one-line sentence in the source program
Execute the dynamic code and display the current position on the source program display.
Source level step execution means for displaying the location,
Target code executed by the source level step executing means.
Refer to the row information table for the optimization attribute of the
If the backward movement flag is set for the
Program is executed earlier than the execution order of the program.
Is displayed, and if the secondary fluctuation flag is set,
The value of variables is affected because the row order has been changed
There is a possibility that there is "and move forward
If the flag is set, "Execute the delayed statement
And an execution order display means for displaying a message indicating that

Still further, the optimized code debugging method of the present invention analyzes a source program and executes an intermediate language format program.
Parsing means for converting into a program, and said parsing means
Source line number of the statement for each sentence at the time of analysis of the source program are within the functions of the source program by, offset from the function start address of object code generated for the sentence, and the optimization attributes to set and line information generating means for generating a line information, versus the intermediate language format program
And optimizes it for more efficient intermediate language format
Optimizing means for converting into a program,
Of the intermediate language instruction sequence
The line information corresponding to the moved intermediate language instruction sequence.
Set the forward movement flag in the optimization attribute of the
Other than being affected by the arrival route due to the movement of the intermediate language instruction sequence
In the optimization attribute of the line information corresponding to the intermediate language instruction sequence of
Set the fluctuation flag and move backward in the intermediate language instruction sequence.
The line information corresponding to the moved intermediate language instruction sequence.
Set the backward movement flag in the optimization attribute of
Other than being affected by the arrival route due to the movement of the intermediate language instruction sequence
In the optimization attribute of the line information corresponding to the intermediate language instruction sequence of
And optimization attribute setting means for setting a variation flag, the intermediate
A language program is converted to a target program including the line information.
A compilation processing unit having translation means for translating into a system ;
A purpose program for inputting a purpose program including the line information.
A line offset correspondence table , comprising a line input in the target program , a source line number and an instruction offset from the head of the function, the line offset correspondence table being arranged for each function in the order of the instruction offset; From the number, the offset of the target code from the function start address, and the optimization attribute
A line information table composing a line information table arranged in order of source line number for each source program; and a line information table for a source program file designated when a source program display instruction is given. A source program and an execution order display means for sequentially displaying the corresponding part of the line from the top and highlighting and displaying the line where the optimization attribute is set, and the line offset when a source level step execution instruction is given. source program seeking the next address to be stopped by searching the correspondence table
And a debug processing unit having a source level step executing means for executing an object code corresponding to a one-line sentence in a program, and a current position displaying means for displaying a mark at a current stop line in a source program display. .

Further, the debugging method of the present invention can
Purpose program input method to enter the target program including
Type and stage, the line information in the object program, it from the instruction offset from the source line number and function leading
Row offset correspondence table arranged in the order of instruction offset for each function, and the source
And line information table configuration means for configuring the aligned row information table in the order of the source line number for each program, source pro
Source program for executing a source program file designated when a program display instruction is given, by sequentially referring to the corresponding part of the line information table from the top and highlighting and displaying a line for which an optimization attribute is set, and executing and order the display unit, the step execution instruction source level there
When the line offset correspondence table is searched, one line in the source program is searched for the next address to be stopped.
A source level step executing means for executing an object code corresponding to a sentence and a current position displaying means for displaying a mark at a current stop line in a source program display are provided.

On the other hand, the machine-readable recording medium of the present invention is a computer-readable recording medium that analyzes a source program.
Syntactic analysis means for converting into an interlingual form program,
Source line number of the statement for each sentence at the time of analysis of the source program by parsing means is in the function of the source <br/> scan program, offset from the function start address of object code generated for the sentence, a and line information generating means for generating a line information to the set optimization attributes, the intermediate language format flop
Perform various optimizations on the program
Optimizing means for converting to an interlanguage format program;
Before the intermediate language instruction sequence as a result of optimization processing by the optimization means
If the one-way move occurs, the moved intermediate language
Set the forward movement flag to the optimization attribute of the corresponding line information
Movement of the intermediate language instruction sequence and
Optimization of line information corresponding to other affected intermediate language instruction sequences
Set the secondary variation flag to the
If the one-way move occurs, the moved intermediate language
Set the backward movement flag in the optimization attribute of the corresponding line information
Movement of the intermediate language instruction sequence and
Optimization of line information corresponding to other affected intermediate language instruction sequences
Optimizing attribute setting means for setting a secondary variation flag in the optimizing attribute , wherein the intermediate language format program contains the line information.
And program for functioning as a compilation unit and a translation means for translating the object program, said row
Purpose program to enter a purpose program containing information
Input means inputs the line information in the object program, the source line number, the line information table configuration means for configuring offset, and the line information table of optimization attributes from the function start address of object code, source level
Current stop address when a step execution instruction is issued
Search the line information table from
Equivalent to one line sentence in source program
Executes the target code and displays it on the source program display.
Source level step execution means for displaying the location
Purpose executed by source level step execution means
Referring to the optimization information of the code from the line information table,
If the backward movement flag is set for the optimization attribute,
Program is executed ahead of the execution order of the
Display a message and if the secondary fluctuation flag is set
"The value of variables has been affected because the execution order has been changed.
Displays only by potentially have "effect of messages, forward
If the move flag is set, "Execute the delayed statement
And a program for functioning as a debug processing unit having an execution order display means for displaying a message of “ execute ” .

Further, the machine readable recording medium of the present invention is a computer readable medium for analyzing a source program.
Syntactic analysis means for converting into an interlingual form program,
Source line number of the statement for each sentence at the time of analysis of the source program by parsing means is in the function of the source <br/> scan program, offset from the function start address of object code generated for the sentence, a and line information generating means for generating a line information to the set optimization attributes, the intermediate language format flop
Perform various optimizations on the program
Optimizing means for converting to an interlanguage format program;
Before the intermediate language instruction sequence as a result of optimization processing by the optimization means
If the one-way move occurs, the moved intermediate language
Set the forward movement flag to the optimization attribute of the corresponding line information
Movement of the intermediate language instruction sequence and
Optimization of line information corresponding to other affected intermediate language instruction sequences
Set the secondary variation flag to the
If the one-way move occurs, the moved intermediate language
Set the backward movement flag in the optimization attribute of the corresponding line information
Movement of the intermediate language instruction sequence and
Optimization of line information corresponding to other affected intermediate language instruction sequences
Optimizing attribute setting means for setting a secondary variation flag in the optimizing attribute , wherein the intermediate language format program contains the line information.
Recording a program for functioning as a translation means for translating the object program.

Further, the machine-readable recording medium of the present invention is a computer-readable recording medium capable of controlling a computer to execute a target program including line information.
A purpose program input means for inputting a program,
The line information in the program is input, a line information table forming means for forming a line information table including a source line number , an offset from a function start address of a target code , and an optimization attribute, and a source-level step execution instruction. Ah
The line information table from the current stop address when
Search and find the next stop address
Executes the target code corresponding to one line statement in the
Display the current position on the source program display.
Bell step executing means and the source level step execution means.
The optimization attribute of the target code executed by the
Refer to the line information table, and set the optimization attribute
Is set, the order of execution of the source program
Message is displayed.
If the execution flag is set, the message "The execution order has been changed.
May have affected the value of variables, etc. "
Message is displayed and the forward movement flag is set.
Message "Execute the delayed statement"
Recording a program for functioning as an execution order display means for displaying.

Still further, the machine readable recording medium of the present invention provides a computer which analyzes a source program.
Parsing means for converting to an intermediate language format program
And when analyzing the source program by the syntax analysis means.
The source program source line number of the statement for each sentence within function, generates the line information which is offset, and the optimization attributes in the set of the function start address of the target code generated for the sentence Line information generating means, and the intermediate language
Performs various optimizations for word-form programs to
Optimizer to convert to efficient intermediate language format program
And the result of the optimization processing by the optimization means, the intermediate language
If the forward movement of the instruction sequence occurs, the intermediate language moved
A forward move flag is added to the optimization attribute of the line information corresponding to the word instruction sequence.
Setting and moving the intermediate language instruction sequence.
Lines corresponding to other intermediate language instruction sequences affected by the route
Set the secondary fluctuation flag in the information optimization attribute and set the intermediate language
If the backward movement of the instruction sequence occurs, the moved intermediate language
The backward movement flag is added to the optimization attribute of the line information corresponding to the word instruction sequence.
Setting and moving the intermediate language instruction sequence.
Lines corresponding to other intermediate language instruction sequences affected by the route
Optimization attribute setting means for setting a secondary variation flag in an information optimization attribute ;
For functioning as a compile processing unit having translation means for translating into a target program containing information, and a purpose of inputting the target program containing the line information
A program input means for inputting the line information in the target program, and comprising a source line number and an instruction offset from the head of the function, arranged in the order of instruction offset for each function;
Rows offset correspondence table and the source line number, the alignment of the source line number order for each source program consists offset and optimization attributes from the function start address of the object code
And line information table configuration means for configuring the line information table, optimization attributes that portion of the line information table for the given source program file are sequentially referred to from the beginning when there is a source program display instruction Source program and execution order display means for highlighting and displaying a set line, and searching the line offset correspondence table when a source level step execution instruction is issued to find an address to be stopped next. Source program
A program for functioning as a debug processing unit having a source level step executing means for executing an object code corresponding to a one-line sentence in a ram, and a current position displaying means for displaying a mark on a current stop line in a source program display. Record.

[0023] The machine-readable recording medium of the present invention is a computer-readable recording medium for storing a computer-readable program including line information.
Target program input means for inputting a target program, and the target program
The line information in the RAM is input, and an instruction offset is provided for each function, comprising a source line number and an instruction offset from the beginning of the function.
Source offset for each source program, consisting of a row offset correspondence table sorted in the order of
There is a line information table composing means for composing a line information table arranged in numerical order and a source program display instruction.
A source program and an execution order display means for displaying a line in which the optimization attribute is set by referring to the corresponding portion of the line information table sequentially from the beginning for the specified source program file when the line is set, Source level step executing means for executing the target code corresponding to one line sentence in the source program by searching the line offset correspondence table when there is a source level step execution instruction and obtaining the next stop address; A program for functioning as a debug processing unit having a current position display means for displaying a mark at a current stop line in a program display is recorded.

[0024]

Next, an embodiment of the present invention will be described in detail with reference to the drawings.

FIG. 1 is a block diagram showing a configuration of an optimized code debugging system according to the first embodiment of the present invention. Referring to FIG. 1, an optimal code debugging method according to the present embodiment includes a compiler 11 and a target program 1.
2 and the symbolic debugger 13 constitute the main part.

The compiler 11 includes a syntax analysis unit 111
, Line information generating means 112, optimizing means 113, optimizing attribute setting means 114, and translating means 115.

The symbolic debugger 13 includes a target program input unit 131 and a line information table forming unit 132
, A source level step executing unit 133 and an execution order displaying unit 134.

Among these, the means that particularly represent the features of the present invention are the line information generating means 112 and the optimization attribute setting means 11
4, a row information table composing means 132 and an execution order displaying means 134.

The syntax analysis unit 111 analyzes the source program and converts it into an intermediate language format that can be easily optimized.

When analyzing a source program, the line information generating means 112 converts, in units of a statement in a function in the source program, information indicating a line number in the source file of the statement into an intermediate language corresponding to the statement. Insert before format.

The optimizing unit 113 includes a syntactic analyzing unit 111
Various optimizations are performed on the intermediate language format of the program converted by the above, and the program is converted into a more efficient intermediate language format.

The optimizing attribute setting means 114 sets the line information generating means 112 when the optimizing means 113 changes the execution order to that of the original source program.
A flag indicating the influence of the optimization is added to the information of the line number inserted by (1).

The translation means 115 translates the intermediate language format into the target code. At this time, the instruction offset from the head of the function of the target code generated for the statement, the line number in the source file, Optimization attribute setting means 114
Also, line information in which a flag indicating the effect of the optimization added by the combination is generated. Line information is the target program 1
2 as part of

The target program input means 131 inputs the target program 12 including the line information.

For each sentence of the source program, the line information table constructing means 132 has a line indicating the correspondence between the line number, the instruction offset in the function of the target code translated from the sentence, and the optimization attribute related to the target code. Construct an information table.

The source level step execution means 133
The target program corresponding to one line statement in the source program is executed with reference to the line information table, and the current position is displayed on the source program display.

The execution order display means 134 is executed earlier than the original execution order in the source program,
Display a message about code that runs later than the original execution order or that is affected by a change in execution order.

FIG. 2 is a diagram showing a processing flow of the compiler 11 and the symbolic debugger 13 in the optimized code debugging method according to the first embodiment. The processing of the compiler 11 includes a syntax analysis processing 221, a line information generation processing 222, an optimization processing 223, and a movement determination 224.
, An optimization attribute setting process 225, and a translation process 226. The symbolic debugger 13 performs a target program input process 251 and a line information table configuration process 25.
2, a source level step execution process 253, and an execution order display process 254. In addition, in FIG.
Is a source program, 23 is an intermediate language format program,
26 indicates a line information table, and 27 indicates a display device.

FIG. 3 is an explanatory diagram exemplifying the row information table 26. In each entry, a column 31 includes a source line number, a column 32 includes an instruction offset from the head of a function, and a column 33 includes an optimization attribute. Each entry in the row information table 26 is
Sorted in ascending order by instruction offset for each function. The example row information table 26a shows the configuration in the example of the backward movement shown in FIG. 5, and the example row information table 26b shows the configuration in the example of the forward movement shown in FIG.

Referring to FIG. 4, further details of the source level step execution processing 253 and the execution order display processing 254 include a stop address acquisition step S401 and a stop address acquisition step S401.
Line information table reference step S402, backward movement flag determination step S403, and message display step S
404, a secondary variation flag determination step S405, a message display step S406, and a forward movement flag S4.
07, a message display step S408, a setting flag presence / absence determination step S409, a message clear step S410, and an execution step S41 up to the stop address.
1 and a current position display step S412.

FIG. 5 is an explanatory diagram showing an example in which backward movement is performed by optimization, and FIG. 6 is an explanatory diagram showing an example in which forward movement is performed by optimization.

Next, the operation of the optimized code debugging system according to the first embodiment configured as described above will be described.

(1) First, the operation of the compiler 11 will be described.

The compiler 11 performs a syntax analysis process 22 on the source program 21 by the syntax analysis means 111.
1 to convert to the intermediate language format program 23.

Next, the compiler 11 performs the line information generation processing 222 by the line information generation means 112, and for each statement in the function in the source program 21, for each statement, the source program 21 of the statement An intermediate language instruction indicating a line number in the middle (hereinafter referred to as a line number intermediate code) is inserted immediately above the intermediate language instruction sequence corresponding to the sentence. The line number intermediate code has an optimization attribute indicating the effect of the optimization.

Subsequently, the compiler 11 sets the optimization unit 1
13 performs an optimization process 223 on the intermediate language format program 23. In the optimization process 223, the execution flow in each function of the source program 21 is represented as a graph, and when the code is moved, it is determined whether the code is moved backward or forward.

After the optimization process 223, the compiler 11
The optimization attribute setting means 114 determines 224 whether or not the code has moved forward or backward, and if the code has occurred, the optimization attribute setting processing 22
5, the flag is set to the optimization attribute of the corresponding line number intermediate code for the moved intermediate language instruction sequence and the intermediate language instruction sequence affected by the movement due to the movement.

Here, the optimization attribute setting process 225 of the compiler 11 will be described in more detail with reference to FIGS.

The source program 5a is compiled,
Code winding optimization is performed. In the flow 5c of the target program, backward movement is performed on the code sequence S521, and in the flow 5b of the source program, the statements S512 and S514 correspond to this code sequence. In the optimization attribute setting process 255, a backward movement flag is set as an optimization attribute of the line number intermediate code corresponding to the statements S512 and S514. Next, optimization attribute setting processing 255
Then, since there is a sentence executed earlier due to backward movement, a sentence having a secondary change such as a variable value being updated prematurely, that is, from the branch S511, to both paths after the branch. A secondary variation flag is set as an optimization attribute of the line number intermediate code corresponding to the sentence up to the sentence immediately before the sentence (only branch S511 in 5b).

In the line information generated by the translation process 226, 1
The backward movement flag is set in the optimization attribute of the row information of the second and fourteenth rows, and the secondary variation flag is set in the optimization attribute of the row information of the eleventh row.

For the source program 6a,
In the flow 6b of the source program, the statement S611 before the branch S612 and the statement S614 on one path after the branch 612 are assignments to the same variable s, and the other path after the statement S611 is branched. Optimization to move to the beginning of In the target program flow 6c, the code string S62
4, a forward movement is performed, and in the flow 6b of the source program, the statement S611 corresponds to this code string. In the optimization attribute setting process 225, first, a forward movement flag is set as an attribute indicating the effect of the optimization in the line number intermediate code corresponding to the statement S611. Next, in the optimization attribute setting process 225, since there is a statement whose execution is delayed due to the forward movement, a statement having a secondary change such as the variable value is not updated, that is, a statement following the statement S611. Branch from S61
A secondary variation flag is set as the optimization attribute of the line number intermediate code corresponding to the statement up to 2, and from the branch S612 to the statement S613 immediately before the assignment statement S614 to the same variable. In the line information generated by the translation processing 226, the forward movement flag is set in the optimization attribute of the line information on the 21st line, and the secondary variation flag is set in the optimization attribute of the line information on the 22nd and 23rd lines. .

Finally, the compiler 11 includes a translating unit 11
5, a translation process 226 is performed to generate a target program 24 from the intermediate language format program 23. The line number intermediate code is converted into line information, which is a set of a line number, an instruction offset from the head of the function of the generated target code, and an optimization attribute, and is output as a part of the target program 12.

(2) Next, the symbolic debugger 13
Will be described.

The target program input means 131 inputs the target program 12 in the target program input processing 251 and, for the line information, the line information table forming means 132
Performs the row information table configuration process 252.

When the debugger gives a source level step execution instruction, the source level step execution means 1
33, a source level step execution process 253 and an execution order display process 254 by the execution order display means 134.
Is performed as shown in the flowchart of FIG.

First, source level step execution processing 25
In step 3, the line information table 26 is searched from the current stop address to find the next stop address (step S).
401). Next, in the execution order display process 254, the optimization attribute of the target code to be executed is referenced from the line information table 26 (step S402), and the flag set to call attention to the debugger by the set flag. Display a message. Although there are several possible forms of displaying the message, for example, the message is output to a message window arranged in a specific area on the display device 27, and the next step execution causes the effect of optimization on the next object code Until is displayed, the display can be continued. That is, in the execution order display process 254,
If the backward movement flag is set in the optimization attribute (step S403), “from the execution order of the source program,
Message is displayed (step S404). If the secondary variation flag has been set (step S405), a message is displayed indicating that "the execution order has been changed and the value of the variable may be affected" (step S406). Further, if the forward movement flag is set (step S4)
07), a message “execute the delayed sentence” is displayed (step S408). If none of the flags is set (step S409), the message regarding the execution order that has been displayed until then is cleared (step S410).

Thereafter, source level step execution processing 2
In 53, the target code is executed up to the address obtained in step S401 (step S411), and the current stop line is displayed using appropriate highlighting or the like in the source program display (step S412).

FIG. 7 is an explanatory diagram of a message display example regarding a change in the execution order in the optimized code debugging method according to the first embodiment. 7a to 7d show the display of the symbolic debugger 13 which is sequentially updated as step execution is repeatedly instructed. The current position on the source program is visually displayed by a mark 71, and a message 72 regarding a change in the execution order is displayed.
In the displays 7a and 7c, there is no effect due to the change in the execution order, and no message is displayed.

Next, a second embodiment of the present invention will be described with reference to FIG.

FIG. 8 is a diagram showing a processing flow of the symbolic debugger 91 in the optimized code debugging method according to the second embodiment of the present invention. The flow of the processing of the compiler in the optimized code debugging method according to the second embodiment is the same as the flow of the processing of the compiler 11 in the optimized code debugging method according to the second embodiment. Omit. The symbolic debugger 91 performs a target program input process 911
A line information table configuration process 912, a source level step execution process 913, a current position display process 914,
It comprises a source program and execution order display processing 915. In FIG. 8, reference numeral 92 denotes a row offset correspondence table,
Reference numeral 93 indicates a row information table.

In the target program input process 911, the target program 12 is input, and the row information table forming process 912 forms the row offset correspondence table 92 and the row information table 93 for the row information. Row offset correspondence table 9
Each entry of No. 2 includes a source line number and an instruction offset from the head of the function, and is sorted in ascending order by the instruction offset for each function. Each entry of the line information table 93 includes a source line number, an instruction offset from the head of the function, and an optimization attribute. Unlike the line information table 26 in the first embodiment, the source line number is different for each source program file. To sort in ascending order.

When the debugger gives a source program display instruction, in the source program and execution order display processing 915, the specified portion of the line information table 93 is sequentially referred to from the top of the specified source program file, and the optimization attribute Are displayed with emphasis such as inversion and underlining, and lines without the optimization attribute are displayed as they are.

FIG. 9 shows a display example 101 of a source program by the optimized code debugging method according to the second embodiment.
FIG. When the debugger gives a source level step execution instruction, the source level step execution processing 913 searches the row offset correspondence table 92 to find an address to be stopped next, and executes the target code. Thereafter, in the current position display processing 914, the current stop line is displayed as the mark 102 in the source program display.

In the optimized code debugging method according to the second embodiment, when the symbolic debugger 91 displays a source program, even if the step execution has not yet started at the beginning of debugging, the source program is always displayed. For each row, the effect of the optimization can also be displayed using highlighting. In this way, when viewing the source program display, the debugger can know the position where the variable reliably holds the expected value regardless of the effect of the optimization.

Next, an optimized code debugging method according to a third embodiment of the present invention will be described with reference to FIG.

Referring to FIG. 10, the optimized code debugging method according to the third embodiment of the present invention
1, data processing device 82, intermediate language format program 831, target program 832, and line information table 8
It comprises a storage device 83 for storing 33, an output device 84, and a recording medium 85. The recording medium 85 records a compile processing program corresponding to the compiler 11 and a debug processing program corresponding to the symbolic debugger 13. This recording medium 85 may be a magnetic disk, a semiconductor memory, or another recording medium.

The compile processing program and the debug processing program are transferred from the recording medium 85 to the data processing device 82.
, And controls the operation of the data processing device 82 as the compiler 11 and the symbolic debugger 13.
The data processing device 82 executes the following processing under the control of the compile processing program and the debug processing program.

When a source program is given from the input device 81, the source program is first converted into an intermediate language format program 831 and line information is generated for each sentence of the source program. Intermediate language format program 8
When the code is moved by optimizing 31, a flag indicating the movement of the code or a change in the execution order is set in the line information. After the optimization, the intermediate language format program 831 is translated and stored in the target program 832 in the storage device 83 together with the line information.

Next, a line information table 833 is constructed from the line information stored in the target program 832. When the execution of the target program 832 is instructed from the input device 81, the current position of the source program text on a line basis is displayed on the output device 84 when the target program 832 is executed. At the same time, a message indicating the effect of the optimization on the target program is displayed on the output device 84.

[0070]

The first effect is that the code is moved by the optimization of the compiler, and the source program can be debugged for the target program whose execution order has been changed, and the number of steps required for debugging can be reduced. Is Rukoto.
The reason is that when the compiler makes optimizations that affect the state of the program, such as the value of a variable at a particular point in the program, the symbolic debugger will send a message to alert the debugger. Is displayed.

[Brief description of the drawings]

FIG. 1 is a block diagram showing a configuration of an optimized code debugging system according to a first embodiment of the present invention.

FIG. 2 is a diagram showing a flow of processing in an optimized code debugging method according to the first embodiment.

FIG. 3 is an explanatory diagram showing an example of a row information table in an optimized code debugging method according to the first embodiment.

FIG. 4 is a flowchart showing a processing procedure in a symbolic debugger in the optimized code debugging method according to the first embodiment.

FIG. 5 is an explanatory diagram showing an example of backward movement by optimization of a compiler in FIG. 1;

FIG. 6 is an explanatory diagram showing an example of forward movement by optimization of a compiler in FIG. 1;

FIG. 7 is an explanatory diagram showing a display example regarding a change in the execution order by the optimized code debugging method according to the first embodiment.

FIG. 8 is a diagram showing a flow of processing of a symbolic debugger in an optimized code debugging method according to a second embodiment of the present invention.

FIG. 9 is an explanatory diagram of an example of a source program displayed by the optimized code debugging method according to the second embodiment.

FIG. 10 is a block diagram showing an optimized code debugging method according to a third embodiment of the present invention.

[Explanation of symbols]

5a Example of source program to be optimized for backward movement of compiler 5b Flow of execution of example of source program 5c Flow of execution of example of target program 6a Example of source program to be optimized for forward movement of compiler 6b Execution of example of source program 6c Flow of execution of example target program 11 Compiler (compile processing unit) 12 Target program 13 Symbolic debugger (debug processing unit) 21 Source program 23 Intermediate language format program 26 Line information table 26a For target program that has been moved backward Example of line information table 26b Example of line information table for the target program moved forward 27 display device 81 input device 82 data processing device 83 storage device 84 output device 85 recording medium 91 symbolic debugger 9 Line offset correspondence table 93 Line information table 101 Source program display example 102 Mark 111 Syntax analysis means 112 Line information generation means 113 Optimization means 114 Optimization attribute setting means 115 Translation means 131 Object program input means 132 Line information table construction means 133 Source Level step execution means 134 execution order display means 221 syntax analysis processing 222 line information generation processing 223 optimization processing 224 movement determination 225 optimization attribute setting processing 226 translation processing 251 target program input processing 252 line information table configuration processing 253 source level step execution Process 254 Execution order display process 831 Intermediate language format program 832 Object program 833 Line information table 911 Object program input process 912 Line information table configuration process 913 Scan level step execution process 914 current position display processing 915 source program and execution sequence display processing

──────────────────────────────────────────────────続 き Continued on the front page (58) Field surveyed (Int.Cl. ⁷ , DB name) G06F 11/28-11/36 G06F 9/06 G06F 9/45

Claims (10)

(57) [Claims] An intermediate language format by analyzing a source program.
Parsing means for converting into a program;
Source line number of the statement for each sentence at the time of analysis of the source program by stages lies in the function of the source program, the offset from the top of the function address of the target code generated for the sentence, and the optimization attributes in the set Line information generating means for generating line information ,
Performs various optimizations for the intermediate language format that is more efficient
Optimizing means for converting to a program, and
As a result, the intermediate language instruction sequence moves forward.
In this case, the line corresponding to the moved intermediate language instruction sequence
Set the forward movement flag in the information optimization attribute and
The destination path is affected by the movement of the intermediate language instruction sequence
The sub attribute is added to the optimization attribute of the line information corresponding to the other intermediate language instruction sequence.
Sets the next fluctuation flag, causing backward movement of the intermediate language instruction sequence.
In this case, the line corresponding to the moved intermediate language instruction sequence
Set the backward movement flag in the information optimization attribute and
The destination path is affected by the movement of the intermediate language instruction sequence
The sub attribute is added to the optimization attribute of the line information corresponding to another intermediate language instruction sequence.
And optimization attribute setting means for setting a next change flag, the in
A target program containing the line information
A compilation processing unit having translation means for translating into a program, and a target program for inputting a target program including the line information.
A line information table structuring means for inputting the line information in the target program and forming a line information table including a source line number , an offset of a target code from a function head address , and an optimization attribute; Source
The current stop address will be
Search the line information table from the dress and then stop
A single line sentence in the source program
Execute the corresponding target code and display the source program.
Source level step execution means for displaying the current position on the screen
Executed by the source level step executing means.
The optimization attribute of the target code to be
If the backward movement flag is set in the optimization attribute
"Execute ahead of source program execution order"
Is displayed and the secondary fluctuation flag is set.
If it says, “The execution order has been changed,
May be affected. "
And, it has been "delayed if it is set forward movement flag
And a debug processing unit having an execution order display means for displaying a message of "execute the executed statement" . 2. An intermediate language format by analyzing a source program.
Parsing means for converting into a program;
Source line number of the statement for each sentence at the time of analysis of the source program by stages lies in the function of the source program, the offset from the top of the function address of the target code generated for the sentence, and the optimization attributes in the set Line information generating means for generating line information ,
Performs various optimizations for the intermediate language format that is more efficient
Optimizing means for converting to a program, and
As a result, the intermediate language instruction sequence moves forward.
In this case, the line corresponding to the moved intermediate language instruction sequence
Set the forward movement flag in the information optimization attribute and
The destination path is affected by the movement of the intermediate language instruction sequence
The sub attribute is added to the optimization attribute of the line information corresponding to the other intermediate language instruction sequence.
Sets the next fluctuation flag, causing backward movement of the intermediate language instruction sequence.
In this case, the line corresponding to the moved intermediate language instruction sequence
Set the backward movement flag in the information optimization attribute and
The destination path is affected by the movement of the intermediate language instruction sequence
The sub attribute is added to the optimization attribute of the line information corresponding to the other intermediate language instruction sequence.
And optimization attribute setting means for setting a next change flag, the in
A target program containing the line information
And a translation means for translating into a ram . 3. Inputting a target program including line information
Objective program input means, and before the objective program
Enter the serial line information, the source line number, the line information table configuration means for configuring the line information table of offsets, and optimization attributes from the function start address of object code, when a step execution instruction source level Present
Search the line information table from the current stop address and
In the source program to find the address to stop
Executes the target code equivalent to one line sentence
Source level step to display the current position on the
Step execution means and the source level step execution means.
The optimization attribute of the target code to be executed
Table, and the backward movement flag is set in the optimization attribute.
If it says, "Before the execution order of the source program
Displays a message of execution to "effect, a secondary change flag
If it is set, the message "The execution order has been changed
The value may have been affected. "
Message is displayed, and if the forward movement flag is set,
And an execution order display means for displaying a message indicating "execute the sentence" . 4. An intermediate language format by analyzing a source program.
Parsing means for converting into a program;
Source line number of the statement for each sentence at the time of analysis of the source program by stages lies in the function of the source program, the offset from the top of the function address of the target code generated for the sentence, and the optimization attributes in the set Line information generating means for generating line information ,
Performs various optimizations for the intermediate language format that is more efficient
Optimizing means for converting to a program, and
As a result, the intermediate language instruction sequence moves forward.
In this case, the line corresponding to the moved intermediate language instruction sequence
Set the forward movement flag in the information optimization attribute and
The destination path is affected by the movement of the intermediate language instruction sequence
The sub attribute is added to the optimization attribute of the line information corresponding to the other intermediate language instruction sequence.
Sets the next fluctuation flag, causing backward movement of the intermediate language instruction sequence.
In this case, the line corresponding to the moved intermediate language instruction sequence
Set the backward movement flag in the information optimization attribute and
The destination path is affected by the movement of the intermediate language instruction sequence
The sub attribute is added to the optimization attribute of the line information corresponding to another intermediate language instruction sequence.
And optimization attribute setting means for setting a next change flag, the in
A target program containing the line information
A compilation processing unit having translation means for translating into a program, and a target program for inputting a target program including the line information.
A line offset correspondence table , comprising a line input in the target program , a source line number and an instruction offset from the head of the function, the line offset correspondence table being arranged for each function in the order of the instruction offset; From the number, the offset of the target code from the function start address, and the optimization attribute
A line information table composing a line information table arranged in order of source line number for each source program; and a line information table for a source program file designated when a source program display instruction is given. A source program and an execution order display means for sequentially displaying the corresponding part of the line from the top and highlighting and displaying the line where the optimization attribute is set, and the line offset when a source level step execution instruction is given. source program seeking the next address to be stopped by searching the correspondence table
And a debug processing unit having a source level step executing means for executing an object code corresponding to a one-line sentence in a program, and a current position displaying means for displaying a mark at a current stop line in a source program display. Optimized code debugging method. 5. Inputting a target program including line information
Objective program input means, and before the objective program
Enter the serial line information, for each function consists of instruction offset from the source line number and function top integer in the order of instruction offset
A row offset correspondence table is column, the source line number, integer source line number order for each becomes the source program from the offset and optimization attributes from the function start address of the object code
And line information table configuration means for configuring the column row information table, sequentially referring to that portion of the line information table for the finger <br/> constant is a source program file when there is a source program display instruction from the head A source program and an execution order display means for highlighting and displaying the line on which the optimization attribute is set, and searching the line offset correspondence table when there is a source level step execution instruction. Source program to find the address to stop
A debugging method comprising: source level step executing means for executing an object code corresponding to one line sentence in a program; and current position displaying means for displaying a mark on a current stop line in a source program display. 6. The computer analyzes a source program.
Parsing means for converting to an intermediate language format program
And when analyzing the source program by the syntax analysis means.
The source program source line number of the statement for each sentence within function, generates the line information which is offset, and the optimization attributes in the set of the function start address of the target code generated for the sentence Line information generating means, and the intermediate language
Performs various optimizations for word-form programs to
Optimizer to convert to efficient intermediate language format program
And the result of the optimization processing by the optimization means, the intermediate language
If the forward movement of the instruction sequence occurs, the intermediate language moved
A forward move flag is added to the optimization attribute of the line information corresponding to the word instruction sequence.
Setting and moving the intermediate language instruction sequence.
Lines corresponding to other intermediate language instruction sequences affected by the route
Set the secondary fluctuations flag to optimize the attributes of information, the intermediate language
If the backward movement of the instruction sequence occurs, the moved intermediate language
The backward movement flag is added to the optimization attribute of the line information corresponding to the word instruction sequence.
Setting and moving the intermediate language instruction sequence.
Lines corresponding to other intermediate language instruction sequences affected by the route
Optimization attribute setting means for setting a secondary variation flag in an information optimization attribute ;
For functioning as a compile processing unit having translation means for translating into a target program containing information, and a purpose of inputting the target program containing the line information
Program input means , and line information table forming means for inputting the line information in the target program and forming a line information table comprising a source line number , an offset of a target code from a function head address , and an optimization attribute; Seo
Current stop when a source level step execution instruction is
Search the line information table from the stop address and then stop
One line in the source program to find the address to be
Execute the target code corresponding to the statement, and
Source-level stepping to show current position on display
Means and the source level step executing means
The optimization attribute of the target code to be
And the backward movement flag is set in the optimization attribute.
In other words, "Execute the source program earlier than the execution order.
Is displayed, and the secondary fluctuation flag is set.
If it is, `` The value of a variable etc.
May have been affected. "
If the forward move flag is set,
And a program for causing the program to function as a debug processing unit having an execution order display means for displaying a message of “execute a sentence” . 7. A computer analyzes a source program.
Parsing means for converting to an intermediate language format program
And when analyzing the source program by the syntax analysis means.
The source program source line number of the statement for each sentence within function, generates the line information which is offset, and the optimization attributes in the set of the function start address of the target code generated for the sentence Line information generating means, and the intermediate language
Performs various optimizations for word-form programs to
Optimizer to convert to efficient intermediate language format program
And the result of the optimization processing by the optimization means, the intermediate language
If the forward movement of the instruction sequence occurs, the intermediate language moved
A forward move flag is added to the optimization attribute of the line information corresponding to the word instruction sequence.
Setting and moving the intermediate language instruction sequence.
Lines corresponding to other intermediate language instruction sequences affected by the route
Set the secondary fluctuation flag in the information optimization attribute and set the intermediate language
If the backward movement of the instruction sequence occurs, the moved intermediate language
The backward movement flag is added to the optimization attribute of the line information corresponding to the word instruction sequence.
Setting and moving the intermediate language instruction sequence.
Lines corresponding to other intermediate language instruction sequences affected by the route
Optimization attribute setting means for setting a secondary variation flag in an information optimization attribute ;
Recorded machine-readable recording medium a program for functioning as a translation means for translating the containing broadcast object program. 8. The computer according to claim 1 , wherein said computer includes a target program including line information.
Program input means for inputting a program
A line information table structuring means for inputting the line information in the program, constructing a line information table comprising a source line number , an offset of a target code from a function start address , and an optimization attribute ; Step execution instruction
When there is a line information table from the current stop address
Search the source file for the next address to stop.
Execute the target code corresponding to one line statement in the program
To display the current position on the source program display.
Source level step executing means;
Attribute of the target code executed by the backup execution means
Is referenced from the row information table and moved backward to the optimization attribute.
If the run flag is set,
Run ahead of schedule "
If the secondary fluctuation flag is set, the
May have affected the value of variables.
Message is displayed and the forward movement flag is set.
If it is, a message stating "execute the delayed statement"
A machine-readable recording medium on which a program for functioning as an execution order display means for displaying a page is recorded. 9. A computer for analyzing a source program
Parsing means for converting to an intermediate language format program
And when analyzing the source program by the syntax analysis means.
The source program source line number of the statement for each sentence within function, generates the line information which is offset, and the optimization attributes in the set of the function start address of the target code generated for the sentence Line information generating means, and the intermediate language
It performs various optimization of for the word format program, more efficiency
Optimizer to convert to efficient intermediate language format program
And the result of the optimization processing by the optimization means, the intermediate language
If the forward movement of the instruction sequence occurs, the intermediate language moved
A forward move flag is added to the optimization attribute of the line information corresponding to the word instruction sequence.
Setting and moving the intermediate language instruction sequence.
Lines corresponding to other intermediate language instruction sequences affected by the route
Set the secondary fluctuation flag in the information optimization attribute and set the intermediate language
If the backward movement of the instruction sequence occurs, the moved intermediate language
The backward movement flag is added to the optimization attribute of the line information corresponding to the word instruction sequence.
Setting and moving the intermediate language instruction sequence.
Lines corresponding to other intermediate language instruction sequences affected by the route
Optimization attribute setting means for setting a secondary variation flag in an information optimization attribute ;
For functioning as a compile processing unit having translation means for translating into a target program containing information, and a purpose of inputting the target program containing the line information
A program input means for inputting the line information in the target program, and comprising a source line number and an instruction offset from the head of the function, arranged in the order of instruction offset for each function;
Rows offset correspondence table and the source line number, the alignment of the source line number order for each source program consists offset and optimization attributes from the function start address of the object code
And line information table configuration means for configuring the line information table, optimization attributes that portion of the line information table for the given source program file are sequentially referred to from the beginning when there is a source program display instruction Source program and execution order display means for highlighting and displaying a set line, and searching the line offset correspondence table when a source level step execution instruction is issued to find an address to be stopped next. Source program
A program for functioning as a debug processing unit having source level step executing means for executing an object code corresponding to a one-line sentence in a ram, and current position display means for displaying a mark at a current stop line in a source program display. A recorded machine-readable recording medium. 10. A computer, comprising: an object program including line information;
Program input means for inputting a program,
The line information in the dynamic program is input, and a command is issued for each function, comprising the source line number and the instruction offset from the beginning of the function
A row offset correspondence table aligned in order decree offset, source line number for each becomes the source program from the offset and optimization attributes from the function start address of the object code
And line information table configuration means for configuring a line information table which is aligned in the order of the source line number, a source program display finger
A source program and an execution order display for highlighting and displaying a line for which an optimization attribute has been set by sequentially referring to a corresponding part of the line information table from the top of the specified source program file when indicated. Means for searching a line offset correspondence table when a source level step execution instruction is issued, finding an address to be stopped next, and corresponding to one line sentence in a source program. A machine-readable recording medium recording a program for functioning as a debug processing unit having a source level step execution unit for executing code and a current position display unit for displaying a mark at a current stop line in a source program display.