[PATCH] Clarify wording in the LangRef around !invariant.load

Sanjoy Das sanjoy at playingwithpointers.com
Thu Nov 20 16:14:51 PST 2014


> To clarify that the invariant nature of a given pointer does not preclude the modification of that location through a pointer which is unrelated to the load operand. In particular, initializing a location and then passing a pointer through an opaque intrinsic which produces a new unrelated pointer, should behave as expected provided that the intrinsic is memory dependent on the initializing store.

Does this mean you cannot common loads for escaped memory over calls?  The call could have modified the pointed-to location using another pointer.

http://reviews.llvm.org/D6346






More information about the llvm-commits mailing list