]> git.ipfire.org Git - thirdparty/gcc.git/commit
Provide a routine for NAME == NAME relation.
authorAndrew MacLeod <amacleod@redhat.com>
Wed, 2 Aug 2023 14:58:37 +0000 (10:58 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Thu, 3 Aug 2023 18:19:54 +0000 (14:19 -0400)
commit33f080a7f1d70440d02de70af8f08eca21714abb
tree67eb408c3fee6b61b7c4068aef9310d6550ea1fb
parentc47ceea55118d00d4bf68eaae6f9ac7707c1b9fc
Provide a routine for NAME == NAME relation.

We've been assuming x == x s VREL_EQ in GORI, but this is not always going to
be true with floating point.  Provide an API to return the relation.

* gimple-range-gori.cc (gori_compute::compute_operand1_range):
Use identity relation.
(gori_compute::compute_operand2_range): Ditto.
* value-relation.cc (get_identity_relation): New.
* value-relation.h (get_identity_relation): New prototype.
gcc/gimple-range-gori.cc
gcc/value-relation.cc
gcc/value-relation.h