[PATCH] D24716: [Polly] DeLICM/DePRE (WIP)

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur added a comment.

In https://reviews.llvm.org/D24716#666573, @grosser wrote:

> >> Do you have an example that makes clear why you need zones, and cannot just track the values / life ranges? That seems like an interesting test for isConflicting.
> > 
> > See file comment in DeLICM.cpp
>
> Could such an example be added to the tests of isConflicting that illustrates why such a merge would result in an incorrect / unprecise answer.


Could you suggest an `EXPECT(...)` line? I have no clue what kind of example you have in mind.


https://reviews.llvm.org/D24716