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

Fri Mar 27 09:05:23 PDT 2020

fhahn added a comment.

In D76611#1942381 <https://reviews.llvm.org/D76611#1942381>, @efriedma wrote:

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

I've put up D76931 <https://reviews.llvm.org/D76931>. It is based on the assumption that we have to assume arbitrary values like function arguments may be undef. I did not find that spelled out anywhere explicitly, so I might be wrong there.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76611