Patent ID: 6045585
Filing Date: 2000-04-04
Classification: G06F

Abstract:
A method of determining alias information at the inter-compilation unit level of a compilation process for a computer program, comprising the steps of:(i) constructing sets of anti-alias information comprising the amalgamation of the complements of respective alias sets provided by a first stage of a compilation process, a shadow variable being assigned to each pointer induced alias;(ii) determining sets of inter-compilation unit alias information;(iii) determining refined sets of inter-compilation unit alias information by removing aliases included in the respective anti-alias sets;(iv) augmenting the determined sets of inter-compilation unit alias information to include shadow to shadow aliasing determined by adding any intersection of the refined sets of inter-compilation unit alias information for each shadow variable with the respective refined set of inter-compilation unit alias information;(v) reducing the resulting augmented sets of inter-compilation unit alias information by removing alias information in the respective anti-alias information sets to obtain final sets of inter-compilation alias information;(vi) generating a representation of said program based upon said final sets, and storing said representation in at least one file.