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

[hfinkel@anl.gov via llvm-commits]

hfinkel added a subscriber: hfinkel.

================
Comment at: lib/Transforms/Scalar/JumpThreading.cpp:909
@@ -874,1 +908,3 @@
+    }
+  }
 
----------------
Don't you need to update CurrentPred in this loop in order to continue the search?


http://reviews.llvm.org/D13972