From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from NAM11-DM6-obe.outbound.protection.outlook.com (mail-dm6nam11on2090.outbound.protection.outlook.com [40.107.223.90]) by sourceware.org (Postfix) with ESMTPS id 840183853823 for ; Thu, 22 Jul 2021 06:05:27 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 840183853823 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=RUViEErcg/ZV0aynixHj8ZXH+3U2Ik68XbMgOgzJlbhVkwv2JWY+nBlJNVxvFacRfGE70uM7IgvDgbY0KIUtd4rgpy8dp2IAFrqrnDzK5HBFX58E+gJ2CKJs7DSyhEiecN4NTrjncb7ImiES1OTzY+jjn4bgFfaAU4SpNMDZvJcGaJBcCKcdTLwrKvx61DvZXZYthliiJH26Zm9zS7LpGPvuS+tpKevbkJENfayQCqNSL3ujvCJg/T1RuZ/UClPMsKCeUZXmfEmINoyOx6Gdq9ZYr7tuISG2McTlqJctuScdULmF64GGfoC1XgohTlK8TnoeeFWmUsoj2Lq1r0C35Q== 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-SenderADCheck; bh=KufjwtVgN4Pppm5lNj0V8ShkUgMuI8vZHm39LsQVmq4=; b=btgtdAGSyRJ6LPo7hPnfhK9yrFSnUhTDtgdo8yp4agaYRchXX/zOQvFOZXzSXyQwUBh5GO2YkI5NnnfuDnSKvt7SLycxFW3U3yCTewKUsVdhDnqcluLsWV96QZ3xll6nYOpZGNfcb9mbB6TuNFie6T6jG2QVFHsOu3Qu9s7MxQtC/NUPZkeoWd6yYeixtiF9QYTiV8AirwQdGytz/w1InGvzPPle6h8GMKKV4+EzcMtGhUfq3gE+KhZw0q6PeCpR+ij5707HbjYFzUlS6ICpVDN5QLzqh1AuiQRd+KQE44MRbt4SWgFlXqgbnXWiJcY7Zp9RzL3WttWxG9PCrOjwhg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=amperecomputing.com; dmarc=pass action=none header.from=amperecomputing.com; dkim=pass header.d=amperecomputing.com; arc=none Received: from BYAPR01MB5464.prod.exchangelabs.com (2603:10b6:a03:129::28) by SJ0PR01MB6431.prod.exchangelabs.com (2603:10b6:a03:2a0::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4352.25; Thu, 22 Jul 2021 06:05:23 +0000 Received: from BYAPR01MB5464.prod.exchangelabs.com ([fe80::9d26:2db9:8ee9:2497]) by BYAPR01MB5464.prod.exchangelabs.com ([fe80::9d26:2db9:8ee9:2497%7]) with mapi id 15.20.4331.034; Thu, 22 Jul 2021 06:05:23 +0000 From: Gary Oblock To: "gcc@gcc.gnu.org" Subject: A value number issue Thread-Topic: A value number issue Thread-Index: AQHXfr84yoQf9JqhWUGe5PFS3ewQqw== Date: Thu, 22 Jul 2021 06:05:22 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 8fdaa36a-7f24-47d2-fd40-08d94cd6b144 x-ms-traffictypediagnostic: SJ0PR01MB6431: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: B1ZID4tnu+VmMDvWlXJcgBTp5MEzzPdq4cZyC/n9g5KtmdKCGH3bNALrUFoNDMx9sb8DMNEEE1KgpPQsZZguasISQirfsSqb3Z6KkUgAtaOPH+ixpRXOsy7U3uxm/8StzbIf9l0oyqAOFZx7DhYBDKcsAhOnduLmsZhisKNifcKGfebzHi2EVur+PcGs8dPOyJG3AWI72Ks1Bp0rKZiSC4LYmFdYPgz2Zt7+TpJ6mTeaI1xQXgrsGe3DHW5PL3YNut+0NN1zMV6Q0zIYf9I4G8DENAcNNZZ3ukg0iL6GObGv+JXZ6B9UKgkZ9KhmMmdbZLxI2/AT5KpmIc8EAt3vXRLTO/tdTPiHECEpsGv80OaaVuFAxVzKlz3gMSw2SFj4I+sHeoy4i7nnpPh31y8ImGEt6SB8uMP9rdviJ139+e1HRW8R3k6M0wyp78iAaLGiyLGmw60v7la51Oq1RQ3jw/GMaeMkjORk5BJ13Ou4wuTW/WRgyciPK0CV7wZHBuukT/gWatqmHYCtjZNzM1HA9Ok0LRSmFaWJj3s1POj0qSBwfHf5B0d405dVlozepfYvMVL8YRDstTlm9HjbZE1vi6IRv0Way8Hh4r47/nf3AXe5yrCoMfH4ykkiRooK6n3FwUjjn7GobHyv9drDmQJ+wtvR8YiSq4xmwgzgk6xzQC4vJSTiPKpxFNIYYXsL3XctDqQKTqR2pn2QH8RsT4KbFZ7WHtXDCz1VMNkG8cklfhw= x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:BYAPR01MB5464.prod.exchangelabs.com; PTR:; CAT:NONE; SFS:(4636009)(366004)(376002)(39850400004)(396003)(136003)(346002)(6506007)(86362001)(9686003)(55016002)(38100700002)(122000001)(76116006)(66946007)(6916009)(52536014)(64756008)(66476007)(316002)(66446008)(19627405001)(66556008)(478600001)(8676002)(7696005)(186003)(83380400001)(5660300002)(71200400001)(3480700007)(33656002)(2906002)(26005)(8936002)(461764006)(38070700004); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?wMVTAbobyNFMEWawNu6aUl1ww4UE3KKBAFrL+ez1pwZ3hZYthi4Bz92jdc?= =?iso-8859-1?Q?MStniMOurAiHKXCtYBn63G9B0x/ZwASAVqLkRq4uECXsPddk98Bp33zwME?= =?iso-8859-1?Q?Q7aWuK0k7ImP5p8cYovfvrB5OthDuq3zS9xhjNThLV04eYl3cJzyEZPFED?= =?iso-8859-1?Q?ws67SG6DD9ZXfbNv3JxFWoJ12ElA3oYYP8RpClxpTb06yrL3j2AzjSisYY?= =?iso-8859-1?Q?jdR91F2xz4eZYpx+TwlvMMNUauMb7Caib3bwlA/bZDknV8ZJdmtZuvCWOK?= =?iso-8859-1?Q?0YrTmsni38CqzO/u5+U+gEAgI16PMN9NjHwY4glR+UiSQ0mMUHzq1Tm1Fx?= =?iso-8859-1?Q?146y0t0m1ROKm9JJLcOq2UlHuj0dAerDfd3Tzbff+WIx2B3Yg7YBWWHWgY?= =?iso-8859-1?Q?jg6INWEpRjW6ZZo96Du3d3vzo8ARyfvJ+e+9IBTCf/NTWqR4doagB2vQwF?= =?iso-8859-1?Q?6f5IOkvWKloca6wWjxapJtXU7eGMqfWxh0Q2bpAnKd9batsnCOS8h+wZnL?= =?iso-8859-1?Q?pcBFjq0ht0EiHFtxD4Y4yTb867REiB+RQZ6JsD2o56uqbsEyvT0zIbTsoX?= =?iso-8859-1?Q?iTwE0PDzsA5wmnmNT59NMuDj7RkQ8mRU1XS0w7za+59Dr/tffKFEapMSxr?= =?iso-8859-1?Q?hz0y/q8LTJLaN1Z0/MqsyTaFB8eBcNaZAb+pww7SHElOVCtSGoVt3Q8b+6?= =?iso-8859-1?Q?cUsOA0ZBGxyAKEEu4Q039Hwb7f18/Q/p9k6tdp/4Pu+Ui6kdIBx0YtBxBB?= =?iso-8859-1?Q?imepiMnS5uv6XIfMIPE1yYTeif9MzHPGB0atO92OOCpQFb2DQOibL3EwUV?= =?iso-8859-1?Q?Ytp6JPehBotvrFPDuZ0gGTEE6PQH2pT5yYI7ewapzsa1saVCcRFm15X2Qw?= =?iso-8859-1?Q?2vFH8mqKno/FpNrklyppSSh2PaaPjEIwagYzVMPSNjiBdfW/fq2FixH6yk?= =?iso-8859-1?Q?eeHbRwwVeb/3AnevrgTUAZ1nhRcScon1Co6Vib+go2WK2WRIxuQ1JX83Ax?= =?iso-8859-1?Q?Ae7a5oJBeonbDjrwfERAtAIlKQO6UPciKSryyRwDl1zVR7PZBRUb4b9Ya/?= =?iso-8859-1?Q?4SioGCGr9oeKBqn80jQCNmmPbmvGpgWdeoYx9QaWUxNsM03oHVT7Mew4on?= =?iso-8859-1?Q?mhazNp6rBpd/LKJHRl9LrCr2hkDZW+6P61HUcZDN8iTgU+sG8R6wn+gl/W?= =?iso-8859-1?Q?+cs7kazM61pxbkyZCxcZfK6qeSGl45j9FMamYFwKSfs4CDGewPEoZproY+?= =?iso-8859-1?Q?Ey2b6HkVqzXna5z+nE76siekemiYQwpzHa7XujlZE+2qj3qjPq0wlQ3yc+?= =?iso-8859-1?Q?BntAIJIC+CHMNnlATRDYWQxmeRgt5KcQwhJXRY7lnGN7sko=3D?= x-ms-exchange-transport-forked: True MIME-Version: 1.0 X-OriginatorOrg: amperecomputing.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: BYAPR01MB5464.prod.exchangelabs.com X-MS-Exchange-CrossTenant-Network-Message-Id: 8fdaa36a-7f24-47d2-fd40-08d94cd6b144 X-MS-Exchange-CrossTenant-originalarrivaltime: 22 Jul 2021 06:05:22.8907 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 3bc2b170-fd94-476d-b0ce-4229bdc904a7 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: yhJFmzkli/IMp0Mqzz32pK9VQk7jbahfrK3YvXSavxd7pdH4j5c616pYo4Wt8gewT/E5bmymdc1f0+L1VUvF2EMwWt6QF+UkGmjPMHYyYLc= X-MS-Exchange-Transport-CrossTenantHeadersStamped: SJ0PR01MB6431 X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, HTML_MESSAGE, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_PASS, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: gcc@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 22 Jul 2021 06:05:29 -0000 I seem to be having a problem with the pre pass. When eliminate_dom_walker::eliminate_stmt is called with the gsi to "dedangled_864 =3D bea_43->tail;" which in turn calls eliminate_dom_walker::eliminate_avail op of dedangled_864. This gives VN_INFO (lhs)->valnum of _920. The _920 is not associated with any SSA variable in the function and I don't see how it got associated with dedangled_864. This is not a theoretical issue because it causes an error (the gcc_unreachable in eliminate_stmt is called.) Here is how _920 (in function main) is used. _920 =3D arcnew_916->head; _921 =3D MEM[(struct node.reorg.reorder *)_920].firstin; MEM[(struct node.reorg.reorder *)_920].firstin =3D arcnew_916; Here is how dedangled_864 is used: [local count: 2609125]: dedangled_863 =3D bea_43->head; dedangled_864 =3D bea_43->tail; goto ; [100.00%] [local count: 1813121]: dedangled_865 =3D bea_43->tail; dedangled_866 =3D bea_43->head; [local count: 4422246]: # dedangled_867 =3D PHI # dedangled_868 =3D PHI delta_461 =3D 1; goto ; [100.00%] Note, dedangled_868 is used in an ever widening net of phis and operations. Also, the other similar statements dedangled_863 =3D bea_43->head; dedangled_865 =3D bea_43->tail; dedangled_866 =3D bea_43->head; don't seem to be malformed. I tried using a watchpoint to see what was happening but that turned out to be not productive in that it was tripping on something unrelated even if I set it at the start of the pre pass. I'm assuming that some of my code is malformed in some subtle way and I was wondering it anybody had any ideas? I say subtle because this was all working on a slightly different version of gcc without the code of some other Ampere optimizations in the mix (I disabled those optimizations and things still failed.) Note, if you guys don't have any ideas the next approach is adding tons of brute force instrumentation and special purpose sanity checking to the value numbering routine... please help me avoid that. Thanks, Gary CONFIDENTIALITY NOTICE: This e-mail message, including any attachments, is = for the sole use of the intended recipient(s) and contains information that= is confidential and proprietary to Ampere Computing or its subsidiaries. I= t is to be used solely for the purpose of furthering the parties' business = relationship. Any unauthorized review, copying, or distribution of this ema= il (or any attachments thereto) is strictly prohibited. If you are not the = intended recipient, please contact the sender immediately and permanently d= elete the original and any copies of this email and any attachments thereto= .