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

[Sanjoy Das via llvm-commits]

sanjoy added a comment.

In our JIT, we do face a problem with the current notion of
`!dereferenceable` and LLVM dropping too often, but we have a
different solution for that.  When we hoist `!dereferenceable` out of
control flow we re-do a language specific analysis over the IR and
"heal" back the `!dereferenceable` metadata.  We do this for other
kinds of metadata as well, like `!range`.  Will something like that
work for you?


Repository:
  rL LLVM

http://reviews.llvm.org/D18738