diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-07-31 23:02:14 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-08-01 08:16:03 +0200 |
| commit | 460dcec49f875a83ca9b66d5e45d712f836f681e (patch) | |
| tree | 3d2bae08d8f77ce79951556dafc58dbf4949539b /gcc | |
| parent | 1efeaf99bd8bdfe2a350b8a56b88ed6e00594e54 (diff) | |
| download | gcc-460dcec49f875a83ca9b66d5e45d712f836f681e.zip gcc-460dcec49f875a83ca9b66d5e45d712f836f681e.tar.gz gcc-460dcec49f875a83ca9b66d5e45d712f836f681e.tar.bz2 | |
Make irange dependency explicit for range_of_ssa_name_with_loop_info.
Even though ranger is type agnostic, SCEV seems to only work with
integers. This patch removes some FIXME notes making it explicit that
bounds_of_var_in_loop only works with iranges.
Tested on x86-64 Linux.
gcc/ChangeLog:
* gimple-range-fold.cc (fold_using_range::range_of_phi): Only
query SCEV for integers.
(fold_using_range::range_of_ssa_name_with_loop_info): Remove
irange check.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/gimple-range-fold.cc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/gimple-range-fold.cc b/gcc/gimple-range-fold.cc index 6f907df..7665c95 100644 --- a/gcc/gimple-range-fold.cc +++ b/gcc/gimple-range-fold.cc @@ -853,12 +853,14 @@ fold_using_range::range_of_phi (vrange &r, gphi *phi, fur_source &src) } // If SCEV is available, query if this PHI has any knonwn values. - if (scev_initialized_p () && !POINTER_TYPE_P (TREE_TYPE (phi_def))) + if (scev_initialized_p () + && !POINTER_TYPE_P (TREE_TYPE (phi_def)) + && irange::supports_p (TREE_TYPE (phi_def))) { - value_range loop_range; class loop *l = loop_containing_stmt (phi); if (l && loop_outer (l)) { + int_range_max loop_range; range_of_ssa_name_with_loop_info (loop_range, phi_def, l, phi, src); if (!loop_range.varying_p ()) { @@ -1337,9 +1339,7 @@ fold_using_range::range_of_ssa_name_with_loop_info (irange &r, tree name, { gcc_checking_assert (TREE_CODE (name) == SSA_NAME); tree min, max, type = TREE_TYPE (name); - // FIXME: Remove the supports_p() once all this can handle floats, etc. - if (irange::supports_p (type) - && bounds_of_var_in_loop (&min, &max, src.query (), l, phi, name)) + if (bounds_of_var_in_loop (&min, &max, src.query (), l, phi, name)) { if (TREE_CODE (min) != INTEGER_CST) { |