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

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

In D76973#1948172 <https://reviews.llvm.org/D76973#1948172>, @fhahn wrote:

> We should probably also think about what to do with all the tests that contain branches on undef. Also, bugpoint should probably stop creating branches on undef with this spelled out as is?


We can make Alive2 automatically convert it to br (freeze undef), .. when running through unit tests, but making bugpoint directly print it will be helpful as well.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76973