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

Philip Reames via llvm-commits llvm-commits at lists.llvm.org
Tue Sep 22 15:13:26 PDT 2015

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?



-------------- 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>

More information about the llvm-commits mailing list