[PATCH] D48481: [DA] Delinearise AddRecs if we can prove they don't wrap

[Dave Green via Phabricator via llvm-commits]

dmgreen created this revision.
dmgreen added reviewers: bcahoon, fhahn, sebpop, grosser, hfinkel, philip.pfaffe.
Herald added a subscriber: javed.absar.

We can prove that some delinearized subscripts do not wrap around to become
negative by the fact that they are from inbound geps of load/store locations.
This helps improve the delinearisation in cases where we can't prove that they
are non-negative from SCEV alone.


https://reviews.llvm.org/D48481

Files:
  include/llvm/Analysis/DependenceAnalysis.h
  lib/Analysis/DependenceAnalysis.cpp
  test/Analysis/DependenceAnalysis/DADelin.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D48481.152461.patch
Type: text/x-patch
Size: 3812 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180622/e4c6e11b/attachment.bin>