A method, apparatus and article of manufacture for performing alias refinement
is disclosed. Initially, a determination is made as to whether a load of an address
exists for a variable in an intermediate representation of the source code. If
a load of the address exists for the variable, a further determination is made
whether each use of the address is for an indirect reference of the variable. If
a particular use of the address is for an indirect reference of the variable, the
indirect reference is replaced with a direct reference in the intermediate representation.
If all uses of the address are for an indirect reference of the variable, the variable
is removed from an alias set used with the intermediate representation.
