HomePhabricator

[ConstantRange][CVP] Make use of abs poison flag

Authored by nikic on Jul 30 2020, 1:54 PM.

Description

[ConstantRange][CVP] Make use of abs poison flag

Pass the abs poison flag to the underlying ConstantRange
implementation, allowing CVP to simplify based on it.

Importantly, this recognizes that abs with poison flag is actually
non-negative...

Details

Committed
nikicJul 30 2020, 2:06 PM
Parents
rGafae6d97fa55: [SelectionDAG] Fix lowering of vector geps
Branches
Unknown
Tags
Unknown