Construction of a Compact Automation for the Translation of Register Transfers into Machine Instructions

摘要

In recent years a lot of research effort has been put into machine-independent codegeneration. A retargetable codegenerator in the style of Davidson and Fraser seemed interesting: the codegenerator uses a description of the target machine architecture to make code optimization algorithms machine-independent. The recognition and translation of register transfers is done using a (finite) automation constructed from the target machine description. The paper presents a method for the (automatic) construction of such an automation. Section 2 introduces the target machine description. Section 3 describes the construction of an automaton from the machine description. Section 4 deals with the inherent ambiguities in the target machine description. Section 5 demonstrates how register transfers are translated into machine code using the generated automaton. The last section lists some results.