[polly] r298085 - [DependenceInfo] Remove idempotent union: must-writes with may-writes [NFC]

[Siddharth Bhat via llvm-commits]

Author: bollu
Date: Fri Mar 17 08:26:10 2017
New Revision: 298085

URL: http://llvm.org/viewvc/llvm-project?rev=298085&view=rev
Log:
[DependenceInfo] Remove idempotent union: must-writes with may-writes [NFC]

Since may-writes are always a superset of the must-writes, there is no
point in taking a union of one with the other.

Modified:
    polly/trunk/lib/Analysis/DependenceInfo.cpp

Modified: polly/trunk/lib/Analysis/DependenceInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/DependenceInfo.cpp?rev=298085&r1=298084&r2=298085&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/DependenceInfo.cpp (original)
+++ polly/trunk/lib/Analysis/DependenceInfo.cpp Fri Mar 17 08:26:10 2017
@@ -368,8 +368,7 @@ void Dependences::calculateDependences(S
 
       Flow = buildFlow(Read, Write, MayWrite, Schedule);
 
-      RAW = isl_union_flow_get_must_dependence(Flow);
-      RAW = isl_union_map_union(RAW, isl_union_flow_get_may_dependence(Flow));
+      RAW = isl_union_flow_get_may_dependence(Flow);
       isl_union_flow_free(Flow);
 
       Flow = buildFlow(Write, Write, Read, Schedule);