From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from de-smtp-delivery-102.mimecast.com (de-smtp-delivery-102.mimecast.com [194.104.111.102]) by sourceware.org (Postfix) with ESMTPS id F33C9385840A for ; Mon, 14 Feb 2022 08:27:00 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org F33C9385840A Received: from EUR05-AM6-obe.outbound.protection.outlook.com (mail-am6eur05lp2112.outbound.protection.outlook.com [104.47.18.112]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id de-mta-4-4x0P0Kd_PI24ra36p-Ks2g-1; Mon, 14 Feb 2022 09:26:58 +0100 X-MC-Unique: 4x0P0Kd_PI24ra36p-Ks2g-1 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Pa8DxHMiV1LitiXtmyPS3VcJahpENx7c9539fGngP2IYM0dPo7FS91NB1NHko5WdStjgXNj7f9D7KQtFXPFviyYoad4Hp2TSxYTyUw6m7aCmoZEKdm4IThTIBtLHSYb5vIBq96T46nP7zENLCeLyaGKh3Fp2VSskV4fVbX94ICTkONspcS2WQvqBD95ivl1c8pFUIbbmpSQknv+qkzZG8uvOHmukzZ+cJCFSrr1YbbFJdYgnov3YmGjdXBdIpXQ4YPiCAszzGMVVVJjlkVPGv8EDs7BwY79lxuxMUQh/fYOyagE7bQS5KFcduZZEvIfcFXRHdutrB7VMWaRDJa8pow== 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=NAYxbiIFbieJaETfFJFniB1kbHjmqjyL0HzJ9V+1ovk=; b=Jo8EQ8HKqqxTkdz2R+HBmYfgkrqX+deM5E61ts9FyblUaQwEFTCSi/X/FfQLeJirGGgmFUOu0uo/rEE24BXA4EL9iD7u9DPPiNmpCZJ3ev8r7Y2ZOvRSnpHdn1uI2hfjC2zioVxHcpVM2YE6xetmOXK2IqPm9SyaXCfUgLzATnvLcCqS/6Y9LRNyaCkV/PO/Ir16dfAoRDF8ExfWfvF3Hc6wfYqhMPBXyC/ISk3TA4OJrl2oU2qaYT25dzwRuV55rvMUvx1WUdU3JV18ELInTtLGhk7Hnlr+ddPd+PJWJdywOsqfeMQqebh7qr6IxbxdsSLnGee/ok2HZZY/DpTkvA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none Received: from VI1PR04MB5600.eurprd04.prod.outlook.com (2603:10a6:803:e7::16) by DU2PR04MB8600.eurprd04.prod.outlook.com (2603:10a6:10:2db::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4951.19; Mon, 14 Feb 2022 08:26:58 +0000 Received: from VI1PR04MB5600.eurprd04.prod.outlook.com ([fe80::d479:b728:345c:bd65]) by VI1PR04MB5600.eurprd04.prod.outlook.com ([fe80::d479:b728:345c:bd65%5]) with mapi id 15.20.4975.015; Mon, 14 Feb 2022 08:26:57 +0000 Message-ID: Date: Mon, 14 Feb 2022 09:26:58 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.6.0 Content-Language: en-US To: Nelson Chu Cc: Binutils From: Jan Beulich Subject: RISC-V: mapping symbols vs "unimpl" Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-ClientProxiedBy: AM6P195CA0073.EURP195.PROD.OUTLOOK.COM (2603:10a6:209:86::14) To VI1PR04MB5600.eurprd04.prod.outlook.com (2603:10a6:803:e7::16) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: ba0d08a5-52ce-4582-e1f0-08d9ef93c38e X-MS-TrafficTypeDiagnostic: DU2PR04MB8600:EE_ X-Microsoft-Antispam-PRVS: X-MS-Oob-TLC-OOBClassifiers: OLM:8273; X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: MlxIXj2bPb1WR0GLMsPFeTVCk9PhvogkgNLTXDXWRLLhXA6obPO+0CCCSfUBJmFRCKrb5pZB9j7G43Z7fM8nzI1XUXulHNOH1VNlw2EezPZblE5j3egTTdyJfUzUvBcRe3GyL9SR8SlhSMhXqBKu/3hjvh6oUBVq9Avdl7J+d/xeV1Ywaarlhf++EobLsxz5g4QBpV0RdEaBwtAtHpo6xo59P3DACMT+8L0GgpvpzQVhh+20A+fjLj5gZmNUgMM5iCoCjp5c7XaJCH3goJnCyeho1zL9tBaSlLwsj3B4179eAEa32OfpIljpVFi4l18LAeDGwXp7IeU+cQuCAsFecPEo4qAy1atUZob4ZOBlnTodWgefidCxyGTHe0iffNxvSOwyLKeOcMjpuWTWtbKhatsq2wxMgUHPdtLPOPnb7LhSvxBUjQ6a/3GpydGKhlMPv3IGUvSpeRecuKRaPRTBUprnLfspbmiLG4bWR2SauoSA3B+u4GMUXnJSJVwFP0an6XC4iOLEKjnK5GMsyBFXIFCsnEfOxz/2RLaV+KMxuJANz+hZXLg0Tegl87zcHWdHi+7/8HLbFqXxQ1lsvzSPCSU++Txa0E7tEL2kAAecKGFhw786/Bjn1iRK3uAciYdTuzJ2FSW1HsqiRWOlIZqx1KLvgoRxitk3GBbeLVx0y6gqzjuqdG5ZYwUdc7e69DqbaZM8enGiJY9xF4UXuqnwMT7yw3rIAsZjwI8HudAj8SY= X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:VI1PR04MB5600.eurprd04.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230001)(366004)(66556008)(316002)(4326008)(508600001)(83380400001)(2616005)(8676002)(66946007)(6916009)(36756003)(31686004)(66476007)(26005)(186003)(6486002)(8936002)(31696002)(5660300002)(2906002)(6506007)(6512007)(38100700002)(86362001)(45980500001)(43740500002); DIR:OUT; SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?TkZRdEMwTVYxeDJscWR2U3Z6aGJwRTlsTzZTNDNzbS8wV1dTcWFWU2wzQnRW?= =?utf-8?B?aUI1bUo5eTVReHhEMkNBVnRJWXJ0SUZUb1B3YnRBa0FzY0FRU1BJRWJxcG9x?= =?utf-8?B?RDVkRDVoZUdMdFBuM2JsQ0RKc2Y1VnkyU3N3aDE3SUdicVBuSUI1OWhzSUgr?= =?utf-8?B?T0ZaK1l2cHlDMU1PNzA1VFF1bXQxSnI1VWlNL3FoUUc1bmxHQ2JKemdTZkVF?= =?utf-8?B?MDZyNnp6M3BjczZady9VZEdjMjNiSEE5SHh4d2cxS1RoODY0ZnhQeGYwcFNr?= =?utf-8?B?T0hkWTg3SzNzTHMxbThtbDBZS0V3Zm1OYXRSRFR1RWZGSzF1S1kvd0pzSUw3?= =?utf-8?B?SDJ0YXowTUVaejRCSm1XWHJmU29LRzJmc3g0NWcxV2kyR0w2NXpVckozbXZn?= =?utf-8?B?QTlOUDhuNjdWeFBwUHQ0MGloNitVTFh4aTJENDJhU1A3RVpyZ0pPbmpBaitk?= =?utf-8?B?dGh6QXRXVHFtTXdFbEJKY25SWGJzMUJvS2dRdU03dGdIa0dtZTV3S2psU2ZD?= =?utf-8?B?WkdHeUxQOXZPMHZCakhWZVV6clJXMGZZZ2ZLVHNHaUliam91SlVoS2w3RFl4?= =?utf-8?B?SHFQaTJjTkVaME1pTFczOURsOTh3QXV1QTFTaU8xQmU0YXY3dGVUeWZIaHhn?= =?utf-8?B?d0tzRklsTlZNWE54Nmw0dWhTcnBvVUJVUGR4emtKbWcvQTF3b2pra0lkOUo1?= =?utf-8?B?elFVOUpxYUN3RFdFUml6RWVJOTlaRnA0STdIUkxhVlpLOTVRcm41SG0yc0k1?= =?utf-8?B?RkQxa0dtaDZMZlRqVG4xb1hLSDNubklGNnRGNURac2JIVmpaektJNzJhTEt5?= =?utf-8?B?bG93TEF2ZkRtbm8yYnBSVkJTRDdYZlV6SkhHUW1PL09NNERuSTlNN1ZDWnc2?= =?utf-8?B?dlRzNGNVV25iQjJKTEpvNTQvdTlnVlZXeU14ZWhrM25tY3l0L0tQSXg1aDFl?= =?utf-8?B?dFdXSW5KL252T2x1TEdlKzB0bGZjMFIxQy9wVmpEdUNRY1pDY3NpVkVhR2xu?= =?utf-8?B?dmh3L3UvSzNYT2hVeTdMU3lGc3BmK1pRYUViaE0rSlJXVUFKOER4VzRmbjU0?= =?utf-8?B?cTZnNWN6Q0JiMHBQL3RhYmc0SWI1akRFR3BQcXBhT2xpSy8zY05KOVd0T3VR?= =?utf-8?B?cmp3amRTZ3BpWEIrSi9VNXQybmR1QVA3eGlScFM4UGF5UXJtak1WMlFJUnhn?= =?utf-8?B?ZDBWZlBYdll2YVU5TmorV2kzc3lkdjljRW44UVhCUHhNejdhTDdqUXU4aUZs?= =?utf-8?B?TVBIUWF0OHpyVkl0cFgxUGlYZE5UVGswYmJ5SnUvU1hvRFlNZzIrNnVWZi81?= =?utf-8?B?bGVnV2FEUmlpVm1XMW1CMGVuV2ozRFdwMFdxQm0remVtTWNiOHZRbVhEQzNH?= =?utf-8?B?N0xkaEZFVTJvckxvcDRNcitXUjhVRjRhMWY2alRvdnZQVTdwL242QWZ5azFV?= =?utf-8?B?VjBhU0V4akt5VFhhaEliRnAxZW4rMXJSNDN3dlVML1V6V1V6VzRyVkgvQ0dO?= =?utf-8?B?c042ZlJuWnA1N1VPUk1KVGtEVXB1YUhpbTAyNWd2ZEI3bjR6REgyK0dGQzFs?= =?utf-8?B?dkdTaDZTY1dJY0Q2QjJqZXdROHNsY1FucU5tWTRMS1JjVFBSREVmVTQycTBn?= =?utf-8?B?RXlhR0ZTRXovOXZKNnFKenVtcGlNUCt4TktCdytRSkVEK2VwNkR3NkYyQlpZ?= =?utf-8?B?VHNVMHRrMWFhc3A5Z0ZWYnVBZjl3QjV2emFYL0QzMFZ0MVd5ZmdkS2drZUpR?= =?utf-8?B?a3hwRDNWaVpoWjRMRE5BUmVpL2RxZWY0L2ViYUsvQU5vRnFqbUptZzlnUlA3?= =?utf-8?B?eGJqUmVuZFN2bXcyQkMreFBDSnlXR1pHVFZQUnI2Mkg5QU5VWjVTU1MzS0w2?= =?utf-8?B?UjArdUNXWFFqVndEcklwS3lkeFJjUVRmeUpZRXA3R3dFckZuK2VHaE1LZnF2?= =?utf-8?B?ajRyWitMN2pIdUUwa1V1cExmaGhjKzd1enZxeGZxUmU0RXVxcmcxN00xRWpY?= =?utf-8?B?OWJaOUk5d1BTdVoyNktiUzJzZXBxdE1rd1F4bTRHV3Y2Nll4WkNDa1VrRm5h?= =?utf-8?B?dUVaVUhtczVTaml4RCtVS29RYkFMaHkweitWaEtaR1VFM0Q2a0VmNStEeWZ2?= =?utf-8?B?UFc2WGtyQlIvY1Zpc3U5Tm54OFY2dW1YNkNSUWFmY2tYZUg1ZmtZcExOanJ1?= =?utf-8?Q?3yZJThE61dxQO3+7VyR/C9M=3D?= X-OriginatorOrg: suse.com X-MS-Exchange-CrossTenant-Network-Message-Id: ba0d08a5-52ce-4582-e1f0-08d9ef93c38e X-MS-Exchange-CrossTenant-AuthSource: VI1PR04MB5600.eurprd04.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Feb 2022 08:26:57.8068 (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: Mkuubafw+oNJmJCvzqdIDpi74HcCFG57vW/TFmLlxSnKDxyLOi02A/wxQTOoAeOosRnDt63KFa0BbjV9zx2kcw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: DU2PR04MB8600 X-Spam-Status: No, score=-3033.0 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H5, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE 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: binutils@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Binutils mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 14 Feb 2022 08:27:02 -0000 Nelson, with your introduction of mapping symbols I have trouble expressing certain spec-conforming deliberately illegal 32-bit instructions (low 16 bits all zero). I can't use "unimpl" itself, as that for whichever reason resolves to "csrrw x0, cycle, x0" (and oddly enough using that form as input goes through without even a warning, but that's just a side note). I also can't use .insn, as that places requirements on the low two bits of the main opcode. And now I also can't use .word anymore, as that will cause mapping symbols to be inserted, which therefore - by a disassembler honoring the mapping symbols - won't disassemble as an instruction anymore. Do you have any suggestion how to encode a spec-conforming "unimpl", which I want to be part of my own disassembler's test cases (in particular the 0xffff0000 form)? Since the commit introducing the mapping symbols refers to Arm, I'd like to point out that their .insn equivalents allow to encode entirely arbitrary instruction forms. But of course I understand that RISC-V's insn length encoding scheme is somewhat in conflict with this. Two further remarks: Even ".insn ci ..." cannot be used, not even for forms with the high 16 bits not all set (which again the main opcode restriction would get in the way of): Already just temporarily enabling RVC causes the RVC bit to be set in the ELF header flags. Yet with that bit set 0xffff0000 is actually a 16-bit insn 0x0000 followed by a wider insn with the low 16 bits all set. IOW this conflicts with the spec's wording of "minimal length insn with the low 16 bits all zero". And then I'm puzzled by the main opcode restriction related error being raised a whopping 6 times for ".insn i 0, 0, x0, x30, ~0", and still twice instead of just once for ".insn ci 3, 7, x31, ~0". Jan