| commit | ee37e50003d1bebb189c694b7f88c377a29e242e | [log] [tgz] |
|---|---|---|
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | Wed Oct 28 21:27:08 2015 +0000 |
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | Wed Oct 28 21:27:08 2015 +0000 |
| tree | eb9242f9768d51394b1f07b2baa9d2fd81af4a19 | |
| parent | 79dc87fc1ed4270dcc72bf12aeb5aae9b9163041 [diff] |
[JumpThreading] Use dominating conditions to prove implications 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 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@251557 91177308-0d34-0410-b5e6-96231b3b80d8