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

Eli Friedman via Phabricator via llvm-commits llvm-commits at lists.llvm.org
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





More information about the llvm-commits mailing list