upsuper added a comment. I think the core algorithm looks correct now. I'll leave the code review to LLVM reviewers. Thanks. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D112913/new/ https://reviews.llvm.org/D112913