alias analysis, adding caching and lazy computation of queries. This will be used in planned improvements to memory access optimizations. llvm-svn: 37958