[PATCH] D29121: [Docs] Add LangRef documention for freeze instruction
Eli Friedman via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Jan 25 12:23:05 PST 2017
efriedma added inline comments.
================
Comment at: LangRef.rst:5408
+If "cond" is either ``undef`` or ``poison``, this instruction has
+undefined behavior.
----------------
majnemer wrote:
> efriedma wrote:
> > Does "switch" need a similar amendment?
> I think indirectbr would need it too.
indirectbr already says "All possible destination blocks must be listed in the label list, otherwise this instruction has undefined behavior", which implies that "indirectbr undef" is UB. Could be a bit more explicit, I guess.
https://reviews.llvm.org/D29121
More information about the llvm-commits
mailing list