Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [ValueTracking] Improve isImpliedCondition when the dominating cond is false. | Chad Rosier | 2016-04-25 | 1 | -0/+50 |
* | [ValueTracking] Improve isImpliedCondition for conditions with matching opera... | Chad Rosier | 2016-04-19 | 1 | -0/+29 |
* | [JumpThreading] Use dominating conditions to prove implications | Sanjoy Das | 2015-10-28 | 1 | -0/+98 |