[PATCH] D76611: [SCCP] Use ranges for predicate info conditions.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

If I'm understanding correctly, you're saying that SCCP doesn't care about the difference between constantrange and a hypothetical constantrangefromundef, therefore it's fine if the value is actually undef?  I guess that's reasonable.  But it would be more clear if we represented it explicitly in the lattice.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76611