On Fri, Oct 21, 2022 at 06:51:19PM +0200, Jakub Jelinek wrote: > Agreed. > > I think maybe_nonzero_bits would be fine.
Or yet another option is to change what we track and instead of having just one bitmask have 2 as tree-ssa-ccp.cc does, one bitmask says which bits are known to be always the same and the other which specifies the values of those bits. "For X with a CONSTANT lattice value X & ~mask == value & ~mask. The zero bits in the mask cover constant values. The ones mean no information." Jakub