llvm-project

700b77b5 - [InstCombine] Don't sink if it would require dropping deref assumptions. (#166945)

[InstCombine] Don't sink if it would require dropping deref assumptions. (#166945) Currently sinking assumes in instcombine drops assumes if they would prevent sinking. Removing dereferenceable assumptions earlier on can inhibit vectorization of early-exit loops in practice. Special-case deferenceable assumptions so that they block sinking. This can be combined with a separate change to drop dereferencebale assumptions after vectorization: https://clang.godbolt.org/z/jGqcx3sbs PR: https://github.com/llvm/llvm-project/pull/166945