steven.zhang added a comment. Is it better to have the check before 'if (PDT->dominates(To, BB)) {' ? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D86864/new/ https://reviews.llvm.org/D86864