From 0246bb77db748a0a21d78516b0a56c553a7f55a5 Mon Sep 17 00:00:00 2001 From: Bill Wendling Date: Sun, 31 Jul 2011 06:45:03 +0000 Subject: Fix some validation errors. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@136590 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/LangRef.html | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'docs') diff --git a/docs/LangRef.html b/docs/LangRef.html index ac527c4df5..9e1a1e4415 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -1525,9 +1525,9 @@ any write to the same byte, except:

write2, and write2 happens before Rbyte, then Rbyte does not see write1. -
  • If Rbyte happens before write3, - then Rbyte does not see - write3. +
  • If Rbyte happens before + write3, then Rbyte does not + see write3.

    Given that definition, Rbyte is defined as follows: @@ -6161,6 +6161,8 @@ declare void @llvm.va_end(i8*) + +

    Accurate Garbage Collection Intrinsics -- cgit v1.2.3