[PATCH] D13972: [JumpThreading] Use dominating conditions to prove implications

[Sanjoy Das via llvm-commits]

sanjoy created this revision.
sanjoy added a reviewer: reames.
sanjoy added a subscriber: llvm-commits.

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.

http://reviews.llvm.org/D13972

Files:
  lib/Transforms/Scalar/JumpThreading.cpp
  test/Transforms/JumpThreading/implied-cond.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13972.38087.patch
Type: text/x-patch
Size: 4226 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151022/ad910a0b/attachment.bin>