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

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

> Alternatively we could use an assume bundle with a dereferenceable attribute. But as a follow-up I would like to allow non-immediate size arguments, and this may not mesh well with the attribute.

I don't understand this bit. Using a non-immediate arguments for operand bundle assumes is generally okay.

I don't think we should introduce a new intrinsic if existing assume infrastructure covers it.

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