From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from EUR04-HE1-obe.outbound.protection.outlook.com (mail-he1eur04on2052.outbound.protection.outlook.com [40.107.7.52]) by sourceware.org (Postfix) with ESMTPS id 18CAF3858C52 for ; Fri, 20 Jan 2023 09:07:55 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 18CAF3858C52 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=KShyDpXD4b7+DTxMLC79IVkTv2lqVYA2WGTDlUdJRnSmVZ6YmSTtK1g5lo+kXfPx1qwMnj1pNcjMt0hKzV9wSrPi6Jkh+OX4BfvIV/wpsXH3ok6d40iEx8hWoKj3aqAQ6R8K4Fww8kVgwW5vTKLBs/CMy1AFsoCAdQg6FssFnJFlqoSEDzPY78I9Z2Ojbmvymuu4qH8G+4+wUVTuouupjV1lJAxkUGnCFmhjWtpbN2NnTSHFQhFEElayvD7qtILBIrKbRPSm5r2TzWUSSsfbyxMMHeG6BWPAtzSgH0HSBb28YKUEwNd4l5IHLhasiQAnmnr6KJDTwjmMPDdLTM+cEA== 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=ETTHYdCx+fwHYyJ43fv7q69lAJGNgyTWRbSd6pCGdYg=; b=QQG4AwvDqGvg5kTZ5NIsksFTr59zraSkw/FiPmWfPmwzxlpC+boJY8kpTcy3McGlyfQmufsr1gWKmWwozr97FcKMyzJNn3I7nuMtkmu/RSvPS+hHvFzX990sEbCCK4ggzAs5m+3xCSwqFTJAM4+7eeBBb4O7O1waZws0oedaXKQj1VPqqBKrj3cs5LAS/9sVVJPmOH+MT/fHuin5+zFVrBCeEmWxw0nydZu52sfdyyL5ycOnbusGhdoG+mk2I+XIjlxtG4eAZ0hqqTOwvVA8EDf03vof9vPEIF2TaA+rP6fq71cOZOad2rX03giObToghEo26YfmlRY67oyBBSw3UA== 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=ETTHYdCx+fwHYyJ43fv7q69lAJGNgyTWRbSd6pCGdYg=; b=4jfRV74Hk8NRlJUEACFFOgjZz/7TM1JQEd7/xCP5z5wJPGc/08GU6vVfQ/tf6dm70AnGTQwPdnPwnb+mvsNCItUJZWNc3PWJH8cgFBjwzo1HoceO5WC17ECR1LNymWHWes8+hQCgXCgFJT4b5TyQTno6tV5M0YYnLfbMUTJbSFmxSXe5hweN+5aZZgDKyQYmQr1d2yGFQvc51iAe8pZtk9fM8bVh/JqaBicOGFiyZj/OFamRfE7z9qrJWQ6lL+vWONKrVpoZIzPwbmW7pCsLnFMgw1viE9JAeXf+5xuqU8QS2fVo8YcA1q5N1NEwXcuFZfPx3UeDZRpn40IvcYRBIg== 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 AM8PR04MB7236.eurprd04.prod.outlook.com (2603:10a6:20b:1d9::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6002.24; Fri, 20 Jan 2023 09:07:52 +0000 Received: from VE1PR04MB6560.eurprd04.prod.outlook.com ([fe80::2991:58a4:e308:4389]) by VE1PR04MB6560.eurprd04.prod.outlook.com ([fe80::2991:58a4:e308:4389%7]) with mapi id 15.20.6002.027; Fri, 20 Jan 2023 09:07:52 +0000 Message-ID: <8506e574-c1b4-6a9e-f5af-a0f8c9c70896@suse.com> Date: Fri, 20 Jan 2023 10:07:51 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.6.1 Subject: Re: [RFC] x86: proposal for a new .insn directive Content-Language: en-US To: "Jiang, Haochen" Cc: Binutils , "H.J. Lu" References: <7166b647-c3a3-6103-c4d2-7c59a1520518@suse.com> <8ed80af6-b36b-46d4-de64-530331bd4e4d@suse.com> From: Jan Beulich In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-ClientProxiedBy: FR2P281CA0064.DEUP281.PROD.OUTLOOK.COM (2603:10a6:d10:93::12) To VE1PR04MB6560.eurprd04.prod.outlook.com (2603:10a6:803:122::25) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: VE1PR04MB6560:EE_|AM8PR04MB7236:EE_ X-MS-Office365-Filtering-Correlation-Id: fe2a65d1-1820-4399-3845-08dafac5cf97 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: oSpejzPb+qJdnSxvVDPfb5t806wGJGjTK+56s463yDEcI3pmmKz3BMA+0MnY9hdC1RJ258szGzNmHjoVSOfuhnE28CkptbOWRnNcc5itX114uJhnf08WAx/8AWSNAjYSPkyUzH5bhgnapGmKjkp9yJBJc2IYEamAEMoLbd2qqJgBLUufTLwpB2gR3tkyl7oD8T37Ed62k1qkEXt7l+uRH0vSvjFvaT/aGqpztANqDaEEI/CiO06//IqgAinmcfVB8T0Cxx4A+KQwmwBOtbNbxGAqm/v7ytkIhdoGsbcMxMt5Lc7UEO/bsUcBF32llO5fHDXlNu+ZnoJE3zKnQACGcm9p8eibpEWDK3PtUzE78WOnjFINxYSCLr9AP7UQnaIFecCJFMesQVcbsi63v5rPzIjLVF2c+z4YKCdnuuXzVCwiHTgdUBpAE4ukrQECe7tI/BSzFDLf1ZP4fjmFjj3RF/3GtuoJJantIglLWMV59gao3iJe7jt9BCUZ2RxbJ27iV2kGvtTAyiep7pIotzbo7euXzkFMG2dfwR1qYc/p7LJ0rkkk+Sax1tmAp3BessxRnQg6AfADGrpu+9nQuw71s2jd+F38gEzw6XrtUa/73ueM5U7IW1k9JSQHlnWUPD2LpcP9+mdnAYIBc+RJQuQj3Yfzm5TPWV4/FP2DscN6cjj8V9vUsQc2LaY2m1batA7SlbEp0F2AgP55eRk25yLNJsf6RKEpleUHOzMYw5I0sq3kZiR+J3RzdkhfqtaWx0EmyQ1b1PmYrVcr2w7erLGzUw== 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)(39860400002)(376002)(136003)(346002)(396003)(366004)(451199015)(6506007)(31686004)(86362001)(66946007)(5660300002)(66476007)(8936002)(2906002)(38100700002)(31696002)(66556008)(316002)(54906003)(53546011)(36756003)(4326008)(478600001)(6486002)(6916009)(41300700001)(8676002)(186003)(26005)(6512007)(2616005)(83380400001)(142923001)(43740500002)(45980500001);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?UUNVK05JcXlPbUlSN05ldzdZTkRWSUhkNEtQazVMRnN2dUNVbkZiRE5jRzBN?= =?utf-8?B?MzdjVDRVa3pOeC9QSEFDZ1ZtdUl4VG82QzE3Yno5cGNGYzVveVZCZWVudzFP?= =?utf-8?B?Qyt5UUxmTzFvcVpxVW9uQUpUbmhDWW1ta0lkTS80S0RNdUFxZklQMFZaZVBn?= =?utf-8?B?aU0wZEljV3lXTzc5SFNFOEY5TXhMV0ZSTURCNC9HeTlienB2QkllS3NldFhP?= =?utf-8?B?ZThVSEh5Zk9IQnhrTW85MGRTbEtHa3J1K2MxR3F2djk3ZnBRVks3ZDVERjgw?= =?utf-8?B?eEdvWEh1L3BRNlhSblJCU001RHl2d3BheUNNdnJvQS9UcCt0bHZ0MGl6d3RD?= =?utf-8?B?UWpDZnR4R1BhbFVZZU1adloyTjAyWkRqN3gvVDlzclVtcDdBcVZQVm5sVFE3?= =?utf-8?B?ZTFiTVNPZFZSZkg3YVZSL0ZXZTBNM3d5VzNPUzNUOVZRSm9iWHpIamNFQlhv?= =?utf-8?B?bkFVQU9BQXgyMzMram1Jb3M0V3dqWlpGaVc0Nzk1RXJnT2hYK0RGV0thNERa?= =?utf-8?B?R004eW43b3Q5VjlmV3VzVjFseVE4OC9wUTJZVDRCN1ZWcWRSVlc0Tm4vY1Aw?= =?utf-8?B?UjBUSDlKV2h3UnM5bC8zbmE2dC9BVnFrRDI3OVdNeGtpNzFzYXMvU3djamxt?= =?utf-8?B?T3RyMjI1VGdlRkpGeFBzWTd1SHphb2Z4U21aVDBxZVhjVmNmbUExU3BUUXBU?= =?utf-8?B?S092WnR0RURhaFowZm9hZ2E3eDMzME1PUkx0Tk0vU1VrczNYWU9RTU92dWo5?= =?utf-8?B?OEFSVU9CS3hNWFBoS0xMV21kL0ducFgzbFBFU29ZNTlsWDYzK2c4U0kzZEZK?= =?utf-8?B?MEJPY1B1ZVM2MFNsQmZ6ZExTMGh3MTNCTFY1OFVnNVllYzdEVVl0TjBWMzJK?= =?utf-8?B?b2VpSkxsZXVuVGVmUGRFaFVBN0F2TkprR1VLVU5DanlXQlR3TmQvcUxXNFVi?= =?utf-8?B?SXBaTWhMRTBKbnplNVo2SXUvV1oxeWRhRGZKTmZ3VHJIajlZSWhwdTkwaUNu?= =?utf-8?B?dGZTK1ZzR0FXQzBlYno0dGp6ci92U0lVZmxZa2k3S1c3dHIvMHN2N3BKNGc0?= =?utf-8?B?SzRCRGo3blFveENjRk44U3I0R0tYcG5sTVV5NXVPb1NtanZVZFY2T09QMTcw?= =?utf-8?B?Z1dUUDAxZFhNTlBQYjJtUmZlaVhtK1lTMENJazFibDIxYXc5cXJORS9Qd2VV?= =?utf-8?B?S3gyYlpIUkFuWUdqUGlXaG43TDFiZUlZUDV3U1FzenQ3NXRFSWMzYm5hV0F3?= =?utf-8?B?dC9XM2Y0Rmg2K0U2ZkNjVHhOVGtEaXhKRFhNYWQzbXhQZUhHRUJBY1ZRNjFt?= =?utf-8?B?R2hRNmtkc255WThyMUJZeU5aaHArSFNPVytNSnE0cGZwNWR4blNreWtZRjNR?= =?utf-8?B?S0xtRW5RSzhHZXZheVZMcFRrL0x4OCtpb1BxNElFUXBjVWJVTjhma2RJTGR2?= =?utf-8?B?YmViRzZTRTZSMUZjOUltVm5nR1pwYXhnL1RpcVNUUFBPQ2Z1UjZraW42Mm1X?= =?utf-8?B?UW5RUEd6VFcwdWo0ZXE5TnozM3JSOFk2ek0rVjdWa0FFKzFaNHRDeHFJZEtQ?= =?utf-8?B?amZnT0NkSzJlL3hmZDlXK05PazJubDdQaUhCcXRxKzhML1dwTGM4R2tCMFkx?= =?utf-8?B?UGl5ZWwySTRnTzBqUTU1cVlTV0NpOTQwUzM2ZHNacmxuZUMwV2VsZWlNQnlC?= =?utf-8?B?T0dPdkd3bXg3L3VaSDAvZnFhdTVscUF3N0k2eWJiNlU4SHdSWVFGU29YVTV4?= =?utf-8?B?MkZ6Rnh4dnRuc2Q0UUdybmltMDJtekxLSXlRR0Z3akk5NVpUYlNLdVFUbFhZ?= =?utf-8?B?cGlPWlZWcE9tcUg1bGdrVFp5R01CSWljaXVsMU5WSmdTSzNtVXV2cFBuT29y?= =?utf-8?B?akJYK0E3WU4xalB5MXIwRjlJbThmUGNZWXVINTMyUmZjbFoyd3NKUnZuKzFU?= =?utf-8?B?Mk5xRFVPRFV6UE9JSFNuSkZIZTdCNWU5TkNLZFdGOXIzTnlaTjFCNFlaVngx?= =?utf-8?B?TnpyUHNoTkZLU3RJaWYrMWM0R2NwNGYxL0hPK0dvSkxONkJSMnhHaHVWa2U4?= =?utf-8?B?K3RsdFlRVStVYzBSc291TnpPUXZRRzFKWU9qLy9wZ1gzczUxZFJYcTVZSHF0?= =?utf-8?Q?d6o/HEz6ZjEQX4db6Nv5hm17n?= X-OriginatorOrg: suse.com X-MS-Exchange-CrossTenant-Network-Message-Id: fe2a65d1-1820-4399-3845-08dafac5cf97 X-MS-Exchange-CrossTenant-AuthSource: VE1PR04MB6560.eurprd04.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 20 Jan 2023 09:07:52.6048 (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: 0ssZ6gXMcHyCJIMl27lpNo/iG5yloYhcdxtY0Ghfs2PzviOdTCbvtkOpRVMSyLH6XDNIP1EmrvDPU0PDP1jpyQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM8PR04MB7236 X-Spam-Status: No, score=-3028.7 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 20.01.2023 02:25, Jiang, Haochen wrote: >>>> >>>> # TBD: How to specify the Disp8 scaling factor here? (In Intel syntax we can >> simply >>>> # use memory operand size.) >>>> .insn EVEX.66.0F38.W0 0x88, 4(%eax), %ymm1 # vexpandps >> 4(%eax), %ymm1 > > One of the way I think is to add a field at encoding > > {VEX,XOP,EVEX}[.][.][.][.][.] > > could be x or y. > If is omitted, it is implied by register size or it is in Intel syntax. I don't see how x or y would apply here. The Disp8 scaling size for this and alike (e.g. also S/G insns) is element size, and hence can't be derived from operand size (which I take x and y are kind of meant to refer to). (Yes, a similar issue exists with insns where we have x/y/z pseudo-suffixes in AT&T mode, but I specifically chose the example above to point out that we need to go beyond x/y/z.) While to address the issue with immediates right now I'm considering a prefix (C cast like) notation e.g. $(s16)0x12, for EVEX memory operand displacement handling it likely needs to be something different, e.g. (%rax):4, to avoid possible parsing ambiguities. Question then would be what to do when there is a non-zero displacement but no such specifier: We could then derive it from other (register) operands, but we could also default to avoid Disp8 in such cases. (This similarly affects Intel syntax, wrt presence/absence of an operand size specifier on the memory operand.) Of course such a suffix notation could then also be used for immediates, e.g. $0x12:u16 or $symbol:s32, which would overall end up looking a little more uniform. > But the potential problem is that if we have to add a field every time we meet > something special, the directive will turn out to be longer and longer and more > and more complicated. I don't know whether everyone like this. I view this not so much as a problem because of the growth, but because of my present goal being for this to largely match what the SDM uses (with limited extensions, part of which are actually up for discussion). Jan