uenoku added a comment. I think the title should be more descriptive, like "improve noalias preservation using reachability" or something. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D71617/new/ https://reviews.llvm.org/D71617