Change Details

LazyValueInfo may now propagate information about constant and constant ranges lattice values to `ctlz` (count leading zeroes) intrinsics. The change makes sure to provide a more precise result than it was formerly produced, where possible, or a more conservative one (e.g., should the first argument value be zero and is_zero_poison true, the result would be an overdefined value), but always correct.

Introduce support for `ctlz` intrinsic, including exhaustive testing. Among other things, LVI may now be able to propagate information about constant ranges lattice values. This change makes sure to provide a precise result where possible, or a more conservative one (e.g., should the first argument value be zero and is_zero_poison true), but always correct.

LazyValueInfo may now propagate information about constant and constant ranges lattice values to `ctlz` (count leading zeroes) intrinsics.Introduce support for `ctlz` intrinsic, The change makes sure to provide a more precise result than it was formerly produced,including exhaustive testing. where possibleAmong other things, or a more conservative one (e.g.LVI may now be able to propagate information about constant ranges lattice values. This change makes sure to provide a precise result where possible, should the first argument value be zero and is_zero_poison trueor a more conservative one (e.g., should the result would be an overdefined valuefirst argument value be zero and is_zero_poison true), but always correct.