From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pf1-x433.google.com (mail-pf1-x433.google.com [IPv6:2607:f8b0:4864:20::433]) by sourceware.org (Postfix) with ESMTPS id 2DED13858CDA for ; Tue, 24 Oct 2023 17:26:55 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 2DED13858CDA Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 2DED13858CDA Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::433 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1698168425; cv=none; b=T8kdXGZZRrAxbKS5DTyUQLVvOd4MgcEItE0o6kOrxRgaHJ3QTKmdojdLsJhY99ZkXvgAbcS07BL9dqSGXP+3YazrhkMpjqxITW21g9UXuHmzqwlTegytbzpgAJhg4ft8WoEGSkhv3KwXfHTdOoAkaDTbjOMShehuZ95Rm6XEJCs= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1698168425; c=relaxed/simple; bh=hslXvjS89WFaeEK34da75/kLgKkqznLEgwGcXiZjp/Q=; h=DKIM-Signature:Message-ID:Date:MIME-Version:Subject:To:From; b=XCpPxYUMhRtpy/yjO8ztzlCGpcBKRSXKb0NhnQoE38Fq5QF+vaxWn3tkU90NQ4S613U4lFIjfK+RnwaQyjPp57p+w48aY+JkDa4pqgxDBzpJmD83ZU5L6erCy9tFcuxKU1frwL+Y5nmampLBv/sh+sxiKSJCsFRKinHoDs6hq0o= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-pf1-x433.google.com with SMTP id d2e1a72fcca58-6bd0e1b1890so3721611b3a.3 for ; Tue, 24 Oct 2023 10:26:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1698168413; x=1698773213; darn=gcc.gnu.org; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=svq74BiYDsz+iF3c876Alm/lAL4KanNliQ/Dg1sY9Gs=; b=dhTIkfNdYld37fTc5XPzaNshr7uYvS75zmJQUG1ml5ipmBgiEqzkZRH2FUBo4+ora8 5pU4ORmZrsbtSnINZ3NSudNUWCsgOXm19cSRAJ3CuQcCSji41G0zAHOddXH48O09pZ0s 7lNO0xa9t/FUsgxvCLdOp3c+XsUbG0bgdbs6+sonDYC9J5DnkfpxNMttEtobusSyNY5V se/YuUr2wyg7jBRT1QKQsBEqTH+9fkWRDdWP1w2yT6qhdYDN3UCPzWk1ZskDj0KnPimM SdNPzxiOBsmNSAPjBFahpI3q2g+d44GXHf4aYVewxp4xZUhzWYmcEC59XioMQ1da2gK0 1YOw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698168413; x=1698773213; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=svq74BiYDsz+iF3c876Alm/lAL4KanNliQ/Dg1sY9Gs=; b=UX17+EtPpc6zva4g4hPio5FPDSEV+ICaCczzjJZM1q3AAr5ITE2/kzDJOBv6BYKfxX c8P1Hl+aqb9tHwgicD/rCI8KyRwm5c8TjhAFkIFpw2Hz74xthnnrsYnr576eqr3O8p4C JWA3CrXVQqozR3KpU7dwT408UI0d4GzmYZlK9ERGDB/mjSeODmnVI3PB4lfE5f5Z6WuY 2Cwn9Lfvtk/DPWZmO95dbH1xbj//9djjm3iUaOs0yQ5ocKQHWQJMGdqLNZEO0wstECq9 o3vOROOxBSB/Kbs1DHoL1Myz504+66X6NfVNOTqiFyX8sEZsI7PetFfC6B2tF+b+gZV7 iXNA== X-Gm-Message-State: AOJu0YzKSOLTSGvfhqvd7o3dWywP+6lEThN5QiAFldHVecmzwh5aJiQ7 KHisokk2tiJ7F+6Fpx1P450trwWx+7M= X-Google-Smtp-Source: AGHT+IGE2mT62NtWDXLVphdQTOJ/LKNYFsxWUuInOrADwMPr8DanrN84o7lBzRbBQx0VVsttG9hr0g== X-Received: by 2002:a17:90b:354e:b0:27d:37bb:12c0 with SMTP id lt14-20020a17090b354e00b0027d37bb12c0mr10070143pjb.36.1698168412977; Tue, 24 Oct 2023 10:26:52 -0700 (PDT) Received: from [172.31.0.109] ([136.36.130.248]) by smtp.gmail.com with ESMTPSA id jb14-20020a17090b408e00b002774d7e2fefsm7225400pjb.36.2023.10.24.10.26.50 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 24 Oct 2023 10:26:52 -0700 (PDT) Message-ID: Date: Tue, 24 Oct 2023 11:26:48 -0600 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH 4/6] rtl-ssa: Handle artifical uses of deleted defs Content-Language: en-US To: Richard Sandiford , jlaw@ventanamicro.com, gcc-patches@gcc.gnu.org References: <20231024105006.3337671-1-richard.sandiford@arm.com> <20231024105006.3337671-5-richard.sandiford@arm.com> From: Jeff Law In-Reply-To: <20231024105006.3337671-5-richard.sandiford@arm.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-2.4 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On 10/24/23 04:50, Richard Sandiford wrote: > If an optimisation removes the last real use of a definition, > there can still be artificial uses left. This patch removes > those uses too. > > These artificial uses exist because RTL-SSA is only an SSA-like > view of the existing RTL IL, rather than a native SSA representation. > It effectively treats RTL registers like gimple vops, but with the > addition of an RPO view of the register's lifetime(s). Things are > structured to allow most operations to update this RPO view in > amortised sublinear time. > > gcc/ > * rtl-ssa/functions.h (function_info::process_uses_of_deleted_def): > New member function. > * rtl-ssa/functions.cc (function_info::process_uses_of_deleted_def): > Likewise. > (function_info::change_insns): Use it. OK jeff