[PATCH] D55107: Prototype BasicAA improvements for discussion on llvm-dev

[Markus Lavin via Phabricator via llvm-commits]

markus updated this revision to Diff 176776.
markus added a comment.

Did some more experiments, trying to clean up the code and make it more generic.
Instead of only determining if X != 0 (which is clearly not sufficient) try to produce a value range for the variable and use that.


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

https://reviews.llvm.org/D55107

Files:
  lib/Analysis/AssumptionCache.cpp
  lib/Analysis/BasicAliasAnalysis.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D55107.176776.patch
Type: text/x-patch
Size: 9450 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20181205/35bb9656/attachment.bin>