diff options
| author | Martin Liska <mliska@suse.cz> | 2022-09-12 10:43:19 +0200 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2022-09-12 10:43:19 +0200 |
| commit | fdb97cd0b7d15efa39ba79dca44be93debb0ef12 (patch) | |
| tree | 65a6d95503fb9897bda29c72a629e57bb773d1c1 /gcc/gimple-range-fold.cc | |
| parent | 918bc838c2803f08e4d7ccd179396d48cb8ec804 (diff) | |
| parent | 643ae816f17745a77b62188b6bf169211609a59b (diff) | |
| download | gcc-fdb97cd0b7d15efa39ba79dca44be93debb0ef12.zip gcc-fdb97cd0b7d15efa39ba79dca44be93debb0ef12.tar.gz gcc-fdb97cd0b7d15efa39ba79dca44be93debb0ef12.tar.bz2 | |
Merge branch 'master' into devel/sphinx
Diffstat (limited to 'gcc/gimple-range-fold.cc')
| -rw-r--r-- | gcc/gimple-range-fold.cc | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/gcc/gimple-range-fold.cc b/gcc/gimple-range-fold.cc index c9c7a2c..85ed6f9 100644 --- a/gcc/gimple-range-fold.cc +++ b/gcc/gimple-range-fold.cc @@ -1029,15 +1029,16 @@ fold_using_range::range_of_builtin_int_call (irange &r, gcall *call, frange tmp; if (src.get_operand (tmp, arg)) { - if (tmp.get_signbit ().varying_p () - // FIXME: We don't support signed NANs yet. - || !tmp.get_nan ().no_p ()) - return false; - if (tmp.get_signbit ().yes_p ()) - r.set_nonzero (type); - else - r.set_zero (type); - return true; + bool signbit; + if (tmp.known_signbit (signbit)) + { + if (signbit) + r.set_nonzero (type); + else + r.set_zero (type); + return true; + } + return false; } break; } |