[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