HomePhabricator

[ValueTracking] Strengthen impliesPoison reasoning

Authored by nikic on Jan 16 2021, 6:32 AM.

Description

[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

Details

Committed
nikicJan 19 2021, 9:04 AM
Differential Revision
D94866: [ValueTracking] Strengthen impliesPoison reasoning
Parents
rG0808c7009a06: [AMDGPU] Fix test case for D94010
Branches
Unknown
Tags
Unknown