Method for collection of memory reference information and memory disambiguation

A system comprising:

• a memory in which a plurality of machine instructions comprising a compiler and programming code corresponding to one or more source files are stored;
• and
• a processor coupled to the memory, executing the machine instructions to perform the functions of:
• determining memory objects corresponding to memory references in said one or more source files;
• creating a memory disambiguation token for each memory reference, each memory disambiguation token identifying information particular to the memory reference it is associated with so as to preserve high-level and intermediate-level semantic information
• creating a symbolic memory reference representation associated with each memory disambiguation token, including information on whether the memory reference is indirect or direct and access to symbol table information for a pointer to the memory object for indirect references or the memory object for direct references;
• and
• determining if potentially dependent memory references are dependent or independent based on information contained in the disambiguation tokens for those memory references and their associated symbolic memory reference representations.

An article of manufacture on which a plurality of machine instructions comprising a compiler are stored that upon execution of the machine instructions by a processor causes the functions to be performed, including:

• determining memory objects corresponding to memory references in said one or more source files;
• creating a memory disambiguation token for each memory reference, each memory disambiguation token identifying information particular to the memory reference it is associated with so as to preserve high-level and intermediate-level semantic information
• creating a symbolic memory reference representation associated with each memory disambiguation token, including information on whether the memory reference is indirect or direct and access to symbol table information for a pointer to the memory object for indirect references or the memory object for direct references;
• and
• determining if potentially dependent memory references are dependent or independent based on information contained in the disambiguation tokens for those memory references and their associated symbolic memory reference representations.