[PATCH] D146217: [ValueTracking] Support vscale in computeConstantRange()

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Mar 16 07:50:35 PDT 2023


nikic added a comment.

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


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

https://reviews.llvm.org/D146217



More information about the llvm-commits mailing list