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

Michael Kruse via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sat Feb 4 08:20:17 PST 2017

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.


More information about the llvm-commits mailing list