[PATCH] D17381: [Polly] [RFC] Fine-grain dependency analysis

[Hongbin Zheng via llvm-commits]

etherzhhb added a comment.

In http://reviews.llvm.org/D17381#359649, @Meinersbur wrote:

> Sven mentioned ``isl_union_flow_get_full_may_dependence``, which might be exactly what you need. From ISL documentation:
>
>   The relation returned by C<isl_union_flow_get_full_may_dependence>
>   relates domain elements of must or may sources to pairs of
>   domain elements of the sink and accessed data elements.
>   This relation includes the previous relation as a subset.
>


Yes and No, I had tried that out.

C<isl_union_flow_get_full_may_dependence> return memory reference level dependence info, it cannot return the access level dependence info.

Also, Instead of fitting everything into the dependence analysis pass, which will make the dependence analysis too complicated. I may introduce my own analysis pass by customizing the dependency analysis pass.


Repository:
  rL LLVM

http://reviews.llvm.org/D17381