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 | b2c0e243c54574485a146a0eb96bb38883a6dc27 (patch) | |
| tree | 56d41454d4e0adc0e2b304b60200b8e1fb33f1d4 /llvm/docs/LangRef.html | |
| parent | 75ce573815262082666cc90bd87575557d588c01 (diff) | |
| download | bcm5719-llvm-b2c0e243c54574485a146a0eb96bb38883a6dc27.tar.gz bcm5719-llvm-b2c0e243c54574485a146a0eb96bb38883a6dc27.zip | |
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).
llvm-svn: 85678
Diffstat (limited to 'llvm/docs/LangRef.html')
| -rw-r--r-- | llvm/docs/LangRef.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/llvm/docs/LangRef.html b/llvm/docs/LangRef.html index af0e5640c5b..23c07c70761 100644 --- a/llvm/docs/LangRef.html +++ b/llvm/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 |
