From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=OMXx=B4=arm.com=Richard.Earnshaw@sourceware.org>
Received: from foss.arm.com (foss.arm.com [217.140.110.172])
	by sourceware.org (Postfix) with ESMTP id BD39D3857023
	for <gcc-patches@gcc.gnu.org>; Thu,  8 Jun 2023 10:33:13 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org BD39D3857023
Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=arm.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=arm.com
Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14])
	by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id DDA92AB6;
	Thu,  8 Jun 2023 03:33:58 -0700 (PDT)
Received: from [10.2.78.54] (e120077-lin.cambridge.arm.com [10.2.78.54])
	by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id A64143F71E;
	Thu,  8 Jun 2023 03:33:12 -0700 (PDT)
Message-ID: <df1c066a-e735-1a87-47da-0bc3a25b255e@arm.com>
Date: Thu, 8 Jun 2023 11:33:11 +0100
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.11.0
Subject: Re: [PATCH v2] machine descriptor: New compact syntax for insn and
 insn_split in Machine Descriptions.
Content-Language: en-GB
To: Andreas Schwab <schwab@linux-m68k.org>,
 Tamar Christina via Gcc-patches <gcc-patches@gcc.gnu.org>
Cc: nd <nd@arm.com>, Richard Sandiford <Richard.Sandiford@arm.com>,
 Tamar Christina <Tamar.Christina@arm.com>
References: <patch-17151-tamar@arm.com> <mptpm69sl51.fsf@arm.com>
 <VI1PR08MB5325A62BD6A792262F81A601FF52A@VI1PR08MB5325.eurprd08.prod.outlook.com>
 <mpt4jnksqkz.fsf@arm.com> <dec5d001-d0cc-7d3d-00b3-00ef417d1e7b@arm.com>
 <VI1PR08MB532500C80282451D7D8524D0FF50A@VI1PR08MB5325.eurprd08.prod.outlook.com>
 <874jnii7pc.fsf@linux-m68k.org>
 <ad4bfc89-3c61-3857-d232-4875df151d8d@arm.com>
From: "Richard Earnshaw (lists)" <Richard.Earnshaw@arm.com>
In-Reply-To: <ad4bfc89-3c61-3857-d232-4875df151d8d@arm.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Spam-Status: No, score=-3491.4 required=5.0 tests=BAYES_00,BODY_8BITS,KAM_DMARC_NONE,KAM_DMARC_STATUS,KAM_LAZY_DOMAIN_SECURITY,NICE_REPLY_A,SPF_HELO_NONE,SPF_NONE,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: <gcc-patches.gcc.gnu.org>

On 08/06/2023 11:29, Richard Earnshaw (lists) via Gcc-patches wrote:
> On 08/06/2023 11:12, Andreas Schwab wrote:
>> On Jun 08 2023, Tamar Christina via Gcc-patches wrote:
>>
>>> @@ -713,6 +714,183 @@ you can use @samp{*} inside of a @samp{@@} 
>>> multi-alternative template:
>>>   @end group
>>>   @end smallexample
>>> +@node Compact Syntax
>>> +@section Compact Syntax
>>> +@cindex compact syntax
>>> +
>>> +In cases where the number of alternatives in a @code{define_insn} or
>>> +@code{define_insn_and_split} are large then it may be beneficial to 
>>> use the
>>
>>                                  is large
>>
> 
> Or perhaps better still:
> 
> When a define_insn or define_insn_and split has many alternatives it may 
> be beneficial to ...
> 
> R.

Or perhaps even s/many/multiple/.  It doesn't have to have very many to 
make this new syntax preferable, IMO.

R.