[PATCH] D29121: [Docs] Add LangRef documention for freeze instruction

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: llvm/docs/LangRef.rst:3318
-Additionally, undefined behavior occurs if a side effect *depends* on poison.
-This includes side effects that are control dependent on a poisoned branch.
 
----------------
nlopes wrote:
> jdoerfert wrote:
> > Why did we get rid of the side effect on poison is UB stuff here? In the absence of freeze this is still the case, isn't it?
> I'm not sure what the statement means. It doesn't seem to add extra useful information.
 > I'm not sure what the statement means. It doesn't seem to add extra useful information.

1) Assuming it is not wrong, why remove it with this diff?
2) Is there some other location that specifies that a side effect depending on poison is UB?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D29121/new/

https://reviews.llvm.org/D29121