JP3139393B2 - Debug device - Google Patents

Description

DETAILED DESCRIPTION OF THE INVENTION

[0001]

[0001] 1. Field of the Invention [0002] The present invention relates to a debugging device capable of debugging, at a source program level, an object program in which instructions are rearranged by a compiler optimizing process.

[0002]

2. Description of the Related Art In order to improve the execution performance of a program,
Conventionally, optimization processing such as instruction rearrangement at the time of compilation has been performed, and debugging of an object program whose instructions have been rearranged by optimization processing at the source program level has also been conventionally performed. Has been done since.

For example, in Japanese Unexamined Patent Publication No. Hei 5-233365, at the time of compiling, a start position instruction and an end position instruction including a line number are created for each line of a source program, and the created start position instruction and end position instruction are stored in an object program. Is embedded before and after the corresponding instruction.

In Japanese Unexamined Patent Publication No. Hei 6-274369, when a line of a source program and an instruction sequence of an object program do not correspond one-to-one, the compiler associates each line number of the source program with the line number and derives from the line. A table is created in which the addresses of the first instruction and the last instruction of the object program instructions are registered.

[0005]

As described in the prior art, for each line in the source program at the time of compiling, a start position instruction and an end position instruction including the line number are embedded in the object program. By generating a table in which the source instruction address and the tail instruction address are registered in association with each other, a line of the source program can be associated with an instruction sequence of the object program. By specifying the line number, debugging at the source program level, such as setting a break point at a portion corresponding to the line number on the object program, becomes possible.

However, in the above-described conventional technique, when debugging, when the user stops the execution of the object program at the interruption point designated at the source program level, and displays the value of the variable at that time, Even if the displayed value differs from the value expected by the user (the value when the instructions are not rearranged), it is determined whether or not the result is due to a program error. There was a problem that was difficult. In other words, a statement that is located after the break point in the source program, but the corresponding instruction is positioned before the break point in the object program due to the instruction rearrangement by the compiler, or the source program If there is a statement that is located before the break point in the above, but the corresponding instruction is located after the break point in the object program due to the instruction reordering by the compiler, the program is correct. Even if the displayed value is different from the expected value, the value of the variable at the break point may be different from the expected value. Cannot be determined to have a mistake.

Therefore, an object of the present invention is to interrupt execution of an object program in which instructions are rearranged at an interruption point designated by a user at a source program level, and to change a value of a variable at that time. Even if it is displayed,
An object of the present invention is to provide a debugging device capable of displaying the same result as when an object program in which instructions are not rearranged is executed.

[0008]

In order to achieve the above object, the present invention provides a debugging apparatus for debugging an object program generated by compiling a source program with a compiler, wherein the compiler comprises:
The names of the variables present in the source program and the source
The line number of each line existing in the source program
The statement number of the existing statement and the object corresponding to each statement
Debug including the address of the instruction on the project program
A break point having a configuration for generating information and setting a break point in a portion corresponding to the line number on the object program when a break point setting command including a line number of the source program is input; Setting processing means, when the interruption point setting command is input, the instruction is located after the interruption point on the source program, but the instruction corresponding to the interruption is rearranged by the compiler on the object program by the instruction rearrangement. The preceding executable statement which is located before the point and defines the value of the variable is determined based on the debug information.
Before saving the preprocessing setting processing means for locating in Zui, variables values by the prior execution statement finds the pretreatment setting processing means are defined, the value immediately before the instruction is executed corresponding to the preceding execution statement Processing means and the processing of the pre-processing means
After completion, the instruction is located before the interruption point in the source program, but the instruction corresponding to the instruction is located after the interruption point in the object program due to the instruction rearrangement by the compiler. A post-processing setting processing means for searching all the non-executable statements which are the non-executable statements and defining the values of the variables based on the debug information; and When the instruction corresponding to the last unexecuted statement among the searched unexecuted statements is executed, the value of a variable whose value defines the value of the unexecuted statement found by the post-processing setting processing unit is defined. When a display command including a variable name is input, the value of the variable having the variable name is changed by the pre-processing means or the post-processing means. If stored, when the pre-processing means or display the value of a variable of the variable names that are stored by the post-processing means, not stored,
Information display processing means for displaying a current value of the variable having the variable name.

In the configuration described above, the compiler:
The names of the variables that exist in the source program
The line number of each line in the program and the statement
The statement number and the object program corresponding to each statement
Generate debug information including the address of the instruction. Ma
When the user inputs a break point setting command including the line number of the source program, the break point setting processing means sets a break point at a portion corresponding to the line number on the object program.

The preprocessing setting processing means is located after the interruption point on the source program, but the corresponding instruction is located before the interruption point on the object program due to the instruction rearrangement by the compiler. The pre-execution statement that has become the pre-execution statement that defines the value of the variable is searched for based on the debug information, and the pre-processing means defines the value by the pre-execution statement found by the pre-processing setting processing means. The value of the variable to be executed immediately before the instruction corresponding to the preceding execution statement is executed is stored.

The post-processing setting processing means is located before the interruption point on the source program, but the corresponding instruction is located after the interruption point on the object program due to the instruction rearrangement by the compiler. Based on the debug information, all the unexecuted statements which have been decided and define the value of the variable are searched out, and the post-processing means searches the object program from the interruption point by the post-processing setting processing means. When executing up to the instruction corresponding to the last unexecuted statement among the executed unexecuted statements,
The unexecuted statement found by the post-processing setting processing means stores all the values of the variables whose values are defined.

After executing the object program up to the interruption point designated by the user, when a display command including a variable name is input, the information display processing means performs processing of the variable of the variable name included in the display command. When the value is stored by the pre-processing means or the post-processing means, the value stored by the pre-processing means or the post-processing means is displayed. When the value is not stored, the current value of the variable is displayed.

Further, the present invention is to speed up the processing speed at the time of debugging, in the debugging apparatus for debugging an object program generated by compiling the source program by the compiler, the compiler
Is the name of a variable that exists in the source program,
The line number of each line present in the source program,
The statement number of the statement existing in each line and the statement corresponding to each statement
Data including the address of the instruction on the object program
An interrupt that has a configuration for generating bag information and sets an interrupt point in a portion corresponding to the line number on the object program when an interrupt point setting command including a line number of the source program is input Point setting processing means, when the interruption point setting command is input, the source program is located after the interruption point on the source program, but the instruction corresponding to the instruction is rearranged by the compiler on the object program. The preceding execution statement which is located before the break point and defines the value of the variable is referred to as the debugging information.
The pre-processing setting processing means for searching based on the information, and the value immediately before the instruction corresponding to the preceding execution statement of the variable whose value is defined by the preceding execution statement searched by the pre-processing setting processing means is stored. Preprocessing means, and
Contains the variable name of the variable whose value is to be displayed after processing is completed.
When a display command is input, the instruction is positioned before the break point on the source program, but the corresponding instruction is rearranged after the break point on the object program by rearranging the instructions by the compiler. An unexecuted statement that is located and that defines a value of a variable is defined based on the debug information.
To find the unexecuted statement that defines the value of the variable.
If not, the information display processing means is displayed.
If you can find the information
Variable whose value is defined by the unexecuted statement
The variable that the command indicates to display the value
Instructed to check if it is a number and display it
If not a variable, display to the information display processing means
Carried out the instructions, there is a variable that has been instructed to be displayed
In this case, an operation instruction is given to the post-processing means, and the
After the processing of the post-processing means is completed, the information display processing means
And post-processing setting processing means for displaying instructions to, rear punished
When operation instruction by physical setting processing means is performed, when executing the pre Symbol object program to instruction corresponding to unexecuted statements of said break point or et top post was located by the post-processing setting processing means and a post-processing means for storing the values of variables defined values by unexecuted statements, the after treatment
When a display instruction is given by the setting processing means, the display
When the value of the variable of the variable name included in the command is stored by the pre-processing means or the post-processing means, the value of the variable of the variable name stored by the pre-processing means or the post-processing means is stored. Show the value and save it
If not, an information display processing means for displaying the current value of the variable having the variable name is provided.

