[LLVMdev] Dependence Analysis [was: Flow-Sensitive AA]
dpatel at apple.com
Fri Aug 29 12:25:18 PDT 2008
On Aug 29, 2008, at 10:15 AM, Matthieu Delahaye wrote:
> 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
> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev