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

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur updated this revision to Diff 92967.
Meinersbur added a comment.
Herald added a subscriber: sanjoy.

- Not all synthesizable values are affine (e.g. undef)
- Not all affine values are synthezizable (e.g. load-hoisted values)
- Addresses some of Tobias' comments.
- More test cases.
- Remove computeKnownFromRead, seems not to be useful here.

Note this currently miscompiles External\SPEC\CINT2006\401.bzip2, looking into it.


https://reviews.llvm.org/D31247

Files:
  include/polly/DeLICM.h
  include/polly/Support/VirtualInstruction.h
  lib/CMakeLists.txt
  lib/Support/GICHelper.cpp
  lib/Support/VirtualInstruction.cpp
  lib/Transform/DeLICM.cpp
  test/DeLICM/reduction_constant_selfconflict.ll
  test/DeLICM/reduction_looprotate.ll
  test/DeLICM/reduction_looprotate_affine.ll
  test/DeLICM/reduction_looprotate_gvnpre.ll
  test/DeLICM/reduction_looprotate_licm.ll
  test/DeLICM/reduction_looprotate_load.ll
  test/DeLICM/reduction_looprotate_loadhoist.ll
  test/DeLICM/reduction_looprotate_readonly.ll
  test/DeLICM/reduction_looprotate_synthesizable.ll
  test/DeLICM/reduction_overapproximate.ll
  unittests/DeLICM/DeLICMTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D31247.92967.patch
Type: text/x-patch
Size: 107785 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170324/745ff710/attachment.bin>