[PATCH] D76611: [SCCP] Use ranges for predicate info conditions.
Florian Hahn via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
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
More information about the llvm-commits
mailing list