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

[Dave Green via Phabricator via llvm-commits]

dmgreen updated this revision to Diff 144683.
dmgreen added a comment.

This attempts to statically prove that the subscripts found by delinearization will always be within bounds of the array dimensions calculated. It does not feel super powerful, and the idea of storing the bounds and using them in later calculations may be better. It also doesn't attempt to do anything like runtime-checks. It will hopefully make da-delin correct though.


https://reviews.llvm.org/D45872

Files:
  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/LoopExitingIV.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.144683.patch
Type: text/x-patch
Size: 35531 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180501/8ba60470/attachment.bin>