Abstract: In one embodiment, disambiguation of memory references, such as structure field accesses, of a computer program is performed. Disambiguation may be effected by identifying pure pointer variables within the computer program and applying at least one disambiguation rule to memory references associated with the pure pointers to determine whether the references are disjoint.
Type:
Grant
Filed:
June 24, 2002
Date of Patent:
October 24, 2006
Assignee:
Intel Corporation
Inventors:
Rakesh Ghiya, Daniel Lavery, David Sehr