diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-09-01 16:44:29 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-09-01 20:06:19 +0200 |
| commit | bb17c5030dc47c69c700e0fd0145285dc8f913a2 (patch) | |
| tree | d36060d77ddeaeca09c5c539b313ecdfade64959 /gcc/range-op-float.cc | |
| parent | 5924b6b2e75afa95f09f75ad3ef9ccbeac65d55d (diff) | |
| download | gcc-bb17c5030dc47c69c700e0fd0145285dc8f913a2.zip gcc-bb17c5030dc47c69c700e0fd0145285dc8f913a2.tar.gz gcc-bb17c5030dc47c69c700e0fd0145285dc8f913a2.tar.bz2 | |
Convert ranger uses of real_inf to dconst[n]inf.
gcc/ChangeLog:
* range-op-float.cc (build_le): Convert to dconst*inf.
(build_ge): Same.
* value-range.cc (frange::set_signbit): Same.
(frange::normalize_kind): Same.
(range_tests_floats): Same.
* value-range.h (vrp_val_max): Same.
(vrp_val_min): Same.
(frange::set_varying): Same.
Diffstat (limited to 'gcc/range-op-float.cc')
| -rw-r--r-- | gcc/range-op-float.cc | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/gcc/range-op-float.cc b/gcc/range-op-float.cc index 2f1af40..7301e5a0 100644 --- a/gcc/range-op-float.cc +++ b/gcc/range-op-float.cc @@ -232,17 +232,15 @@ frange_drop_ninf (frange &r, tree type) r.intersect (tmp); } -// (X <= VAL) produces the range of [MIN, VAL]. +// (X <= VAL) produces the range of [-INF, VAL]. static void build_le (frange &r, tree type, const REAL_VALUE_TYPE &val) { - REAL_VALUE_TYPE min; - real_inf (&min, 1); - r.set (type, min, val); + r.set (type, dconstninf, val); } -// (X < VAL) produces the range of [MIN, VAL). +// (X < VAL) produces the range of [-INF, VAL). static void build_lt (frange &r, tree type, const REAL_VALUE_TYPE &val) @@ -251,17 +249,15 @@ build_lt (frange &r, tree type, const REAL_VALUE_TYPE &val) build_le (r, type, val); } -// (X >= VAL) produces the range of [VAL, MAX]. +// (X >= VAL) produces the range of [VAL, +INF]. static void build_ge (frange &r, tree type, const REAL_VALUE_TYPE &val) { - REAL_VALUE_TYPE max; - real_inf (&max, 0); - r.set (type, val, max); + r.set (type, val, dconstinf); } -// (X > VAL) produces the range of (VAL, MAX]. +// (X > VAL) produces the range of (VAL, +INF]. static void build_gt (frange &r, tree type, const REAL_VALUE_TYPE &val) |