[PATCH] D29404: [ValueTracking] emit a warning when we detect a conflicting assumption (PR31809)

[Sanjay Patel via Phabricator via llvm-commits]

spatel updated this revision to Diff 86742.
spatel added a comment.

Patch updated:

1. Use newer OptimizationRemarkEmitter API (old API is not marked deprecated?)
2. Use OptimizationRemarkMissed().
3. Updated tests to include debug info so it appears in the CHECK lines.
4. Removed independent changes about invalidating the cache (https://reviews.llvm.org/rL293823).


https://reviews.llvm.org/D29404

Files:
  lib/Analysis/ValueTracking.cpp
  test/Transforms/InstSimplify/assume.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D29404.86742.patch
Type: text/x-patch
Size: 4212 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170201/b76911d1/attachment.bin>