diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-16 15:32:40 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-19 18:04:23 +0100 |
| commit | 051ec9f5f43a83e23bd3e20e512fc5ec44c19850 (patch) | |
| tree | 1b43f47a0d8603ffdcf2d87e5a3b19558b2836df /llvm/lib/CodeGen/TargetLoweringBase.cpp | |
| parent | 0808c7009a06773e78772c7b74d254fd3572f0ea (diff) | |
| download | llvm-051ec9f5f43a83e23bd3e20e512fc5ec44c19850.zip llvm-051ec9f5f43a83e23bd3e20e512fc5ec44c19850.tar.gz llvm-051ec9f5f43a83e23bd3e20e512fc5ec44c19850.tar.bz2 | |
[ValueTracking] Strengthen impliesPoison reasoning
Split impliesPoison into two recursive walks, one over V, the
other over ValAssumedPoison. This allows us to reason about poison
implications in a number of additional cases that are important
in practice. This is a generalized form of D94859, which handles
the cmp to cmp implication in particular.
Differential Revision: https://reviews.llvm.org/D94866
Diffstat (limited to 'llvm/lib/CodeGen/TargetLoweringBase.cpp')
0 files changed, 0 insertions, 0 deletions