[PATCH] D38403: [Polly][ScopBuilder][WIP] Introduce -polly-stmt-granularity=scalar-indep option.

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur added a comment.

In https://reviews.llvm.org/D38403#884413, @nandini12396 wrote:

> @Meinersbur : A quick q. Even if the split introduced new scalar dependences, wouldnt forward op tree pass take care of it?


ForwardOpTree cannot forward everything, only 'speculatable' instructions and loads that are known to not have changed.

Even though this might cover a large number of cases, I tried to get something that conservatively doesn't do anything worse than it was before. More aggressive strategies (such as splitting each write access into its own statement) can be implemented as well.


https://reviews.llvm.org/D38403