[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 86974.
spatel added a comment.

Patch updated:

1. Given Eli's observation about the potential to hit this case validly, soften this back to a OptimizationRemarkAnalysis() and use wishy-washy words in the remark.
2. Add SimplifyInstructions dependency on OptimizationRemarkEmitter and stash the ORE pointer in the Query struct as suggested. I've tried to minimize the diffs by making the ORE an optional param, but this still seems to require a lot of code. If I understand correctly, we would have to do this for all passes that use value tracking and update all calls into value tracking to guarantee that a remark is printed.


https://reviews.llvm.org/D29404

Files:
  include/llvm/Analysis/InstructionSimplify.h
  include/llvm/Analysis/ValueTracking.h
  lib/Analysis/InstructionSimplify.cpp
  lib/Analysis/ValueTracking.cpp
  lib/Transforms/Utils/SimplifyInstructions.cpp
  test/Transforms/InstSimplify/assume.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D29404.86974.patch
Type: text/x-patch
Size: 12032 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170203/321cf58f/attachment.bin>