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

Chandler Carruth via llvm-commits llvm-commits at lists.llvm.org
Wed Jun 15 16:04:32 PDT 2016

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)


More information about the llvm-commits mailing list