In the configuration described above, the compiler
The names of the variables that exist in the source program
The line number of each line in the program and the statement
The statement number and the object program corresponding to each statement
Generate debug information including the address of the instruction. Ma
When the user inputs a break point setting command including the line number of the source program, the break point setting processing means sets a break point at a portion corresponding to the line number on the object program.

The pre-processing setting processing means is located after the interruption point on the source program, but the corresponding instruction is located before the interruption point on the object program by rearranging the instructions by the compiler. Search for all preceding executable statements based on the debug information, and
The preprocessing means stores a value of a variable whose value is defined by the preceding execution statement found by the preprocessing setting processing means, immediately before the instruction corresponding to the preceding execution statement is executed.

[0016] The post-processing setting processing means is provided for processing the pre-processing means.
Table containing the names of the variables whose values are to be displayed after
When a show command is input, the instruction is located before the break point in the source program, but the corresponding instruction is located after the break point in the object program due to the instruction reordering by the compiler. An unexecuted statement that is an unexecuted statement and defines the value of a variable is searched based on the debug information, and the value of the variable is defined.
If an unexecutable statement cannot be found,
Instruct the display processing means to display and find
If successful, the value is defined by the found unexecuted statement.
That the displayed variable displays its value with a display command
Check whether is the designated variable and display it.
Is not the specified variable, the information display processing procedure
The display instruction is given to the column, and the display is instructed.
If the variable is
Information display after completion of post-processing means
A display instruction is issued to the processing means. The post-processing means includes a post-processing
When an operation instruction is given by the processing setting processing means, the value is determined by the unexecuted statement found by the post-processing setting processing means when the object program is executed from the interruption point to the instruction corresponding to the last unexecuted statement. Save the value of a defined variable . The information display processing means performs post-processing setting processing.
When the display instruction is given by the means, if the value of the variable of the variable name included in the display command is stored by the preprocessing means or the postprocessing means, the value is stored by the preprocessing means or the postprocessing means. Displays the value of the variable with the above variable name.

[0017]

Embodiments of the present invention will now be described in detail with reference to the drawings.

FIG. 1 is a block diagram of an embodiment of the present invention. A compiler 10 which inputs a source program 100 and outputs an object program 200 and debug information 300, and a debugger for the object program 200 generated by the compiler 10. A debugging device 20, an input device 30 for inputting a debugging command to the debugging device 20, and a display device 31 for displaying a debugging result. Note that the compiler 10 has a function of performing optimization processing such as instruction rearrangement.

Debug information 3 output by the compiler 10
00 includes variable / constant information 310 and line number / instruction correspondence information 320.

The variable / constant information 310 includes, as shown in FIG. 2, the names 311 of variables and constants existing in the object program 200 and the type / attribute information 3 indicating their types and attributes.
12.

As shown in FIG. 2, the line number / instruction correspondence information 320 includes a line number 321 of each line of the source program 100, a statement number 322 of a statement existing in the line, and a variable number existing in the statement. , Definition information 323 indicating variable / constant information managing constants, instruction sequence information 324 including the addresses of the first instruction and the last instruction on the object program 200 corresponding to the statement, and Next sentence information 325 indicating sentence information on the second sentence when a plurality of sentences exist.

The debugging device 20 includes a break point setting processing means 21, a pre-processing setting processing means 21a, a break point processing means 22, a post-processing setting processing means 22a, an information display processing means 23, a break point release processing Means 24 and preprocessing means 25
, A post-processing means 26, and an information storage area 27.

The break point setting processing means 21 receives the break point setting command including the line number of the source program from the input device 3.
When input from 0, the instruction corresponding to the line number in the object program 200 is replaced with the instruction at the beginning of the line corresponding to the line number, thereby interrupting the part corresponding to the line number in the object program 200. It has a function to set points, a function to save instructions before replacement, and the like. In this embodiment, among the instructions corresponding to the line numbers included in the interruption point setting command, the position where the first instruction exists is set as the interruption point. The position where the first instruction exists among the instructions satisfying the above (for example, the instruction in which the definition of the value of the variable occurs) may be set as the interruption point. In this case, the last instruction or the first instruction among the instructions satisfying the specific condition may be replaced with the interruption point processing call instruction.

The preprocessing setting processing means 21a is located after the interruption point set by the interruption point setting processing means 21 on the source program 100, but is interrupted on the object program 200 by rearranging instructions by the compiler 10. It has a function of searching for a preceding execution statement that is located before the point and that defines the value of the variable.

The pre-processing means 25 is a variable which is called from the debugging device 20 when the debugging device 20 executes the pre-processing call instruction and whose value is defined by a preceding execution statement including the instruction replaced with the pre-processing call instruction. Has the function of storing the value of

The break point processing means 22 is
Has a function of receiving control from the debugging device 20 when the object program 200 is executed up to the interruption point, and activating the post-processing setting processing means 22a.

The post-processing setting processing means 22a is located before the interruption point on the source program 100, but the corresponding instruction on the object program 200 is rearranged after the interruption point by the instruction rearrangement by the compiler 10. A function to find all the unexecuted statements that are located and that define the value of a variable,
The function of saving the last instruction among the instructions on the object program 200 corresponding to the last unexecuted statement found (the largest unexecuted statement), and the function of replacing the last instruction with a post-processing call instruction Etc.

The post-processing means 26 is called from the debug device 20 when the debug device 20 executes a post-processing call instruction, and updates the current value of a variable whose value is defined by the instruction corresponding to the unexecuted statement. It has a function of saving and a function of returning the state of the debug device 20 to the state at the time of execution of the interruption point.

When a display command including a variable name is input, if the value of the variable having the variable name is stored by the pre-processing unit 25 or the post-processing unit 26, the information display processing unit 23 performs pre-processing. It has a function of displaying the value stored by the means 25 or the post-processing means 26 and, if not stored, displaying the value of the variable at the time of execution of the interruption point.

The interruption point release processing means 24 has a function of releasing the interruption point set by the interruption point setting processing means 21.

FIG. 3 is a flowchart showing a processing example of the interruption point setting processing means 21, FIG. 4 is a flowchart showing a processing example of the preprocessing setting processing means 21a, and FIG. 5 is a flow chart showing a processing example of the preprocessing means 25. 6 is a flowchart showing a processing example of the interruption point processing means 22, FIG. 7 is a flowchart showing a processing example of the post-processing setting processing means 22a, FIG. 8 is a flowchart showing a processing example of the post-processing means 26, and FIG. 5 is a flowchart showing a processing example of the means 23, and the operation of this embodiment will be described below with reference to the drawings.

When the source program 100 is input, the compiler 10 having a function of performing optimization processing such as instruction rearrangement outputs an object program 200 having undergone optimization processing such as instruction rearrangement. The debug information 300 including the variable / constant information 310 required at the time of debugging and the line number / instruction correspondence information 320 indicating the correspondence between the line number and statement number of the source program 100 and the instruction sequence in the object program 200 Output.

