[PATCH] D49872: [Polly][ScopDetect] Add option -polly-allow-nonaffine-read and enable by default.

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur created this revision.
Meinersbur added reviewers: grosser, philip.pfaffe, proton, bollu.
Meinersbur added a project: Polly.

Read-only non-affine memory reads are not as destructive to the schedulability of a SCoP as writes are. Typical use cases such as table lookups have no influence on how statements can be arranged relative to other statements in the SCoP. This patch allows non-affine read accesses by default, but non-affine writes will still be rejected unless the -polly-allow-nonaffine flag is passed.

Table lookups are common in codes that @proton is working on adding to LLVM's test-suite.


Repository:
  rPLO Polly

https://reviews.llvm.org/D49872

Files:
  lib/Analysis/ScopDetection.cpp
  test/Isl/CodeGen/two-loops-right-after-each-other-2.ll
  test/ScopDetect/allow-nonaffine-read.ll
  test/ScopDetect/multidim.ll
  test/ScopDetect/non-affine-loop.ll
  test/ScopDetect/parametric-multiply-in-scev-2.ll
  test/ScopDetectionDiagnostics/ReportMultipleNonAffineAccesses.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D49872.157561.patch
Type: text/x-patch
Size: 8220 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180726/b4f1ed3d/attachment.bin>