summaryrefslogtreecommitdiffstats
path: root/llvm/test/Transforms/JumpThreading/implied-cond.ll
Commit message (Collapse)AuthorAgeFilesLines
* [ValueTracking] Improve isImpliedCondition when the dominating cond is false.Chad Rosier2016-04-251-0/+50
| | | | llvm-svn: 267430
* [ValueTracking] Improve isImpliedCondition for conditions with matching ↵Chad Rosier2016-04-191-0/+29
| | | | | | | | | | | | | | | operands. This patch improves SimplifyCFG to catch cases like: if (a < b) { if (a > b) <- known to be false unreachable; } Phabricator Revision: http://reviews.llvm.org/D18905 llvm-svn: 266767
* [JumpThreading] Use dominating conditions to prove implicationsSanjoy Das2015-10-281-0/+98
Summary: If P branches to Q conditional on C and Q branches to R conditional on C' and C => C' then the branch conditional on C' can be folded to an unconditional branch. Reviewers: reames Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D13972 llvm-svn: 251557
OpenPOWER on IntegriCloud