]> git.ipfire.org Git - thirdparty/gcc.git/commit
Use range_compatible_p in check_operands_p.
authorAndrew MacLeod <amacleod@redhat.com>
Fri, 1 Dec 2023 16:15:33 +0000 (11:15 -0500)
committerAndrew MacLeod <amacleod@redhat.com>
Fri, 1 Dec 2023 19:13:19 +0000 (14:13 -0500)
commitc6bb413eeb9d13412e8101e3029099d7fd746708
tree97000d3f829dccb6a7f65c63ca5a133f4b0c1ed6
parentb8edb812ff4934c609fdfafe2e1c7f932bc18305
Use range_compatible_p in check_operands_p.

Instead of directly checking type precision, check_operands_p should
invoke range_compatible_p to keep the range checking centralized.

* gimple-range-fold.h (range_compatible_p): Relocate.
* value-range.h (range_compatible_p): Here.
* range-op-mixed.h (operand_equal::operand_check_p): Call
range_compatible_p rather than comparing precision.
(operand_not_equal::operand_check_p): Ditto.
(operand_not_lt::operand_check_p): Ditto.
(operand_not_le::operand_check_p): Ditto.
(operand_not_gt::operand_check_p): Ditto.
(operand_not_ge::operand_check_p): Ditto.
(operand_plus::operand_check_p): Ditto.
(operand_abs::operand_check_p): Ditto.
(operand_minus::operand_check_p): Ditto.
(operand_negate::operand_check_p): Ditto.
(operand_mult::operand_check_p): Ditto.
(operand_bitwise_not::operand_check_p): Ditto.
(operand_bitwise_xor::operand_check_p): Ditto.
(operand_bitwise_and::operand_check_p): Ditto.
(operand_bitwise_or::operand_check_p): Ditto.
(operand_min::operand_check_p): Ditto.
(operand_max::operand_check_p): Ditto.
* range-op.cc (operand_lshift::operand_check_p): Ditto.
(operand_rshift::operand_check_p): Ditto.
(operand_logical_and::operand_check_p): Ditto.
(operand_logical_or::operand_check_p): Ditto.
(operand_logical_not::operand_check_p): Ditto.
gcc/gimple-range-fold.h
gcc/range-op-mixed.h
gcc/range-op.cc
gcc/value-range.h