[PATCH] D13074: [InstSimplify] Fold simple known implications to true

[Philip Reames via llvm-commits]

reames created this revision.
reames added reviewers: majnemer, sanjoy.
reames added a subscriber: llvm-commits.

This was split off of http://reviews.llvm.org/D13040 to make it easier to test the correctness of the implication logic.  For the moment, this only handles a single easy case which shows up when eliminating and combining range checks.  In the (near) future, I plan to extend this for other cases which show up in range checks, but I wanted to make those changes incrementally once the framework was in place.

At the moment, the implication logic will be used by two places.  One in InstSimplify (this review) and two in SimplifyCFG (http://reviews.llvm.org/D13040 & http://reviews.llvm.org/D13070).  Can anyone think of other locations this style of reasoning would make sense?



http://reviews.llvm.org/D13074

Files:
  lib/Analysis/InstructionSimplify.cpp
  test/Transforms/InstSimplify/implies.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13074.35423.patch
Type: text/x-patch
Size: 3790 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150922/ea99a91d/attachment.bin>