JP2017054277A - Migration device, creation method of program and program - Google Patents

Abstract

PROBLEM TO BE SOLVED: To provide a migration device which creates a program of another language from a program of an assembler, and a method.SOLUTION: A migration device comprises: a conversion part which accommodates one or more point-specification conditions being a condition for specifying a point at which processing for improving the readability of a program is performed to an original source being an assembler program of a migration object, and converts the original source to a target source being a program of another language, and a program of a target language; and an output part for outputting the target source. The conversion part employs one or more point-specification conditions to the original source, and performs processing corresponding to the coincident point-specification condition to a point corresponding to the coincident point-specification condition.EFFECT: A program of another language which is high in readability can be created.SELECTED DRAWING: Figure 1

Description

  The present invention relates to a migration apparatus for generating a program in another language from an assembler program.

  In the prior art, the operating JCL and file are extracted based on the log of the legacy system, and a data model organized from the COBOL file definition that uses the extracted operating JCL and file is created. Since the data model and the MDA tool are connected, there is a legacy system reconstruction system that can reconstruct a new open system (see, for example, Patent Document 1).

JP 2007-334 (first page, FIG. 1 etc.)

  However, in the prior art, it was not possible to generate all or part of a program in another language from an assembler program.

  The assembler and other languages such as C language are greatly different in specifications and structure, and even if the assembler program is converted into another language program such as C language, it is difficult for a maintainer who maintains the program to read it. The program becomes difficult to maintain. In other words, in the prior art, when an assembler program is migrated, it is not possible to generate a program in another language with high readability in consideration of maintainability.

  The migration apparatus according to the first aspect of the present invention is an assembler program written in an assembler language, and improves the readability of the program with respect to the original source storage section that can store the original source that is the migration target program. A location specifying condition storage unit that can store one or more location specifying conditions, which are conditions for specifying a location for performing processing to be performed, and an original source stored in the original source storage unit using a program in another language A migration apparatus comprising: a conversion unit that converts a target language that is a target language program; and an output unit that converts the conversion unit and outputs the acquired target source. The conversion unit stores the original source Apply one or more location identification conditions to the source source stored in the section, and A process corresponding to the matching point specifying condition is a migration apparatus comprising readability enhancement processing means for performing readability enhancement is a process for improving the readability of the program.

  With this configuration, when an assembler program is migrated, it is possible to generate a program in another language with high readability in consideration of maintainability.

  Further, in the migration apparatus of the second invention, in contrast to the first invention, the location specifying condition is source pattern information that is information related to a program pattern, and the readability improvement processing means is stored in the original source storage unit. One or more pieces of source pattern information are applied to the source source being processed, and processing corresponding to the matching source pattern information is applied to the location corresponding to the matching source pattern information, improving the readability of the program This is a migration apparatus that performs readability improvement processing that is processing to be performed.

  With this configuration, an assembler program that matches a predetermined pattern can be converted into a program in another language with high readability in consideration of maintainability.

  Further, in the migration apparatus of the third invention, in contrast to the second invention, the source pattern information includes information indicating a dummy section, and the readability improvement processing means is an original source stored in the original source storage unit. On the other hand, the migration apparatus applies one or more pieces of source pattern information, determines a location including a dummy section, and changes a program corresponding to the location to a program defining a structure.

  With this configuration, the dummy section program in the assembler program can be converted into a program in another language with high readability in consideration of maintainability.

  Further, in the migration apparatus of the fourth invention, in contrast to the second invention, the source pattern information includes information indicating that the return has an offset, and the readability improvement processing means is stored in the original source storage unit. Apply one or more pieces of source pattern information to the source source, determine the location that contains the return with the offset, and branch the program corresponding to the location using the offset included in the program as a condition It is a migration device that changes to the program shown.

  With this configuration, it is possible to convert a return processing program having an offset in the assembler program into a program of another language with high readability in consideration of maintainability.

  The migration apparatus of the fifth aspect of the invention provides a pattern for specifying two or more instruction parts of an assembler that can be converted into a program of another language of one instruction in the source pattern information in the second invention. The readability improvement processing means applies one or more source pattern information to the original source stored in the original source storage unit, determines the location of two or more instructions, and corresponds to the location. This is a migration apparatus that converts a program to be converted into a program of another language of one instruction.

  With this configuration, a program composed of two or more instructions in an assembler program that matches a predetermined pattern can be converted into a program of one instruction in another language with high readability in consideration of maintainability.

  Further, in the migration apparatus of the sixth invention, in contrast to the second invention, the source pattern information includes information indicating a save code or a return code, and the readability improvement processing means is stored in the original source storage unit. The migration apparatus applies one or more pieces of source pattern information to the original source, determines the location of the save code or the return code, and deletes the program corresponding to the location from the original source or the target source.

  With this configuration, the save code or return code in the assembler program can be converted into a program in another language with high readability in consideration of maintainability.

  Further, in the migration device of the seventh aspect of the invention, in contrast to the second aspect of the invention, the source pattern information includes information indicating that a part of two or more loops constituted by two or more jump instructions overlap. The readability improving processing means applies one or more pieces of source pattern information to the original source stored in the original source storage unit, determines a portion where two or more loops overlap, Is a migration device that prioritizes one loop that satisfies a predetermined condition and changes it to a program that indicates a loop that does not have a jump instruction.

  With such a configuration, a portion where two or more loops overlap in the assembler program can be converted into a program of another language having high readability in consideration of maintainability.

  In the migration apparatus of the eighth aspect of the invention, in contrast to the first aspect, the location specifying condition is a range condition that is a condition for specifying a range of locations that satisfy a predetermined condition in the original source. Yes, the readability improvement processing means applies one or more range conditions to the original source stored in the original source storage unit, and sets the matching range condition to the location corresponding to the matching range condition. It is a migration apparatus that performs a readability improvement process that is a corresponding process and a process that improves the readability of a program.

  With this configuration, it is possible to identify a range of locations that satisfy a predetermined condition in the assembler program, and to convert the program into another language program having high readability corresponding to the range in consideration of maintainability.

  In the migration apparatus of the ninth aspect of the invention, the range condition is a condition for determining the range of programs that cannot be executed, and the readability improvement processing means It is a migration device that performs a statistical analysis, identifies a program corresponding to a matching range condition, and deletes the program.

  With this configuration, it is possible to obtain a program in another language with high readability by performing static analysis and deleting an assembler program at a location that cannot be reached.

  In the migration apparatus of the tenth invention, the range condition is a condition for specifying a variable, and the readability improvement processing means acquires the variable from the original source or the target source. The migration apparatus performs a readability improvement process of acquiring a life span of a variable and defining the variable as a local variable in the life span.

  With this configuration, it is possible to obtain a program in another language with high readability by specifying the life span of a variable in the assembler program and using the variable as a local variable in the life span.

  In addition, the migration apparatus of the eleventh aspect of the invention is a program having an assembler program and another language program that is a program in a language other than the assembler, as opposed to any one of the first to tenth inventions. And an assembler program acquisition unit that acquires an assembler program from an original source, and the conversion unit is a migration device that converts the assembler program acquired by the assembler program acquisition unit into a target source.

  With this configuration, when migrating an assembler program that operates in conjunction with another language program that is a program in a language other than the assembler, a program in another language with high maintainability can be generated in consideration of maintainability.

  According to the migration apparatus of the present invention, when an assembler program is migrated, it is possible to generate a program in another language with high readability in consideration of maintainability.

