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

[Sanjoy Das via llvm-commits]

This revision was automatically updated to reflect the committed changes.
sanjoy marked an inline comment as done.
Closed by commit rL251557: [JumpThreading] Use dominating conditions to prove implications (authored by sanjoy).

Changed prior to commit:
  http://reviews.llvm.org/D13972?vs=38620&id=38688#toc

Repository:
  rL LLVM

http://reviews.llvm.org/D13972

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13972.38688.patch
Type: text/x-patch
Size: 5229 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151028/1ec3aa3f/attachment.bin>