[PATCH] D46201: [DA] Use SCEV to conclude DVEntry::EQ in some cases.

[Florian Hahn via Phabricator via llvm-commits]

fhahn updated this revision to Diff 149977.
fhahn added reviewers: philip.pfaffe, sanjoy.
fhahn added a comment.

Added IsNotLoopInvariant helper to make sure the expressions we are comparing are not loop invariant, to avoid deducing EQ for scalar dependencies.


https://reviews.llvm.org/D46201

Files:
  lib/Analysis/DependenceAnalysis.cpp
  test/Analysis/DependenceAnalysis/AA.ll
  test/Analysis/DependenceAnalysis/Banerjee.ll
  test/Analysis/DependenceAnalysis/GCD.ll
  test/Analysis/DependenceAnalysis/Invariant.ll
  test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll
  test/Analysis/DependenceAnalysis/PR21585.ll
  test/Analysis/DependenceAnalysis/Preliminary.ll
  test/Analysis/DependenceAnalysis/Propagating.ll
  test/Analysis/DependenceAnalysis/Separability.ll
  test/Analysis/DependenceAnalysis/Symbolic.ll
  test/Analysis/DependenceAnalysis/SymbolicRDIV.ll
  test/Analysis/DependenceAnalysis/WeakZeroSrcSIV.ll
  test/Transforms/LoopInterchange/currentLimitation.ll
  test/Transforms/LoopInterchange/loop-interchange-optimization-remarks.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D46201.149977.patch
Type: text/x-patch
Size: 35408 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180605/6d48fa3b/attachment.bin>