From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <crazylht@gmail.com>
Received: from mail-vs1-xe2f.google.com (mail-vs1-xe2f.google.com
 [IPv6:2607:f8b0:4864:20::e2f])
 by sourceware.org (Postfix) with ESMTPS id DFC47383B837
 for <gcc-patches@gcc.gnu.org>; Thu,  8 Jul 2021 04:14:26 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org DFC47383B837
Received: by mail-vs1-xe2f.google.com with SMTP id g24so2842980vsa.10
 for <gcc-patches@gcc.gnu.org>; Wed, 07 Jul 2021 21:14:26 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:mime-version:references:in-reply-to:from:date
 :message-id:subject:to:cc;
 bh=zyA37qTK32qu7NfdvZMHi99bMXnh+rvdjLtI6f5iBfw=;
 b=L9glQIyohBn6pUcNy3ZPfI6YhWsvcmsBUgXo04tLKPEzF9Nk2uxDfmHs+8fDN9OTmk
 vK0BUkuSnMEQoVbjgso5YpS3TVcZbsheU+YHGl9c/btI3szNSFalJ2G3tjqNyXmFrUt9
 DTKuXMojeRpbSShoUsWwGlMGNkq89gZe/KDNEF7mVWacDG6RumV5tbTGvAiwnuSsfS65
 daf3OF0Sr5+8tn5tiPswoTO/3uv+V5w/FogdgvYInyZ9phkEho4NQ60+Tz7aUDZO2tCr
 3ozJK2yucmWzbMyB194GPqJK5suiPTSCQQpshxSykipJuNqOrOvAj3nA4q4ebesK0IjU
 Ywow==
X-Gm-Message-State: AOAM531dexWUiQG9Nqt41ttL68qM3JoG6LyHi8mKrouOVSKcBTwkVPPN
 oeffH+37/MXyWUjMZlPLdJzt2uZKkwUMV3YYeVs=
X-Google-Smtp-Source: ABdhPJwVUj7ANQvrR1mICI0Ncd21dB8F5HB/VczRCB+UyMsg9LPn9lkvRVopvqxwbJfaB6bzJU5G+b5oBmgAGRogU0E=
X-Received: by 2002:a67:1906:: with SMTP id 6mr25046093vsz.6.1625717666518;
 Wed, 07 Jul 2021 21:14:26 -0700 (PDT)
MIME-Version: 1.0
References: <CAFULd4bH_1=A8pEA6M_MsKtN9zAzFPNwH=wqE4-pjRqLrzv52g@mail.gmail.com>
 <20210603065408.47912-1-hongtao.liu@intel.com>
 <20210705233008.GJ1583@gate.crashing.org>
 <CAMZc-bxu8oiAFK0H7LNB-zCxMqARyF+uh+L6bpk5P5G_sSFU+A@mail.gmail.com>
 <CAMZc-bxa-gPz0TMaz5JJj41qiEpEvNrHGYNGCuQU=wX4G7bi7A@mail.gmail.com>
 <CAFiYyc1G0F1D4Kz0W_MEsopgqy3jXMmx2xeUCuJy8Kp07t7rPw@mail.gmail.com>
 <20210707145238.GL1583@gate.crashing.org>
 <CAMZc-bxhHeR_m4r6V2jbk2xkTcGjM0NRvn5r8rcie7rpHUgDmA@mail.gmail.com>
 <20210707234241.GR1583@gate.crashing.org>
In-Reply-To: <20210707234241.GR1583@gate.crashing.org>
From: Hongtao Liu <crazylht@gmail.com>
Date: Thu, 8 Jul 2021 12:14:15 +0800
Message-ID: <CAMZc-bwoY=bjNdtOyXvwF1=HDxSRzg3+Kb5D0b47w5NdVZOo+Q@mail.gmail.com>
Subject: Re: [PATCH 1/2] CALL_INSN may not be a real function call.
To: Segher Boessenkool <segher@kernel.crashing.org>
Cc: Richard Biener <richard.guenther@gmail.com>,
 Jakub Jelinek <jakub@redhat.com>, 
 Richard Sandiford <richard.sandiford@arm.com>, liuhongt <hongtao.liu@intel.com>,
 GCC Patches <gcc-patches@gcc.gnu.org>
Content-Type: text/plain; charset="UTF-8"
X-Spam-Status: No, score=-3.0 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.4
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on
 server2.sourceware.org
X-BeenThere: gcc-patches@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-patches mailing list <gcc-patches.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Thu, 08 Jul 2021 04:14:28 -0000

On Thu, Jul 8, 2021 at 7:44 AM Segher Boessenkool
<segher@kernel.crashing.org> wrote:
>
> On Wed, Jul 07, 2021 at 11:23:48PM +0800, Hongtao Liu wrote:
> > On Wed, Jul 7, 2021 at 10:54 PM Segher Boessenkool
> > <segher@kernel.crashing.org> wrote:
>
> [ snip some old stuff ]
>
> > > Yeah.  This stuff needs a rethink.
> > >
> > > What is wrong with just using an unspec and clobbers?
> > >
> > It's partial and **potential clobber**,
>
> All RTL "clobber" is always a potential clobber, it never guarantees the
> existing value does not survive.  You can pass it through some unspec to
> make this more explicit.  You will have to add some hook that CSE can
TARGET_INSN_CALLEE_ABI is the hook designed for this.


-- 
BR,
Hongtao