diff options
author | Chris Lattner <sabre@nondot.org> | 2009-10-27 21:19:13 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2009-10-27 21:19:13 +0000 |
commit | f9d078e336ebf69e935007fc7d6aaf56bd2600c6 (patch) | |
tree | 444a99502f45e314a096b8b6f80c5caa0a374883 /docs/LangRef.html | |
parent | c6f44369c3bae08eadc95b883601d0f8a68aad57 (diff) | |
download | external_llvm-f9d078e336ebf69e935007fc7d6aaf56bd2600c6.zip external_llvm-f9d078e336ebf69e935007fc7d6aaf56bd2600c6.tar.gz external_llvm-f9d078e336ebf69e935007fc7d6aaf56bd2600c6.tar.bz2 |
fix things pointed out by Dan!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85310 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/LangRef.html')
-rw-r--r-- | docs/LangRef.html | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 916826a..949ffe6 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -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> |