Make each def a new equivalency record.
authorAndrew MacLeod <amacleod@redhat.com>
Fri, 17 Sep 2021 18:58:06 +0000 (14:58 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Mon, 20 Sep 2021 20:32:35 +0000 (16:32 -0400)
commit5d110fe90afcd850ea21aee6429f22edd6b1b592
tree56e8f65f9f501cdc7543bc7ba23f702e867501e4
parentb333c3acb8d436b256ba8922c6426c93860bb616
Make each def a new equivalency record.

Create a new equivalency set at each def point killing any equivalencies
coming into the block from back edges.  Do not add equivalences for PHI
arguments defined in this block.

* value-relation.cc (equiv_oracle::register_initial_def): New.
(equiv_oracle::register_relation): Call register_initial_def.
(equiv_oracle::add_equiv_to_block): New.  Split register_relation.
(relation_oracle::register_stmt): Check def block of PHI arguments.
* value-relation.h (equiv_oracle): Add new prototypes.
gcc/value-relation.cc
gcc/value-relation.h