[PATCH] D42147: [Polly][ScopBuilder] Prefer PHI Write accesses in the statement the incoming value is defined.

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur created this revision.
Meinersbur added reviewers: grosser, nandini12396.
Meinersbur added a project: Polly.
Herald added a reviewer: bollu.

Theoretically, a PHI write can be added to any statement that represents the incoming basic block. We previously always chose the last because the incoming value's definition is guaranteed to be defined.

With this patch the PHI write is added to the statement that defines the incoming value. It avoids the requirement for a scalar dependency between the defining statement and the statement containing the write. As such the logic for -polly-stmt-granularity=scalar-indep that ensures that there is such scalar dependencies can be removed.


Repository:
  rPLO Polly

https://reviews.llvm.org/D42147

Files:
  lib/Analysis/ScopBuilder.cpp
  test/ScopInfo/granularity_scalar-indep_epilogue_last.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D42147.130064.patch
Type: text/x-patch
Size: 7372 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180117/e47e4746/attachment.bin>