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*)
+
+