From 3f24afed5415fc4db2638d9031c8e10feb004f21 Mon Sep 17 00:00:00 2001 From: Bill Wendling Date: Sun, 31 Jul 2011 06:45:03 +0000 Subject: [PATCH] Fix some validation errors. llvm-svn: 136590 --- docs/LangRef.html | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) 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