[llvm] [IR] LangRef: document behavior of double-lifetime.start (PR #184296)

[Ralf Jung via llvm-commits]

================
@@ -27726,15 +27726,18 @@ value.
 Semantics:
 """"""""""
 
-If ``ptr`` is a ``poison`` value, the intrinsic has no effect.
+If ``ptr`` is a ``poison`` value or not a pointer to a stack-allocated object,
----------------
RalfJung wrote:

Does... does IR well-formedness fix the algorithm that is used to approximate the undecidable property of whether the pointer could point to a non-stack-object? Because if it doesn't, IR validity could change when that algorithm (which is necessarily an approximation) is more or less precise, which seems... odd?

https://github.com/llvm/llvm-project/pull/184296