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

[Philip Reames via llvm-commits]

reames added a comment.

Can you give a bit of context on what the source level rule which implies global dereferenceability is?

The patch is presented looks mostly okay - I haven't gone through it carefully yet - but the motivation bothers me.  Having a condition load from something which isn't obviously dereferenceable (i.e. global, etc..) seems to imply we might be missing something.  i.e. why was it conditional at the source level to start with?


Repository:
  rL LLVM

http://reviews.llvm.org/D18738