[llvm] [Intrinsics] Add @llvm.dereferenceable intrinsic. (PR #120755)

[Johannes Doerfert via llvm-commits]

jdoerfert wrote:

> The semantics match the meaning of the dereferenceable function argument attribute.

Which semantics? In tree assumes two different ones, see the old old globally_dereferancably discussion/patch.

I assume this is dereferanceable "here", not "globally", right?


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