diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2024-03-20 11:07:30 +0100 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2024-05-04 10:25:52 +0200 |
| commit | 3a4ee6ea8627efe0d34a71d0ea4ce9b70d34df18 (patch) | |
| tree | eee9f0eb3ca2c59d361a68a94c8ceaadda27906b /gcc/range-op-mixed.h | |
| parent | bfa2323d1ddf96a4f40a26aa39b8e1e3bd9b6d98 (diff) | |
| download | gcc-3a4ee6ea8627efe0d34a71d0ea4ce9b70d34df18.zip gcc-3a4ee6ea8627efe0d34a71d0ea4ce9b70d34df18.tar.gz gcc-3a4ee6ea8627efe0d34a71d0ea4ce9b70d34df18.tar.bz2 | |
Implement operator_le for prange.
gcc/ChangeLog:
* range-op-mixed.h: Add overloaded declarations for pointer variants.
* range-op-ptr.cc (operator_le::fold_range): New.
(operator_le::op1_range): New.
(operator_le::op2_range): New.
(operator_le::op1_op2_relation): New.
(operator_le::pointers_handled_p): New.
Diffstat (limited to 'gcc/range-op-mixed.h')
| -rw-r--r-- | gcc/range-op-mixed.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/range-op-mixed.h b/gcc/range-op-mixed.h index b82d065..571729e 100644 --- a/gcc/range-op-mixed.h +++ b/gcc/range-op-mixed.h @@ -269,12 +269,18 @@ public: const irange &op1, const irange &op2, relation_trio = TRIO_VARYING) const final override; bool fold_range (irange &r, tree type, + const prange &op1, const prange &op2, + relation_trio = TRIO_VARYING) const final override; + bool fold_range (irange &r, tree type, const frange &op1, const frange &op2, relation_trio rel = TRIO_VARYING) const final override; bool op1_range (irange &r, tree type, const irange &lhs, const irange &op2, relation_trio = TRIO_VARYING) const final override; + bool op1_range (prange &r, tree type, + const irange &lhs, const prange &op2, + relation_trio = TRIO_VARYING) const final override; bool op1_range (frange &r, tree type, const irange &lhs, const frange &op2, relation_trio rel = TRIO_VARYING) const final override; @@ -282,12 +288,17 @@ public: bool op2_range (irange &r, tree type, const irange &lhs, const irange &op1, relation_trio = TRIO_VARYING) const final override; + bool op2_range (prange &r, tree type, + const irange &lhs, const prange &op1, + relation_trio = TRIO_VARYING) const final override; bool op2_range (frange &r, tree type, const irange &lhs, const frange &op1, relation_trio rel = TRIO_VARYING) const final override; relation_kind op1_op2_relation (const irange &lhs, const irange &, const irange &) const final override; + relation_kind op1_op2_relation (const irange &lhs, const prange &, + const prange &) const final override; relation_kind op1_op2_relation (const irange &lhs, const frange &, const frange &) const final override; void update_bitmask (irange &r, const irange &lh, @@ -295,6 +306,7 @@ public: // Check op1 and op2 for compatibility. bool operand_check_p (tree, tree t1, tree t2) const final override { return range_compatible_p (t1, t2); } + bool pointers_handled_p (range_op_dispatch_type, unsigned) const final override; }; class operator_gt : public range_operator |