[PATCH] D101486: [Dependence Analysis] Enable delinearization of fixed sized arrays

[Artem Radzikhovskyy via Phabricator via llvm-commits]

artemrad created this revision.
artemrad added reviewers: Meinersbur, sebpop, fhahn, dmgreen, grosser, etiotto, bollu.
artemrad added a project: LLVM.
Herald added subscribers: bmahjour, hiraditya.
artemrad requested review of this revision.
Herald added a subscriber: llvm-commits.

Allow delinearization of fixed sized arrays if we can prove that the GEP indices do not overflow the array dimensions. The checks applied are similar to the ones that are used for delinearization of parametric size arrays. Make sure that the GEP indices are non-negative and that they are smaller than the range of that dimension.

Changes Summary:

- Updated the LIT tests with more exact values, as we are able to delinearize and apply more exact tests
- profitability.ll - now able to delinearize in all cases, no need to use `-da-disable-delinearization-checks` flag and run the test twice
- loop-interchange-optimization-remarks.ll - in one of the cases we are able to delinearize without using `-da-disable-delinearization-checks`


https://reviews.llvm.org/D101486

Files:
  llvm/lib/Analysis/DependenceAnalysis.cpp
  llvm/test/Analysis/DependenceAnalysis/Coupled.ll
  llvm/test/Analysis/DependenceAnalysis/Invariant.ll
  llvm/test/Analysis/DependenceAnalysis/Separability.ll
  llvm/test/Transforms/LoopInterchange/loop-interchange-optimization-remarks.ll
  llvm/test/Transforms/LoopInterchange/profitability.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D101486.341310.patch
Type: text/x-patch
Size: 8925 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210428/d369f9d2/attachment.bin>