search for: funtionaamanag

...implementations. The AA manager layer will be responsible for the delegation that is currently done through chaining of AA implementations. It will also be responsible for enforcing that queries at a particular layer don't violate IR unit abstraction boundaries. For example, you cannot query a FuntionAAManager for alias information of two Values from two different functions. # Why GlobalsModRef doesn't fit, and what we could do about it # There is a fundamental construct in GlobalsModRef that exists today, and seems somewhat useful, but which doesn't fit the above: using a global analysis of w...