On 7/5/2022 8:09 PM, Andrew Pinski via Gcc-patches wrote:
Not your fault but there are now like two different predicates for a
boolean like operand.
zero_one_valued_p and truth_valued_p and a third way to describe it is
to use SSA_NAME and check ssa_name_has_boolean_range.
The latter is meant to catch cases where analysis indicates that a given
SSA_NAME only takes on the values 0 or 1, regardless of the actual size
of the SSA_NAME.
It pre-dates having reasonable range information available in DOM and
from reviewing the existing uses in DOM, I would expect Ranger to make
most, if not all, of this code useless.
jeff
