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

[Sanjoy Das via llvm-commits]

sanjoy marked an inline comment as done.

================
Comment at: lib/Transforms/Scalar/JumpThreading.cpp:909
@@ +908,3 @@
+    }
+    CurrentBB = CurrentPred;
+    CurrentPred = CurrentBB->getSinglePredecessor();
----------------
Yes, I do need to update `CurrentPred`!  Fixed.


http://reviews.llvm.org/D13972