[PATCH] D47854: [LangRef] Clarify semantics of load metadata.

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added inline comments.


================
Comment at: docs/LangRef.rst:7941
+program where the memory location is known to be dereferenceable;
+otherwise, the behavior is undefined.
 
----------------
Hello, I have a minor question - is undefined behavior raised at the point when the load is executed? I wonder whether load with !invariant.load can be hoisted out of a loop (as in Nuno's example), even if the loaded value is actually not invariant.


Repository:
  rL LLVM

https://reviews.llvm.org/D47854