This is an archive of the discontinued LLVM Phabricator instance.

[Polly][ForwardOpTree] Reload know values.
ClosedPublic

Authored by Meinersbur on Oct 26 2017, 1:41 AM.

Details

Summary

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.

Diff Detail

Event Timeline

Meinersbur created this revision.Oct 26 2017, 1:41 AM
grosser accepted this revision.Oct 26 2017, 11:29 PM
This revision is now accepted and ready to land.Oct 26 2017, 11:29 PM
This revision was automatically updated to reflect the committed changes.