diff --git a/docs/LangRef.html b/docs/LangRef.html index 9ab62c03492..7858e6373d3 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -48,6 +48,7 @@
Any memory access must be done though a pointer value associated +with with 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.
+ +Consequently, type-based alias analysis, aka TBAA, aka +-fstrict-aliasing, is not applicable to general unadorned +LLVM IR. Metadata may be used to encode +additional information which specialized optimization passes may use +to implement type-based alias analysis.
+ +