[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