[PATCH] D138080: [LangRef] remove callbr references from Addresses of BasicBlock section
Nick Desaulniers via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Nov 15 17:07:22 PST 2022
nickdesaulniers created this revision.
nickdesaulniers added reviewers: nikic, efriedma, jyknight, void.
Herald added a subscriber: jdoerfert.
Herald added a project: All.
nickdesaulniers requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.
Since D129288 <https://reviews.llvm.org/D129288>, we no longer use BlockAddress constants as operands of
callbr.
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D138080
Files:
llvm/docs/LangRef.rst
Index: llvm/docs/LangRef.rst
===================================================================
--- llvm/docs/LangRef.rst
+++ llvm/docs/LangRef.rst
@@ -4286,14 +4286,13 @@
Taking the address of the entry block is illegal.
This value only has defined behavior when used as an operand to the
-':ref:`indirectbr <i_indirectbr>`' or ':ref:`callbr <i_callbr>`'instruction, or
-for comparisons against null. Pointer equality tests between labels addresses
-results in undefined behavior --- though, again, comparison against null is ok,
-and no label is equal to the null pointer. This may 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 reconstituted before the ``indirectbr`` or
-``callbr`` instruction.
+':ref:`indirectbr <i_indirectbr>`' or for comparisons against null. Pointer
+equality tests between labels addresses results in undefined behavior ---
+though, again, comparison against null is ok, and no label is equal to the null
+pointer. This may 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 reconstituted before
+the ``indirectbr`` instruction.
Finally, some targets may provide defined semantics when using the value
as the operand to an inline assembly, but that is target specific.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D138080.475638.patch
Type: text/x-patch
Size: 1500 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20221116/92fa5ce8/attachment.bin>
More information about the llvm-commits
mailing list