[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