Block diagram of migration apparatus 1 in the first embodiment A flowchart for explaining the operation of the migration apparatus 1 Flow chart explaining the static analysis process Diagram showing the same source Figure showing the same location specific condition management table The figure which shows the program of the same C language which is generated Diagram showing the assembler program The figure which shows the program of the same C language which is generated Figure showing the same location specific condition management table Diagram showing the assembler program The figure which shows the program of the same C language which is generated Diagram showing conversion example including the intermediate representation Diagram showing conversion example including the intermediate representation Diagram showing the processing of the same loop Diagram showing an example of the assembler program to be converted The figure which shows the example of the program of the same C language Diagram showing the processing of the same loop Diagram showing an example of the assembler program to be converted The figure which shows the example of the program of the same C language The figure which shows the example of the program of the same C language The figure which shows the example of the program of the same C language Overview of the computer system Block diagram of the computer system

  Hereinafter, embodiments of the migration apparatus and the like will be described with reference to the drawings. In addition, since the component which attached | subjected the same code | symbol in embodiment performs the same operation | movement, description may be abbreviate | omitted again.

  (Embodiment 1)

  In the present embodiment, a description will be given of a migration apparatus that performs processing for improving readability on a source string that matches a predetermined source pattern from an assembler program set, and accumulates it. The predetermined source pattern is, for example, a pattern for specifying a dummy section location, a pattern for specifying a return location having an offset, or a location of two or more instructions of an assembler that can be converted into another language program of one instruction. A pattern for specifying the location of the save code or the return code, a pattern for specifying a location where a part of two or more loops overlap, and the like. The other language program is a program in a language other than the assembler.

  Further, in the present embodiment, a description will be given of a migration apparatus that identifies a range of locations that satisfy a predetermined condition in an assembler program set and performs processing corresponding to the locations. The process corresponding to the location is, for example, a deletion process, a process for generating a local variable definition, or the like.

  FIG. 1 is a block diagram of a migration apparatus 1 according to this embodiment.

  The migration apparatus 1 includes a storage unit 11, a processing unit 12, and an output unit 13.

  The storage unit 11 includes an original source storage unit 111, a location specifying condition storage unit 112, and a conversion information storage unit 113.

  The processing unit 12 includes an assembler program acquisition unit 121 and a conversion unit 122. The conversion unit 122 includes a readability improvement processing unit 1221.

  The storage unit 11 can store various types of information. The various types of information include an original source, a location specifying condition, conversion information, and the like which will be described later.

  The original source storage unit 111 can store an original source. The original source is usually an assembler program written in an assembler language, and is a program to be migrated. The original source may be a program having an assembler program and another language program that is a program in a language other than the assembler. Here, the other language program is, for example, a high-level language program. The high-level language is not limited, such as COBOL, C language, C ++, JAVA (registered trademark), or the like. The other language program is, for example, a program that is used by calling an assembler program. The type of assembler in the assembler program is not limited. The assembler may be referred to herein as assembly language. The assembler is an assembler used in, for example, IBM System / 370.

  Further, the original source stored in the original source storage unit 111 may be an intermediate language program (which may be referred to as an intermediate expression) obtained by converting an assembler program described in an assembler language. The intermediate language program is, for example, a group of two or more instructions obtained by decomposing a plurality of processes performed by one instruction of the assembler program into two or more processes. Note that one instruction of the intermediate language program may correspond to one instruction of the assembler program. The process of converting the assembler program into an intermediate language program may be performed by the conversion unit 122 described later, or may be performed by another device.

  The location specifying condition storage unit 112 can store one or more location specifying conditions. The part specifying condition is a condition for specifying a part for performing processing for improving the readability of the program with respect to the original source. The location specifying condition is, for example, source pattern information that is information related to the pattern of the assembler program. The location specifying condition is, for example, a range condition that is a condition for specifying a range of locations that satisfy a predetermined condition in the original source. The location specifying condition storage unit 112 may hold information for converting the assembler program into another language in association with the location specifying condition. The information for converting the assembler program into another language is, for example, high-level language pattern information related to a high-level language program pattern. The information for converting the assembler program into another language is constituted by, for example, a program for converting the assembler program into another language. The source pattern information includes, for example, information indicating a dummy section, information indicating a return having an offset, and an original source component having two or more instructions of an assembler that can be converted into a program of one language in another language. It may be pattern information for specifying, information indicating a save code or a return code, information indicating that two or more loops formed by two or more jump instructions are overlapped, or the like.

  The conversion information storage unit 113 can store one or more pieces of conversion information. The conversion information is information for converting an assembler program into a program in another language such as a high-level language. The conversion information is information for program conversion that does not always improve readability. The conversion information includes, for example, assembler pattern information indicating an assembler program pattern and other language pattern information indicating a pattern of another language program. The conversion information is, for example, assembler pattern information indicating an assembler program pattern and a program for converting the assembler program into another language.

  The conversion information may be information for converting an assembler program into another assembler program. In such a case, the other assembler program is usually a program that facilitates conversion to a program in another language.

  The conversion information may be information for converting a program in another language into a program in another language. In such a case, the other language program is usually a program whose readability is improved compared to the original other language program.

  The conversion information may be information for converting an intermediate language program into an assembler program.

  The conversion information may be information for converting an intermediate language program into another intermediate language program. In such a case, the other intermediate language program is usually a program that facilitates conversion to another language program.

  The conversion information includes, for example, “information indicating that a USING instruction other than DECT is deleted” “information indicating that a DROP instruction other than DECT is deleted” “assembler“ M $ variable 1, $ variable 2 ”is C language” $ Variable 1 = information indicating conversion to $ variable 1 * $ variable 2 "" assembler "A $ variable 1, $ variable 2" is converted to C language "$ variable 1 = $ variable 1 + $ variable 2" "Information indicating that". “$ Variable 1” or the like is a character string indicating an arbitrary variable.

  The processing unit 12 performs various processes. The various processes are processes performed by the assembler program acquisition unit 121, the conversion unit 122, and the readability improvement processing unit 1221, for example.

  The assembler program acquisition unit 121 acquires an assembler program from the original source. When the original source is a program having an assembler program and another language program, the assembler program acquisition unit 121 extracts the assembler program from the original source. For example, the assembler program acquisition unit 121 uses a character string indicating the start and a character string indicating the end of the assembler program, and a program (character string) between the character string indicating the start and the character string indicating the end. From the original source. For example, the assembler program acquisition unit 121 acquires a file having an extension (for example, “asm”) indicating that it is an assembler program from the original source storage unit 111. Further, for example, the assembler program acquisition unit 121 acquires a program (character string) that matches an instruction or instruction pattern of the assembler program from the original source. In such a case, it is assumed that all instructions or instruction patterns of the assembler program are stored in the storage unit 11.

  The conversion unit 122 converts the original source (here, the assembler program) stored in the original source storage unit 111 into a target source that is a program in another language and is a program in the target language. The target language program is a program in another language such as C language.

  The conversion unit 122 may convert the assembler program acquired by the assembler program acquisition unit 121 into a target source. In such a case, the conversion unit 122 may convert a program other than the assembler program (for example, a program such as Java or COBOL) into a target source. A program other than the assembler program is a program that is not acquired from the original source storage unit 111 by the assembler program acquisition unit 121 and is a program stored in the original source storage unit 111. Since a program for converting a program other than the assembler program into a target source is a known technique, detailed description thereof is omitted.

  The conversion unit 122 may convert the assembler program into a target source using one or more pieces of conversion information. The conversion unit 122 converts the assembler program into a target source using one or more location specifying conditions. That is, for example, the conversion unit 122 converts the location of the program to be converted using the conversion information corresponding to the location specifying condition for the location of the program to be converted that matches the location specifying condition, Get the converted program.

  The program to be converted is usually an assembler program, but may be an intermediate language program or a target source program. The converted program is usually a target source program, but may be an assembler program or an intermediate language program.

  The readability improvement processing unit 1221 performs readability improvement processing that is processing for improving the readability of the program. The readability improving process is, for example, a process of rewriting the definition of the assembler dummy section to the definition of a structure in another language such as C language. The readability improving process is, for example, a process of rewriting a return process having an assembler offset into an appropriate other language program. Further, the readability improving process is a process of rewriting an assembler program of two or more instruction groups into a program of another language of one instruction, for example. The one-language other language program is, for example, an instruction in which one “;” is sufficient in the C language. Further, the readability improving process is a process of deleting a save code or a return code in the assembler program, for example. Further, the readability improving process is a process of rewriting a plurality of loop processes in the assembler program into appropriate other language programs, for example. Further, the readability improving process is a process of deleting a part of the assembler program that cannot be reached, for example. The readability improving process is, for example, a process of checking a life span of a variable in an assembler program and setting it as a local variable in another language.

  The readability improving process is a process of rewriting an assembler program of two or more instruction groups into a program of a target source of two or more instructions, for example. That is, an assembler program of one instruction can be converted into an intermediate language program having two or more instruction groups. Further, an intermediate language program of two or more instruction groups can be converted into a target source program of one or more instructions. In such a case, an assembler program of two or more instruction groups can be rewritten into a program of a target source of two or more instructions. More specifically, if there is an assembler program of two or more instruction groups (ac1, ac2), the first instruction (ac1) of the assembler program is converted into an intermediate language program (mc1, mc2), and the assembler program Is converted to an intermediate language program (mc3, mc4). The first instruction (mc1) of the intermediate language program is converted to the instruction (ts1) of the target source program, and the second and third instructions (mc2, mc3) of the intermediate language program are converted to the target source. It is assumed that the fourth instruction (mc4) of the intermediate language program is converted to the instruction (ts3) of the target source program. In such a case, the assembler program (ac1, ac2) having two instructions is converted into a target source program having three instructions (ts1, ts2, ts3).

  More specifically, the readability improving process applies one or more location specifying conditions to the assembler program included in the original source stored in the original source storage unit 111, and corresponds to the matching location specifying conditions. This is processing corresponding to the location specifying condition that matches the location.

  The first readability improving process is a case where the location specifying condition is source pattern information which is information related to a program pattern. In such a case, the readability improvement processing unit 1221 applies one or more pieces of source pattern information to the assembler program included in the original source stored in the original source storage unit 111, and corresponds to the matching source pattern information. On the other hand, the readability improving process is a process corresponding to the matching source pattern information and improving the readability of the program. The processing corresponding to the matching source pattern information is usually realized by a program.

  The second readability improving process is a case where the location specifying condition is a range condition that is a condition for specifying a range of locations that satisfy a predetermined condition in the original source. In such a case, the readability improvement processing unit 1221 applies one or more range conditions to the assembler program included in the original source stored in the original source storage unit 111, and applies to the portion corresponding to the matching range condition. Thus, the readability improving process, which is a process corresponding to the matching range condition and improving the readability of the program, is performed. The processing corresponding to the matching range condition is usually realized by a program.

  In addition, the range condition is a condition for specifying, for example, a life span in which one focused variable is used. It can be said that the life span is a range of a program in which one focused variable appears. The range condition is a condition for specifying a range of programs that cannot be executed as a result of static analysis of the assembler program, for example.

  (A) Hereinafter, a specific example of the first readability improving process will be described. Examples of the first readability improvement process are the following five (A-1) to (A-5).

  (A-1) This is a case where the source pattern information includes information indicating a dummy section. In such a case, the readability improvement processing unit 1221 applies one or more pieces of source pattern information to the original source stored in the original source storage unit 111, determines a location including a dummy section, and corresponds to the location. Acquire a program in another language that defines a structure.

  (A-2) This is a case where the source pattern information includes information indicating that the return has an offset. In such a case, the readability improvement processing unit 1221 applies one or more pieces of source pattern information to the original source stored in the original source storage unit 111, determines a location including a return having an offset, and determines the location. The corresponding program is acquired as a program in another language indicating a branch using the offset included in the program as a condition.

  (A-3) This is a case where the source pattern information is pattern information for specifying the location of two or more instructions of the assembler that can be converted into a program of another language of one instruction. In such a case, the readability improvement processing unit 1221 applies one or more pieces of source pattern information to the original source stored in the original source storage unit 111, determines the location of two or more instructions, and corresponds to the location. To obtain a program of another language with one instruction.

  (A-4) This is a case where the source pattern information includes information indicating a save code or a return code. In such a case, the readability improvement processing unit 1221 applies one or more pieces of source pattern information to the original source stored in the original source storage unit 111, determines the location of the save code or return code, Delete the corresponding program from the source or destination source. The readability improvement processing unit 1221 determines whether the register or variable targeted by the save code or the return code is not used in the function in which the save code or the return code appears. It is preferable to delete the save code or the return code.

  (A-5) This is a case where the source pattern information includes information indicating that two or more loops formed by two or more jump instructions overlap each other. In such a case, the readability improvement processing unit 1221 applies one or more pieces of source pattern information to the original source stored in the original source storage unit 111, and finds a place where a part of two or more loops overlap. The program corresponding to the location is changed to a program in another language indicating a loop that does not have a jump instruction, giving priority to one loop that satisfies a predetermined condition.

