[Polly] [DependenceInfo] change WAR generation, Read will not block Read
commit6db977559d2adc5a419a3d0dabd9be4738de47cc
authorSiddharth Bhat <siddu.druid@gmail.com>
Mon, 24 Apr 2017 22:23:12 +0000 (24 22:23 +0000)
committerSiddharth Bhat <siddu.druid@gmail.com>
Mon, 24 Apr 2017 22:23:12 +0000 (24 22:23 +0000)
tree170fa29847cf58790281baa29ee1c289b6291151
parent023094b62682332a7c883bb4ad566f7b3689557c
[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

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@301266 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/DependenceInfo.cpp
test/DependenceInfo/different_schedule_dimensions.ll
test/DependenceInfo/do_pluto_matmult.ll
test/DependenceInfo/reduction_privatization_deps.ll