Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [ValueTracking] Improve isImpliedCondition when the dominating cond is false. | Chad Rosier | 2016-04-25 | 1 | -0/+50 |
| | | | | llvm-svn: 267430 | ||||
* | [ValueTracking] Improve isImpliedCondition for conditions with matching ↵ | Chad Rosier | 2016-04-19 | 1 | -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 implications | Sanjoy Das | 2015-10-28 | 1 | -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 |