From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtpbgbr1.qq.com (smtpbgbr1.qq.com [54.207.19.206]) by sourceware.org (Postfix) with ESMTPS id 842993858C53 for ; Fri, 10 Nov 2023 09:43:56 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 842993858C53 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=rivai.ai Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=rivai.ai ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 842993858C53 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=54.207.19.206 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699609441; cv=none; b=cJHP2m6uN7MWYQd3DR+QeNbenhMQVqaq8URIhUOGOyhW8/SMfpau/qdXo3yq/duJlABmpa0QiMlKnkaCpbhfocFb+tW6Tf485ORWo5foxj1DaN8ly6rHK7vjuxKzcRaJhwEtJH29f+2lFDnXmnsQJtOa9dVX6QBXK6r123Zc/Y4= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699609441; c=relaxed/simple; bh=CSjre5Yloa9T8NfUF6bLJF3OKrOtmrFWdY7at2b4z5k=; h=Message-ID:Date:MIME-Version:Subject:To:From; b=i4VWFLyT2Nan48u/Y7vedCmRQ6cnVnGzkRZj4h6odYD9w5HEnJyI33KQuXJCf6fPmm/XHBESxAtt3kUiV6zzCFMXtkdQds/d4De/IV/u9IyUqB/E5Du3Cqm7Ob49zu/aZ/a32Yl9eeefrAeudeyu3/3i4ro7ylVFk7ywMdbZ0/4= ARC-Authentication-Results: i=1; server2.sourceware.org X-QQ-mid: bizesmtp63t1699609427t2rfmcic Received: from [10.101.11.9] ( [121.35.180.247]) by bizesmtp.qq.com (ESMTP) with id ; Fri, 10 Nov 2023 17:43:46 +0800 (CST) X-QQ-SSF: 01400000000000C0F000000A0000000 X-QQ-FEAT: htC34Yrjo+/MDh8iu3zOk2scREukgOMRHzLMon0AykpWjwHs7qptnvCesTZTT kGLbv01iNN6vh9BmdN8QKLFz/SUShMwGjgnQTdvgwn5fI6PpBzu+7W2+V2GGJU23MrIzFyr 3UomF+Y7sWUfLWI+GIfWN8KW51k+/OtDbdnCyalepE6MQuN5KDgDcTVqWo0IfcZmWIid5rg Wtf3B3n6MIwUo3YJ5s/7eJl/cIlpe/vcT3zonKEZNZXzl+dODs1NnyNBoC+znF0mv2rdRFH mzVJ6eZuHnuibkFmsIHKBgW4oMVcM1z7zYDBriryfvgGg8lzobs3ku5j8P5rEmVodZugKe/ C/l0kiaDnbSKekt5q9geTr5HJ4nNU0ex2oNxhIOCjiuMM6zeyIxM/FSjb8DFjxutMeN/Fcl X-QQ-GoodBg: 2 X-BIZMAIL-ID: 13838159802492666626 Message-ID: <660B7E3D1F4A770E+3068eeba-d59a-4f13-9b6b-c3e530aeca41@rivai.ai> Date: Fri, 10 Nov 2023 17:43:47 +0800 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH 0/7] ira/lra: Support subreg coalesce Content-Language: en-US To: Jeff Law , gcc-patches@gcc.gnu.org, vmakarov@redhat.com, juzhe.zhong@rivai.ai, richard.sandiford@arm.com References: <20231108034740.834590-1-lehua.ding@rivai.ai> <3d6ec0ee-6542-4b6a-a2cd-7fd54c136af9@gmail.com> From: Lehua Ding In-Reply-To: <3d6ec0ee-6542-4b6a-a2cd-7fd54c136af9@gmail.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-QQ-SENDSIZE: 520 Feedback-ID: bizesmtp:rivai.ai:qybglogicsvrgz:qybglogicsvrgz6a-0 X-Spam-Status: No, score=-0.6 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA,KAM_DMARC_STATUS,RCVD_IN_BARRACUDACENTRAL,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_PASS,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Hi Jeff, On 2023/11/9 3:13, Jeff Law wrote: > The other thing to ponder.  Jivan and I have been banging on Joern's > sub-object tracking bits for a totally different problem in the RISC-V > space.  But there may be some overlap. > > Essentially Joern's code tracks liveness for a few chunks in registers. > bits 0..7, bits 8..15, bits 16..31 and bits 32..63.  This includes > propagating liveness from the destination through to the sources.  SO > for example if we have > > (set (reg:SI dest) (plus:SI (srcreg1:SI) (srcreg2:SI))) > > If we had previously determined that only bits 0..15 were live in DEST, > then we'll propagate that into the source registers. > > The goal is to ultimately transform something like > > (set (dest:mode) (any_extend:mode (reg:narrower_mode))) > > into > > (set (dest:mode) (subreg:mode (reg:narrower_mode))) > > Where the latter typically will get simplified and propagated away. > > > Joern's code is a bit of a mess, but Jivan and I are slowly untangling > it from a correctness standpoint.  It'll also need the usual cleanups. > > Anyway, point being I think it'll be worth looking at Lehua's bits and > Joern's bits to see if there's anything that can and should be shared. > Given I'm getting fairly familiar with Joern's bits, that likely falls > to me. Maybe subreg live range track classes (in patch 2) could be shared. Including range's UNION, Diff, and other operations should be similar. I'll see if I'm going to extract a separate patch to review this part. What do you think? -- Best, Lehua (RiVAI) lehua.ding@rivai.ai