[PATCH] D31247: [Polly][DeLICM] Known knowledge.

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur created this revision.
Meinersbur added a project: Polly.
Herald added subscribers: mgorny, mehdi_amini.

Extend the Knowledge class to store information about the contents of array elements and which values are written. Two knowledges do not conflict the known content is the same. The content information if computed from writes to and loads from the array elements, and represented by "ValInst": isl spaces that compare equal if the value represented is the same.

This patch contains changes that I try to commit independently (introduction of distributeDomain/removal of AllElements, VirtualUse(?)).


https://reviews.llvm.org/D31247

Files:
  include/polly/DeLICM.h
  include/polly/ScopInfo.h
  include/polly/Support/ISLTools.h
  include/polly/Support/VirtualInstruction.h
  lib/CMakeLists.txt
  lib/Support/GICHelper.cpp
  lib/Support/ISLTools.cpp
  lib/Support/VirtualInstruction.cpp
  lib/Transform/DeLICM.cpp
  test/DeLICM/reduction_known.ll
  test/DeLICM/reduction_overapproximate.ll
  unittests/DeLICM/DeLICMTest.cpp
  unittests/Isl/IslTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D31247.92654.patch
Type: text/x-patch
Size: 86550 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170322/f6347144/attachment.bin>