[PATCH] D75808: [ValueTracking] isKnownNonZero, computeKnownBits for freeze

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

In D75808#2261305 <https://reviews.llvm.org/D75808#2261305>, @spatel wrote:

> In D75808#2260906 <https://reviews.llvm.org/D75808#2260906>, @aqjune wrote:
>
>> It depends on whether SelDag has a poison value - does anyone know whether it has one?
>
> We have nsw/nuw/exact flags on nodes, so that means poison exists?

I think so. Whether calling `computeKnownBits (Op.getOperand(0))` is valid in SelDag seems non trivial then.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75808