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

Stefanos Baziotis via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sun Dec 22 10:34:02 PST 2019


baziotis added a comment.

In D71799#1794391 <https://reviews.llvm.org/D71799#1794391>, @uenoku wrote:

> I think you can't use assumption (`getAssumedSimplifiedValue`) for the known information. You need to use only known information.


In what part you're referring to? case 2) of the manifest cases?

**Edit**: i.e. that I end up making blocks unreachable on assumed info?


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

https://reviews.llvm.org/D71799





More information about the llvm-commits mailing list