From 8ae4e24c674f693b2d39087ce5abc38a01c5472c 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. llvm-svn: 77403 --- llvm/docs/LangRef.html | 34 +++++++++++++++++++--------------- 1 file changed, 19 insertions(+), 15 deletions(-) (limited to 'llvm/docs/LangRef.html') diff --git a/llvm/docs/LangRef.html b/llvm/docs/LangRef.html index adc5d9a143f..e3e710be6b9 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 -- cgit v1.2.3