[llvm] [CodeGen] Mark mem intrinsic loads and stores as dereferenceable (PR #80184)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Wed Feb 7 06:15:56 PST 2024


arsenm wrote:

> (Having said that, I don't understand the point of the MODereferenceable flag. In IR `derefenceable` metadata is applied to the thing that creates the pointer, so you get UB at that point if it is _not_ dereferenceable. Applying it to the load/store that uses the pointer seems redundant, since they would always give UB anyway if the pointer is not dereferenceable.)

I thought the point was for code motion, which is kind of useless at the use point


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


More information about the llvm-commits mailing list