Here, the predetermined conditions are, for example, the following two (1) and (2).
(1) The bottom is the loop farthest from the starting point.

  In the case of this condition, if there are a plurality of loops, the readability improvement processing unit 1221 gives priority to the loop whose bottom is far from the starting point, and rewrites the portion of the priority loop with a program of a loop in another language. Eliminate jump instructions from loop locations. This is to improve the readability of the program by avoiding jumping into the loop as much as possible when there is a complicated structure. In this case, jumping out of the loop is permitted.

Here, the starting point is the first instruction (also referred to as a line) or a basic block of a program group including a plurality of loops. The bottom is the last instruction (also referred to as a line) or basic block of a program group including a plurality of loops. Furthermore, the loop program in another language is, for example, a program using “while” or “for” in the case of C language.
(2) When there are a plurality of loops having the same bottom, the top of the loop is the loop closest to the starting point.

  In the case of this condition, if there are a plurality of loops having the same bottom, the readability improvement processing unit 1221 gives priority to the loop whose top is closest to the starting point, and rewrites the place of the priority loop to a loop program in another language. The jump instruction is eliminated from the location of the priority loop.

  By performing the migration processing corresponding to this condition, not only the readability is improved, but also the processing is performed from the outer loop, and the entire calculation amount is reduced.

  (B) Hereinafter, a specific example of the second readability improving process will be described. Examples of the second readability improvement process are the following two (B-1) to (B-2).

  (B-1) This is a case where the range condition is a condition for determining the range of a program that cannot be executed. In such a case, the readability improvement processing unit 1221 statically analyzes the original source, identifies a program corresponding to the matching range condition, and deletes the program.

  (B-2) This is a case where the range condition is a condition for specifying a variable. In such a case, the readability improvement processing unit 1221 acquires a variable from the original source or the target source, acquires a life span of the variable, and performs readability improvement processing that defines the variable as a local variable in the life span.

  Note that the readability improvement processing unit 1221 identifies one or more basic blocks that appear for one variable that appears in the original source or the target source, for example. Then, the readability improvement processing unit 1221 defines the identified one or more basic blocks as one function. Then, the readability improvement processing unit 1221 defines the one variable before the instruction of the one function. For example, when the other language to be converted is C language, the readability improvement processing unit 1221 obtains, for example, “function_name () {one or more variable definitions; one or more basic block converted instruction sequence;}”, for example. To do. Note that “function_name” is a function name, and it is preferable that the function name generated by the readability improvement processing unit 1221 based on a predetermined rule. The “one or more variable definitions” are, for example, “char variable name;” “int variable name;”, etc., and the readability improvement processing unit 1221 acquires the variable type and variable name according to the C language grammar. And describe. The variable name is preferably determined based on a predetermined rule.

  The output unit 13 outputs the target source obtained by conversion by the conversion unit 122. Further, when there is an assembler program that cannot be converted, the output unit 13 may output an error indicating that there is an assembler program that cannot be converted. Here, the output is usually accumulation in a recording medium, but display on a display, projection using a projector, printing with a printer, sound output, transmission to an external device, other processing devices and others This is a concept that includes delivery of processing results to other programs.

  The storage unit 11, the original source storage unit 111, the location specifying condition storage unit 112, and the conversion information storage unit 113 are preferably non-volatile recording media, but can also be realized by volatile recording media.

  The process in which information is stored in the storage unit 11 or the like is not limited. For example, information may be stored in the storage unit 11 or the like via a recording medium, information transmitted via a communication line or the like may be stored in the storage unit 11 or the like, Alternatively, information input via the input device may be stored in the storage unit 11 or the like.

  The processing unit 12, the assembler program acquisition unit 121, the conversion unit 122, the readability improvement processing unit 1221 and the output unit 13 can be usually realized by an MPU, a memory, or the like. The processing procedure of the processing unit 12 or the like is usually realized by software, and the software is recorded on a recording medium such as a ROM. However, it may be realized by hardware (dedicated circuit).

  The output unit 13 may be considered to be realized by, for example, driver software for an output device or driver software for an output device and an output device.

  Next, the operation of the migration apparatus 1 will be described using the flowchart of FIG.

  (Step S201) The assembler program acquisition unit 121 acquires an assembler program from the original source stored in the original source storage unit 111.

  (Step S202) The conversion unit 122 performs a static analysis process on the assembler program acquired in Step S201. The static analysis process will be described with reference to the flowchart of FIG.

  (Step S203) The conversion unit 122 substitutes 1 for the counter i.

  (Step S204) The conversion unit 122 determines whether or not the i-th basic block exists. If the i-th basic block exists, the process goes to step S205. If the i-th basic block does not exist, the process ends.

  (Step S205) The readability improvement processing unit 1221 substitutes 1 for the counter j.

  (Step S <b> 206) The readability improvement processing unit 1221 determines whether or not the j-th location specifying condition exists in the location specifying condition storage unit 112. If the j-th location specifying condition exists, the process goes to step S207; otherwise, the process goes to step S213.

  (Step S207) The readability improvement processing unit 1221 acquires the j-th location specifying condition from the location specifying condition storage unit 112.

  (Step S208) The readability improvement processing unit 1221 determines whether or not the i-th basic block matches the j-th location specifying condition. If they match, go to step S209; otherwise, go to step S212. It should be noted that even if some assembler programs of the i-th basic block match the j-th location specifying condition, the i-th basic block also matches the j-th location specifying condition. In addition, even if all or part of the intermediate representation (which may be called intermediate code) converted from the assembler program of the i-th basic block matches the j-th location specifying condition, the i-th basic block is Assume that the jth location specifying condition is met.

  (Step S209) The readability improvement processing unit 1221 performs a process corresponding to the jth location specifying condition for a location that matches the jth location specifying condition, and executes a program in another language corresponding to the matched location. get.

  (Step S210) The readability improvement processing unit 1221 determines whether or not all the i-th basic block has been converted into a program in another language. If all the i-th basic blocks have been converted, the process goes to step S211. If the i-th basic block includes an unconverted part, the process goes to step S212.

  (Step S211) The converter 122 increments the counter i by one. The process returns to step S204.

  (Step S212) The readability improvement processing unit 1221 increments the counter j by 1. The process returns to step S206.

  (Step S213) The conversion unit 122 substitutes 1 for the counter k.

  (Step S214) The conversion unit 122 determines whether or not the k-th conversion information exists in the conversion information storage unit 113. If the k-th conversion information exists, the process goes to step S215. If the k-th conversion information does not exist, the process goes to step S219.

  (Step S215) The conversion unit 122 determines whether or not the i-th basic block corresponds to the k-th conversion information. If the i-th basic block corresponds to the k-th conversion information, the process goes to step S216; otherwise, the process goes to step S218. The fact that the i-th basic block corresponds to the k-th conversion information means that the ith basic block includes at least a part of an assembler program that matches the assembler pattern information included in the conversion information.

  (Step S216) Using the kth conversion information, the conversion unit 122 converts the assembler program corresponding to the kth conversion information into a program in another language. The conversion unit 122 acquires, for example, an assembler program corresponding to the kth conversion information, using another language pattern information included in the kth conversion information, and a program in another language.

  (Step S217) The conversion unit 122 determines whether conversion of all assembler programs included in the i-th basic block has been completed. When the conversion of the i-th basic block is completed, the process goes to step S211, and when the conversion is not completed, the process goes to step S218.

  (Step S218) The converter 122 increments the counter k by 1. The process returns to step S214.

  (Step S219) The output unit 13 outputs an error indicating that there is a program that cannot be converted in the i-th basic block.

  In the flowchart of FIG. 2, when the source source includes a program in another language other than the assembler language, it is preferable to convert the program in the other language for migration. Such conversion processing can be performed using, for example, known techniques described in Japanese Patent No. 4354514, Japanese Patent No. 4698943, Japanese Patent No. 5124660, Japanese Patent No. 5253115, and the like.

  Next, an example of the static analysis process in step S202 will be described using the flowchart of FIG. Here, the static analysis process is a process for determining a range of basic blocks, a process for generating a link between basic blocks, and a process for specifying a location of a program that cannot be executed.

  (Step S301) The conversion unit 122 substitutes 1 for the counter i and 1 for the counter j.

  (Step S302) The conversion unit 122 determines whether there is an i-th instruction that can be executed next, which is an instruction in the assembler program acquired in Step S201. If the i-th instruction exists, the process goes to step S303, and if the i-th instruction does not exist, the process goes to step S311.

  (Step S303) The conversion unit 122 determines whether or not the i-th instruction is a branch instruction. If it is a branch instruction, the process goes to step S307, and if it is not a branch instruction, the process goes to step S304.

  (Step S304) The conversion unit 122 determines whether there is a possibility of branching from another instruction with respect to the i-th instruction (whether there is an instruction specified as a jump destination). to decide. If there is a possibility of branching from another instruction, the process goes to step S307, and if there is no possibility of branching from another instruction, the process goes to step S305.

  (Step S305) The conversion unit 122 places the i-th in the buffer. The buffer is a work storage area for creating a basic block.

  (Step S306) The conversion unit 122 increments the counter i by 1. The process returns to step S302.

  (Step S307) The conversion unit 122 performs a process of setting one or more instruction groups in the buffer as the jth basic block. Such processing includes, for example, adding “j” to one or more instructions constituting a basic block, linking “j”, or distinguishing one or more instructions constituting a basic block from others. Or storing it in If there is no instruction in the buffer, no processing is performed and the process returns to step S305.

  (Step S308) When there is a link destination from the jth basic block, the conversion unit 122 adds the identifier of the basic block of the link destination to the jth basic block. Such processing may be anything as long as it constitutes information that can determine the control flow between basic blocks.

  (Step S309) The conversion unit 122 deletes the instruction group in the buffer.

  (Step S310) The converter 122 increments the counter j by 1. The process returns to step S305.

  (Step S311) The conversion unit 122 attaches a flag indicating unprocessed to an unprocessed instruction (location). An unprocessed instruction is an instruction that cannot be executed. Further, there is a possibility that an unprocessed instruction does not exist, and in this case, this step is not executed. Return to upper process. In the flowchart of FIG. 3, it is preferable that the readability improvement processing unit 1221 deletes the assembler program at a location with a flag indicating unprocessed.

  Also, the static analysis process shown in the flowchart of FIG. 3 is an example. The process of determining the basic block range, the process of generating a link between the basic blocks, and the location of the program that cannot be executed by different algorithms. You may perform the process for specifying.

  Hereinafter, a specific operation of the migration apparatus 1 in the present embodiment will be described. Now, the migration target assembler program is the IBM assembler. The target language program is a C language program.

