[PATCH] D92698: Add recursive decomposition reasoning to isKnownNonEqual

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

In D92698#2435582 <https://reviews.llvm.org/D92698#2435582>, @nikic wrote:

> Could you add some tests for the BasicAA use case?

Tests for the basic aa extension will be in the patch for basicaa.    I could probably contrive a test case through the existing basic aa use of isKnownNonEqual, but it would take some thought.  Are you okay with me landing this as is, and then including supplemental tests in the next patch?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D92698/new/

https://reviews.llvm.org/D92698