[0/4] improve range checking for certain constants on x86

Message ID	a55dc85d-47b4-8494-461a-f8b955cb033f@suse.com
Headers	Received-SPF: pass (google.com: domain of binutils-bounces+ouuuleilei=gmail.com@sourceware.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 7A0953858D20 Message-ID: <a55dc85d-47b4-8494-461a-f8b955cb033f@suse.com> Date: Fri, 5 May 2023 15:00:22 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.10.1 Content-Language: en-US To: Binutils <binutils@sourceware.org> Cc: "H.J. Lu" <hjl.tools@gmail.com> Subject: [PATCH 0/4] improve range checking for certain constants on x86 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit MIME-Version: 1.0 Precedence: list From: Jan Beulich via Binutils <binutils@sourceware.org> Reply-To: Jan Beulich <jbeulich@suse.com> Errors-To: binutils-bounces+ouuuleilei=gmail.com@sourceware.org Sender: "Binutils" <binutils-bounces+ouuuleilei=gmail.com@sourceware.org> X-getmail-retrieved-from-mailbox: =?utf-8?q?INBOX?=
Series	improve range checking for certain constants on x86 \| [0/4] improve range checking for certain constants on x86 [1/4] x86: tighten extend-to-32bit-address conditions [2/4] gas: maintain O_constant signedness in more cases [3/4] gas: invoke md_optimize_expr() also for unary expressions [4/4] x86: further adjust extend-to-32bit-address conditions

Message ID

a55dc85d-47b4-8494-461a-f8b955cb033f@suse.com

Headers

Received-SPF: pass (google.com: domain of
 binutils-bounces+ouuuleilei=gmail.com@sourceware.org designates 8.43.85.97 as
 permitted sender) client-ip=8.43.85.97;
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 7A0953858D20
Message-ID: <a55dc85d-47b4-8494-461a-f8b955cb033f@suse.com>
Date: Fri, 5 May 2023 15:00:22 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
 Thunderbird/102.10.1
Content-Language: en-US
To: Binutils <binutils@sourceware.org>
Cc: "H.J. Lu" <hjl.tools@gmail.com>
Subject: [PATCH 0/4] improve range checking for certain constants on x86
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?q?QSxaL888yXwduUPT7lB3mRWavGox?=
	=?utf-8?q?f4y1VaaBAILrzvHMsLgThS6Mae45qHMs7o3QgIzThy9NnQxdwhUdzFECTCUePSJ8v?=
	=?utf-8?q?68+ibclD9H83EU3VUUWoWWo6cOSXfjzHOvWqSLVzLMlSH/y//t9J2ez4RWS3cDeNv?=
	=?utf-8?q?AQTz5S8SwA0olEQLQIjr4Q7Yq8g05T2rbeR5QlOci+71iBjOrKGvoVFKR7/PIk+UO?=
	=?utf-8?q?aA5JTNRVmj2ThUPYTWi5H50PHOnuH+kvaxw0Z7MHkeXLjktOTjeFxmosra0mPxlCF?=
	=?utf-8?q?CaSpLg96dccDzglDZDYd8krypc9aoVm8/dLgeoeucImst8y6q1G5QxjtY48Edxkpd?=
	=?utf-8?q?FPtkaXObJp6F2V2k/xU+X7k6IZoDP9AM2WB9jjMB1GqFnuK85n4Xq1SM7Z8TjGXYp?=
	=?utf-8?q?AbnfvEE0XXvWT0hSR5UC81q+SBDGRNHDwGpjnBQcy5Hg/eINOW/WDvikWsjDChxv9?=
	=?utf-8?q?pCs35O3tlHucyJxc0szzNQoD+51comaI5wVTAKo21yS4FgpGGR7J2pkkK4a30Wmbd?=
	=?utf-8?q?dH9NIjMeBddbOR7UI6yzY9RdAm+LHDHqc5d/PXFcAhWUB7pokPNQUiWUD252iMpPU?=
	=?utf-8?q?6cF0WmOMr9ddfoYIC/Cc29CTNS4DR2lgIOaHT8vbS4feUPNbQnkusZId0OcanoBz0?=
	=?utf-8?q?xAehAk78aoq/kk6bcCQte1RKRZsa9P7dBW6u3wqhSTEmIkxfGKVSznSOq+H/t12zM?=
	=?utf-8?q?QLnLaQHaM7ppab+C8dGiMKDTKTGOtrMyK9yXIuZgXvNds/GG3r268T6KGGACI+XfN?=
	=?utf-8?q?5dP4oAYGZqSlal4HBKX9Cbn0StsQUoAGU8ZvVEMQCSkD5JubrcnHXTJHkegMEDe5V?=
	=?utf-8?q?MxmXiPTWUhDVje7gJaKOvxazRJh26T0U7c3zvGcOmw3m0YvgPbnZhBrZMJcLSQsDw?=
	=?utf-8?q?wwlCK7z3ChY+Xt5CztNDTlaEvQCV1z4tth4BpxdDFmQRderUlOz9ijquaWv8Q+Dz8?=
	=?utf-8?q?D9KzEOPXEt79q/kXF+iy/+Pq4Wv1jPknT/LlBVDWX8C3CDmgPmexpqsSIi8xk3lNC?=
	=?utf-8?q?cNUVx7hQa+B+e4ftQKi1ugxDkldivfasU22bD5lJWb3fBYKYtjttI66w2sWHZcUm3?=
	=?utf-8?q?yLC26jrYULFMly9mj7LiEG4SIPYUo8QTwO6RpknWxZgmZVpgNaGqcFOFwYHWu/551?=
	=?utf-8?q?TdGX4mzv+EwEDnongL1zWbepXeTbzEs5Vesgb/4oC+EnkYvmNsfPp9h90tCjesklH?=
	=?utf-8?q?GZvb/Ef9VYj03G3uVa0mckEm6NuYMRomlHuQj1+7UeXnFruOgU2QKtXJvdb6IBerP?=
	=?utf-8?q?xXcqoXRIp/+GLUiQyDq6LkIKlxr+rGasyhLirnwqwwEXBlChV6TkT9dtmlDRUVCmz?=
	=?utf-8?q?qKFmti+b4tIszRLdKxvVo1Ss3c2JluupTzQEnwvNZ+uV/JPrvSkGfkSIiKuf3MiS2?=
	=?utf-8?q?Z/aebTfCQP1Ooi1ZCdlQZkivjMwxQvtuX+sITjuQzBzFm2Nv+opn0qgho3R6GtK6u?=
	=?utf-8?q?7TDJRCoIMAGxzLP48fg3hvRlY4wvFjLeDRQfSeXxB/sgoXKFfzGbJr3B96OXu0hW2?=
	=?utf-8?q?mEQDK3Z6f/3z?=
X-OriginatorOrg: suse.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 
 b6d94d41-4b55-4954-8938-08db4d68b0b4
X-MS-Exchange-CrossTenant-AuthSource: AM6PR04MB6551.eurprd04.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 05 May 2023 13:00:24.1112 (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: 
 IP3k1EYyVFV0hhpOhFvT4yec5lH3Nb1PHnACbGFtytQgxDMo1l3u89BgEzqbYRiil01dlZMWADFRtfAPESZxmA==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DUZPR04MB9848
X-Spam-Status: No, score=-3027.7 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, KAM_NUMSUBJECT, SPF_HELO_PASS,
 SPF_PASS, 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
X-BeenThere: binutils@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Binutils mailing list <binutils.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/binutils>,
 <mailto:binutils-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/binutils/>
List-Post: <mailto:binutils@sourceware.org>
List-Help: <mailto:binutils-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/binutils>,
 <mailto:binutils-request@sourceware.org?subject=subscribe>
From: Jan Beulich via Binutils <binutils@sourceware.org>
Reply-To: Jan Beulich <jbeulich@suse.com>
Errors-To: binutils-bounces+ouuuleilei=gmail.com@sourceware.org
Sender: "Binutils" <binutils-bounces+ouuuleilei=gmail.com@sourceware.org>
X-getmail-retrieved-from-mailbox: =?utf-8?q?INBOX?=
X-GMAIL-THRID: =?utf-8?q?1765059211277375974?=
X-GMAIL-MSGID: =?utf-8?q?1765059211277375974?=

Series

improve range checking for certain constants on x86 |

Message

Jan Beulich May 5, 2023, 1 p.m. UTC

  Unfortunately I haven't found a way to do so without some common code
changes, which in turn required adjustments to a few other targets.

1: x86: tighten extend-to-32bit-address conditions
2: gas: maintain O_constant signedness in more cases
3: gas: invoke md_optimize_expr() also for unary expressions
4: x86: further adjust extend-to-32bit-address conditions

Jan