[PATCH] D24716: [Polly] DeLICM/DePRE (WIP)

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur updated this revision to Diff 84853.
Meinersbur added a comment.

- Rebase to r292213
- Remove known value analysis, from generating it, checking for conflicts and unit tests
- Keep only reduction_preheader.ll as the only working test case in this reduced patch.

Comments not updated for removed known value analysis.

Knowledge::Liftime/Written could be made sets, only their domains are used; this would propagate to everthing that passes a map to create Knowledge objects.

Unittests for isConflicting also still takes a 'Known' map.

This diff includes the polly-update-test script, not meant to be committed as part of the same commit.


https://reviews.llvm.org/D24716

Files:
  include/polly/DeLICM.h
  include/polly/Support/GICHelper.h
  lib/Analysis/ScopInfo.cpp
  lib/External/isl/imath/gmp_compat.c
  lib/Support/GICHelper.cpp
  lib/Support/RegisterPasses.cpp
  lib/Transform/DeLICM.cpp
  test/CMakeLists.txt
  test/DeLICM/pass_existance.ll
  test/DeLICM/reduction_preheader.ll
  test/ScopInfo/licm_load.ll
  test/ScopInfo/licm_potential_store.ll
  test/ScopInfo/licm_reduction.ll
  test/ScopInfo/licm_reduction_nested.ll
  test/ScopInfo/licm_store.ll
  test/update_check.py
  unittests/CMakeLists.txt
  unittests/DeLICM/CMakeLists.txt
  unittests/DeLICM/DeLICMTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D24716.84853.patch
Type: text/x-patch
Size: 181247 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170118/ca1621b5/attachment-0001.bin>