From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1011) id 77EBF3857703; Fri, 13 Oct 2023 13:23:56 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 77EBF3857703 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1697203436; bh=v6HcHMJ+yizPhn7StFw44wsaN90o0hONScc1AbhKrvw=; h=From:To:Subject:Date:From; b=aOeiW+rWD9b3qKfkjdp4zNLVQKgn5bzBpjuWhVAZEY1TuiXz63FLjHsNPdBAblQ+8 q9luTPydOxaSlJRTReknAW06svp88DNA/HYKZrwZtTU5r72o1uVqph4L02+PlV1alf g65s4XzfcXKx8SY/3wjJBPKJJZC1KfWBtycS9Uek= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Andrew Macleod To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-7949] Do not add partial equivalences with no uses. X-Act-Checkin: gcc X-Git-Author: Andrew MacLeod X-Git-Refname: refs/heads/releases/gcc-13 X-Git-Oldrev: c23aa9a6e4d35801c37c172311a8e26fb699be34 X-Git-Newrev: 1c2bd0839e3574ab2a76ec18faf906b2f64b5f81 Message-Id: <20231013132356.77EBF3857703@sourceware.org> Date: Fri, 13 Oct 2023 13:23:56 +0000 (GMT) List-Id: https://gcc.gnu.org/g:1c2bd0839e3574ab2a76ec18faf906b2f64b5f81 commit r13-7949-g1c2bd0839e3574ab2a76ec18faf906b2f64b5f81 Author: Andrew MacLeod Date: Thu Oct 12 17:06:36 2023 -0400 Do not add partial equivalences with no uses. PR tree-optimization/111622 * value-relation.cc (equiv_oracle::add_partial_equiv): Do not register a partial equivalence if an operand has no uses. Diff: --- gcc/value-relation.cc | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/gcc/value-relation.cc b/gcc/value-relation.cc index fc792a4d5bc..0ed5f93d184 100644 --- a/gcc/value-relation.cc +++ b/gcc/value-relation.cc @@ -389,6 +389,9 @@ equiv_oracle::add_partial_equiv (relation_kind r, tree op1, tree op2) // In either case, if PE2 has an entry, we simply do nothing. if (pe2.members) return; + // If there are no uses of op2, do not register. + if (has_zero_uses (op2)) + return; // PE1 is the LHS and already has members, so everything in the set // should be a slice of PE2 rather than PE1. pe2.code = pe_min (r, pe1.code); @@ -406,6 +409,9 @@ equiv_oracle::add_partial_equiv (relation_kind r, tree op1, tree op2) } if (pe2.members) { + // If there are no uses of op1, do not register. + if (has_zero_uses (op1)) + return; pe1.ssa_base = pe2.ssa_base; // If pe2 is a 16 bit value, but only an 8 bit copy, we can't be any // more than an 8 bit equivalence here, so choose MIN value. @@ -415,6 +421,9 @@ equiv_oracle::add_partial_equiv (relation_kind r, tree op1, tree op2) } else { + // If there are no uses of either operand, do not register. + if (has_zero_uses (op1) || has_zero_uses (op2)) + return; // Neither name has an entry, simply create op1 as slice of op2. pe2.code = bits_to_pe (TYPE_PRECISION (TREE_TYPE (op2))); if (pe2.code == VREL_VARYING)