From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from server.nextmovesoftware.com (server.nextmovesoftware.com [162.254.253.69]) by sourceware.org (Postfix) with ESMTPS id 1F71A384D171 for ; Tue, 13 Sep 2022 09:57:02 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 1F71A384D171 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=nextmovesoftware.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=nextmovesoftware.com DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=nextmovesoftware.com; s=default; h=Content-Type:MIME-Version:Message-ID: Date:Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=FGHWUn7xJQeiogz5qVGkZcOHHtsWvlVTi39eoEFYrfQ=; b=s+rxarc8UcLkHGeTFMKsnyePgk o6XLwWuRKkBv2HkBGrayZIW5HkIt+Q4Mi3TQ4qMrEsQ0KFG7kQTQf2gF4ff6/JELvBvdy6bzlQEnI oOstAJKTp+64EVhuXVBBQO/qEB83BHTQ/L0B2QoCiRdTSTW0os4T0VCiIZuN7gNnRlIRfTDEBGrxr dgVzSx84Ud7Yqe7wGdgc5IC70lxY0SW+U/+1S4HMtcdWcQbsB6MHxrWZIGoSn6TKt8hDmKuiiEYVz qd14GyeVq59XcqhL+kDB3nO4XjVf1F2N1jY9Dg6cvvfUTxzl8BKyFwgSx9T8K2dBtFCGM1I7X6ad7 m61cO/+g==; Received: from host109-154-46-66.range109-154.btcentralplus.com ([109.154.46.66]:56202 helo=Dell) by server.nextmovesoftware.com with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1oY2f6-0001VV-Uq for gcc-patches@gcc.gnu.org; Tue, 13 Sep 2022 05:57:01 -0400 From: "Roger Sayle" To: "'GCC Patches'" Subject: [PATCH] PR target/106877: Robustify reg-stack to malformed asm. Date: Tue, 13 Sep 2022 10:56:58 +0100 Message-ID: <020401d8c757$2af45f10$80dd1d30$@nextmovesoftware.com> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_NextPart_000_0205_01D8C75F.8CB8C710" X-Mailer: Microsoft Outlook 16.0 Thread-Index: AdjHVsH/26kNlEY6QUe+H2xoIBiL/g== Content-Language: en-gb X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - server.nextmovesoftware.com X-AntiAbuse: Original Domain - gcc.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - nextmovesoftware.com X-Get-Message-Sender-Via: server.nextmovesoftware.com: authenticated_id: roger@nextmovesoftware.com X-Authenticated-Sender: server.nextmovesoftware.com: roger@nextmovesoftware.com X-Source: X-Source-Args: X-Source-Dir: X-Spam-Status: No, score=-12.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,KAM_SHORT,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE 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: This is a multipart message in MIME format. ------=_NextPart_000_0205_01D8C75F.8CB8C710 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit This patch resolves PR target/106877 an ICE-on-invalid inline-asm regression. An innocent upstream change means that the test case from PR inline-asm/84683 now hits a different assert in reg-stack.cc's move_for_stack_reg. Fixed by duplicating Jakub's solution to PR 84683 https://gcc.gnu.org/pipermail/gcc-patches/2018-March/495193.html at this second (similar) gcc_assert. This patch has been tested on x86_64-pc-linux-gnu with make bootstrap and make -k check, both with and without --target_board=unix{-m32}, with no new failures. Ok for mainline? 2022-09-13 Roger Sayle gcc/ChangeLog PR target/106877 * reg-stack.cc (move_for_stack_reg): Check for any_malformed_asm in gcc_assert. gcc/testsuite/ChangeLog PR target/106877 * g++.dg/ext/pr106877.C: New test case. Thanks, Roger -- ------=_NextPart_000_0205_01D8C75F.8CB8C710 Content-Type: text/plain; name="patchrs.txt" Content-Transfer-Encoding: quoted-printable Content-Disposition: attachment; filename="patchrs.txt" diff --git a/gcc/reg-stack.cc b/gcc/reg-stack.cc=0A= index fd03250..95e0e61 100644=0A= --- a/gcc/reg-stack.cc=0A= +++ b/gcc/reg-stack.cc=0A= @@ -1073,7 +1073,8 @@ move_for_stack_reg (rtx_insn *insn, stack_ptr = regstack, rtx pat)=0A= break;=0A= =0A= /* The destination must be dead, or life analysis is borked. */=0A= - gcc_assert (get_hard_regnum (regstack, dest) < FIRST_STACK_REG);=0A= + gcc_assert (get_hard_regnum (regstack, dest) < FIRST_STACK_REG=0A= + || any_malformed_asm);=0A= =0A= /* If the source is not live, this is yet another case of=0A= uninitialized variables. Load up a NaN instead. */=0A= diff --git a/gcc/testsuite/g++.dg/ext/pr106877.C = b/gcc/testsuite/g++.dg/ext/pr106877.C=0A= new file mode 100644=0A= index 0000000..6bffed9=0A= --- /dev/null=0A= +++ b/gcc/testsuite/g++.dg/ext/pr106877.C=0A= @@ -0,0 +1,13 @@=0A= +// PR target/106877=0A= +// { dg-do compile { target i?86-*-* x86_64-*-* } }=0A= +// { dg-options "-O1 -m16 -mtune=3Dsandybridge -flive-range-shrinkage = -fno-dce" }=0A= +=0A= +void=0A= +foo (float b, double c)=0A= +{=0A= + for (int e =3D 0; e < 2; e++)=0A= + {=0A= + asm volatile ("" : "+f" (c)); // { dg-error "must specify a = single register" }=0A= + asm ("" : "+rm" (c =3D b));=0A= + }=0A= +}=0A= ------=_NextPart_000_0205_01D8C75F.8CB8C710--