[PATCH] D18738: Add new !unconditionally_dereferenceable load instruction metadata

[whitequark via llvm-commits]

whitequark added a comment.

@sanjoy Your example is being transformed as expected, from my POV. The idea is that an unconditionally dereferenceable load cannot be moved across a store that may-alias the pointer, and this lets one initialize it safely. Other than immediately after allocation, a pointer which is ever loaded like that must always be dereferenceable.


Repository:
  rL LLVM

https://reviews.llvm.org/D18738