From bffc86684e2d2742e6fb0757d8149189628d3760 Mon Sep 17 00:00:00 2001 From: Gordon Henriksen Date: Fri, 6 Mar 2009 02:42:47 +0000 Subject: Committing unsaved changes that should've been with r66237. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66242 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/GarbageCollection.html | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) (limited to 'docs/GarbageCollection.html') diff --git a/docs/GarbageCollection.html b/docs/GarbageCollection.html index 1508bcf223..ccf9162600 100644 --- a/docs/GarbageCollection.html +++ b/docs/GarbageCollection.html @@ -525,15 +525,14 @@ for completeness. In this snippet, %object is the object pointer, and ;; Compute the derived pointer. %derived = getelementptr %object, i32 0, i32 2, i32 %n +

LLVM does not enforce this relationship between the object and derived +pointer (although a plugin might). However, it would be +an unusual collector that violated it.

+

The use of these intrinsics is naturally optional if the target GC does -require the corresponding barrier. If so, the GC plugin will replace the -intrinsic calls with the corresponding load or store -instruction if they are used.

- -

LLVM does not enforce any particular relationship between the object and -derived pointer (although a plugin might). However, it -would be unusual that the derived pointer not be a getelementptr of the -object pointer.

+require the corresponding barrier. Such a GC plugin will replace the intrinsic +calls with the corresponding load or store instruction if they +are used.

-- cgit v1.2.3