From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 2161 invoked by alias); 11 Jan 2019 12:23:47 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 2146 invoked by uid 89); 11 Jan 2019 12:23:46 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-1.4 required=5.0 tests=BAYES_00,KAM_NUMSUBJECT,SPF_PASS autolearn=no version=3.3.2 spammy=52813, H*f:sk:DB7PR07, segher@kernel.crashing.org, U*segher X-HELO: foss.arm.com Received: from foss.arm.com (HELO foss.arm.com) (217.140.101.70) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 11 Jan 2019 12:23:45 +0000 Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.72.51.249]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id D247E80D; Fri, 11 Jan 2019 04:23:43 -0800 (PST) Received: from localhost (unknown [10.32.98.35]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 713AB3F70D; Fri, 11 Jan 2019 04:23:42 -0800 (PST) From: Richard Sandiford To: Segher Boessenkool Mail-Followup-To: Segher Boessenkool ,Bernd Edlinger , Jakub Jelinek , Dimitar Dimitrov , Christophe Lyon , Thomas Preudhomme , "gcc-patches\@gcc.gnu.org" , richard.sandiford@arm.com Cc: Bernd Edlinger , Jakub Jelinek , Dimitar Dimitrov , Christophe Lyon , Thomas Preudhomme , "gcc-patches\@gcc.gnu.org" Subject: Re: [PATCH] [RFC] PR target/52813 and target/11807 References: <85840089.MtehzfUrTt@tpdeb> <20190107092337.GM30353@tucnak> <87lg3vicg5.fsf@arm.com> <20190110132111.GZ14180@gate.crashing.org> <87zhs84374.fsf@arm.com> <20190111121814.GG14180@gate.crashing.org> Date: Fri, 11 Jan 2019 12:23:00 -0000 In-Reply-To: <20190111121814.GG14180@gate.crashing.org> (Segher Boessenkool's message of "Fri, 11 Jan 2019 06:18:14 -0600") Message-ID: <877efb1iyb.fsf@arm.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-SW-Source: 2019-01/txt/msg00623.txt.bz2 Segher Boessenkool writes: >> I think it would act like a noreturn call to an unknown function. > > Except it won't behave like a call otherwise (on Power all calls force a > stack frame, for example; and on all targets noreturn calls do the same > currently I think?) I agree no current asm would behave like a call (e.g. causing leaf_p to be false, and more). The point of adding the attribute would be to change that. Richard