fix things pointed out by Dan!
authorChris Lattner <sabre@nondot.org>
Tue, 27 Oct 2009 21:19:13 +0000 (21:19 +0000)
committerChris Lattner <sabre@nondot.org>
Tue, 27 Oct 2009 21:19:13 +0000 (21:19 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85310 91177308-0d34-0410-b5e6-96231b3b80d8

docs/LangRef.html

index 916826aa462e924f5c833e03aa17bf3d041bc02a..949ffe6c29a9ceaa580fba9dd0eb29e5750e0732 100644 (file)
@@ -83,7 +83,7 @@
       <li><a href="#complexconstants">Complex Constants</a></li>
       <li><a href="#globalconstants">Global Variable and Function Addresses</a></li>
       <li><a href="#undefvalues">Undefined Values</a></li>
-      <li><a href="#blockaddress">Address of Basic Block</a></li>
+      <li><a href="#blockaddress">Addresses of Basic Blocks</a></li>
       <li><a href="#constantexprs">Constant Expressions</a></li>
       <li><a href="#metadata">Embedded Metadata</a></li>
     </ol>
@@ -2172,8 +2172,8 @@ has undefined behavior.</p>
 </div>
 
 <!-- ======================================================================= -->
-<div class="doc_subsection"><a name="blockaddress">Address of Basic
-    Block</a></div>
+<div class="doc_subsection"><a name="blockaddress">Addresses of Basic
+    Blocks</a></div>
 <div class="doc_text">
 
 <p><b><tt>blockaddress(@function, %block)</tt></b></p>
@@ -2186,7 +2186,12 @@ has undefined behavior.</p>
    '<a href="#i_indbr"><tt>indbr</tt></a>' instruction or for comparisons
    against null.  Pointer equality tests between labels addresses is undefined
    behavior - though, again, comparison against null is ok, and no label is
-   equal to the null pointer.  Some targets may provide defined semantics when
+   equal to the null pointer.  This may also be passed around as an opaque
+   pointer sized value as long as the bits are not inspected.  This allows
+   ptrtoint and arithmetic to be performed on these values so long as the
+   original value is reconsistituted before the <tt>indbr</tt>.</p>
+   
+<p>Finally, some targets may provide defined semantics when
    using the value as the operand to an inline assembly, but that is target
    specific.
    </p>