[PATCH] D76931: [ValueLattice] Distinguish between constant ranges with/without undef.

Fri Mar 27 13:10:16 PDT 2020

efriedma added a comment.

> I didn't really get your example, could you maybe spell it out in more detail?

http://volta.cs.utah.edu:8080/z/i-K25Q

> Aligning the UB definitions for undef and poison seems like something that would make that work more straightforward, as we have less different semantics to deal with.

If they really align, without causing other problems, it might be okay, I guess.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76931