]> git.ipfire.org Git - thirdparty/gcc.git/commit
[frange] Add op2_range for operator_not_equal.
authorAldy Hernandez <aldyh@redhat.com>
Fri, 15 Sep 2023 12:24:24 +0000 (08:24 -0400)
committerAldy Hernandez <aldyh@redhat.com>
Tue, 19 Sep 2023 16:30:01 +0000 (12:30 -0400)
commit9c739c9893ca6af841e7c67cce0ad9c17a248d13
treedf09c1c7803e63188b0ad7c7207d8b148014a985
parentd2f53a601a23925b795ac162f7936163c3461b2c
[frange] Add op2_range for operator_not_equal.

We're missing an op2_range entry for operator_not_equal so GORI can
calculate an outgoing edge.  The false side of != is true and
guarantees we don't have a NAN, so it's important to get this right.
We eventually get it through an intersection of various ranges in
ranger, but it's best to get things correct as early as possible.

gcc/ChangeLog:

* range-op-float.cc (operator_not_equal::op2_range): New.
* range-op-mixed.h: Add operator_not_equal::op2_range.

gcc/testsuite/ChangeLog:

* gcc.dg/tree-ssa/vrp-float-13.c: New test.
gcc/range-op-float.cc
gcc/range-op-mixed.h
gcc/testsuite/gcc.dg/tree-ssa/vrp-float-13.c [new file with mode: 0644]