In this situation, the migration apparatus 1 will be described below using four specific examples.
(Specific example 1)

  Specific example 1 is a specific example of the first readability improving process and the second readability improving process. Specific Example 1 is a case where the source pattern information includes information indicating a dummy section and includes information indicating a save code and a return code. In the first specific example, a case where the range condition is a condition for determining the range of a program that cannot be executed will be described. That is, the specific example 1 corresponds to the above (A-1), (A-4), and (B-1).

  Assume that the original source storage unit 111 stores the original source shown in FIG. The original source is part of an assembler language program.

  Further, it is assumed that the location specifying condition storage unit 112 stores the location specifying condition management table shown in FIG. The location specifying condition management table stores one or more records having “ID”, “location specifying condition”, and “conversion information”. “ID” is information for identifying a record. The “location specifying condition” is information for specifying a conversion target location for performing the readability improving process. The “location specifying condition” may include a “start condition” and an “end condition”. The “start condition” is a condition for specifying the start location of the location that matches the “location specifying condition”. The “end condition” is a condition for specifying the end location of the location that matches the “location specifying condition”. That is, the range between the location that matches the “start condition” and the location that matches the “end condition” is the range specified by the “location specifying condition”. Further, the “location specifying condition” may be only one condition. The “conversion information” may include “assembler” and “other language”. “Assembler” and “other language” mean to generate another language corresponding to “other language” for an instruction or definition that matches “assembler” within the range specified by “location specifying condition”. . The “conversion information” may be information describing processing for change.

  In FIG. 5, “$ 1” of the start condition “$ 1 'DSECT'” of “ID = 1” matches all character strings. That is, for example, the assembler program “PKTDSECT DSECT” matches the start condition “$ 1 'DSECT'”. The end condition of “ID = 1” “CSECT” or “DCECT” or “COM” or “DXD” or “END” or the end of the program is the character string “CSECT” or the character string “DSECT” or the character string. True if it matches "COM" or the string "END" or is at the end of the program. Furthermore, [1-99] of the assembler “$ 2 'DS' 'PL' [1-99]” is any number from 1 to 99, and “$ 2 'DS' 'PL' [1-99” ] "Matches, for example," PKT00 DS PL8 ". The other language “'char' $ 2 ′ ['[1-99]']; '” indicates that “char PKT00 [8];” is generated, for example. Further, the location identification condition “'STM' number ',' number ',' $ 1" of “ID = 2” in FIG. 5 indicates that, for example, “STM 13,12, REGSAVEA” matches. That is, “$ 1” matches an arbitrary character string.

  Then, the conversion information of “ID = 2” in FIG. 5 indicates that the variable $ 1 is used for register saving for an instruction that matches “'STM” $ register number 1 ”,“ $ register number 2 ”,“ $ 1 ”. Among the registers specified by $ register number 1 to the register specified by $ register number 1 that point to the address, there is a register whose value is not defined (not used) before the matching instruction. If present, it indicates that an instruction in another language for saving the unused register is not generated. This is because the register is not used. In other words, the conversion information of “ID = 2” indicates that the variable $ 1 is saved in the register for the instruction matching “STM” $ register number 1 ”,“ $ register number 2 ”,“ $ 1 ”. Of the register specified by $ register number 1 to the register specified by $ register number 2, only the register whose value is defined (used) before the instruction Indicates generation of an instruction in another language for saving.

  In addition, the conversion information of “ID = 3” in FIG. 5 indicates that the variable $ 1 in “'LM' $ register number 3”, “$ register number 4”, “$ 1” points to the register saving address. And among registers specified by $ register number 3 to $ register number 4, if there is a register whose value is not referenced (not used) after the instruction, it is used. Indicates that no other language instruction that restores a register that has not been generated is generated. This is because the register is not used. In other words, the conversion information of “ID = 3” indicates that the variable $ 1 in “'LM' $ register number 3 ',' $ register number 4 ',' $ 1" indicates the register saving address. Return to only the register that is pointed to and whose value is referenced (used) after the instruction among the registers specified by $ register number 3 to $ register number 4 Indicates that an instruction in another language is performed.

  Based on the above, it is assumed that the migration apparatus 1 has started processing. Then, the assembler program acquisition unit 121 acquires the assembler program shown in FIG. 4 from the original source stored in the original source storage unit 111.

  Next, the conversion unit 122 performs a static analysis process on the acquired assembler program. Then, the conversion unit 122 divides the assembler program into basic blocks. Then, the readability improvement processing unit 1221 deletes the assembler program of the unprocessed instruction (location).

  Next, the conversion part 122 converts into C language for every basic block. That is, the readability improvement processing unit 1221 applies the location identification condition of “ID = 1” in FIG. 5 to the assembler program in FIG. 4 and detects a dummy section region that matches the location identification condition. Then, an instruction or definition that matches each “assembler” of the conversion information of “ID = 1” is converted into the C language using the corresponding “other language” information. Then, the readability improvement processing unit 1221 converts the definition of the dummy section of the assembler into the definition of the structure in C language. That is, the readability improvement processing unit 1221 generates the C language program 601 in FIG. 6 by using the assembler program at the position 401 in FIG. 4 and the information of the record of “ID = 1” in FIG.

  Next, the conversion unit 122 applies the location identification condition of “ID = 2” in FIG. 5 to the assembler program in FIG. 4 to detect a save code area. Then, the portion of the save code is deleted so as to match the conversion information of “ID = 2”. Here, it is assumed that the variable “REGSAVEA” is not used in the function in which the save code appears. That is, the readability improvement processing unit 1221 uses the information in the record of “ID = 2” in FIG. 5 as the assembler program at the location 402 in FIG. 4 and the C language program “BB1:;” in 602 in FIG. Is generated. “BB1:” is a label. Further, the conversion unit 122 generates “BB1:” according to a predetermined rule “generate labels at the beginning of all basic blocks”. For example, the conversion unit 122 holds the predetermined rule.

  Next, the conversion unit 122 applies the location identification condition of “ID = 3” in FIG. 5 to the assembler program in FIG. 4 to detect the return code area. The part of the return code is deleted so as to match the conversion information of “ID = 3”. Here, it is assumed that the variable “REGSAVEA” is not used in the function in which the return code appears. That is, the readability improvement processing unit 1221 uses the information in the record of “ID = 3” in FIG. 5 for the assembler program at the position 403 in FIG. 4 and the C language program “BB2:;” in 603 in FIG. Is generated. “BB2:” is a label. In addition, the conversion unit 122 generates “BB2:” according to a predetermined rule. For example, the conversion unit 122 holds the predetermined rule.

  Next, another example in which the source pattern information includes information indicating a save code will be described.

  Assume that one instruction of the assembler program included in the original source in the original source storage unit 111 is “STM 5, 8, SAVE”. This one instruction is an instruction for saving the contents of the register 8 from the register 5.

