From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from EUR04-HE1-obe.outbound.protection.outlook.com (mail-eopbgr70041.outbound.protection.outlook.com [40.107.7.41]) by sourceware.org (Postfix) with ESMTPS id 85A4F3894C3B for ; Thu, 17 Nov 2022 08:51:00 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 85A4F3894C3B Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=suse.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=suse.com ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=HtnchZuGQZGDELdbAz9Z4sUS0qeqfBqWmGakPNmDIRp70b/A12ywosikCJDA6G1Sno/H/83crn0LpilzXAI40jnmT8NFlSS3im0+go1czqTuoI4dw44ipxJlueEojMAKFV/r5t5DUndGkyvAwT8qQnzLdBEIzQOGj+Uy6x2tXj4RnwvSKiMv0/BHkpldAEDaGU9zSuIJ2+2+qt10fyvD+wmmm4hhINKj/iKEVkgNEeE2r80t+eyMOIhN3bWy12R46TXNsrD4ksMT6zheYOl+4vJJJ2oU8Cyrv7pGvPAZsIFnPykmuB1g4kjiigo2uAk709sDs5ZRNMO1rsO6R3IIdw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=xD4+lUq1E221fZYSI5nikMUZaEcLP5pbvIJBuVbp544=; b=U7vqKZnKVlJ0pi+zRpEPNtTj9GKpfuS8qaqnqhxs6pRcumqF8EpP9XLsSpRk9idd6fX+IaADNM+EOIg8SjBjbKKzgwcz1+fGBW3zreJimRMbOQencdaCbT19QRTJxTTcivt3fZk3GgpY97LgetBXw9EqCZeYfpX14AOY+8iKDOaQQG9FrIMovCf00WXpmuNY03gcSKJ+GvtKfsGZHMvzRl4WUrlsRZpxKcYf1NL3kooC0cxAi13v/ym6DlyICj/iJliVsl8YJw6k4tSf48xJZ2JTUN4xrRamW5OCDoiMhYYqtX9/6hoQzD7aQQb74KkiPsAGODGrz5GxrZ8NXYPICQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=suse.com; dmarc=pass action=none header.from=suse.com; dkim=pass header.d=suse.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=xD4+lUq1E221fZYSI5nikMUZaEcLP5pbvIJBuVbp544=; b=VAlkfsIgRICjqoBrJDE6wGd/FPL6FgWDWfnuM+R2bbJm386f/Jlumv4wOrJAmDcCsyxR/xOYFPNgqBXU2IyxahqY+YNh8/CIb8Lydi+iapCx72X74v9sA1fFy+2sNJ2Fm4LdripNu9HGY9+kAB9VmGNNizB7IYRmnz7M3+fqAlVnh//0oDL47ywlfNDMQCbelwVkNh5XMNdeRnykV0NBwlmG5N9IICGiwgRAfF6JGmEGJlWAhSMd/iX3RTfnkMImWZmKBzBTtgp7cFAU++eSwYeH57CZExIdrJuFwI0devR4Dbb695I1vQ2xZEOR6ECbqrnrTrPjoO5CUvxdlcQJAQ== Authentication-Results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=suse.com; Received: from VE1PR04MB6560.eurprd04.prod.outlook.com (2603:10a6:803:122::25) by DU2PR04MB8904.eurprd04.prod.outlook.com (2603:10a6:10:2e3::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5813.16; Thu, 17 Nov 2022 08:50:56 +0000 Received: from VE1PR04MB6560.eurprd04.prod.outlook.com ([fe80::4da2:ea8b:e71e:b8d8]) by VE1PR04MB6560.eurprd04.prod.outlook.com ([fe80::4da2:ea8b:e71e:b8d8%4]) with mapi id 15.20.5813.018; Thu, 17 Nov 2022 08:50:56 +0000 Message-ID: <37133d5e-f51c-6b69-2c9f-41aa6aea5810@suse.com> Date: Thu, 17 Nov 2022 09:50:54 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.4.2 Subject: Re: [PATCH] x86: infer No_*Suf from other insn attributes Content-Language: en-US To: "H.J. Lu" Cc: Binutils References: <3dd1c6f9-a773-c05f-44d7-12b7947072d2@suse.com> From: Jan Beulich In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-ClientProxiedBy: FR2P281CA0128.DEUP281.PROD.OUTLOOK.COM (2603:10a6:d10:9e::9) To VE1PR04MB6560.eurprd04.prod.outlook.com (2603:10a6:803:122::25) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: VE1PR04MB6560:EE_|DU2PR04MB8904:EE_ X-MS-Office365-Filtering-Correlation-Id: 2bf43b8a-32c6-485c-dda8-08dac878d745 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: 7Zx+6KFB59QPkvMh+cp+b1ZAUQp3/KOrHrhAkDjsfw6knYYzts0eS+ir0J3cMa2xskEPGx/zOvXn0TadGAGoNVwMoGyhqw0p6mgsaWKOordr5Yjxcu1bnDOV7DybgLdyfRmrT106cbDaiz2lvl72vBi6QIE4CPc1ifwbfs5Zi/9kL+XeueFGFIP3evG4hzvJ8M/dWj2TEpFcrtwN8iASe9ZiGyqtD4yYS/zTGXYLgYelDorAkILpN+vm6X6BbJITb8WhSHpXhSWiP7QSXUlaq6e/K6lVA1BiYBLgny1xmsS5pKlvORGVzplMfVn/BFe+oAcKz8yIN00CvFKyC8d5JBjs7PqUfVftJoGNBFkpRYpvg0NTBEAS//8Htzm8xS1P0/8Zz8+hhQGorF+eBKS5DvE8UhmicEScUmKsmB3It76IiKHYPtU5/jXJWfhvw8UGZlO7pwI2Si145kSS0f9jEB9hsBjNXMpg/0ydPnOJAbItjVv7PYbKjs5DYRIcfl4JTyHs/3lEbbPNCmjfZ8nwamWyNHdtspGRPNWge0zMZBdKgXORCxnSLLN1fx5uiQZYfMM+zlW7cXuCJhG6gg2OHVt9UyPnCicglEpaJElwjIyXsdOGr9AkNyZ5y5jlsnhaZFMVHmptV5y7wi7VxSnMtWTiKCo9dAqCVhmDSxJwElgFveQkkcB2q3HUdz7wk/eRqhJDyu4IT399Rhpo0QFWyVwMG5hTy71wHjbCBCyHCog= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:VE1PR04MB6560.eurprd04.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230022)(396003)(366004)(39860400002)(376002)(136003)(346002)(451199015)(83380400001)(66556008)(31696002)(86362001)(38100700002)(8936002)(2906002)(4326008)(8676002)(2616005)(5660300002)(53546011)(6512007)(6506007)(26005)(6916009)(66946007)(6486002)(186003)(41300700001)(478600001)(316002)(31686004)(66476007)(36756003)(45980500001)(43740500002);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?eHUxMXdiTXdIOHBReHdHL0xWSldyZk9KQjFDZXBxZys1cW1pZ0R6UG5IN0lR?= =?utf-8?B?K1U0OGUvUCtoaUNCVDNYck15Y2FEakoxSnRVWUJST3QvS3YvTGRwSE95UHUz?= =?utf-8?B?UVA5RTc1NWd6cnVnVnovZUhsR2sxNldxRzRzZXFuOW83bi9zY2pYSWcraXNn?= =?utf-8?B?ZElYTldsbjFJSk1vQlBuVkE1TzNOb3hpVU4wanlIZ3laUTNYa3RLYUFkWHJX?= =?utf-8?B?QTVTV3Vld2xWNWd0QTdvYlN3cDBOKzNpN0V1TlR0T0F3Vmc5K1p1eGpjZUJJ?= =?utf-8?B?cVIwMzM3dGxLY0dWZ2JxWWZDYlozUFhJS2U0TGJuek1oVDdXcCtHeExzSjZx?= =?utf-8?B?WWRBUXpyRlRybDZORVF2bjVZbGdKbEt4b21TNHN3RFgxQnlrREFYQTFxN2hm?= =?utf-8?B?NFJXaHBCeXJ6NE9hekI5enFzbVdMNGFkc0NJYU4xejd2eldaMG5GZW9uTUxz?= =?utf-8?B?dWMyc3lHcmxWc2NLMk1talk2a25DSE42em4xVloweDViOGRoTlduYWJ6ZjJi?= =?utf-8?B?aDM5MGlJVGh0c3ZTUldJK3FDVkNjVVQyU2hyQVVuRmd1UlBHVVJXcFpuQytS?= =?utf-8?B?eVlwQXl5bkhCSGNXYTRzMm1ZcXMyMGpKSTc3ek5QWkdKaHYxU1llYnNJV2Zi?= =?utf-8?B?OWtHaGtTc3B2YWdIUHkzN1RXL3ZmbVR5eXlhWHJ3OG9XaVJuQm4zbm1mY3d3?= =?utf-8?B?ek1MaWRQM1dFRk5taWpKWG5lVy9pdys2bFBHSXJYYnlVTlp5ZUhBYm5aY3pN?= =?utf-8?B?OVlhVnY5dGJkSHVGK25zR2pDa1d6NCtaU1E0ZFdLMVF4MDF1SjlJVmFoRTkz?= =?utf-8?B?SHFjN0pHcW51M2dtWHlhclYwK0NJWHZYQzNtU20xQWJUWEJzUWI2aEV5bE16?= =?utf-8?B?L29TZTJGRGI1bmYwK004TmxvaEVwR2pQNHVzUGs4YkY2ajJUZ0s4SjNETkFn?= =?utf-8?B?ZkRNbWpNVGhVb1hoUS9oeEh0V0txcmNtdTk4KzUxdVlTWXg5VDRoUklUK1Jw?= =?utf-8?B?dUtWK2ZXVHRmUkxNZzVGVllMWkdJSHBnaVp5WmVKSUQwK2pwYlBaUHYyS2w3?= =?utf-8?B?bFM5b0t3dERxZ0xTM0hrVVdqRDc0S21Pczg0aFdXbW42UHpGVHVXaWtqWFdl?= =?utf-8?B?czlpb1RYUW85S3lwblJBa0xROCtNTlBxYnBhdW16NkFPb2JKL3ZWU2tGNndn?= =?utf-8?B?N094VkhYRWFERFZ1TDJpWCtyamJmUjZnYUNhclJFNXpTQ2lKeVRhTmRKOFdF?= =?utf-8?B?Z3k1Q3dBamtEZ0pqSDdrWk9VdU1GKzRHclU3UWlYVk0vaUthcTZxcDB6YlBH?= =?utf-8?B?bzErQTNaNWVlbUVUNFc5aDI3RDVDdVY3TjdncS85ZE44R21yamlOYS9Ncnlo?= =?utf-8?B?U1hzVHZvUlNwc2o4RW1CRHJJZXIwaXVCRStFWFR1czh4ZEY4aFpnamMrdXhj?= =?utf-8?B?dzZMdHFtTFdaNEJ3NXRmemhZNFdSV1laTHRtcTF4WGZJYVpBWlVySnBsR0hK?= =?utf-8?B?WnRGM2VTbmJpYWh6dnlwVjdFY3gwUG93OGxyanFOYkZpOWVnZE90MUloS3JW?= =?utf-8?B?dVMxLzFZTzVtcjVXeDVvQ2ppMTEwUUdBT3FCUXdWTmZHTFRqdllMVzllTklO?= =?utf-8?B?ZGdFbjhaYWtQMVprQm1SL282b0k1dTJlV3M4TlJBY2cyVUZZQ0pxSGFicmV1?= =?utf-8?B?ZUVic3JkZ3dzalVMUEtYN3FxUWh3bTNaQnF6VE13TTYxZzNZeXQ3cHkxYURB?= =?utf-8?B?MmIxd0dOVG9ONytzbkFUZHFGdk45MWtMMm81TzQwM0loQ3lTK2dGWDl5dklV?= =?utf-8?B?L2RkTHBIOE5YR2tEbk5tbEpEZWxhY2NuYzREL3NpbHRuZXk3cUpSaW1Ickds?= =?utf-8?B?NWYzcDNlaUlCTjdyRmFBVWExZzZlL3BrdHRjTFpMcFZJVER6L2VjK1R0U3ZZ?= =?utf-8?B?VUorL1pJYkgxSkVIZkM3S3pWK1RrZGxXRk9SS25JVHhXMzhPYmpvNVJHTWQ2?= =?utf-8?B?NHZHNXJzV3ZTZElaaTBmdEdHbGVrbGkvLzVoQ2ltZ0I4bHNidnd6RjhlZGM2?= =?utf-8?B?c2dpTkw0RDhoQ0FzamZLa1UwNmNMRGQxVVhoMUppYlNZY2tqZnNoaEtaTndX?= =?utf-8?Q?oV1xy75gNszsVvNSbDXnvfm5Q?= X-OriginatorOrg: suse.com X-MS-Exchange-CrossTenant-Network-Message-Id: 2bf43b8a-32c6-485c-dda8-08dac878d745 X-MS-Exchange-CrossTenant-AuthSource: VE1PR04MB6560.eurprd04.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 17 Nov 2022 08:50:56.0907 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: f7a17af6-1c5c-4a36-aa8b-f5be247aa4ba X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: F9kDC+m6yl8kJcqlHVZvr4KG63Xvfij/uqVVDS/jjNUizmihmwSS5WzmCAWKKslurpWy9QvzxSB1EG2ryZyoAQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: DU2PR04MB8904 X-Spam-Status: No, score=-3029.4 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,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 17.11.2022 02:54, H.J. Lu wrote: > On Mon, Nov 14, 2022 at 11:27 PM Jan Beulich wrote: >> >> On 15.11.2022 00:33, H.J. Lu wrote: >>> On Mon, Nov 14, 2022 at 8:12 AM Jan Beulich wrote: >>>> --- a/opcodes/i386-opc.tbl >>>> +++ b/opcodes/i386-opc.tbl >>>> @@ -75,12 +75,17 @@ >>>> #define Size32 Size=SIZE32 >>>> #define Size64 Size=SIZE64 >>>> >>>> +#define IsPrefix IsPrefix|No_bSuf|No_wSuf|No_lSuf|No_sSuf|No_qSuf|No_ldSuf >>>> + >>> >>> I prefer to add >>> >>> #define No_Suf No_bSuf|No_wSuf|No_lSuf|No_sSuf|No_qSuf|No_ldSuf >>> >>> to cover more templates. >> >> Iirc you said so two years ago already in the context of "x86: imply >> all No_*Suf when none is set in a template". Yet as before I don't >> like going that route, as that still leaves clutter on the respective >> lines (even if it's less clutter then). Plus the ultimate goal, as >> also said back then, ought to be to move from negative to positive >> forms. Doing things the way done here will avoid touching all those >> lines again which are being touched here. >> >> As a compromise I'd accept introducing NoSuf (or No_Suf) in addition >> to the changes done here, for use on applicable lines not touched >> here already, and for use in the #define-s I'm adding. I'd prefer >> this to be a separate, subsequent patch though (to limit patch size, >> focusing on one transformation at a time. (I could introduce the new >> macro in a prereq patch, using it for only AddrPrefixOpReg right away, >> then have the patch here use it in the new macros, and finally add one >> to use the new macro on the remaining applicable templates.) > > An explicit NoSuf (or No_Suf) is better. But why? As said - once switching to expressing permitted suffixes in a "positive" way that'll lead to touching again _all_ the templates I'm touching here (and of course many more I'm not touching here). Plus that's still one more item on (often long) lines which don't really need it. Plus, just to restate what the description says, we're already doing this with AddrPrefixOpReg. I'd really like to see a way forward here - this is now my 2nd attempt that you're in the process of rejecting. If you insist on going the NoSuf-everywhere route (and hence you're not willing to accept the suggested compromise), then may I please ask that you make such a patch (within a reasonable time frame), for me to then re-base over? I'm not going to submit patches which I see clear downsides with. Yet further work I have pending wants this sorted (at least to limit patch size some). To be specific, I'm meaning to eliminate the bogus LONG_DOUBLE_MNEM_SUFFIX and then also No_ldSuf, which prior to the patch here means touching about every insn template. Yet even beyond that the size of many patches I have pending benefits from this size / line length reduction, just like the opcode table itself does. Jan