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

[whitequark via Phabricator via llvm-commits]

whitequark added a comment.
This revision now requires changes to proceed.

@sanjoy Since https://reviews.llvm.org/D20116 is in, is there any reason to avoid having a `!speculatable` on load instructions? It can be emulated anyway by defining a class of `@load.x` functions marked speculatable and their return value dereferenceable, so there is no loss of soundness.


Repository:
  rL LLVM

https://reviews.llvm.org/D18738