chandlerc added a comment. Rather than change the ordering, what about teaching SimplifyCFG's FoldValueComparisonIntoPredecessors logic to handle code in the pattern produced by FoldingBranchToCommonDest? That would seem like a good canonicalization change anyways. http://reviews.llvm.org/D21315