[PATCH] D45872: [DA] Enable -da-delinearize by default

[Dave Green via Phabricator via llvm-commits]

dmgreen updated this revision to Diff 149789.
dmgreen marked 4 inline comments as done.
dmgreen edited the summary of this revision.
dmgreen added a subscriber: tvvikram.
dmgreen added a comment.

Thanks for the comments. I've moved things around as a result of your suggestions.

I managed to create https://rise4fun.com/Z3/oCi2 for the change in GCD.ll, which seems to be able come up with valid solutions for both < and > in i (Providing N < 0 is valid). The ones in SymbolicSIV.ll seem wrong too.


https://reviews.llvm.org/D45872

Files:
  include/llvm/Analysis/DependenceAnalysis.h
  lib/Analysis/DependenceAnalysis.cpp
  test/Analysis/Delinearization/multidim_two_accesses_different_delinearization.ll
  test/Analysis/DependenceAnalysis/Banerjee.ll
  test/Analysis/DependenceAnalysis/Coupled.ll
  test/Analysis/DependenceAnalysis/DADelin.ll
  test/Analysis/DependenceAnalysis/ExactSIV.ll
  test/Analysis/DependenceAnalysis/GCD.ll
  test/Analysis/DependenceAnalysis/Invariant.ll
  test/Analysis/DependenceAnalysis/NonAffineExpr.ll
  test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll
  test/Analysis/DependenceAnalysis/Preliminary.ll
  test/Analysis/DependenceAnalysis/Propagating.ll
  test/Analysis/DependenceAnalysis/Separability.ll
  test/Analysis/DependenceAnalysis/StrongSIV.ll
  test/Analysis/DependenceAnalysis/SymbolicSIV.ll
  test/Transforms/LoopInterchange/interchange-insts-between-indvar.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D45872.149789.patch
Type: text/x-patch
Size: 38732 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180604/a0bbd48a/attachment.bin>