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

[hfinkel@anl.gov via llvm-commits]

hfinkel added a comment.

Also, while I'm generally not in favor of these "small search radius" optimizations, in this case, doing anything else would be a larger change because JumpThreading currently has no DominatorTree dependence. Thus, I'm okay with this as-is.


http://reviews.llvm.org/D13972