diff --git a/llvm/docs/LangRef.html b/llvm/docs/LangRef.html index adc5d9a143fe..e3e710be6b9a 100644 --- a/llvm/docs/LangRef.html +++ b/llvm/docs/LangRef.html @@ -1251,38 +1251,42 @@ target datalayout = "layout specification"
-

Any memory access must be done though a pointer value associated +

Any memory access must be done through a pointer value associated with an address range of the memory access, otherwise the behavior is undefined. Pointer values are associated with address ranges according to the following rules:

LLVM IR does not associate types with memory. The result type of a -load merely indicates the size and alignment of the memory from -which to load, as well as the interpretation of the value. The first -operand of a store similarly only indicates the size and -alignment of the store.

+load merely indicates the size and +alignment of the memory from which to load, as well as the +interpretation of the value. The first operand of a +store similarly only indicates the size +and alignment of the store.

Consequently, type-based alias analysis, aka TBAA, aka -fstrict-aliasing, is not applicable to general unadorned