From: Bill Wendling Date: Sun, 31 Jul 2011 06:45:03 +0000 (+0000) Subject: Fix some validation errors. X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=0246bb77db748a0a21d78516b0a56c553a7f55a5;p=oota-llvm.git Fix some validation errors. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@136590 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/docs/LangRef.html b/docs/LangRef.html index ac527c4df55..9e1a1e44150 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