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

[Devang Patel]

On Aug 29, 2008, at 10:15 AM, Matthieu Delahaye wrote:

> Hi,
>
> On Fri, 2008-08-29 at 09:24 -0700, Devang Patel wrote:
> [...]
>> - Put various tests, DeltaTest, in lib/Analysis folder. The
>> transformation pass does not need to see these details.
>
>
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20080829/296fd718/attachment.html>