[PATCH] D71799: [Attributor] AAUndefinedBehavior: Check for branches on undef value.

[Stefanos Baziotis via Phabricator via llvm-commits]

baziotis added a comment.

In D71799#1794454 <https://reviews.llvm.org/D71799#1794454>, @jdoerfert wrote:

> I haven't read all of the discussion so it might as well be possible you converged on this already but I'll say it anyway:
>
> Assumed information can used other assumed information, known information only known information.
>  You can make AAUndefBehavior track assumed information instead of known information but then we need to look at the not yet known facts in every updateImpl iteration again to make sure the assumed status is still justified.


Alright, that makes sense!
So, one quick question that I hope will help solve some issues: If `!SimplifiedV.hasValue()` but `ValueSimplifyAA.isKnown()`, then it is //known// that the value is `undef`?


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

https://reviews.llvm.org/D71799