HomePhabricator

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

Authored by nikic on Thu, Jul 30, 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
nikicThu, Jul 30, 2:06 PM
Parents
rGafae6d97fa55: [SelectionDAG] Fix lowering of vector geps
Branches
Unknown
Tags
Unknown