diff --git a/docs/LangRef.html b/docs/LangRef.html index 916826aa462..949ffe6c29a 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -83,7 +83,7 @@
blockaddress(@function, %block)
@@ -2186,7 +2186,12 @@ has undefined behavior. '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 + 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 indbr. + +Finally, some targets may provide defined semantics when using the value as the operand to an inline assembly, but that is target specific.