asbirlea added a comment. Perhaps worth mentioning that the walker also does phi translation when walking defs upward. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D67612/new/ https://reviews.llvm.org/D67612