Then, the readability improvement processing means 1221 matches this one instruction with the location identification information “'STM' $ register number 1 ',' $ register number 2 ',' $ 1" of "ID = 2" in FIG. Judge. Then, the readability improvement processing unit 1221 converts this one instruction into, for example, an intermediate representation that saves the contents of the register 5 (r5), register 6 (r6), register 7 (r7), and register 8 (r8). This intermediate representation is, for example:
store (r5, SAVE);
tmp1 = SAVE + 4;
store (r6, tmp1);
tmp2 = SAVE + 8;
store (r7, tmp2);
tmp3 = SAVE + 12;
store (r8, tmp3);

  This intermediate expression is an instruction group that saves the values of the registers r5 to r8 without shifting by 4 bytes starting from the address indicated by the variable “SAVE”.

  Next, it is assumed that the readability improvement processing unit 1221 determines that, for example, only the register 5 among the registers 5 to 8 is used before the instruction “STM 5, 8, SAVE”.

  Next, the readability improvement processing unit 1221 generates a target source that saves only the value of the register 5 (r5) in the above intermediate representation. In other words, the readability improvement processing unit 1221 uses the above-described intermediate representation, the instruction group “tmp1 = SAVE + 4; store (r6, tmp1); tmp2 = SAVE + 8; (r7, tmp2); tmp3 = SAVE + 12; store (r8, tmp3); "is deleted. Then, the readability improvement processing unit 1221 obtains an intermediate expression “store (r5, SAVE);”.

