[PATCH] D39325: [Polly][ForwardOpTree] Reload know values.

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur created this revision.
Meinersbur added a project: Polly.
Herald added a reviewer: bollu.

For scalar accesses, change the access target to an array element that is known to contain the same value.

This may become an alternative to forwardKnownLoad which creates new loads (and therefore closer to forwarding speculatives). Reloading does not require the known value originating from a load, but can be a store as well.

The next level would be to materialize the known content's llvm::Value, if possible, without necessarily having any memory accessed at all.


https://reviews.llvm.org/D39325

Files:
  lib/Transform/ForwardOpTree.cpp
  test/ForwardOpTree/forward_store.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D39325.120372.patch
Type: text/x-patch
Size: 13213 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20171026/8857f7d8/attachment.bin>