[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