Now, for example, assume that the source program 100 shown in FIG. The source program 100 stores the variable d in the line with the line number “15”.
To the variable b (sentence number "13") on the line with the line number "16" including the assignment statement (sentence number "11") to the array a and the array assignment statement (sentence number "12") to the array a. Statement and line number "1"
The line “7” includes an assignment statement (sentence number “14”) to the variable c.

When such a source program 100 is input, the compiler 10 outputs an object program 200 as shown in FIG. 11 and also outputs debug information 300 as shown in FIG.

Object program 2 shown in FIG.
At 00, instructions are rearranged by the compiler 10. In this example, the instruction “move b <−10” corresponding to the statement with the statement number “13” is the statement number “11”,
Instruction “load x <−c, a” corresponding to the statement “12”
dd x <−x + 1, store d <−x ”,“ v.
It is sorted before "store a (10) <-x".

The variable / constant information 310 and the line number / instruction correspondence information 32 in the debug information 300 shown in FIG.
Based on 0, the following can be recognized.

Line number 3 in line number / instruction correspondence information 320
21, statement number 322, statement number “11”, “12” existing in the row of row number “15” based on instruction sequence information 324
The instructions on the object program 200 corresponding to the statements of the addresses "00144 to 0014c" and "0015
0, and the instruction in the object program 200 corresponding to the statement with the statement number “13” is at the address “0014”.
0, and the instruction on the object program 200 corresponding to the statement with the statement number “14” is at the address “0015”.
4 "can be recognized. That is, the sentence number “1”
The instruction corresponding to the statement of “1” is “load x <−c”,
"Add x <-x + 1", "store d <-x"
And the instruction corresponding to the sentence with the sentence number “12” is “v.
The instruction corresponding to the statement with the statement number “13” is “move b <−10”, and the instruction corresponding to the statement with the statement number “14” is “store c <−”.
x ".

Further, based on the definition information 323 and the variable / constant information 310 in the line number / instruction correspondence information 320, a variable d is defined in the statement with the line number "11", and the statement number "1".
In the statement of "2", a variable a having a size of 10 is defined in the array, in the statement of statement number "13", a variable b is defined, and in the statement of statement number "1".
In the sentence "4", it can be recognized that the variable c is defined.

When the debug information 20 is output from the compiler 10 as shown in FIG.
Variable / constant information 410 and a line number as shown in FIG.
The instruction correspondence information 420 is created and stored in the information storage area 27.

The variable / constant information 410 is the debug information 3
The area number 411 and the pointer 412 to the value storage information are added to the variable / constant information 310 in the line number 00 and the line number / instruction correspondence information 420 in the debug information 300 is the line number / instruction correspondence information 320 in the debug information 300. This is obtained by adding break point information 421 and save command information 422.

The area information 411 is information indicating the data area in which the current value of the variable is stored. The pointer 412 to the value storage information indicates the value of the variable at the time of executing the preceding execution statement and the unexecuted statement. This is information indicating the managed storage area. The break point information 421 is information indicating pre-processing insertion information, post-processing insertion information, and environment information, which will be described later. The storage instruction information 422 is information indicating a storage area of an instruction replaced with the interruption point processing call instruction. It is.

When the variable / constant information 410 and the line number / command correspondence information 420 are stored in the information storage area 27, the user of the debugging device 20 inputs a break point setting command for instructing the setting of a break point to the input device 30. Enter from. The break point setting command includes a line number which is information on the source program 100. When the break point setting command is input, the debugging device 20 corresponds to the line number on the object program 200. Set a break point on the part.

Now, the operation of the debugger 20 will be described as follows, taking as an example a case where a break point setting command including the line number "15" is input.

When the break point setting command including the line number “15” is input, the debug device 20 passes control to the break point setting processing means 21.

When the control is passed, the break point setting processing means 21 obtains the line number “15” from the line number / instruction correspondence information 420.
Is extracted from the instruction sequence information 324 (FIG. 3, S
1). Thereafter, the interruption point setting processing means 21 outputs the instruction “load x <” in the object program 200 indicated by the start position “00144” in the instruction sequence information 324.
As shown in FIG. 13, the instruction storage area 422a is created and stored as shown in FIG. 13, and the instruction storage area 422a is associated with the line number "15" by the storage instruction information 422 (S2).

After that, the interruption point setting processing means 21
As shown in FIG. 4, the instruction “load x
<-C> is replaced with the interruption point processing call instruction 211 including the line number “15” of the interruption point (S3), and the preprocessing setting processing unit 21a is activated (S4). When starting the pre-processing setting processing means 21a, the interruption point setting processing means 21
The line number "15" is passed to the preprocessing setting processing means 21a.

When activated, the preprocessing setting processing means 21a extracts the instruction string information 324 of the interruption point and the next line from the line number / instruction correspondence information 420 (FIG. 4, S11).
In this case, since the line number of the interruption point is “15”, the preprocessing setting processing unit 21a extracts the instruction sequence information 324 of the line numbers “15” and “16”. If there is no line next to the interruption point (S12: NO), the pre-processing setting processing means 21a ends the processing.

After that, the pre-processing setting processing means 21a is located after the interruption point in the source program 100 on the basis of the instruction sequence information 324 of the line numbers "15" and "16". Then, it is determined whether or not the preceding execution statement in which the corresponding instruction is located before the interruption point exists in the line with the line number "16" (S13). In the case of this example, the address on the object program 200 indicated by the instruction sequence information 324 of the line number “16” is the object program 200 indicated by the instruction sequence information 324 of the line number “15”.
Since the address is before the above address, the preprocessing setting processing means 21a determines that the preceding execution statement exists in the line with the line number "16".

After that, the preprocessing setting processing means 21a determines that the preceding execution statement in the line with the line number “16” is based on the variable / constant information 410 indicated by the definition information 323 in the line number / instruction correspondence information 420. It is determined whether the value of the variable is defined (S14). In this case, the line number "1
Since the definition information 323 of “6” indicates the variable d in the variable / constant information 410, the preprocessing setting processing unit 21a
Determines that the value of the variable d is defined.

If it is determined that the value of the variable d is defined (S14: YES), the preprocessing setting processing means 21a determines whether the variable name of the variable d is set in the preprocessing insertion information. (S15). In this example, since no setting has been made, the preprocessing setting processing means 21a creates the preprocessing insertion information 421-1a as shown in FIG. In order to indicate that it is the case when the line with the line number "15" is used,
The interruption is pointed by the interruption information 421 of the line number "15" (S16). In S16, the pre-processing setting processing unit 21a sets the line number “15” as the interruption point information, the line number “16” as the insertion position information, and the definition information as the pre-processing insertion information 421-1a. Set the variable b. In this example, the determination result in S14 is YES, but if the determination result in S14 is NO,
The pre-processing setting processing means 21a outputs the pre-processing insertion information 421-
Except for setting information indicating "no variable defined" in the definition information in 1a, the same processing as S15 described above is performed (S19). If the result of the determination in S15 is YES, the process in S20 is performed.

Thereafter, the pre-processing setting processing means 21a outputs the preceding execution statement (sentence number "1") existing in the row of the row number "16".
3), the first instruction “move b <−10” among the instructions on the object program 200 corresponding to the instruction “move b <−10” is stored in the preprocessing insertion information 421-1a (S17). As shown in FIG. 14, it is replaced with the preprocessing call instruction 212 (S18). The preprocessing call instruction 212 includes information indicating that the interruption point was at the line of the line number “15” and the line number “16” of the line corresponding to the replaced instruction. include.

When the processing of S18 is completed, the preprocessing setting processing means 21a extracts the instruction sequence information 324 of the next line (line number "17") from the line number / instruction correspondence information 420 (S20). The same processing is performed (S13 to S
19). Then, when the above-described processing is performed on all the rows after the interruption point (S21: NO), the preprocessing setting processing unit 21a ends the processing.

