From f9d078e336ebf69e935007fc7d6aaf56bd2600c6 Mon Sep 17 00:00:00 2001
From: Chris Lattner
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.