]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16a4df2) | patch
Ensure float equivalences include + and - zero.
authorAndrew MacLeod <amacleod@redhat.com>
Mon, 9 Oct 2023 17:40:15 +0000 (13:40 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Wed, 11 Oct 2023 19:51:43 +0000 (15:51 -0400)
commitf0efc4b25cba1bd35b08b7dfbab0f8fc81b55c66
tree37b7432efba7f06c1388573e8c4b4bbd2b75e5d1tree | snapshot
parent16a4df27436c8f594a784028591dd3e47cabe5c0commit | diff
Ensure float equivalences include + and - zero.

A floating point equivalence may not properly reflect both signs of
zero, so be pessimsitic and ensure both signs are included.

PR tree-optimization/111694
gcc/
* gimple-range-cache.cc (ranger_cache::fill_block_cache): Adjust
equivalence range.
* value-relation.cc (adjust_equivalence_range): New.
* value-relation.h (adjust_equivalence_range): New prototype.

gcc/testsuite/
* gcc.dg/pr111694.c: New.
gcc/gimple-range-cache.cc diff | blob | blame | history
gcc/testsuite/gcc.dg/pr111694.c [new file with mode: 0644] blob
gcc/value-relation.cc diff | blob | blame | history
gcc/value-relation.h diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git