[LLVMdev] Dependence Analysis [was: Flow-Sensitive AA]

[Matthieu Delahaye]

> > 
> > I believe some low-level tests should actually not be implemented as a
> > separate Analysis but placed into Support. For instance, DeltaTest would
> > use GCD or other tests on a different set of indexes once constraints
> > are propagated. This means these tests are called on expressions that
> > are not necessarily present in the code itself.
> 
> This requires the GCD Analysis test to provide interface to evaluate expression on demand. SCEV also does the same thing.
> -
> Devang

The more I am thinking about it, the more I believe that putting these tests together is much
more complex than chaining them like it is done with the different AAs. To make my case, I'll have 
first to go through different surveys of existing memory dependence analysis and I'll get back
to the list with something more concrete.

Matthieu