[PATCH] D76973: [LangRef] Clarify the semantics of branch on undef

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

I don't like the way you say "non-frozen undef" but maybe it is just me. For me, a frozen value is neither undef nor poison, full stop.
I also don't like "expression containing undef" which could be interpreted as `and i1 false, undef`, though that one is an OK branch condition.



================
Comment at: llvm/docs/LangRef.rst:7068
+If '``cond``' is ``poison`` or ``undef``, this instruction has undefined
+behavior.
 
----------------
Do we have this for switch also?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76973