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

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

In D76973#1947615 <https://reviews.llvm.org/D76973#1947615>, @jdoerfert wrote:

> 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.


There is a second condition which is that it should always yield the same value. I'll make this more explicit.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76973