gcc/ChangeLog: * range-op.cc (class operator_absu): Add update_bitmask. (operator_absu::update_bitmask): New. --- gcc/range-op.cc | 9 +++++++++ 1 file changed, 9 insertions(+)
diff --git a/gcc/range-op.cc b/gcc/range-op.cc index bfab53caea0..5653ca0d186 100644 --- a/gcc/range-op.cc +++ b/gcc/range-op.cc @@ -4221,6 +4221,8 @@ class operator_absu : public range_operator virtual void wi_fold (irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const; + virtual void update_bitmask (irange &r, const irange &lh, + const irange &rh) const final override; } op_absu; void @@ -4258,6 +4260,13 @@ operator_absu::wi_fold (irange &r, tree type, r = int_range<1> (type, new_lb, new_ub); } +void +operator_absu::update_bitmask (irange &r, const irange &lh, + const irange &rh) const +{ + update_known_bitmask (r, ABSU_EXPR, lh, rh); +} + bool operator_negate::fold_range (irange &r, tree type, -- 2.41.0