Next, the readability improvement processing unit 1221 converts the intermediate expression “store (r5, SAVE);” into the target source “* (unit32_t *) SAVE = r5;”. Then, the readability improvement processing unit 1221 finally obtains an instruction “* (unit32_t *) SAVE = r5;” of the C language program.
(Specific example 2)

  Specific example 2 is also a specific example of the first readability improving process. Specific example 2 is a case where the source pattern information includes information indicating that the return has an offset. That is, the specific example 2 corresponds to the above (A-2).

  Assume that the assembler program included in the original source in the original source storage unit 111 is the assembler program shown in FIG. The instruction 701 in FIG. 7 is a call instruction for the subroutine PROC1. Reference numeral 701 is an instruction to save the return address (next instruction 702) in a register (register identified by 14) and jump to PROC1 in 705. Reference numeral 702 indicates a jump to a place where 8 bytes are added to the address (*) (instruction 704). Reference numeral 706 denotes a return instruction from the subroutine. An instruction 706 jumps to the address of register 14 + 4 (offset) (the position of the instruction 703).

  The storage unit 11 stores a conversion information management table shown in FIG. The conversion information management table has one or more records having “ID”, “location specifying condition”, “application condition”, and “conversion information”. “ID” is information for identifying a record. “Applied condition” is a condition to which “conversion information” is applied, and is a condition added to the location specifying condition. It can be said that the “applicable condition” is a condition further added to the location specifying condition. Also, the application condition “ID = 2” “when the final part of the subroutine of $ 4 is the location specifying condition of“ ID = 1 ”” means that the final part of the subroutine specified by the variable $ 4 is “B $ 1”. (, $ 2) ". In addition, in the conversion information of “ID = 2”, a character string including a $ label can correspond to an arbitrary label. For the $ label, the readability improvement processing unit 1221 generates a unique label for different character strings including the $ label. Two $ labels X are replaced with the same label.

  Then, the readability improvement processing unit 1221 determines that the instructions 701 to 704 in the assembler program in FIG. 7 match the location specifying condition of “ID = 2” in FIG.

  Further, the readability improvement processing unit 1221 determines that the subroutine after the instruction 705 in the assembler program in FIG. 7 matches the application condition of “ID = 2” in FIG.

  Then, the readability improvement processing unit 1221 applies the conversion information “ID = 2” in FIG. 8 to the instructions 701 to 706 in the assembler program in FIG. 7 to obtain the instructions 906 from the instructions 901 in FIG.

  Further, the readability improvement processing unit 1221 determines that the instruction 706 in the assembler program in FIG. 7 matches the location specifying condition of “ID = 1” in FIG.

  Then, the readability improving processing unit 1221 applies the conversion information “ID = 1” in FIG. 8 to the instruction 706 in the assembler program in FIG. 7 to obtain the instruction 907 and the instruction 908 in FIG.

As described above, the readability improvement processing unit 1221 applies one or more pieces of source pattern information to the original source (see FIG. 7), and includes a place including a return having an offset (the instruction 706 “B 4 (, 14) ”) was determined, and the program corresponding to the location could be changed to a program (see FIG. 9) indicating a branch (904 in FIG. 9) using the offset included in the program as a condition.
(Specific example 3)

  Specific example 3 is also a specific example of the first readability improving process. Specific example 3 is a case in which the source pattern information is pattern information for specifying the location of two or more instructions of the assembler that can be converted into a program of another language of one instruction. That is, the specific example 3 corresponds to the above (A-3).

  Now, the location specifying condition storage unit 112 holds the location specifying condition management table shown in FIG. The location specifying condition management table of FIG. 10 stores one or more records having “ID”, “source pattern information”, and “other language pattern information”. “ID” is information for identifying a record. “Source pattern information” is pattern information for specifying the location of two or more instructions of the assembler. “Other language pattern information” is information indicating a pattern of another language to be converted (here, C language).

  In FIG. 10, “$ 1” in the source pattern information of “ID = 1” is an arbitrary character string, and “$ variable” is information indicating an arbitrary variable or register. The length ($ 1) of the other language pattern information of “ID = 1” indicates the length of the character string $ 1.

  Further, “$ 2” in the source pattern information of “ID = 2” in FIG. 10 is an arbitrary character, and “$ variable” is information indicating an arbitrary variable or register.

  Further, each “$ variable” of the source pattern information of “ID = 3” and “ID = 4” in FIG. 10 is a different variable if the number after the variable is different.

  The original source storage unit 111 stores the assembler program shown in FIG. And

  In this case, the readability improvement processing unit 1221 determines that the portion 1101 in FIG. 11 matches the source pattern information of “ID = 1” in FIG. 10, and displays 1101 according to the other language pattern information of “ID = 1”. 12 to 1201 C language.

  Further, the readability improvement processing unit 1221 determines that the portion 1102 in FIG. 11 matches the source pattern information of “ID = 2” in FIG. 10, and sets 1102 in FIG. 12 according to the other language pattern information of “ID = 2”. To 1202 C language.

  Further, the readability improvement processing unit 1221 determines that the portion 1103 in FIG. 11 matches the source pattern information of “ID = 3” in FIG. 10, and changes 1103 according to the other language pattern information of “ID = 3”. To 1203 C language.

  Further, the readability improvement processing unit 1221 determines that the portion 1104 in FIG. 11 matches the source pattern information of “ID = 4” in FIG. 10, and sets 1102 in FIG. 12 according to the other language pattern information of “ID = 4”. To 1204 C language.

  As a result of the above processing, the readability improvement processing unit 1221 obtains the C language program of FIG. 12 from the assembler program of FIG.

  The readability improvement processing unit 1221 may convert the assembler program into an intermediate representation and configure a C language program from the intermediate representation. For example, the readability improvement processing unit 1221 converts the assembler 1101 in FIG. 11 (1301 in FIG. 13) into the intermediate representation 1 in 1302 in FIG. A diagram 1303 having a tree structure is 1303. Then, the readability improvement processing unit 1221 converts the 1303 tree structure into a 1304 tree structure of the intermediate representation 2. It is assumed that the storage unit 11 stores information for conversion between tree structures. The tree structure 1304 corresponds to the intermediate representation 2 1305. Then, the readability improvement processing unit 1221 converts the intermediate representation 2 of 1305 into a C language program of 1306. When the intermediate representation 1302 is converted into C language without converting between tree structures, a C language program 1307 is obtained.

