[PATCH] D35237: [ScopInfo] Simplify new access functions under domain context

[Tobias Grosser via Phabricator via llvm-commits]

grosser created this revision.
grosser added a project: Polly.

We do not keep domain constraints on access functions when building the
scop. Hence, for consistency reasons, it makes also sense to not include
them when storing a new access function. This change results in simpler
access functions that make output easier to read.

This patch also helps to make DeLICMed memory accesses to be understood by
our matrix multiplication pattern matching pass. Further changes to the
matrix multiplication pattern matching are needed for this to work, so the
corresponding test case will be added in a future commit.


https://reviews.llvm.org/D35237

Files:
  lib/Analysis/ScopInfo.cpp
  test/DeLICM/reduction.ll
  test/DeLICM/reduction_constant_selfconflict.ll
  test/DeLICM/reduction_looprotate_gvnpre.ll
  test/DeLICM/reduction_looprotate_hoisted.ll
  test/DeLICM/reduction_looprotate_licm.ll
  test/DeLICM/reduction_looprotate_load.ll
  test/DeLICM/reduction_looprotate_readonly.ll
  test/DeLICM/reduction_looprotate_synthesizable.ll
  test/DeLICM/reduction_looprotate_undef.ll
  test/DeLICM/reduction_overapproximate.ll
  test/DeLICM/reduction_preheader.ll
  test/Isl/CodeGen/MemAccess/map_scalar_access.ll
  test/ScheduleOptimizer/mat_mul_pattern_data_layout.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D35237.105977.patch
Type: text/x-patch
Size: 56027 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170711/2b72fbe6/attachment-0001.bin>