llvm-project

8b8c59c3 - [Loads] Check if Ptr can be freed between Assume and CtxI. (#161255)

[Loads] Check if Ptr can be freed between Assume and CtxI. (#161255) When using information from dereferenceable assumptions, we need to make sure that the memory is not freed between the assume and the specified context instruction. Instead of just checking canBeFreed, check if there any calls that may free between the assume and the context instruction. Note that this also adjusts the context instruction to be the terminator in the loop predecessor, if there is one and it is a branch (to avoid things like invoke). PR: https://github.com/llvm/llvm-project/pull/161255