Similarly, the readability improvement processing unit 1221 converts the assembler (1401) of 1102 in FIG. 11 into the intermediate representation 1 of 1402 in FIG. A diagram 1404 having a tree structure is 1403. Then, the readability improvement processing unit 1221 converts the tree structure 1403 into a tree structure 1404 of the intermediate representation 2. The tree structure 1404 corresponds to the intermediate representation 2 1405. Then, the readability improvement processing unit 1221 converts the intermediate representation 2 1405 into a C language program 1406. When 1402 is converted into C language, 1407 is obtained.
(Specific example 4)

  Specific example 4 is also a specific example of the first readability improving process. Specific example 4 is a case where the source pattern information includes information indicating that two or more loops formed by two or more jump instructions overlap each other. That is, the specific example 4 corresponds to the above (A-5).

  In addition, when a part where two or more loops formed by two or more jump instructions overlap each other exists in the assembler program, the conversion unit 122 (1) gives priority to the loop whose bottom is farthest from the starting point. ”, (2)“ If there are multiple loops with the same bottom, the top gives priority to the loop closest to the starting point ”gives priority to one loop, and this one loop is not a jump instruction, Change to a loop program.

  Now, it is assumed that the conversion unit 122 statically analyzes the assembler program and determines that the assembler program has a link relationship between a plurality of (here, four) basic blocks. Then, it is assumed that the conversion unit 122 has obtained information indicating links between the four basic blocks b1, b2, b3, and b4 illustrated in FIG. The link relationship between the basic blocks indicates the flow of processing between the basic blocks, and indicates that there is a branch when there are two or more links (arrows) that go out from one basic block. Also, 1501 and 1502 in FIG. 15 are links constituting a loop. In FIG. 15A, the loop 1502 is given priority in accordance with the condition of (1) “priority is given to the loop whose bottom is farthest from the starting point”. That is, the readability improvement processing unit 1221 rewrites the loop 1502 into a C language “for example” sentence, and eliminates the goto sentence. Note that the goto instruction constituting the link 1501 from the basic block b3 to b1 remains.

  More specifically, it is assumed that the assembler program to be converted is the program of FIG. In FIG. 16, L0 and L1 are labels. “BE L0” and “BE L1” are jump instructions. Instructions 1 to 8 are arbitrary instructions.

  Then, it is assumed that the conversion unit 122 statically analyzes the assembler program in FIG. 16 and the assembler program has acquired four basic blocks b1 to b4.

  Then, in the case of FIG. 16 where two or more loops overlap each other, the conversion unit 122 sets the block b4 as the bottom based on (1) “priority is given to the loop whose bottom is farthest from the starting point”. When the loop (the loop 1502 in FIG. 15) is prioritized, the conversion unit 122 acquires the program in FIG. Then, the goto statement 1601 constituting the loop with the block b3 as the bottom remains as it is. However, 1701 in FIG. 17A is a goto sentence that jumps out of the loop, and the degree of decrease in readability is low.

  On the other hand, in the case of FIG. 16 where two or more loops overlap each other, the converting unit 122 gives priority to the loop with the b3 block as the bottom (the loop 1501 in FIG. 15). 122 acquires the program of FIG. Then, the goto statement 1702 constituting the loop with the block b4 as the bottom remains as it is. Reference numeral 1702 in FIG. 17B is a goto statement that jumps into the loop, which is not desirable because it significantly reduces readability.

  Further, it is assumed that the conversion unit 122 statically analyzes an assembler program different from the above and determines that the assembler program has a link relationship between a plurality (four in this case) of basic blocks. Then, it is assumed that the conversion unit 122 has obtained information indicating links between the four basic blocks t1, t2, t3, and t4 illustrated in FIG. Also, 1801 and 1802 in FIG. 18 are links constituting a loop. In FIG. 18A, the loop 1801 is prioritized according to the condition of (2) “If there are multiple loops with the same bottom, the top gives priority to the loop closest to the starting point”. That is, the readability improvement processing unit 1221 rewrites the loop 1801 into a C language “for” sentence, for example, and eliminates the goto sentence. Note that the goto instruction constituting the link 1802 from the basic block t4 to t2 remains.

  More specifically, it is assumed that the assembler program to be converted is the program of FIG. In FIG. 19, L0 and L1 are labels. “BE L1” and “B L0” are jump instructions. Instructions 1 to 8 are arbitrary instructions.

  Then, it is assumed that the conversion unit 122 statically analyzes the assembler program in FIG. 19 and the assembler program has acquired four basic blocks t1 to t4.

  Then, in the case of FIG. 19 where two or more loops overlap each other, the conversion unit 122 is based on (2) “If there are multiple loops with the same bottom, the top gives priority to the loop closest to the starting point”. Thus, when priority is given to the loop with the t1 block at the top (the loop 1801 in FIG. 18), the conversion unit 122 acquires the program in FIG. And other goto statements in 2001 remain as they are. However, since the destination of the goto statement in FIG. 20A exists in the loop, the readability does not deteriorate much.

  On the other hand, if the conversion unit 122 gives priority to the loop (the loop 1802 in FIG. 18) with the top of the t2 block in the case of FIG. 122 acquires the program shown in FIG. And other goto statements in 2002 remain as they are. Since the destination of the goto sentence in FIG. 20B can be an arbitrary part of the program, it is necessary to search for the destination of the goto sentence from the entire program, and the readability is significantly reduced.

  When the conversion unit 122 converts all goto sentences into loops in other languages, the final conversion result is the same regardless of which t1 or t2 is selected as the top, as shown in FIG. However, the amount of calculation is smaller when t1 is selected at the top.

  As described above, according to this embodiment, when an assembler program is migrated, it is possible to generate a program in another language with high readability in consideration of maintainability.

  Further, according to the present embodiment, an assembler program that matches a predetermined pattern can be converted into a program in another language that has high maintainability in consideration of maintainability.

  Furthermore, according to the present embodiment, a range of locations satisfying a predetermined condition in the assembler program is identified, and in consideration of maintainability, a program in another language having high readability corresponding to the range is specified. Can be converted.

  Note that the processing in the present embodiment may be realized by software. Then, this software may be distributed by software download or the like. Further, this software may be recorded and distributed on a recording medium such as a CD-ROM. This also applies to other embodiments in this specification. Note that the software that implements the migration apparatus 1 in the present embodiment is the following program. That is, in this program, the computer-accessible recording medium is an assembler program written in an assembler language, and the program is stored in an original source storage unit that can store an original source that is a migration target program and the original source. A location specifying condition storage unit that can store one or more location specifying conditions that are conditions for specifying a location for performing processing for improving the readability of the computer, and a computer is stored in the original source storage unit A source unit that is a program in another language and converts it into a target source that is a target language program, and the converter converts the source source to function as an output unit that outputs the acquired target source The conversion unit is a program for the original source stored in the original source storage unit. The readability improving process, which is a process corresponding to the matching location specifying condition and improving the readability of the program, is applied to the location corresponding to the matching location specifying condition. A program that causes a computer to function as an improvement processing unit.

  Further, in the program, the location specifying condition is source pattern information that is information relating to a pattern of the program, and the readability improvement processing unit performs the above-described processing on the original source stored in the original source storage unit. Applying each of the above source pattern information, a process corresponding to the matching source pattern information is performed on a location corresponding to the matching source pattern information, and a readability improving process which is a process for improving the readability of the program is performed. As a thing, it is suitable that it is a program which functions a computer.

  Further, in the above program, the source pattern information includes information indicating a dummy section, and the readability improvement processing unit performs the one or more source patterns on the original source stored in the original source storage unit. It is preferable that the program is a program that causes a computer to function as a program that applies information, determines a location including a dummy section, and changes a program corresponding to the location to a program that defines a structure.

  Further, in the above program, the source pattern information includes information indicating that the return has an offset, and the readability improvement processing unit performs the above-described processing on the original source stored in the original source storage unit with respect to the source Applying each of the above source pattern information, determining a location including a return having an offset, and changing the program corresponding to the location to a program indicating a branch using the offset included in the program as a condition, It is preferable that the program functions a computer.

  Further, in the above program, the source pattern information is pattern information for specifying a location of two or more instructions of an assembler that can be converted into a program of another language of one instruction. The one or more pieces of source pattern information are applied to the original source stored in the original source storage unit, the location of the two or more instructions is determined, and the program corresponding to the location is replaced with one instruction. It is preferable that the program is a program that allows a computer to function as a program to be converted into a language program.

  Further, in the above program, the source pattern information includes information indicating a save code or a return code, and the readability improvement processing unit performs the one or more of the original source stored in the original source storage unit with respect to the original source. It is preferable to apply each source pattern information, determine the location of the save code or return code, and delete the program corresponding to the location from the original source or the target source, and to be a program that causes the computer to function. It is.

  In the above program, the source pattern information includes information indicating that two or more loops formed by two or more jump instructions overlap each other, and the readability improvement processing means includes the original source storage unit. The one or more source pattern information is applied to the original source stored in the file, the part where two or more loops overlap is determined, and the program corresponding to the part is determined in advance. It is preferable that a program that causes a computer to function as a program that gives priority to one loop that satisfies the conditions and changes to a program that indicates a loop that does not have a jump instruction.

  In the above program, the location specifying condition is a range condition that is a condition for specifying a range of locations that satisfy a predetermined condition in the original source, and the readability improvement processing means stores the source source storage. A process corresponding to the matching range condition for a portion corresponding to the matching range condition by applying each of the one or more range conditions to the original source stored in the section, and the readability of the program It is preferable that the program is a program that causes a computer to function as a process for improving readability, which is a process for improving the image quality.

  In the above program, the range condition is a condition for determining a range of the program that cannot be executed, and the readability improvement processing unit statically analyzes the original source and corresponds to the matching range condition. It is preferable that the program that causes the computer to function as the program that identifies the program to be deleted and deletes the program.

  In the above program, the range condition is a condition for specifying a variable, and the readability improvement processing unit acquires a variable from the original source or the target source, acquires a life span of the variable, It is preferable that the program causes a computer to function as a program for improving readability in which a variable is defined as a local variable in the life span.

  In the above program, the original source is a program having an assembler program and another language program that is a program in a language other than the assembler, and the computer is used as an assembler program acquisition unit that acquires the assembler program from the original source. Further, it is preferable that the conversion unit is a program that causes a computer to function as a program that converts the assembler program acquired by the assembler program acquisition unit into a target source.

  FIG. 22 shows the external appearance of a computer that executes the programs described in this specification and realizes the migration apparatus and the like of the various embodiments described above. The above-described embodiments can be realized by computer hardware and a computer program executed thereon. FIG. 22 is an overview diagram of the computer system 300, and FIG. 23 is a block diagram of the system 300.

  In FIG. 22, a computer system 300 includes a computer 301 including a CD-ROM drive, a keyboard 302, a mouse 303, and a monitor 304.

  23, in addition to the CD-ROM drive 3012, the computer 301 includes an MPU 3013, a bus 3014 connected to the MPU 3013 and the CD-ROM drive 3012, a ROM 3015 for storing a program such as a bootup program, and an MPU 3013. And a RAM 3016 for temporarily storing instructions of the application program and providing a temporary storage space, and a hard disk 3017 for storing the application program, the system program, and data. Although not shown here, the computer 301 may further include a network card that provides connection to a LAN.

  A program that causes the computer system 300 to execute the functions of the migration apparatus 1 or the like of the above-described embodiment may be stored in the CD-ROM 3101, inserted into the CD-ROM drive 3012, and further transferred to the hard disk 3017. Alternatively, the program may be transmitted to the computer 301 via a network (not shown) and stored in the hard disk 3017. The program is loaded into the RAM 3016 at the time of execution. The program may be loaded directly from the CD-ROM 3101 or the network.

  The program does not necessarily include an operating system (OS) or a third-party program that causes the computer 301 to execute the functions of the migration apparatus 1 according to the above-described embodiment. The program only needs to include an instruction portion that calls an appropriate function (module) in a controlled manner and obtains a desired result. How the computer system 300 operates is well known and will not be described in detail.

  Further, the computer that executes the program may be singular or plural. That is, centralized processing may be performed, or distributed processing may be performed.

  In each of the above embodiments, each process may be realized by centralized processing by a single device, or may be realized by distributed processing by a plurality of devices.

  The present invention is not limited to the above-described embodiments, and various modifications are possible, and it goes without saying that these are also included in the scope of the present invention.

  As described above, the migration apparatus according to the present invention has the effect of being able to generate a program in another language with high readability in consideration of maintainability when migrating an assembler program, and is useful as a migration apparatus or the like. is there.

