]> gcc.gnu.org Git - gcc.git/commit
Properly set GORI relation trios.
authorAndrew MacLeod <amacleod@redhat.com>
Wed, 25 Jan 2023 21:26:39 +0000 (16:26 -0500)
committerAndrew MacLeod <amacleod@redhat.com>
Tue, 31 Jan 2023 14:56:27 +0000 (09:56 -0500)
commit99fda5de368d84d97eb29a9f03e0d6039068f8b9
tree8cd99fab7a800094f52a5d860454b126779c9549
parent7f583a335769591d016caa51490e3e5dd50354fe
Properly set GORI relation trios.

When relation trios were added to GORI, there was only one use.  As they are
utilized more by range-ops, it is apparent that the implelemtation was
not complete.  This patch fleshes it out completely so that every GORI
operation has a complete relation trio.

* gimple-range-gori.cc (gori_compute::compute_operand_range): Do
not abort calculations if there is a valid relation available.
(gori_compute::refine_using_relation): Pass correct relation trio.
(gori_compute::compute_operand1_range): Create trio and use it.
(gori_compute::compute_operand2_range): Ditto.
* range-op.cc (operator_plus::op1_range): Use correct trio member.
(operator_minus::op1_range): Use correct trio member.
* value-relation.cc (value_relation::create_trio): New.
* value-relation.h (value_relation::create_trio): New prototype.
gcc/gimple-range-gori.cc
gcc/range-op.cc
gcc/value-relation.cc
gcc/value-relation.h
This page took 0.068278 seconds and 6 git commands to generate.