By performing the above processing, FIG.
An object program 210 including an interruption point calling instruction 211 and a preprocessing calling instruction 212 as shown in FIG.

When the object program 210 as shown in FIG. 14 is generated, the user inputs an execution command instructing execution up to the interruption point from the input device 30.

In response, the debugging device 20 starts executing the object program 210. Then, when the preprocessing call instruction 212 existing at the address “00140” is executed, the debugging device 20 passes control to the preprocessing unit 25. At that time, the debugging device 20
The line number “15” of the interruption point included in the preprocessing call instruction 212 and the line number “1” corresponding to the instruction before replacement
6 ".

As a result, the pre-processing means 25 processes one of the preceding execution statements (the statement with the statement number "13") existing in the line with the line number "16" (S31 in FIG. 5). Then, the variable name b of the variable whose value is defined by the preceding execution statement is obtained (S33). The variable name of the variable whose value is defined by the statement number “13” is indicated by the definition information 323 corresponding to the statement number “13” in the line number / instruction correspondence information 420.

Thereafter, the preprocessing means 25 determines whether or not there is value storage information for the variable b, which is the value storage information when the interruption point is set to the line with the line number "15" (S).
34). This processing will be described in detail below.
First, focusing on the area for the variable b in the variable / constant information 410, the pointer 412 to the value storage information of that area is set to n.
Check whether it is set to "ull". And null
If it is determined that the value storage information described above does not exist. If the value is not null, the preprocessing insertion information 421-1a when the interruption point is set to the line with the line number "15" is included in the value storage information indicated by the pointer 412 to the value storage information. Check if there is something to point to. Then, when there is information indicating the pre-processing insertion information 421-1a, it is determined that the above-mentioned value storage information exists. When there is no information indicating the pre-processing insertion information 421-1a, the above-mentioned value storage information does not exist. Is determined not to exist. In this example, the pointer 412 to the value storage information for the variable b is null as shown in FIG.
Since the value is 1, the preprocessing means 25 determines that the above-mentioned value storage information does not exist.

If it is determined in S34 that there is no value storage information when the interruption point is set to the line with the line number "15", the preprocessing means 25 creates a storage area 700 as shown in FIG. The value of the variable “b” immediately before the execution of the preceding execution statement of the statement number “15” is stored (S35), and the value storage information 412a is created to store the storage area 700 and the variable / constant information 4
10 (S36). In this example, the result of the determination in S34 is NO and the above-described processing is performed. However, if the result of the determination in S34 is YES, the storage indicated by the value storage information already created is stored. The value of the variable b immediately before the execution of the preceding execution statement is stored in the area (S37). Here, the interruption point information 412-1a in the value storage information 412a is the preprocessing insertion information 421-1a.
And the storage area information 412-2a indicates the storage area 700. Also, the following information 4
12-3a is used to indicate the newly created value storage information when it is necessary to create new value storage information for the variable b when a new interruption point is set.

Thereafter, the pre-processing means 25 sends the line number "1"
The other non-executed statement in the line of "6" is to be processed, but only the already-executed statement of statement number "13" exists in the line of line number "16" (S32). , The process ends.

When the processing of the preprocessing means 25 is completed, the debugger 20 outputs the original instruction “move b <−10” replaced with the preprocessing call instruction 212 from the preprocessing insertion information 421-1a shown in FIG. Take out and execute. Thereafter, the debugging device 20 resumes the execution of the object program 210. Then, when the interruption point processing call instruction 211 is executed, the interruption point processing means 22 is called. At this time, the debugging device 20 sets the line number “15” of the interruption point included in the interruption point processing call instruction 211.
To the interruption point processing means 22.

As a result, the interruption point processing means 22 activates the post-processing setting processing means 22a and sets the line number "1" of the interruption point.
5 "(FIG. 6, S41).

When the post-processing setting processing means 22a is started, the post-processing setting processing means 22a stores the interruption point and the instruction sequence information 324 one line before the interruption point in FIG.
(S51 in FIG. 7). In this example, the line number of the interruption point is “1”.
Since it is "5", the post-processing setting processing means 22a extracts the instruction sequence information 324 of the line numbers "15" and "14". If there is no line one line before the interruption point (S52), the post-processing setting processing unit 22a displays that re-execution from the interruption point is unnecessary (S65), and ends the processing. .

Thereafter, the post-processing setting processing means 22a is located before the interruption point in the source program 100 based on the instruction sequence information 324 of the line numbers "15" and "14", Then, it is determined whether or not an unexecuted statement in which the corresponding instruction is located after the interruption point exists in the line with the line number "14" (S53). In this case, since there is no unexecuted statement, S53 is NO, and the post-processing setting processing unit 22
Further, a extracts the instruction sequence information 324 of the line number “13” one line before that (S58), and performs the same processing as described above based on it and the instruction sequence information 324 of the line number “15”. Hereinafter, the same processing is repeated, but in this case, since there is no unexecuted statement, the flag F is set to “1” in S55 even if the above processing is performed up to the first line. There is no. Therefore, the determination result of S60 is YE
S, the post-processing setting processing means 22a
Indicates that re-execution from the interruption point is unnecessary (S
65), the process ends.

When the processing of the post-processing setting processing means 22a ends, the debug device 20 waits for a command to be input from the input device 30, since it is displayed that re-execution from the interruption point is unnecessary.

Thereafter, when the user inputs a display command instructing the display of the value of the variable at the interruption point from the input device 30, the debug device 20 activates the information display processing means 23. Note that the display command includes the variable name of the variable whose value is to be displayed. After the information display processing means 23 is activated, the debug device 20 replaces the variable name included in the display command with the information display processing means. Pass to 23.

The information display processing means 23
When started from 0, as shown in the flowchart of FIG. 9, it is determined whether or not the variable instructed to display the value is a value stored in the variable / constant information 410 shown in FIG. The determination is made based on the pointer 412 to the value storage information (S8).
1). That is, if null is set, it is determined that the data is not stored, and if it is other than null, it is determined that the data is stored.

For example, when a display command instructing to display the value of the variable b is input, the pointer 412 to the value storage information for the variable b is changed to the value storage information 412a.
Since the result of the determination in S81 is YES, the information display processing means 23 extracts the value of the variable b stored in the storage area 700 (S82) and displays the value on the display device 31. (S84). Note that the pointer 412 to the value storage information of the variable b is null.
Is set, the value stored in the data area 620 storing the current value of the variable b is displayed on the display device 3.
1 will be displayed.

For example, when a display command instructing to display the values of variables a, c, and d is input,
Since the pointer 412 to the value storage information is null and the result of the determination in S81 is NO, the information display processing means 23 sets the data areas 610 and 630 in which the current values of the variables a, c and d are stored. , 640 are displayed on the display device as the values of the variables a, c, and d at the interruption point (S83, S84).

When it becomes necessary to release the interruption point corresponding to the line number “15”, the user sets the line number “1”.
An interruption point release command including “5” is input from the input device 30. When the break point release command is input, the break point release processing means 24 is activated. As a result, the interruption point release processing means 24 can execute the preprocessing call instruction 21 shown in FIG.
2. Processing for replacing the break point processing call instruction 211 with the original instruction, processing for deleting the break point information 421 related to the line number “15”, and processing for deleting the pointer 412 to the value storage information related to the line number “15” are performed. .

Next, the operation when the line of the line number "16" of the source program 100 is set as the interruption point will be described.

