diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-10-28 21:27:08 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-10-28 21:27:08 +0000 |
| commit | 13e63a2f21ebaf5f0b03b13d5e3deb630f37cfa9 (patch) | |
| tree | 84539eb2a2b90654d6bc1e46d0a416ffe5bea4a1 /llvm/lib/Support/ErrorHandling.cpp | |
| parent | a83b6cc17612485c0636d909f998edebae396eb3 (diff) | |
| download | bcm5719-llvm-13e63a2f21ebaf5f0b03b13d5e3deb630f37cfa9.tar.gz bcm5719-llvm-13e63a2f21ebaf5f0b03b13d5e3deb630f37cfa9.zip | |
[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
llvm-svn: 251557
Diffstat (limited to 'llvm/lib/Support/ErrorHandling.cpp')
0 files changed, 0 insertions, 0 deletions
