초록 ▼

Internal variables generated by a compiler are assigned to machine resources such as registers and memory by the resource assigning unit 11, and when the assembler code generation unit 18 has outputted an instruction sequence, the alias accessibility analyzing unit 19 registers memory access instruc

Internal variables generated by a compiler are assigned to machine resources such as registers and memory by the resource assigning unit 11, and when the assembler code generation unit 18 has outputted an instruction sequence, the alias accessibility analyzing unit 19 registers memory access instructions in the instruction sequence in the assigned resource information 14 according to whether the instructions have a possibility of access by alias. The assembler code optimization unit 20 refers to the assigned resource information 14 and performs optimization at assembler level, thereby reducing the program size and execution time of the instruction sequence.

대표청구항 ▼

[ What is claimed is:] [1.]1. An optimizing apparatus for optimizing a sequence of instructions obtained as a result of a compiler translating a source program composed of statements written in a programming language, wherein the compiler includes resource assigning means for assigning a plurality o

[ What is claimed is:] [1.]1. An optimizing apparatus for optimizing a sequence of instructions obtained as a result of a compiler translating a source program composed of statements written in a programming language, wherein the compiler includes resource assigning means for assigning a plurality of resources to a plurality of variables included in the statements of the source program, and classifying the plurality of variables into different types; and instruction generating means for generating a sequence of instructions based on the source program, and classifying the instructions of the generated sequence into a type which corresponds to any of the statements in the source program and a type which does not correspond to any of the statements in the source program, the optimizing apparatus comprising:extracting means for extracting memory access instructions from the sequence of instructions which specify a memory address as an access target;judging means for judging, each extracted memory access instruction, to determine whether the memory address specified as an access target by the memory access instruction corresponds to a variable which is accessed by an operation involving another variable in the source program, in accordance with the classification results of the resource assigning means and the instruction generating means;appending means for adding a mark, showing that there is no possibility of access by alias, to each extracted memory access instruction whose access target is judged as not being accessed by an operation involving another variable; andoptimizing means for referring to the marks appended by the appending means and optimizing the sequence of instructions.