When the user wants to set the line having the line number “16” as the break point, the user inputs a break point setting command including the line number “16” from the input device 30.

When the break point setting command including the line number “16” is input, the debug device 20 passes control to the break point setting processing means 21.

When the control is passed, the interruption point setting processing means 21 obtains the line number “16” from the line number / instruction correspondence information 420.
Is extracted from the instruction sequence information 324 (FIG. 3, S
1). Thereafter, the interruption point setting processing means 21 outputs the instruction “mo” in the object program 200 indicated by the start position “00140” in the extracted instruction sequence information 324.
As shown in FIG. 16, “ve b <−10” is stored in the instruction storage area 422b, and the instruction storage area 422b is associated with the line number “16” by the storage instruction information 422 (S2).

Thereafter, the interruption point setting processing means 21
As shown in FIG. 7, the instruction “move b <−10” located at the address “00140” is changed to the line number “1” of the interruption point.
6) (S3), and activates the preprocessing setting processing means 21a (S3).
4). When activating the pre-processing setting processing means 21a, the interruption point setting processing means 21 passes the line number "16" of the interruption point to the pre-processing setting processing means 21a.

When activated, the preprocessing setting processing means 21a extracts the instruction sequence information 324 of the interruption point and the next line from the line number / instruction correspondence information 420 (FIG. 4, S11).
In this case, since the line number of the interruption point is “16”, the preprocessing setting processing unit 21a extracts the instruction sequence information 324 of the line numbers “16” and “17”.

Thereafter, the preprocessing setting processing means 21a determines whether or not the preceding execution statement exists in the line with the line number "17" based on the instruction string information 324 with the line numbers "16" and "17". (S13). In the case of the object program 200 shown in FIG. 11, the preceding execution statement does not exist at all, so the determination result in S13 is NO.

Thereafter, the preprocessing setting processing means 21a sequentially changes the processing target line to determine whether or not the preceding execution statement exists (S20, S13).
In the case of the object program 200 shown in FIG. 1, since there is no preceding execution statement, the judgment result in S13 is always NO. Therefore, even if the processing is performed up to the last line (S
21 is NO), the processes of S14 to S19 are not performed. By performing the above-described processing in the preprocessing setting processing unit 21a, an object program 220 as shown in FIG. 17 is generated.

When the object program 220 as shown in FIG. 17 is generated, the user inputs an execution command instructing execution up to the interruption point from the input device 30.

In response, debug device 20 starts executing object program 220 shown in FIG. Then, when the interruption point processing call instruction 221 existing at the address “00140” is executed, the debugging device 20 calls the interruption point processing means 22. At this time, the debugging device 20 sets the line number “16” of the interruption point included in the interruption point processing call instruction 211 to the interruption point processing unit 2.
Hand over to 2.

As a result, the interruption point processing means 22 activates the post-processing setting processing means 22a and sets the line number "1" of the interruption point.
6 "(FIG. 6, S41).

When the post-processing setting processing means 22a is started, the post-processing setting processing means 22a stores the interruption point and the instruction sequence information 324 one line before the interruption point in FIG.
(S51 in FIG. 7). In this example, the line number of the interruption point is “1”.
6 ", the post-processing setting processing means 22a extracts the instruction sequence information 324 of the line numbers" 16 "and" 15 ".

Thereafter, the post-processing setting processing means 22a determines whether or not an unexecuted statement exists in the line with the line number "15" based on the instruction string information 324 with the line numbers "16" and "15". (S53). In the case of this example, the address indicated by the instruction string information of the line number “15” is the line number “1”.
Since the address is after the address indicated by the instruction string information of "6", the post-processing setting processing means 22a sets the line number "1"
It is determined that there is an unexecuted statement in the row of "5".

If it is determined in S53 that an unexecuted statement exists, the post-processing setting processing means 22a determines whether the value of the variable is defined by the unexecuted statement existing in the line with the line number "15" (step S53). S54). Here, whether or not the value of the variable is defined is determined by the definition information 323 of the line number “15”.
The determination is made based on the variable / constant information 410. In this example, as shown in FIG.
Since the definition information 323 of "5" indicates the variables a and d, the post-processing setting processing means 22a determines that the value of the variable is defined.

Thereafter, the post-processing setting processing means 22a turns on the flag F (S55), and creates post-processing insertion information 421-2b as shown in FIG. 16 (S56).
At this time, the post-processing setting processing unit 22a outputs the post-processing insertion information 421-b to indicate that the post-processing insertion information 421-2b is the one when the interruption point is the line with the line number "16".
2b is pointed by the interruption information 421 of the line number “16”. Further, the post-processing setting processing means 22a
In the post-processing insertion information 421-2b, the line number "16" is used as the break point information, and the line number "1" is used as the insertion position information.
5 "is set as variables a and d as definition information. In this example, although the determination result of S54 is YES,
If the determination result in S54 is NO, the pre-processing setting processing unit 21a sets the definition information in the post-processing insertion information 421-2b to information indicating "no variable defined", except for the above-described S56. The same processing is performed (S57).

Thereafter, the post-processing setting processing means 22a repeats the above-described processing until the first line is reached (S59: NO).

When the above-described processing is performed up to the first line, the post-processing setting processing means 22a, as shown in FIG. 16, sets the environment necessary for returning the state of the debugging device 20 to the state at the time of execution of the interruption point. The information 421-3b is created, and the environment information 421-3b sets the interruption point to the line number "1".
In order to indicate that this is the case when the line is "6", the environment information 421-3b is pointed to by the interruption information 421 of the line number "16" in the line number / instruction correspondence information 420 (S61). The environment information 421-3b includes register information, stack information, values of variables, and the like.

Thereafter, the post-processing setting processing means 22a stores the last instruction among the instructions corresponding to the last unexecuted statement in the post-processing insertion information 421-2b (S62). In the case of this example, the last unexecuted statement existing on the line with the line number “15” is “a = c + 1;”, and the last instruction corresponding to this unexecuted statement is “v” existing at the address “00150”. .
Since store a (10) <− x ”, the post-processing setting processing unit 22a stores the above-described command in the post-processing insertion information 421-2b, as shown in FIG.

Next, the post-processing setting processing means 22a replaces the instruction at the address "00150" with the post-processing call instruction 222 (S63). Thereby, the object program 230 as shown in FIG.
Is generated.

Thereafter, the post-processing setting processing means 22a indicates that re-execution from the interruption point is necessary (S64), and ends the processing.

When the processing of the post-processing setting processing means 22a is completed, it is displayed that the re-execution from the interruption point is necessary, and the debugger 20 re-executes the object program 230 shown in FIG. 18 from the interruption point. I do. that time,
The interruption point processing call instruction 221 is not executed, and instead, the original instruction “move b <−10” stored in the instruction storage area 422b shown in FIG. 16 is executed. When the post-processing call instruction 222 is executed, the post-processing means 26 is called.

When the post-processing means 26 is called from the debugging device 20, the post-processing insertion information 421 shown in FIG.
-B, the instruction before replacement “v.
store a (10) <-x "(FIG. 8, S7).
1) Then, all the variable names indicated by the definition information in the post-processing insertion information 421-2b are extracted (S72). In the case of this example, the variable names a and d are extracted.

Thereafter, as shown in FIG. 19, the post-processing means 26 creates storage areas 710 and 720, and stores the current values of the variables a and d, respectively (S73). At this time, the post-processing means 26 stores the value storage information 412b, 412c.
Is created, and the variable / constant information 410 and the storage area 710,
720. The value storage information 412b, 41
The interruption point information 412-1b and 412-1c in FIG.
6, the post-processing insertion information 421-2b, the storage area information 412-2b, 412-2c indicates the storage area 710, 720, respectively, and the next information 412-3b, 412-3c indicates the next. Indicates the value storage information.

