diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-11-12 11:58:07 +0100 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-11-17 09:53:49 +0100 |
| commit | 822a0823c012b912f0108a4da257cd97cbcdb7a3 (patch) | |
| tree | 1b8b9c9bd05a0cac01a7d3b9df585a8b78e22b00 /gcc/gimplify.cc | |
| parent | 156f523f9582f1e6bcce27ece03f2776960408c8 (diff) | |
| download | gcc-822a0823c012b912f0108a4da257cd97cbcdb7a3.zip gcc-822a0823c012b912f0108a4da257cd97cbcdb7a3.tar.gz gcc-822a0823c012b912f0108a4da257cd97cbcdb7a3.tar.bz2 | |
[PR68097] Try to avoid recursing for floats in gimple_stmt_nonnegative_warnv_p.
It irks me that a PR named "we should track ranges for floating-point
hasn't been closed in this release. This is an attempt to do just
that.
As mentioned in the PR, even though we track ranges for floats, it has
been suggested that avoiding recursing through SSA defs in
gimple_assign_nonnegative_warnv_p is also a goal. This patch uses a
global range query (no on-demand lookups, just global ranges and
minimal folding) to determine if the range of a statement is known to
be non-negative.
PR tree-optimization/68097
gcc/ChangeLog:
* gimple-fold.cc (gimple_stmt_nonnegative_warnv_p): Call
range_of_stmt for floats.
Diffstat (limited to 'gcc/gimplify.cc')
0 files changed, 0 insertions, 0 deletions