[PATCH] D21417: Fix Side-Conditions in SimplifyCFG for Creating Switches from InstCombine And Mask'd Comparisons

[Chandler Carruth via llvm-commits]

chandlerc added a comment.

(i'd love for David to handle the review here, he's much more familiar with using theorem provers to document the correctness here)


http://reviews.llvm.org/D21417