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

[Sanjoy Das via llvm-commits]

sanjoy updated this revision to Diff 38620.
sanjoy added a comment.

- fix bug pointed out by Hal, and add a test case that would've caught it


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.38620.patch
Type: text/x-patch
Size: 5127 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151028/8cfee27c/attachment.bin>