From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from EUR01-VE1-obe.outbound.protection.outlook.com (mail-ve1eur01on2071.outbound.protection.outlook.com [40.107.14.71]) by sourceware.org (Postfix) with ESMTPS id ECD333856975 for ; Fri, 3 Mar 2023 12:58:37 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org ECD333856975 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=eOo0TpyGEPlbQexzWQ71xQtwBv9+mlPO5A/74l53xS6AYYYRBvS2s0Pzh2NQn3pc4QONlCqxHKu/LGqbbQK7TPn4nJeXQN8VWg8EbvgLQNZVXaj64G+3MiU4HjgJhGlozbHCCZhx2CzwKSANtHu8KOdGKFeCNV++vpzJXzj0gUaGSrOYepjRz/Oefdwgz3rmZ/NRK05CZskYxRpIt1QTrfqr8b/WsuIKgEtpIKEfolEBlciYMHzhs4Yg2aDvjSssSpYyOSzqqovqIVzroxt0Gz7a2Gd7v0kbMw0gntCp31aRxy8QLnD4AjVM3xudyLN1SIX9j3SbyA78saXr5OgswQ== 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=t39cbuA5i3/fTrFnJO45dej4fF/4f71CDB7kcN6BZ2w=; b=B5mbhnRSarjLN1ilUmAhCN2Nz3aH34mKlVegOuCcvIAyijgEf6yJYFroXpWDhCiwWnFo/0lQVurVex4Dyet5getl55K/FqHGlYwOO18Z99f6BtPY9HSp9Fqu0yYKXq8cW9pQVH9qTfTUoz4FN5de5wz/2CXhdNCJ+jmgLLheUwXVfi8vx8m2UWOsbMsS+s86rE8iFdNaay/usvuklR1w8bNoxbWfXY59iYCELURtP/ep3uWFzBDJuZ9bwZyhARC0BEXutzeBtwMweo3eclpHitCEhQbwr0dTKiALRhx4w8d8F1YhuqrPWI+nsGr4NluAQnzzr3ruO2IyHYOKDcdUZQ== 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=t39cbuA5i3/fTrFnJO45dej4fF/4f71CDB7kcN6BZ2w=; b=s5Imf4sjgFHt8KbWgwyRcWpSTiBnepmBRBF+3++oxzVWJiqU3rO/XNtII3toCMEUy1S7CDejiHYevygsQ4yUw03z/Z22YkTC8rxTwIcXyJ6HP8X8nHUiETvWfGQ7A+CXTA+uEyLTklVVzn6Kd5z63Vvd9zmc2MA3y74U9Du5lGXshi8Q+ctViF/bZci4YOFegzFgY1JCJ1bYtiBnky7VsLPB00VBvSOHX3xP365a1oPbPWlLJGlAtrPPWHfQvUnMLfD/DxL7NqWoCA0F0dX5DwEuf4PnhTRiJIj+gKv6uRtcICN49T/AaBlZqWZ24Vj/eG5IHf02jIXlmDKDiz86Sg== 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 PA4PR04MB7725.eurprd04.prod.outlook.com (2603:10a6:102:f1::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6156.18; Fri, 3 Mar 2023 12:58:35 +0000 Received: from VE1PR04MB6560.eurprd04.prod.outlook.com ([fe80::154e:166d:ec25:531b]) by VE1PR04MB6560.eurprd04.prod.outlook.com ([fe80::154e:166d:ec25:531b%7]) with mapi id 15.20.6156.019; Fri, 3 Mar 2023 12:58:35 +0000 Message-ID: <34990244-84ae-bd27-04c3-1632ad5d7841@suse.com> Date: Fri, 3 Mar 2023 13:58:33 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.8.0 Subject: [PATCH 05/18] x86: move more disp processing out of md_assemble() Content-Language: en-US To: Binutils Cc: "H.J. Lu" , "Jiang, Haochen" References: <764b9e03-18bd-6945-692f-a250522196ca@suse.com> From: Jan Beulich In-Reply-To: <764b9e03-18bd-6945-692f-a250522196ca@suse.com> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-ClientProxiedBy: FR2P281CA0112.DEUP281.PROD.OUTLOOK.COM (2603:10a6:d10:9d::14) To VE1PR04MB6560.eurprd04.prod.outlook.com (2603:10a6:803:122::25) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: VE1PR04MB6560:EE_|PA4PR04MB7725:EE_ X-MS-Office365-Filtering-Correlation-Id: e66552ee-7004-499a-b089-08db1be6ff85 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: f5JZydsF6xTpIID511LT90C80E9oItFt9ap4tNdlYk5aHYcrOgz2PhlX2DLuO6NS3+ACw6xDq6PJH0F3NGAP+gVYHbWpJAQPCf46gn2293NVpxPrCSEnNkUX/Y/ks+0/DOKo5bBOgESQ62rwV4zNYPv+CP8T+lzTO6WewtXFI8hFOtf3C0goiECBF5pyqXjlwz9SrCnwFrJBWLZSoCEOYGYGZmhDbXv2gYupujFAGmFNcR3OCUWRvxCZh6LtNpxbf7sFNsMRtOz9F9sbCUhlreX3cPu34hNQ7aQjCq1DsC2NhZ4K4hreG2EYVqua4FsgjNsb+/VEtjsYpHXmWEWY75jbzwyB96rEOw2dzL3sUgn+kziRRg8lfLH8/gS4YL+Le46pGvCjcUUyN5e64V2KuHNc0l9AwFPh+ZrW7QBis8xpPMAitVCA8qvcYml8yeN6ZyTd3gqHsNSGLrxxyYRqz/nxq4s+IpK7JXWaY6tlHFXMkZn2F4XUnvT/lJxbtXT45eFI7MX3n8I4ilRJQqUsf4v8hXUYy9ZHODWkmSJfuQ/sy3qR32HpSLuYrVyHDWHFq8OXzsvtlMg+nhQbHyyO359qQxjBllXzbuKs3jGODtx3zv2Tznazm5gXllKNrbiUJ+8S+GkxWCXNG2f6t/aHkGwnSbrWQAo0BQCxxJHW1qomkYLx5wMWKnyFf+g9D+zM27Q6UlDrCkNo/c/opCY8GaN2L7ib/F2F9wsNLx18a/w= 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:(13230025)(396003)(366004)(136003)(346002)(39860400002)(376002)(451199018)(38100700002)(4326008)(36756003)(31696002)(66946007)(86362001)(2906002)(41300700001)(66556008)(66476007)(5660300002)(8676002)(6916009)(8936002)(6506007)(26005)(2616005)(186003)(6512007)(478600001)(316002)(54906003)(6486002)(31686004)(45980500001)(43740500002);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?ZVFSODVRaUx5aGl4cmFBYnVHOUsxZ0FIWGhVdmU3Ti9BMDU2Wlg3dUF6SG9Y?= =?utf-8?B?SVFzUCt2OXlYTVpSamlhVE1hcllSRkZ0TU16REpQa2NIUW8rdHo0dXBxcmpL?= =?utf-8?B?ZW1pd3dZQ0lVTG5QL1BKZENuQ0tnMERqWlh5b1Q5YXFveFZzZVIvZHBBZS9X?= =?utf-8?B?Q1BhNTk3dnVNclFrL2t6YmMrbG5tRjF0MEJjd0RaUDFvUFhMdHRQYjdwRXll?= =?utf-8?B?dTk3djBsSklrMEZXbzM4bFcvenB3TWFROUZpWllOVEJvSFUrVFI4SzBmQ2VB?= =?utf-8?B?RmRSa0NacW1tSFk2NmRKdVo0VFc3L0NRNXVjUExkQytEYWxFQmRhZ0tQTk5G?= =?utf-8?B?dFpITHBHUFdDaWg0UFpuRDJ0SUVDZk03NE9GRzlLWTVGYmdLODBlc2ZOWHlP?= =?utf-8?B?akhtQnJIalZtaWdCVHY0cCtQU2xvOElRRVM1Qlc5NjJSRFd6bjN2TDRoNmZF?= =?utf-8?B?NllCYWZ0aFhPYlFxanVpU25taUh6S2pFQk5MUEFucTRFcXdPSXNvK1RNcW1o?= =?utf-8?B?R091MXlQSm85d1RhWkFWRzFTR21oZVI4UU01THVQSGFJTGthemo5VXlmYTdx?= =?utf-8?B?STFGcjdHeTkybUYwTWJUVGJGWk9iWU12alBzZHk5ak52b1dRbkQweVJIYmFL?= =?utf-8?B?VHpCcGVqRkgyVDZlVWdyMHBWK3J4MC8yZjhTM3JPY3dZRzVUUHgyQnRDYno2?= =?utf-8?B?T0VjYTAzQlFGUVhJajY5ZzAxd0NyeHIxaUJmcldyQ284ZWlOd2xLemN0NEkv?= =?utf-8?B?TnZYQVR1NU1ybm96ZGp4RU91NU8xTlVIRE5KSWNoSjRSVlFoUTE3K2F0VC9x?= =?utf-8?B?OHJ2a0JiZ2dpRVA4SU4rNldvRE93OVZ6clNoMllNUkpSSUJTeEFranhRS1FW?= =?utf-8?B?TFFHNGZWaFdSdzJVaGFmZ3E4U3RKOWcyakZHZVFTODdUTUpvWEtENjFkbEZQ?= =?utf-8?B?WkF5Z3ZqNlFReW1wUEpkaUQ0OTJLQ2hHL01tWmZXblFja2Q1NDlaU0cwZkxm?= =?utf-8?B?elJ2TXpLc0tWalBuSkJzZjJ4SWtPYzA4b3pmSnhOUjFwL3dRdVBDdTA4V0dM?= =?utf-8?B?M1J3ZHJaY1JPSGYwNUZHcUlwQWtIeWtMaG5WOTRzUnlNL0RjeGF5UkJxWUFB?= =?utf-8?B?RHpOcGlCL0pZUnlvSXRHdmNyaDVMd2RaQUpnVkoydDJmNnFodENtT1F5REVI?= =?utf-8?B?dW9GR2E1ODh5SmgzS0hBVjVZNFJYMzRwZE1mYUZ5K0pxSDlPMjE4T0NLY3pi?= =?utf-8?B?djVzeVI1cTQ4NklzMEVCUnpCRy9xWWhhTlA0NzA4blJhdS9nOTdMdGFmNzdr?= =?utf-8?B?dWFXMTdlUVR4anNneW9pQnhId1owTnlhTlRCR2p3Y2s5UVVRS3ZrMUc1TnZ0?= =?utf-8?B?N1RFM28wMVdsZzU2QXptSGhlRXdlUkZweFkxWWhBSzZmeERYZlkrNmdSVHZL?= =?utf-8?B?dzJ0cmQ4VDNwSVQ1NXd2NmtjL091QjE1bzFFUTFROXp5OXdRV1BIcXJDSTZS?= =?utf-8?B?a3JPTDVmZTBoNTZkdXZlcUcwclhieFArTFllbWdqajBwY2ZLYjBFZWVkSHlU?= =?utf-8?B?b3hMZm55U00xazgzdjJFd29LMXZzTmlkUnNvUTZ1Q2czM3JjalB5NmREV1dN?= =?utf-8?B?UE5EWTRxTjNMdUhDeHdMcG9TNG5PR3hwcHdXVitCN1pQU3Z3RjYxeWtQclBP?= =?utf-8?B?VTBqanoyTlVlNlBDT01saGRVZFQxWW5IZTRmMitZellidUpzY2NXY1lFTVAy?= =?utf-8?B?YmRjSWxDUHFBQVQwaGE4aTJ1L3hyVWZFNE5vVGtlcUNvY0RvV1g3TXEyVi93?= =?utf-8?B?OUVFNXVicVNDZjF4SFRsMG1jT2NIM29XYzYyMGowcUVWQTNWZFdMRDJ6blcz?= =?utf-8?B?NzVrOU9MZjZFbXk2NGNhTWQ3OHIwTE5RZ1ZRSk5vazdVZzh3UmQ4czJ2YVZl?= =?utf-8?B?c0xtMndlaTNWOXVWWVR0QlEwTyt0TEVVQWJlY0xEN1Fqbk1VTWhBM3lVcFRS?= =?utf-8?B?bXpqVlNQYU5WOWZza1o5LzVFVHIxclB3V2tCRlFCN0dqU0w3cElCV0djQ1dU?= =?utf-8?B?UCtlc3JtN2FEZGtPVFphejJvWGJYMmpwdmdOWnl2b05odW5PeUkzR1FzUEdV?= =?utf-8?Q?hCeAJAMCqy5ZYAkuZjFKpv2CD?= X-OriginatorOrg: suse.com X-MS-Exchange-CrossTenant-Network-Message-Id: e66552ee-7004-499a-b089-08db1be6ff85 X-MS-Exchange-CrossTenant-AuthSource: VE1PR04MB6560.eurprd04.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 03 Mar 2023 12:58:34.9874 (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: aJRhohzApSCBAkVfsHDKy4yD0csGyQNBhCWeWxaMn1WnZNwU6Y7ja8unyomOeiT+KqhdPjLE+tlFfenfM2kuSw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: PA4PR04MB7725 X-Spam-Status: No, score=-3028.3 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,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: Put it in optimize_disp() such that it can then be re-used by s_insn(). The movement makes it necessary (or at least very desirable, to avoid introducing a fragile cast) to convert to local variable to "unsigned", which in turn requires an adjustment to the pre-existing loop header. Having the caller pass in the specific template under consideration has another benefit then: We can replace the two uses of current_templates in the function as well, thus no longer looking at just some "related" template. (This may allow further tightening, but if so that's to be the subject of another change.) --- Split from subsequent patch just to keep the other one's size under control. --- a/gas/config/tc-i386.c +++ b/gas/config/tc-i386.c @@ -166,7 +166,7 @@ static void swap_operands (void); static void swap_2_operands (unsigned int, unsigned int); static enum flag_code i386_addressing_mode (void); static void optimize_imm (void); -static void optimize_disp (void); +static bool optimize_disp (const insn_template *t); static const insn_template *match_template (char); static int check_string (void); static int process_suffix (void); @@ -4995,42 +4995,8 @@ md_assemble (char *line) if (i.imm_operands) optimize_imm (); - if (i.disp_operands && !want_disp32 (t) - && (!t->opcode_modifier.jump - || i.jumpabsolute || i.types[0].bitfield.baseindex)) - { - for (j = 0; j < i.operands; ++j) - { - const expressionS *exp = i.op[j].disps; - - if (!operand_type_check (i.types[j], disp)) - continue; - - if (exp->X_op != O_constant) - continue; - - /* Since displacement is signed extended to 64bit, don't allow - disp32 if it is out of range. */ - if (fits_in_signed_long (exp->X_add_number)) - continue; - - i.types[j].bitfield.disp32 = 0; - if (i.types[j].bitfield.baseindex) - { - as_bad (_("0x%" PRIx64 " out of range of signed 32bit displacement"), - (uint64_t) exp->X_add_number); - return; - } - } - } - - /* Don't optimize displacement for movabs since it only takes 64bit - displacement. */ - if (i.disp_operands - && i.disp_encoding <= disp_encoding_8bit - && (flag_code != CODE_64BIT - || strcmp (mnemonic, "movabs") != 0)) - optimize_disp (); + if (i.disp_operands && !optimize_disp (t)) + return; /* Next, we find a template that matches the given insn, making sure the overlap of the given operands types is consistent @@ -6164,12 +6130,47 @@ optimize_imm (void) } /* Try to use the smallest displacement type too. */ -static void -optimize_disp (void) +static bool +optimize_disp (const insn_template *t) { - int op; + unsigned int op; - for (op = i.operands; --op >= 0;) + if (!want_disp32 (t) + && (!t->opcode_modifier.jump + || i.jumpabsolute || i.types[0].bitfield.baseindex)) + { + for (op = 0; op < i.operands; ++op) + { + const expressionS *exp = i.op[op].disps; + + if (!operand_type_check (i.types[op], disp)) + continue; + + if (exp->X_op != O_constant) + continue; + + /* Since displacement is signed extended to 64bit, don't allow + disp32 if it is out of range. */ + if (fits_in_signed_long (exp->X_add_number)) + continue; + + i.types[op].bitfield.disp32 = 0; + if (i.types[op].bitfield.baseindex) + { + as_bad (_("0x%" PRIx64 " out of range of signed 32bit displacement"), + (uint64_t) exp->X_add_number); + return false; + } + } + } + + /* Don't optimize displacement for movabs since it only takes 64bit + displacement. */ + if (i.disp_encoding > disp_encoding_8bit + || (flag_code == CODE_64BIT && t->mnem_off == MN_movabs)) + return true; + + for (op = i.operands; op-- > 0;) if (operand_type_check (i.types[op], disp)) { if (i.op[op].disps->X_op == O_constant) @@ -6198,8 +6199,8 @@ optimize_disp (void) /* Optimize 64-bit displacement to 32-bit for 64-bit BFD. */ if ((flag_code != CODE_64BIT ? i.types[op].bitfield.disp32 - : want_disp32 (current_templates->start) - && (!current_templates->start->opcode_modifier.jump + : want_disp32 (t) + && (!t->opcode_modifier.jump || i.jumpabsolute || i.types[op].bitfield.baseindex)) && fits_in_unsigned_long (op_disp)) { @@ -6235,6 +6236,8 @@ optimize_disp (void) /* We only support 64bit displacement on constants. */ i.types[op].bitfield.disp64 = 0; } + + return true; } /* Return 1 if there is a match in broadcast bytes between operand