From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from NAM11-DM6-obe.outbound.protection.outlook.com (mail-dm6nam11on2095.outbound.protection.outlook.com [40.107.223.95]) by sourceware.org (Postfix) with ESMTPS id E91D83870858 for ; Sat, 12 Sep 2020 07:26:55 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org E91D83870858 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Vo1QqiissktDIyV8PpRNH0QTx7ShdajLeAF0u8LHWjWoZe/sFjis3RJR/ICnGQykqA6dvpqNwUP83i9/RQBGG4+guwv9FQXtdp68N8iGuMN5nv5DcpsSsC2DgPQsHJBneIZNLveu0qlZxsnmEIPPE/GL+nHbRzxFsWKXckhHtSMxSggelpCJQM4k6CmMOVAUhBhDdCUyIOUODN8i556tsOLIoe9E1Nm30xyPd/CJqG2PCpkWq+rHrjYwQUNZxsJlsUB4oup6qkOgj8KA+nTsWZkMwkNoOOrwE2fZDBlxMg6X1jiYggLurIFxjQvjWixmL8/25huCQL3CeQ2nAQx27w== 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=igNTe6inB1jDtJILlwPLzG4xEmvq72TLoSGBkUwm/k0=; b=A0uUJdUGkg/nB8cgvXygfv97Q7M34J9OXTqcUMLDKdFKnK7+bvApVfh+mQW+8C8+Jp1yd5JDV5GmeopRyZXOdfyUBLtsx5OQhpbZ/JQh9IszDkjYO311FxcMh130mfRZOB3k2HHWW92753wt5k6xF2aplWjSP6am2cTWhH3ypO2ALz4l1gr1WVZc60tCBx6IuUIlVbkOAWfYzw9PwWHxaWoZJKmXHM7PtgqFjcDYBhcy77LVGy9o4MaujoJxwO7quaYvDkbk5qKF4pP+bTQYsOaFei+DeJqS5R4bHuFpdMa6VXFyoB05SWXto5DREV+6K+meo3L2kTJaoKipQQ32vg== 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 BYAPR01MB4661.prod.exchangelabs.com (2603:10b6:a03:83::29) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3326.25; Sat, 12 Sep 2020 07:26:51 +0000 Received: from BYAPR01MB5464.prod.exchangelabs.com ([fe80::44db:c140:1b6d:b023]) by BYAPR01MB5464.prod.exchangelabs.com ([fe80::44db:c140:1b6d:b023%7]) with mapi id 15.20.3370.017; Sat, 12 Sep 2020 07:26:50 +0000 From: Gary Oblock To: "gcc@gcc.gnu.org" Subject: Dominance information problem Thread-Topic: Dominance information problem Thread-Index: AQHWiNXDECQToaOn20azbg3/M+ScMQ== Date: Sat, 12 Sep 2020 07:26:50 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [69.181.250.88] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: aac3f578-7ea3-4393-04fc-08d856ed3768 x-ms-traffictypediagnostic: BYAPR01MB4661: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: NRY13t9PtoVWWvCmM8WodM/Xq5SHABaDhXRMZXwkvhtEMYa8VNunGt+Xu/lZGNLsHRIRHwRi8eiCBYQ8CK18SC8e4SFsmTGxrgdHOwMxJWauVnDXcAsw55VjXpVlCXQT97zDqkcI/BnwQewwo+4Jx+68d6BPn6VcNQkp6/tBdPZe60A3dHYeVlZvs4GjtTbJuGkLGwOJOOXWiWo6jvFWK5RneRExhX+V3KQgQXgQMEIbHXM0iRqr9HKRKtGLnuZZq6fJbyWmiepjQ2fiKe0U50kvfKoYFJLZGLOAIfnsBUsjLARa2FjQNKyuft+EtPt7 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)(136003)(366004)(376002)(396003)(39840400004)(346002)(6506007)(3480700007)(19627405001)(478600001)(316002)(83380400001)(71200400001)(33656002)(26005)(9686003)(2906002)(66556008)(52536014)(5660300002)(66476007)(7696005)(86362001)(8676002)(186003)(55016002)(66946007)(6916009)(7116003)(8936002)(66446008)(64756008)(76116006); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata: gUgyX/f9J5V2LdqApE2oNO/txNR7opMsZclNee+YFuPgtJ2V4zAryAsWIuSv1nwILmTj5CRm974p0puvIPYHQXJ2P3iv/lc0ttt19apXNh2VUx7gh1CTxxJzR8piglyJPR3ENNpstHnQVqM6SQ45K6PjVOvbLsgvRm2OQqu3AOmeAhF8cE5llOx9tz47gVz0u2jFw8vXHYLMZcVzmoSt81EvbgN/bPulKnb2mbed+lIT2vYXhj3laLcEEXEkEDHCNLLzX0h+6nLiAbinadEWOOg13PkkNEx/5RRFPZfZPoRt5J32WOROp/axztmabVEx7PK6JXbO6N7JLgt2DRi1SiUbaliBgEr/gaghDei9wcCt27LPsxCBT11AGhgmzYO0GSRYKucqUTu7kBuGeSMpTewH4NsiBO4jqsR7Ab3M1C4KkNePJkkKPiUD6U/MDjjNg5OPkFwdf5k8mD1sA/AyY9LiOTjGjdyLoiy6S+2DdCvNpgGP7larI4SfFdXbFwEpJMFH7zzCYNqBFVkq2QduAdAJoGb20QzsxU5p429JKKzkxZxn1h1gvTDxJqvRW4TtZ43vQt98ASZZQB9TfOItenMButSN5G8d+6lPP/ARn1XZwYnf37JwgwWEnHsq9r7KFzo2uScn5QonDeUvtzHUQQ== 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: aac3f578-7ea3-4393-04fc-08d856ed3768 X-MS-Exchange-CrossTenant-originalarrivaltime: 12 Sep 2020 07:26:50.7628 (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: TDPtfrvoeSjthpw63k2clkS+TDG02dWevOtUyU5c9mVIQLmz48rXS1hIoz479NluBxxU8wnwj5CQQ9RCDIQ23MV1eb7UtzU+62khoWJwRE0= X-MS-Exchange-Transport-CrossTenantHeadersStamped: BYAPR01MB4661 X-Spam-Status: No, score=-2.4 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FORGED_SPF_HELO, HTML_MESSAGE, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_PASS, TXREP, T_SPF_PERMERROR autolearn=no autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) 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: Sat, 12 Sep 2020 07:26:57 -0000 I'm trying to do performance qualification for my structure reorganization optimization. I'm doing pretty straightforward stuff and I haven't at this point in time (qualifying the optimization,) modified the program. So I'm a little surprised this is failing. Here is the code that's failing on the first iteration of the for loops: struct cgraph_node *node; FOR_EACH_FUNCTION_WITH_GIMPLE_BODY ( node) { struct function *func =3D DECL_STRUCT_FUNCTION ( node->decl); push_cfun ( func); class loop *loop; FOR_EACH_LOOP_FN ( func, loop, LI_ONLY_INNERMOST ) { size_t num_bbs =3D loop->num_nodes; basic_block *bbs =3D get_loop_body ( loop); // FAILS HERE!!! : stuff never reached How it's failing (in code from dominance.c) I'm guessing tells me the dominance information is messed up (unlikely) or needs to be recomputed. If I'm not wrong, how do I go about doing the later???? /* Return TRUE in case BB1 is dominated by BB2. */ bool dominated_by_p (enum cdi_direction dir, const_basic_block bb1, const_basic_= block bb2) { unsigned int dir_index =3D dom_convert_dir_to_idx (dir); struct et_node *n1 =3D bb1->dom[dir_index], *n2 =3D bb2->dom[dir_index]; gcc_checking_assert (dom_computed[dir_index]); // <=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D BOOM! if (dom_computed[dir_index] =3D=3D DOM_OK) return (n1->dfs_num_in >=3D n2->dfs_num_in && n1->dfs_num_out <=3D n2->dfs_num_out); return et_below (n1, n2); } Thanks, Gary Oblock 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= .