G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 9/45 (2006.01)
Patent
CA 2081473
A compiler framework uses a generic "shell" or control and sequencing mechanism,and a generic back end (where the code generator is target-specific). The generic back end includes the functions of optimization, register and memory allocation, and code generation. The shell may be executed on various host computers, and the code generation function of the back end may be targeted for any of a number of computer architectures. A front end is tailored for each different source language, such as Cobol, Fortran, Pascal, C. C + +, Ada, etc. The front end scans and parses the source code modules, and generates from them an intermediate language ("IL") representation of the programs expressed in the source code. This IL is constructed to represent any of the source code languages in a universal manner, so the interface between the front end and back end is of a standard format, and need not be rewritten for each language-specific front end. The IL representation generated by the front end is based upon a tuple as the elemental unit, where each tuple represents a single operation to be performed, such as a load, a store, an add, a label, a branch, etc. A data structure is created by the front end for each tuple, with fields for various necessary information. One feature of the invention is a mechanism for representing effects and dependencies in the interface between front end and back end; a tuple has an effect if it writes to memory, and has a dependency if it reads from a location which some other node may write to. A mechanism independent of source language is provided for describing the effects of program execution. Another feature is the use in the optimization pan of the compiler of a method for analyzing induction variables, whre the improvement is to use the side effects sets used to construct IDEF sets. Another feature is a mechanism for "folding constants" (referred to as K-folding or a KFOLD routine), included as one of the optimizations. A further feature is the type definition mechanism, referred to as the TD module, which provides mechanisms used by the front end and the compiler of the back end in constructing program type information to be incorporated in an object module for use by a linker or debugger. Another feature is a method for doing code generation using code templates in a multipass manner.
Programme compilateur "framework" utilisant un système générique ou un mécanisme de régulation et de classement, et un processeur dorsal générique (pour lequel le générateur de code est spécifique au destinataire). Le processeur dorsal générique englobe les fonctions d'otpimisation, d'attribution de registre et de mémoire et de génération de code. Le système expert générique peut être réalisé sur divers ordinateurs centraux et la fonction génération de code du processeur dorsal peut être ciblée en fonction de l'une quelconque parmi plusieurs architectures d'ordinateur. Un processeur frontal est adapté à divers langages source, tels que le Cobolt, le Fortran, le Pascal, C, C++, Ada, etc. Le processeur frontal balaie et analyse les modules code source et élabore à partir de ceux-ci une représentation en langage intermédiaire ("IL") des programmes exprimés dans le code source. Cette représentation IL est conçue de manière à représenter l'un quelconque des langages code source de manière universelle de sorte que l'interface entre le processeur frontal et le processeur dorsal se présente sous une forme standard et n'est pas besoin d'être réécrite pour chaque processeur frontal ayant un langage spécifique. La représentation IL élaborée par le processeur frontal est basée sur un nuplet en tant qu'élément de base, dans lequel chaque nuplet représente une opération unique devant être exécutée - charge, mise en mémoire, addition, étiquettage, branchement, etc. Une structure de données est créée par le processeur frontal pour chaque nuplet, avec des champs pour diverses informations nécessaires. L'une des caractéristiques de l'invention réside dans son mécanisme de représentation des effets dépendances dans l'interface entre processeur frontal et processeur dorsal; un nuplet produisant un effet s'il écrit dans une mémoire et présentant une dépendance s'il lit d'un emplacement vers lequel un autre noeud peut écrire. Un mécanisme indépendant du langage source est prévu pour décrire les effets de l'exécution du programme. Une autre caractéristique réside dans l'utilisation, dans la partie optimisation du programme compilateur, d'une méthode d'analyse des variables d'induction, dans laquelle l'amélioration consiste à utiliser des ensembles d'effets secondaires utilisés pour élaborer des ensembles IDF. Une autre caractéristiques réside dans un mécanisme pour "repliages constants" (désigné par les termes "K-folding ou KFOLD routine"), constituant l'une des optimisations. Une autre caractéristique réside dans le mécanisme de définition de type, désigné "module TD", qui fournit des mécanismes utilisés par le processeur frontal et le programme compilateur du processeur dorsal dans les informations type de programme de construction devant être incorporées dans un module objet à l'usage d'un éditeur de lien ou d'un metteur au point. Une autre caractéristique est constituée par la méthode de génération de code d'instruction utilisant des gabarits de code selon un procédure multipasse.
Blickstein David Scott
Davidson Caroline Sweeney
Faiman Robert Neil Jr.
Grove Richard Barry
Hobbs Steven O.
Digital Equipment Corporation
Smart & Biggar
LandOfFree
Analyzing inductive expressions in a multilanguage... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Analyzing inductive expressions in a multilanguage..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Analyzing inductive expressions in a multilanguage... will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1976049