[PATCH] D146217: [ValueTracking] Support vscale in computeConstantRange()
Sander de Smalen via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Mar 16 08:16:38 PDT 2023
sdesmalen accepted this revision.
sdesmalen added a comment.
In D146217#4199479 <https://reviews.llvm.org/D146217#4199479>, @nikic wrote:
> In D146217#4199478 <https://reviews.llvm.org/D146217#4199478>, @sdesmalen wrote:
>
>>> In this case all comparisons just fold to true (but could also fold to any other value).
>>
>> What is the reason that the IR doesn't explicitly return poison in that case? (i.e. `ret i1 poison`)
>
> No particular reason, this just hasn't been implemented. (Would need a special case for empty ranges in simplifyICmpWithConstant.)
Fair enough, I was mostly wondering if there was a fundamental reason for it or if my understanding of poison was lacking here :) Thanks for clarifying!
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D146217/new/
https://reviews.llvm.org/D146217
More information about the llvm-commits
mailing list