When the processing in S73 is completed, the post-processing means 2
6 returns the state of the debug device 20 to the state at the time of execution of the interruption point based on the environment information 421-3b shown in FIG. 16 (S74), and then deletes the environment information 421-3b (S75).

When the processing of the post-processing means 26 is completed, the debugging device 20 waits for a command to be input from the input device 30.

When the debugging device 20 is in the state described above,
When a user inputs a display command including a variable name of a variable whose value is to be displayed from the input device 30, the debug device 20
Activates the information display processing means 23 and passes the variable name instructed to be displayed.

The information display processing means 23
When started from 0, the processing shown in the flowchart of FIG. 9 is performed.

Now, for example, when a display command instructing to display the value of the variable a is input, the pointer 41 to the value storage information of the variable / constant information 410 shown in FIG.
Since the value storage information 412b is indicated by 2 (YES in S81), the information display processing unit 23 displays the value of the variable a stored in the storage area 710 on the display device 31 (S82). , S83).

Also, for example, when a display command instructing to display the value of the variable b is input, since null is set in the pointer 412 to the value storage information for the variable b (S81 (NO), the information display processing means 23 displays the current value of the variable b stored in the data area 620 on the display device 31 (S8).
3).

FIG. 20 is a block diagram of another embodiment of the present invention, which comprises a compiler 10, a debugging device 20 ', an input device 30, and a display device 31. The difference between the debugging device 20 'of this embodiment and the debugging device 20 shown in FIG. 1 is that the interruption point processing means 22, the post-processing setting processing means 22a, and the information display processing means 23 are used instead of the interruption point processing means 22'. , Post-processing setting processing means 22a 'and information display processing means 23'. The same reference numerals as in FIG. 1 represent the same parts.

The break point processing means 22 ′
0 'is called by the debug device 20' when executing a break point processing call instruction existing at a break point. When called from the debug device 20 ', the checked flag F1 and the post-process executed flag F3 are set. It has a function of turning off and turning on the post-processing flag F2. Here, the investigated flag F1 is determined by the post-processing setting processing unit 22.
At a ′, it indicates whether or not the presence or absence of an unexecuted statement at the above-mentioned interruption point has already been checked, where OFF indicates not checked and ON indicates checked. The post-processing flag F2 indicates whether or not the post-processing means 26 needs to process the interruption point. On indicates that processing is required, and off indicates that processing is not required. The post-processing executed flag F3 is
This indicates whether or not the processing by the post-processing means 26 for the interruption point has already been executed, where OFF indicates not executed and ON indicates executed.

The information display processing means 23 'has a function of performing the following processes a and b according to the state of the post-processing flag F2 when a display command including a variable name is input.

A. (When the post-processing flag F2 is OFF) If the value of the variable indicated for display is stored by the preprocessing means 25, the stored value is displayed. If not, the current value of the variable is displayed. indicate.

B. (When the post-processing flag F2 is ON) When the control is passed to the post-processing setting processing means 22a 'and the control is returned from the post-processing setting processing means 22a', the value of the variable designated for display is changed to the pre-processing means 25a. Alternatively, if the variable is stored by the post-processing means 26, the stored value is displayed, and if not, the current value of the variable is displayed.

The post-processing setting processing means 22a 'has a function of performing the following processes c and d according to the state of the investigated flag F1 when the control is passed from the information display processing means 23'.

C. (When Investigated Flag F1 = Off) When the investigated flag F1 is off, first, it is examined whether or not an unexecuted statement exists at the current interruption point, and then the investigated flag F1 is turned on. I do. Thereafter, it is checked whether there is an unexecuted statement defining the value of the variable. If not, the post-processing flag F2 is turned off, and a display instruction is given to the information display processing means 23 '. (The same processing is performed even when there is no unexecuted statement.) Also,
If there is an unexecuted statement that defines the value of the variable,
After the post-processing flag F2 is turned on to indicate that processing by the post-processing means 26 is necessary, instructions such as storage and replacement are performed, and further, the values of variables indicated for display are defined by unexecuted statements. Check if it is a thing. If it is not defined, it issues a display instruction to the information display processing means 23 ', and if it is defined, it checks whether the post-processing execution flag F3 is on.
When the post-processing execution completed flag F3 is on, a display instruction is issued to the information display processing means 23 '.
After the control is passed to the debug device 20 'to activate the post-processing means 26, the post-processing execution flag F3 is turned on, and a display instruction is given to the information display processing means 23'.

D. (When Investigated Flag F1 = On) When the investigated flag F1 is on, first, it is determined whether or not the variable whose value is instructed to be displayed by the display command has a value defined by an unexecuted statement. Is checked, and if it is not defined, a display instruction is issued to the information display processing means 23 ', and if it is defined, whether the post-processing execution flag F3 is on. Find out what. If the post-processing execution flag F3 is on, a display instruction is issued to the information display processing means 23 ', and if it is off, the control is passed to the debugging device 20' to activate the post-processing means 26. Thereafter, the post-processing executed flag F3 is turned on, and a display instruction is given to the information display processing means 23 '.

FIG. 21 is a flowchart showing a processing example of the interruption point processing means 22 ', FIG. 22 is a flowchart showing a processing example of the information display processing means 23', and FIGS. 23 and 24 are post-processing setting processing means 2
3 is a flowchart showing a processing example of 2a ', and the operation of this embodiment will be described below with reference to the drawings.

Now, for example, the compiler 10 inputs the source program 100 shown in FIG. 10 and the object program 200 shown in FIG. 11 and the debug information 3 shown in FIG.
00 is output.

When the debugging information 300 is output from the compiler 10, the debugging device 20 '
As in the case of 0, the variable / constant information 410 and the line number / instruction correspondence information 420 as shown in FIG.

Thereafter, when the user inputs a break point setting command including, for example, the line number "15" from the input device 30, the break point setting processing means 21, the pre-processing setting processing means 21
a performs the same processing as described above. As a result, as shown in FIG. 14, the object program 210 including the pre-processing call instruction 212 and the break point processing call instruction 211
Is generated.

Next, when the user inputs an execution command instructing execution up to the interruption point, the debugging device 20 'starts execution of the object program 210. Then, when the preprocessing call instruction 212 is executed, the preprocessing means 25 is called.

When called from the debugger 20 ′, the preprocessing means 25 performs the same processing as described above, and replaces the preprocessing call instruction 212 with the original instruction “mo”.
The value of the variable “b” immediately before the execution of “veb <−10” is stored in the storage area 700 shown in FIG.

Thereafter, when the debug device 20 'executes the break point processing call instruction 211, the break point processing means 2
2 'is called.

As a result, the interruption point processing means 22 'turns off the investigated flag F1 and the post-processing execution flag F3 and turns on the post-processing flag F2 as shown in the flowchart of FIG. 21 (S91).

After that, when the user inputs a display command including a variable name for displaying a value from the input device 30, the debug device 20 'transfers control to the information display processing means 23'.

Thus, the information display processing means 23 '
As shown in the flowchart of FIG. 22, it is checked whether the post-processing flag F2 is turned on (S101). In this example, since the post-processing flag F2 is on, the information display processing unit 23 'passes control to the post-processing setting processing unit 22a' (S102).

Upon receiving the control, the post-processing setting processing means 22a 'checks whether or not the investigated flag F1 is turned on, as shown in the flowchart of FIG. 23 (S11).
1). In this example, since the investigated flag F1 is off, the determination result in S111 is NO.

