[Polly] [DependenceInfo] change WAR generation, Read will not block Read
authorSiddharth Bhat <siddu.druid@gmail.com>
Mon, 24 Apr 2017 22:23:12 +0000 (22:23 +0000)
committerSiddharth Bhat <siddu.druid@gmail.com>
Mon, 24 Apr 2017 22:23:12 +0000 (22:23 +0000)
commit729377f06303485eea7c2e031af4eb7f13c0cb96
tree8c5f995835db4eb3ce2d403c6d93bd6908fb6644
parent8fb1efa4d040650d13d99168d9849c6690e3c051
[Polly] [DependenceInfo] change WAR generation, Read will not block Read

Earlier, the call to buildFlow was:
    WAR = buildFlow(Write, Read, MustWrite, Schedule).

This meant that Read could block another Read, since must-sources can
block each other.

Fixed the call to buildFlow to correctly compute Read. The resulting
code needs to do some ISL juggling to get the output we want.

Bug report: https://bugs.llvm.org/show_bug.cgi?id=32623

Reviewers: Meinersbur

Tags: #polly

Differential Revision: https://reviews.llvm.org/D32011

llvm-svn: 301266
polly/lib/Analysis/DependenceInfo.cpp
polly/test/DependenceInfo/different_schedule_dimensions.ll
polly/test/DependenceInfo/do_pluto_matmult.ll
polly/test/DependenceInfo/reduction_privatization_deps.ll