Automatic program code generation in a compiler system for an instantiation of a generic program structure and based on formal parameters and characteristics of actual parameters

摘要

A compiler maintains a library of sharable program structures generated in response to instantiations of a generic program structure, along with characteristics of parameters which were used in generating the sharable program structure. In response to an instantiation of a generic program structure, the compiler generates information relating to the characteristics and usage of each parameter which are used in connection with the instantiation. The compiler then compares that information to the corresponding information associated with the sharable program structures in the library. If the library contains a sharable program structure whose parameter information compares satisfactorily, that sharable program structure is used in connection with further operations in connection with the instantiation. On the other hand, if the library does not contain such a sharable program structure, one is generated and stored in the library, along with the characteristics of the parameters used in its generation, for use in sharing with later instantiations. In addition, the just-generated sharable program structure is used in further operations in connection with the instantiation.