DESCRIPTION OF SYMBOLS 1 Migration apparatus 11 Storage part 12 Processing part 13 Output part 111 Original source storage part 112 Location specific condition storage part 113 Conversion information storage part 121 Assembler program acquisition part 122 Conversion part 1221 Readability improvement processing means

Claims (13)

An assembler program written in an assembler language, an original source storage unit capable of storing an original source that is a program to be migrated, and
A location specifying condition storage that can store one or more location specifying conditions that are conditions for specifying a location for performing processing for improving the readability of the program with respect to the original source;
A conversion unit that converts the original source stored in the original source storage unit into a target source that is a program in another language and is a target language program;
An output unit for converting the conversion unit and outputting the acquired target source;
The converter is
The one or more location specifying conditions are applied to the original source stored in the original source storage unit, and the location corresponding to the matching location specifying condition is applied to the matching location specifying condition. A migration apparatus comprising readability improvement processing means for performing readability improvement processing, which is processing and processing for improving the readability of a program. The location specifying condition is source pattern information which is information related to a program pattern,
The readability improvement processing means includes:
The one or more pieces of source pattern information are applied to the original source stored in the original source storage unit, and the corresponding source pattern information corresponds to the corresponding source pattern information. The migration apparatus according to claim 1, wherein the migration apparatus performs a readability improvement process that is a process for improving the readability of a program. The source pattern information is
Including information indicating the dummy section,
The readability improvement processing means includes:
The one or more pieces of source pattern information are applied to the source source stored in the source source storage unit, a location including a dummy section is determined, and a structure corresponding to the program corresponding to the location is defined. The migration apparatus according to claim 2, wherein the migration apparatus is changed to a program. The source pattern information is
Contains information indicating that the return has an offset,
The readability improvement processing means includes:
The one or more source pattern information is applied to the original source stored in the original source storage unit, a location including a return having an offset is determined, and a program corresponding to the location is assigned to the program. The migration apparatus according to claim 2, wherein the program is changed to a program indicating a branch using an included offset as a condition. The source pattern information is
It is pattern information for specifying the location of two or more instructions of the assembler that can be converted into a program of another language of one instruction.
The readability improvement processing means includes:
The one or more source pattern information is applied to the original source stored in the original source storage unit, the location of the two or more instructions is determined, and a program corresponding to the location is stored in one instruction. The migration apparatus according to claim 2, wherein the migration apparatus converts the program into another language program. The source pattern information is
Contains information indicating the evacuation code or return code,
The readability improvement processing means includes:
The one or more source pattern information is applied to the original source stored in the original source storage unit, the location of the save code or the return code is determined, and the program corresponding to the location is stored in the source source. The migration apparatus according to claim 2, wherein the migration apparatus is deleted from the target source. The source pattern information is
Including information indicating that a part of two or more loops formed by two or more jump instructions overlap,
The readability improvement processing means includes:
A program that applies the one or more pieces of source pattern information to the original source stored in the original source storage unit, determines a place where a part of two or more loops overlap, and corresponds to the place The migration apparatus according to claim 2, wherein a first loop satisfying a predetermined condition is prioritized and a program indicating a loop having no jump instruction is changed. The location specifying condition is a range condition that is a condition for specifying a range of locations that satisfy a predetermined condition in the original source,
The readability improvement processing means includes:
A process corresponding to the matching range condition for a portion corresponding to the matching range condition by applying each of the one or more range conditions to the source source stored in the source source storage unit The migration apparatus according to claim 1, wherein a readability improving process that is a process for improving the readability of the program is performed. The range condition is
It is a condition for determining the range of programs that cannot be executed,
The readability improvement processing means includes:
The migration apparatus according to claim 8, wherein the original source is statically analyzed, a program corresponding to the matching range condition is specified, and the program is deleted. The range condition is
It is a condition to specify the variable,
The readability improvement processing means includes:
The migration apparatus according to claim 8, wherein a variable is acquired from the original source or the target source, a life span of the variable is obtained, and readability improvement processing is performed to define the variable as a local variable in the life span. The original source is
A program having an assembler program and another language program which is a program in a language other than the assembler,
An assembler program acquisition unit for acquiring an assembler program from the original source;
The converter is
The migration apparatus according to any one of claims 1 to 10, wherein the assembler program acquired by the assembler program acquisition unit is converted into a target source. The recording medium is
An assembler program written in an assembler language, an original source storage unit capable of storing an original source that is a program to be migrated, and
A location specifying condition storage unit that can store one or more location specifying conditions that are conditions for specifying a location for performing processing for improving the readability of the program with respect to the original source;
A method of manufacturing a program that can be realized by a conversion unit and an output unit,
The conversion unit converts the original source stored in the original source storage unit into a target source which is a program in another language and is a target language program;
The output unit is a method for producing another language program comprising an output step of outputting the acquired target source after being converted in the conversion step,
The converter is
The one or more location specifying conditions are applied to the original source stored in the original source storage unit, and the location corresponding to the matching location specifying condition is applied to the matching location specifying condition. A method of manufacturing a program comprising a step of performing a readability improving process, which is a process for improving the readability of a program. Computer-accessible recording media
An assembler program written in an assembler language, an original source storage unit capable of storing an original source that is a program to be migrated, and
A location specifying condition storage unit that can store one or more location specifying conditions that are conditions for specifying a location for performing processing for improving the readability of the program with respect to the original source;
Computer
A conversion unit that converts the original source stored in the original source storage unit into a target source that is a program in another language and is a target language program;
A program for converting the conversion unit to function as an output unit that outputs the acquired target source,
The converter is
The one or more location specifying conditions are applied to the original source stored in the original source storage unit, and the location corresponding to the matching location specifying condition is applied to the matching location specifying condition. A program that causes a computer to function as a process that includes a readability improvement processing unit that performs a readability improvement process that is a process that improves the readability of a program.

Images