From 55e459aa7508fb7f7de89886060f5fb5526efa44 Mon Sep 17 00:00:00 2001 From: Andreas Bolka Date: Wed, 29 Jul 2009 00:02:05 +0000 Subject: Fix a few typos and add links. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@77403 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/LangRef.html | 34 +++++++++++++++++++--------------- 1 file changed, 19 insertions(+), 15 deletions(-) (limited to 'docs') diff --git a/docs/LangRef.html b/docs/LangRef.html index adc5d9a143..e3e710be6b 100644 --- a/docs/LangRef.html +++ b/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 -- cgit v1.2.3