diff options
author | Chris Lattner <sabre@nondot.org> | 2009-10-31 20:08:37 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2009-10-31 20:08:37 +0000 |
commit | 7d83ebcadd725d050cc58962e9b7c4312d676e7f (patch) | |
tree | efdb3c359fa548ada932f522239be84ab602df20 /docs | |
parent | e3246fc6ab4ae7599fa1b7aa1b37107a843b2032 (diff) | |
download | llvm-7d83ebcadd725d050cc58962e9b7c4312d676e7f.tar.gz llvm-7d83ebcadd725d050cc58962e9b7c4312d676e7f.tar.bz2 llvm-7d83ebcadd725d050cc58962e9b7c4312d676e7f.tar.xz |
Make blockaddress(@func, null) be valid, and make 'deleting a basic
block with a blockaddress still referring to it' replace the invalid
blockaddress with a new blockaddress(@func, null) instead of a
inttoptr(1).
This changes the bitcode encoding format, and still needs codegen
support (this should produce a non-zero value, referring to the entry
block of the function would also be quite reasonable).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85678 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
-rw-r--r-- | docs/LangRef.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index af0e5640c5..23c07c7076 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2176,11 +2176,13 @@ has undefined behavior.</p> Blocks</a></div> <div class="doc_text"> -<p><b><tt>blockaddress(@function, %block)</tt></b></p> +<p><b><tt>blockaddress(@function, %block)</tt></b><br> + <b><tt>blockaddress(@function, null)</tt></b></p> <p>The '<tt>blockaddress</tt>' constant computes the address of the specified basic block in the specified function, and always has an i8* type. Taking - the address of the entry block is illegal.</p> + the address of the entry block is illegal. The BasicBlock operand may also + be null.</p> <p>This value only has defined behavior when used as an operand to the '<a href="#i_indirectbr"><tt>indirectbr</tt></a>' instruction or for comparisons |