[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