diff --git a/docs/GarbageCollection.html b/docs/GarbageCollection.html index 1508bcf2231..ccf9162600d 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 -

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 this relationship between the object and derived +pointer (although a plugin might). However, it would be +an unusual collector that violated it.

-

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.

+

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