As a result, the post-processing setting processing means 22a '
Performs a process of searching for an unexecuted statement and creating post-processing insertion information for the found unexecuted statement, similarly to the post-processing setting processing unit 22a (S112 to S119).

When the above processing is completed (S119 is N
(If it becomes O), the post-processing setting processing means 22a 'turns on the investigated flag F1 and displays that the existence of an unexecuted statement has already been investigated (S120).

Thereafter, the post-processing setting processing means 22a '
It is checked whether there is an unexecuted statement defining the value of the variable based on the post-processing insertion information (S121). In the case of this example (when the object program is as shown in FIG. 11 and the interruption point is the line with the line number "15"), there is no unexecuted statement, so the determination result in S121 is NO.

As a result, the post-processing setting processing means 22a '
Turns off the post-processing flag F2 to indicate that processing by the post-processing means 26 is unnecessary, and then displays the information display processing means 2
A display instruction is issued to 3 ′ (S122, S123).

When the display instruction is given from the post-processing setting processing means 22a ', the information display processing means 23' determines whether or not the variable indicated by the display command is the one whose value is stored by the pre-processing means 25. (S
103). And if you decide that it is saved,
The value stored in the storage area is retrieved and displayed on the display device 31.
(S104, S106), and when it is determined that the variable is not stored, the current value of the variable indicated to be displayed is displayed on the display device 31 (S105, S106). In this example, the variable whose value is stored by the preprocessing means 25 is only the variable b. Therefore, if the input display command instructs the display of the value of the variable b, the storage area The value stored in 700 is displayed; otherwise, the current value of the variable is displayed.

Next, the operation in the case where the line with the line number "16" of the source program 100 is set as the interruption point will be described.

When setting the line with the line number “16” as the break point, the user inputs a break point setting command including the line number “16” from the input device 30.

Thus, the interruption point setting processing means 21 and the pre-processing setting processing means 21a perform the same processing as described above, and as shown in FIG.
1 is created.

Next, when the user inputs an execution command instructing execution up to the interruption point, the debugging device 20 'starts execution of the object program 220. When the interruption point processing call instruction 221 is executed, the debugging device 20 ′ calls the interruption point processing means 22 ′.

As a result, the interruption point processing means 22 'turns off the investigated flag F1 and the post-processing execution flag F3 and turns on the post-processing flag F2 in the same manner as described above (S91 in FIG. 21).

Thereafter, when the user inputs a display command including a variable name for displaying a value from the input device 30, the debug device 20 'transfers control to the information display processing means 23'.

As a result, the information display processing means 23 '
As shown in the flowchart of FIG. 22, it is checked whether the post-processing flag F2 is turned on (S101). In this example, since the post-processing flag F2 is on, the information display processing unit 23 'passes control to the post-processing setting processing unit 22a' (S102).

Upon receiving the control, the post-processing setting processing means 22a 'checks whether or not the investigated flag F1 is turned on, as shown in the flowchart of FIG. 23 (S11).
1). In this example, since the investigated flag F1 is off, the determination result in S111 is NO.

Thus, the post-processing setting processing means 22a '
Performs a process of searching for an unexecuted statement and creating post-processing insertion information for the searched unexecuted statement, as described above (S112 to S119).

When the above processing is completed (S119 is N
(If it becomes O), the post-processing setting processing means 22a 'turns on the investigated flag F1 and displays that the existence of an unexecuted statement has already been investigated (S120).

Thereafter, the post-processing setting processing means 22a '
It is checked whether there is an unexecuted statement defining the value of the variable based on the post-processing insertion information (S121). In the case of this example, an unexecuted statement (statement number “11”,
Since the statement “12” exists, the determination result in S121 is YES.

When the result of the determination in S121 is YES, the post-processing setting processing means 22a 'turns on the post-processing flag F2 to indicate that processing by the post-processing means 26 is necessary, and then returns to the state shown in FIG. The environment information 421-3b is created (S125).

Thereafter, the post-processing setting processing means 22a '
Of the instructions corresponding to the last unexecuted statement (statement of statement number “12”), the last instruction “v.store a (10) <−”
“x” is stored in the post-processing insertion information 421-2b in FIG. 16 (S126), and as shown in FIG. 18, the above-described command is replaced with the post-processing call command 222 (S12).
7). As a result, an object program 230 as shown in FIG. 18 is generated.

Thereafter, the post-processing setting processing means 22a '
It is determined based on the definition information in the post-processing insertion information 421-2b shown in FIG. 16 whether the variable indicated by the display command is defined in the unexecuted statement (FIG. 24, S128). .

If it is determined that the information is not defined, a display instruction is issued to the information display processing means 23 '(FIG. 23, S123). If it is determined that the information is defined, the post-processing execution flag is set. It is determined whether or not F3 is turned on (FIG. 24, S129).

In the case of this example, the post-processing execution completed flag F3
Is off, the post-processing setting processing means 22a '
Passes control to the debugging device 20 '(S130). As a result, the debugging device 20 're-executes the object program 230 shown in FIG. 18 from the interruption point. At this time, the interruption point processing call instruction 221 is not executed, but the original instruction “move b <−10” stored in the instruction storage area 422b shown in FIG. 16 is executed instead. When the post-processing call instruction 222 is executed, the post-processing means 26 is called.

When called from the debug device 20, the post-processing means 26 performs the same processing as described above (FIG. 8,
S71 to S75). Thereby, as shown in FIG.
The current values of the variables a and d are stored in the storage areas 710 and 720, and the state of the debugging device 20 'is returned to the state at the time of execution of the interruption point.

When the processing of the post-processing means 26 is completed, the debugging device 20 'returns control to the post-processing setting processing means 22a'. As a result, the post-processing setting processing means 22a 'turns on the post-processing execution flag F3 (FIG. 24, S1
31) A display instruction is issued to the information display processing means 23 '.

When the display instruction is given from the post-processing setting processing means 22a ', the information display processing means 23' saves the values of the variables indicated by the display command by the pre-processing means 25 or the post-processing means 26. It is determined whether or not it is present (FIG. 22, S103). When it is determined that the value is stored, the value stored in the storage area is extracted and displayed on the display device 31 (S104, S104).
106) If it is determined that the variable has not been saved, the current value of the variable indicated to be displayed is displayed on the display device 31 (S1).
05, S106). In this example, the variables whose values are stored by the pre-processing unit 25 or the post-processing unit 26 are:
Since there are only the variables a and d, if the input display command instructs the display of the values of the variables a and d, the values stored in the storage areas 710 and 720 are displayed, Otherwise, the current value of the variable is displayed.

Thereafter, assuming that the user inputs a display command in order to display the value of another variable, the information display processing means 23 'performs the above-described processing according to the state of the post-processing flag F2. At this time, if the post-processing flag F2 is on, the information display processing means 23 'performs
Control is passed to the post-processing setting processing means 22a '(FIG. 22,
S102) Unlike the case described above, the post-processing setting processing means 22a 'performs the processing of S128 shown in FIG. 24 because the investigated flag F1 is on (S111 is YES). When the determination result in S128 is YES, the process in S129 is performed, and when the determination result is NO, the process in S123 shown in FIG. 23 is performed.

[0143]

The first effect is that, when an interruption point is set in an object program in which instructions are rearranged by the optimization processing of the compiler and the value of a variable at the interruption point is displayed, The point is that the same value as when the instructions are not rearranged can be displayed. The reason is that, when there is a preceding execution statement that defines the value of the variable, a preprocessing means for storing the value of the variable immediately before the instruction on the object program corresponding to the preceding execution statement is executed, If there is an unexecuted statement that defines the value,
This is because there is provided post-processing means for storing the values of variables when the object program is executed up to the instruction corresponding to the last unexecuted statement.

