diff --git a/docs/LangRef.html b/docs/LangRef.html index 82e895bec2b..916826aa462 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -83,6 +83,7 @@
blockaddress(@function, %block)
+ +The 'blockaddress' constant computes the address of the specified + basic block in the specified function, and always has an i8* type.
+ + +This value only has defined behavior when used as an operand to the + 'indbr' 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 + using the value as the operand to an inline assembly, but that is target + specific. +
+ +The 'indbr' instruction implements an indirect branch to a label within the current function, whose address is specified by - "address".
+ "address". Address must be derived from a blockaddress constant.