[llvm] [InstCombine] Don't sink if it would require dropping deref assumptions. (PR #166945)

[Yingwei Zheng via llvm-commits]

================
@@ -5413,6 +5413,18 @@ bool InstCombinerImpl::tryToSinkInstruction(Instruction *I,
         return false;
   }
 
+  // Do not sink if there are dereferenceable assumes that would be removed.
+  for (User *User : I->users()) {
----------------
dtcxzyw wrote:

Can we bail out this case in `getOptionalSinkBlockForInst`?

https://github.com/llvm/llvm-project/pull/166945