The second effect is that the debugging process can be speeded up. When the reason is, the display command including the variable name of the variable that displays the value is entered, post-processing settings
The fixed processing means is on the source program before the break point
But it is compiled on the object program.
By reordering the instructions by
An unexecuted statement that is located after the break point
And the unexecuted statement that defines the value of the variable
Statement, and finds the unexecuted statement that defines the value of the variable.
If not found, information display processing means
When the display instruction is given to
Is the variable whose value is defined by the found unexecuted statement.
The number is instructed to display the value by the display command
To see if the variable is
If it is not a variable that has been
Perform a display instruction and use the variable that is instructed to display.
In some cases, an operation instruction is issued to the post-processing unit.
After the processing of the post-processing means is completed, the information display processing means
This is because a display instruction is issued to the user . That is, when the value of the variable indicated by the display command is not defined by the unexecuted statement, the processing by the post-processing unit is unnecessary, and the processing can be accelerated accordingly.

[Brief description of the drawings]

FIG. 1 is a block diagram of one embodiment of the present invention.

FIG. 2 is a diagram showing a content example of debug information 300;

FIG. 3 is a flowchart showing a processing example of a break point setting processing means 21;

FIG. 4 is a flowchart showing a processing example of a preprocessing setting processing means 21a.

FIG. 5 is a flowchart illustrating a processing example of a preprocessing unit 25;

FIG. 6 is a flowchart showing a processing example of an interruption point processing means 22;

FIG. 7 is a flowchart illustrating a processing example of a post-processing setting processing unit 22a.

FIG. 8 is a flowchart showing a processing example of a post-processing means 26;

FIG. 9 is a flowchart showing a processing example of the information display processing means 23;

FIG. 10 is a diagram showing an example of a source program 100.

FIG. 11 is a diagram showing an example of an object program 200.

FIG. 12 is a diagram showing an example of contents of variable / constant information 410 and line number / instruction correspondence information 420;

FIG. 13 is a diagram for explaining processing of an interruption point setting processing means 21 and a preprocessing setting processing means 21a.

FIG. 14 is a diagram for explaining processing of a break point setting processing means 21 and a preprocessing setting processing means 21a.

FIG. 15 is a diagram for explaining processing of a preprocessing unit 25;

FIG. 16 is a diagram for explaining processing of a post-processing setting processing unit 22a.

FIG. 17 is a diagram for explaining processing of an interruption point setting processing means 21 and a preprocessing setting processing means 21a.

FIG. 18 is a diagram for explaining processing of a post-processing setting processing unit 22a.

FIG. 19 is a view for explaining the processing of the post-processing means 26;

FIG. 20 is a block diagram of another embodiment of the present invention.

FIG. 21 is a flowchart showing a processing example of an interruption point processing means 22 ′.

FIG. 22 is a flowchart showing a processing example of an information display processing means 23 ′.

FIG. 23 is a flowchart showing a processing example of a post-processing setting processing means 22a ′.

FIG. 24 is a flowchart showing a processing example of a post-processing setting processing means 22a ′.

[Explanation of symbols]

 10 Compiler 20, 20 '... Debugging device 21 ... Break point setting processing means 21a ... Pre-processing setting processing means 22, 22' ... Break point processing means 22a, 22a '... Post-processing setting processing means 23, 23' ... Information display Processing means 24 ... Interruption point release processing means 25 ... Pre-processing means 26 ... Post-processing means 27 ... Information storage area 30 ... Input device 31 ... Display device 100 ... Source program 200 ... Object program 300 ... Debug information 310 ... Variable / constant information 320: Line number / instruction correspondence information 410: Variable / constant information 420 ... Line number / instruction correspondence information

Claims (2)

(57) [Claims] 1. A source program compiled by a compiler.
Object program generated by
In a debugging device for debuggingIf the compiler finds a change in the source program
A number of names and a line for each line present in the source program
Number, the statement number of the statement present on each line, and
Address of the corresponding instruction on the object program
And a configuration for generating debug information including  Interrupt point setting frame including the line number of the source program
Command is input, the object program
Break point setting for setting a break point in the portion corresponding to the line number
Processing means, when the interruption point setting command is input, the source program
Is located after the interruption point on the
On the project program
The instruction corresponding to the rearrangement is
Is also the preceding executable statement that was positioned before and
Predecessor statement that defines the value of the numberIn the debug information
On the basis ofThe pre-processing setting processing means to be searched for, and the preceding execution statement
The instruction corresponding to the preceding executable statement of the variable whose value is defined
Preprocessing means for storing a value immediately before the execution ofAfter the processing of the preprocessing means is completed, The source program
Position before the interruption point on the
On the project program,
By replacement, the corresponding instruction is
An unexecuted statement that was positioned behind and a variable
Statement that defines the value ofBased on the debug information
StayA post-processing setting processing means for searching for all the object programs;
Of the unexecuted statements found by the
After executing the instruction corresponding to the unexecuted statement,
The unexecuted statement found by the processing setting processing means
A post-processing means for storing the value of the variable being defined; and when the display command including the variable name is input, the variable
The value of the name variable is sent to the pre-processing unit or the post-processing unit.
Therefore, if it is stored, the pre-processing means or
The variable of the variable name stored by the post-processing means
Is displayed, and if not saved, the
Information display processing means for displaying the current value of the variable.
And a debugging device. 2. The source program is compiled by a compiler.
Object program generated by
In a debugging device for debuggingIf the compiler finds a change in the source program
A number of names and a line for each line present in the source program
Number, the statement number of the statement present on each line, and
Address of the corresponding instruction on the object program
And a configuration for generating debug information including  Interrupt point setting frame including the line number of the source program
Command is input, the object program
Break point setting for setting a break point in the portion corresponding to the line number
Processing means, when the interruption point setting command is input, the source program
Is located after the interruption point on the
On the project program
The instruction corresponding to the rearrangement is
Is also the preceding executable statement that was positioned before and
Predecessor statement that defines the value of the numberIn the debug information
On the basis ofThe pre-processing setting processing means to be searched for, and the preceding execution statement
The instruction corresponding to the preceding executable statement of the variable whose value is defined
Preprocessing means for storing a value immediately before the execution ofA variable for displaying a value after the processing of the preprocessing means is completed.
When a display command containing the variable name of Said
On the source program before the break point
However, on the object program, the compiler
Instruction is sorted by
An unexecuted statement that is located after the break point
An unexecuted statement that defines the value of a variableThe device
Undefined defining the value of a variable based on search information
If the line sentence could not be found, the information display
Was instructed to display information and found it.
If the value is defined by the unexecuted statement
Variable displays the value by the display command.
Check whether it is the indicated variable and display it. When
If is not the designated variable, the information display process
The display instruction is given to the means, and the display is instructed.
If the variable is
And after the processing of the post-processing means is completed,
Instruct display to information display processing meansPost-processing setting processing
Means,When an operation instruction is given by the post-processing setting processing means,
Previous Is the object programBestNot yet
The post-processing setting when the instruction corresponding to the executable statement is executed
The value is determined by the unexecuted statement found by the
Post-processing means for storing the values of defined variables;A display instruction is given by the post-processing setting processing means.
When included in the display command Variable value of variable name
Is stored by the pre-processing means or the post-processing means.
The pre-processing means or the post-processing means
Displays the value of the variable with the variable name stored by
And if not saved, the current
Information display processing means for displaying a value.
Debugging device.