[llvm-commits] [llvm] r113329 - in /llvm/trunk: include/llvm/Analysis/AliasAnalysis.h lib/Analysis/AliasAnalysis.cpp lib/Analysis/BasicAliasAnalysis.cpp

[Dan Gohman]

On Sep 7, 2010, at 10:22 PM, Nick Lewycky wrote:

> Dan Gohman wrote:
>> Author: djg
>> Date: Tue Sep  7 20:32:20 2010
>> New Revision: 113329
>> 
>> URL: http://llvm.org/viewvc/llvm-project?rev=113329&view=rev
>> Log:
>> Add a new experimental generalized dependence query interface to
>> AliasAnalysis, and some code for implementing the new query on top of
>> existing implementations by making standard alias and getModRefInfo
>> queries.
> 
> Hi Dan,
> 
> Are you sure you don't just want MemoryDependenceAnalysis? Your DependenceResult enum is much larger than memdep's MemDepResult, but in reality passes use I->mayWriteToMemory and the like to determine the extra info your pass puts in the result enum.

I'm thinking about porting MemoryDependenceAnalysis to use this new
interface, or something like it, instead of getModRefInfo. This would
give AliasAnslysis implementations, in particular TBAA, the ability
to look at both dereference instructions (to examine their metadata)
at the same time. 

Dan