Fix some validation errors.

llvm-svn: 136590
This commit is contained in:
Bill Wendling 2011-07-31 06:45:03 +00:00
parent 8a625cebd2
commit 3f24afed54

View File

@ -1525,9 +1525,9 @@ any write to the same byte, except:</p>
<var>write<sub>2</sub></var>, and <var>write<sub>2</sub></var> happens
before <var>R<sub>byte</sub></var>, then <var>R<sub>byte</sub></var>
does not see <var>write<sub>1</sub></var>.
<li>If <var>R<sub>byte</sub></var> happens before <var>write<sub>3</var>,
then <var>R<sub>byte</sub></var> does not see
<var>write<sub>3</sub></var>.
<li>If <var>R<sub>byte</sub></var> happens before
<var>write<sub>3</sub></var>, then <var>R<sub>byte</sub></var> does not
see <var>write<sub>3</sub></var>.
</ul>
<p>Given that definition, <var>R<sub>byte</sub></var> is defined as follows:
@ -6161,6 +6161,8 @@ declare void @llvm.va_end(i8*)
</div>
</div>
<!-- ======================================================================= -->
<h3>
<a name="int_gc">Accurate Garbage Collection Intrinsics</a>