ivanbaev added a comment. Thanks, Chad. Can we commit the patch at this point? It solves one DSE enhancement known for several years. I believe the patch has been thoroughly reviewed and tested. Ivan http://reviews.llvm.org/D13363