From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from na01-obe.outbound.protection.outlook.com (mail-cusazon11020019.outbound.protection.outlook.com [52.101.61.19]) by sourceware.org (Postfix) with ESMTPS id F0ECB385840C for ; Wed, 5 Jan 2022 20:12:33 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org F0ECB385840C ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=YwYANE6bd6KheaMy/J2zlBUj+B0NN2LUoItz2Q7UK7ZHaZJAeGsimLtx4BXHDIjPycKEZHgFPdb0WZYZQrkST8WTk0d3dFY0URcarRpwMyHHHOyLqQFz2K70mZXS6OhGwJCSPZMMs/9BejnhQpyTeBmXxlcdRHru3TQBcEObpO6p5A0Mo3QH56EK7bzf9F2IpunWP7hPMP1gvdatLKUYQDjTp3T10YEMYltbOLMXb9Z8VcE168mS5mSjH5AvoIinye+eShQq1o+9M29O2rH9HVIs7hKY4Dxvp78cBj6H0NI2vloiZoTH5wdbNo+4DevU5vyY+vIJQGWODixyFrP0cg== 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=q6tbqRQmUDeUSXspBPvzFK1LhcdiG2yc/x7BEatMIEM=; b=ocbalrCXqb/p0p25Ecfr/fB8SlShqgPPGPN5um9F+E+PjBnU5S5HlRC2GGnugV0PYahsga/QXSIz8C5ypccAuFLxowwsSvNDaAnIXwg8H0HjEKqhFJIu8tijfp0u0ZifqAVATPwWtDNHIXqsXtcjLjx3ulqjfZwJm50BnwNDRdWnvzmID0tkID6WH5b3LcIkreal8A6FW53QrAJeANFtmBIu/K1SxsE30L0jNVfxrFLpoA4zZNKTECOxUvvUZfsMGCxvixDcZstWpXYADv2J4sIr7/I/HrOor6ISjjrUoNHskfQJ1CvuGvQpW3SxT0IYlY7DaiIMEFc5ppqm1pXBKw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=microsoft.com; dmarc=pass action=none header.from=microsoft.com; dkim=pass header.d=microsoft.com; arc=none Received: from BN6PR21MB0162.namprd21.prod.outlook.com (2603:10b6:404:94::8) by MN2PR21MB1391.namprd21.prod.outlook.com (2603:10b6:208:203::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4888.4; Wed, 5 Jan 2022 20:12:31 +0000 Received: from BN6PR21MB0162.namprd21.prod.outlook.com ([fe80::25b3:b5ef:bc86:4839]) by BN6PR21MB0162.namprd21.prod.outlook.com ([fe80::25b3:b5ef:bc86:4839%4]) with mapi id 15.20.4888.004; Wed, 5 Jan 2022 20:12:31 +0000 From: Navid Rahimi To: "gcc-patches@gcc.gnu.org" Subject: [PATCH] tree-optimization/103514 Missing XOR-EQ-AND Optimization Thread-Topic: [PATCH] tree-optimization/103514 Missing XOR-EQ-AND Optimization Thread-Index: AQHYAm7REjcKKa77J0StVNz+EmutiQ== Date: Wed, 5 Jan 2022 20:12:31 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: yes X-MS-TNEF-Correlator: msip_labels: MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Enabled=True; MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_SiteId=72f988bf-86f1-41af-91ab-2d7cd011db47; MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_SetDate=2022-01-05T20:12:28.532Z; MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Name=General; MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_ContentBits=0; MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Method=Standard; x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: d761d387-aa28-4344-504c-08d9d087b440 x-ms-traffictypediagnostic: MN2PR21MB1391:EE_ x-ms-exchange-atpmessageproperties: SA|SL x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:5797; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: q+a0yQtQ6vxUeh5bjX0xBKzEVqSPjf3fc2e4/6XGx6Ve39ySN7a/9v0nKNVAX4a8bFy3e3bEZWqhwJkvqVvFyy4PG92FkY6QwFabVu4eITN82WMzo4elxEgWYIaDdNKN7FEuQArikMY6zS7u7VbWqYgDrm7tvCS446CdEd9eaNhb7+OYvh+wtvthSKK3DKCq3d+wsjDxPGCdav/bnWmymvta658OqFT27Gx9GY4YIQLvcUvf4B2+RR4RK32gKbviByOlES8dE+6YGsgvAD+SCrwqhqOzYhj42rTH4zB7/KFVjMD18OS8Xj6Chjwf+X3b4WjWJFoA2sTcMLjJQ8olB25xbcudsSOMrKY1uP1p73PZHeUNObzkci8AGLOcxrTWHnezhXgHbzEDjKXaYfriy8HL/ezuM3gZM4QU4pPfNR81fOqREtNea9FcTaeA66HoqshLBtaRapkhX3EQok+boaXILONUFmFEdUOkh1B45p1m5w2ASTNH1Y8XBD1AW15xqqPzVcZ5FJEoHowtO8BJURfuGvsI29asC1c5SdkRDf805XSr1EDczvDr1tfwxjl6b5hGF+Kk3CL+TwTmnbBbcJ0Jc8nzPn9tfMYBHQdtdOGr4P0q8P8r6hkxs0nlJDCj/7bHj9qnV2AIPR4sD56M8uiwW4sm5GoehHcAgS07jFqZYGeZ8ZZ2EEKTUdIfu20JJjPqk27JlTSsPPnmPezUinm8xl+YON4JrZnPtlvs6IYBuub3VbJEmrqIA66yWcl5u4N/AVj6UUPwYCo0n3LzYrzUSa+ojvauUDk1I86Ko1T6mRfV08+p91zNuC7mnU0DWJMTUamp0WWluezmVPOGGA== x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:BN6PR21MB0162.namprd21.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230001)(4636009)(366004)(52536014)(316002)(2906002)(66946007)(186003)(6916009)(84970400001)(7696005)(8676002)(6506007)(38070700005)(55016003)(9686003)(76116006)(91956017)(8936002)(99936003)(82960400001)(82950400001)(64756008)(122000001)(8990500004)(66556008)(66476007)(38100700002)(10290500003)(966005)(66446008)(4744005)(71200400001)(33656002)(86362001)(508600001)(5660300002)(20210929001); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?UtnwR7a1Qe9hkdcE5kke3TATA6+gKS69p70o+DOdkuURTadkJOgZ1JgfpN?= =?iso-8859-1?Q?pvfqRDwWyj293hbsilHmhCuSDziVOA9QUTLwYGN64IPTWbuPXZBM5npmvx?= =?iso-8859-1?Q?3SbnU0SErTr+8GuQLfKP0+ePGUEXjG0+4p4AlchMR2vt6v++CAujZJjweT?= =?iso-8859-1?Q?rp3nTeYquIghO0H1M28KW+2vsXkJIqP8+jhJUvxg+2rDBU5lFhLDvOgvRd?= =?iso-8859-1?Q?76Zjua5WcvH+MRDkvxG+ZpDJq/VnzAzBTKG3uZbcDxFlgsdNGQhuxK3hNW?= =?iso-8859-1?Q?T+icgmUJNoDiEZJg2++WK6DkCIn+swMYWy8elLUOTqJqnQbyFv8YPE8Nsj?= =?iso-8859-1?Q?flaju0ldho58D+9rMoXaNnuf9zrYYnq9decIKzNCuSU+/+xSX4tS1j85g3?= =?iso-8859-1?Q?hliridtmXMvz0+CMx+RHTUV9al/ZkNbnwprnRhamRCyI01BpEyVm/5DbCg?= =?iso-8859-1?Q?/u55KUDcAJ8Tad+tjPHNY5vbYWk/sRN0NaF4oiA0dlaywMdPXn6IhTQZkE?= =?iso-8859-1?Q?9OuXz7NHMJrvMFB6dbV0q0+KdZR9AAiDHfRtjY4QPVttfGXREurd9BRe7P?= =?iso-8859-1?Q?Mv7E0qh+atKgKUbMqpiOozs8lVhEyAhnbQTt84kGzQ1x9yBJtmS4nLfvg6?= =?iso-8859-1?Q?W4yRDDRFNWyhb8buZUbNsRh70/W9B6J0/DMQPQVx7BlPS4oSNwDT+8mgZD?= =?iso-8859-1?Q?cCybSA+UGW6iK1TygaiGlVXYg9Rl0DFWEBZp5kv4JgTM2Yq87nntTGAeYh?= =?iso-8859-1?Q?y4GqHUoxBFb+iqp4GpGbR1b2L8fsrjWlZJTygqPZVNsKFoVzJGKJfAqPgO?= =?iso-8859-1?Q?3o4rgGDcy2cA29zOja2MsjBMuF1h1NhnxTijPJmFa/Vq3M/GgbTyCj3HXo?= =?iso-8859-1?Q?vz2qTB5S61IRKF6n6Ecshphjo2nnHMdpB9Ovddb1Tcv6QHpLRwhVJNGTr6?= =?iso-8859-1?Q?cYCV60boZUrW2ho1Yq4wqSqMBRS4SRSeyoxldzWKDxD3XTrprxM7HEfZd+?= =?iso-8859-1?Q?pGTxcJt4GZNlkRO5XIP4O/SRkoC27Kcj31ZY0M5AyRERLJAEEeR755PJ+K?= =?iso-8859-1?Q?s6Mc7GkfbVJJCrdhaxCZX/Lp2/wIY/gLHtp12ixhNC3kiJmzcrearKwBhM?= =?iso-8859-1?Q?1clUZmu2cB/nkBshSvw08bLuRlDmCcOHaMutJFuFHQf0Imbi9dyjyFjfCn?= =?iso-8859-1?Q?elveI1C1xcPQ7cSQiJT5HNryHusTL8NBptK/0PDM8JnnraL4pXzZbSWM4E?= =?iso-8859-1?Q?R0vq8SK8cP2746HpRXtnYdkNdtla7bhExds2A0S1VbWSFLpFG4RKUhHHVD?= =?iso-8859-1?Q?4SdMaHJuoVaT+ksnFNIdLX9adaCQYMaVK+/Smk3BkTIXtqbAmBd/wKAfJ1?= =?iso-8859-1?Q?+Z7yfck/uPG6uGKu0ZvZ2FJ8L/1kmw2/WcnQrZPoPwAlMhmZg14je4bzuN?= =?iso-8859-1?Q?8d3EtfDxnZyfUQbSxNVYr+mZ6KyJFTuHlzXsZ79E8XQTsNaLPAU2NppoXt?= =?iso-8859-1?Q?KWCH5B/++udHZuA6DsusH54cnfutLMMHiCplwtDodM69ADtg+GdNiPJ1TC?= =?iso-8859-1?Q?PrjCAavwd71oe+q0IkiqT3wkf4AP9uoWoh/d924SmMtApV14wFHFM06NOx?= =?iso-8859-1?Q?F1PKbVI/sVB7UFn4xTfdc0+Qmh6pi27yMH2u57rviz6R11ia/gjdjvW2E0?= =?iso-8859-1?Q?GqeNbHL0tVkaBTxkDC0Cdq9UG06A15OcYOGk70p5f+KM08Eq03urMm2di6?= =?iso-8859-1?Q?55Ow=3D=3D?= Content-Type: multipart/mixed; boundary="_002_BN6PR21MB01629E8E6E8B71D7F1553530A34B9BN6PR21MB0162namp_" MIME-Version: 1.0 X-OriginatorOrg: microsoft.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: BN6PR21MB0162.namprd21.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: d761d387-aa28-4344-504c-08d9d087b440 X-MS-Exchange-CrossTenant-originalarrivaltime: 05 Jan 2022 20:12:31.1812 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 72f988bf-86f1-41af-91ab-2d7cd011db47 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 1hQWjocPm23INdXEiwCMYOpga1S17F2VVIWTRXFvTBjDVaI+puhJrQenOLdPXQ7cxZgSCRq1Oo3oTgjStmboxlAWsO/gZ/WPylz5LOLNYJ0= X-MS-Exchange-Transport-CrossTenantHeadersStamped: MN2PR21MB1391 X-Spam-Status: No, score=-8.0 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FORGED_SPF_HELO, GIT_PATCH_0, KAM_SHORT, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_PASS, SPF_NONE, 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 X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 05 Jan 2022 20:12:35 -0000 --_002_BN6PR21MB01629E8E6E8B71D7F1553530A34B9BN6PR21MB0162namp_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hi GCC community,=0A= =0A= This patch will add the missed pattern described in bug 103514 [1] to the m= atch.pd. [1] includes proof of correctness for the patch too. =0A= =0A= PR tree-optimization/103514=0A= * match.pd (a & b) ^ (a =3D=3D b) -> !(a | b): New optimization.=0A= * match.pd (a & b) =3D=3D (a ^ b) -> !(a | b): New optimization.=0A= * gcc.dg/tree-ssa/pr103514.c: Testcase for this optimization.=0A= =0A= 1) https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D103514=0A= =0A= Best wishes,=0A= Navid.= --_002_BN6PR21MB01629E8E6E8B71D7F1553530A34B9BN6PR21MB0162namp_ Content-Type: text/x-patch; name="0001-tree-optimization-103514-Missing-XOR-EQ-AND-Opt-v4.patch" Content-Description: 0001-tree-optimization-103514-Missing-XOR-EQ-AND-Opt-v4.patch Content-Disposition: attachment; filename="0001-tree-optimization-103514-Missing-XOR-EQ-AND-Opt-v4.patch"; size=2163; creation-date="Wed, 05 Jan 2022 20:04:04 GMT"; modification-date="Wed, 05 Jan 2022 20:04:04 GMT" Content-Transfer-Encoding: base64 RnJvbSA3YmMzNDQ3OGNjM2E0OTRiYjYzNDYyNTI4MWI1ZjAzZTQzZjIxMGE5IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBOYXZpZCBSYWhpbWkgPG5hdmlkcmFoaW1pQG1pY3Jvc29mdC5j b20+CkRhdGU6IFdlZCwgMSBEZWMgMjAyMSAwMDowMDo1NCAtMDgwMApTdWJqZWN0OiBbUEFUQ0hd IHRyZWUtb3B0aW1pemF0aW9uLzEwMzUxNCBNaXNzaW5nIFhPUi1FUS1BTkQgT3B0aW1pemF0aW9u CgoJKiBtYXRjaC5wZCAoYSAmIGIpIF4gKGEgPT0gYikgLT4gIShhIHwgYik6IE5ldyBvcHRpbWl6 YXRpb24uCgkqIG1hdGNoLnBkIChhICYgYikgPT0gKGEgXiBiKSAtPiAhKGEgfCBiKTogTmV3IG9w dGltaXphdGlvbi4KCSogZ2NjLmRnL3RyZWUtc3NhL3ByMTAzNTE0LmM6IFRlc3RjYXNlIGZvciB0 aGlzIG9wdGltaXphdGlvbi4KLS0tCiBnY2MvbWF0Y2gucGQgICAgICAgICAgICAgICAgICAgICAg ICAgICAgIHwgIDggKysrKysrCiBnY2MvdGVzdHN1aXRlL2djYy5kZy90cmVlLXNzYS9wcjEwMzUx NC5jIHwgMzMgKysrKysrKysrKysrKysrKysrKysrKysrCiAyIGZpbGVzIGNoYW5nZWQsIDQxIGlu c2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBnY2MvdGVzdHN1aXRlL2djYy5kZy90cmVl LXNzYS9wcjEwMzUxNC5jCgpkaWZmIC0tZ2l0IGEvZ2NjL21hdGNoLnBkIGIvZ2NjL21hdGNoLnBk CmluZGV4IDBkN2I4ZGQxMzM0Li5kZjU1MjA2ZDJlYyAxMDA2NDQKLS0tIGEvZ2NjL21hdGNoLnBk CisrKyBiL2djYy9tYXRjaC5wZApAQCAtMTc2OCw2ICsxNzY4LDE0IEBAIERFRklORV9JTlRfQU5E X0ZMT0FUX1JPVU5EX0ZOIChSSU5UKQogIChuZWdhdGUgKG5vcF9jb252ZXJ0PyAoYml0X25vdCBA MCkpKQogIChwbHVzICh2aWV3X2NvbnZlcnQgQDApIHsgYnVpbGRfZWFjaF9vbmVfY3N0ICh0eXBl KTsgfSkpCiAKKy8qIChhICYgYikgXiAoYSA9PSBiKSAtPiAhKGEgfCBiKSAqLworLyogKGEgJiBi KSA9PSAoYSBeIGIpIC0+ICEoYSB8IGIpICovCisoZm9yIGZpcnN0X29wIChiaXRfeG9yIGVxKQor ICAgICBzZWNvbmRfb3AgKGVxIGJpdF94b3IpCisgKHNpbXBsaWZ5CisgIChmaXJzdF9vcDpjIChi aXRfYW5kOmMgdHJ1dGhfdmFsdWVkX3BAMCB0cnV0aF92YWx1ZWRfcEAxKSAoc2Vjb25kX29wOmMg QDAgQDEpKQorICAgIChiaXRfbm90IChiaXRfaW9yIEAwIEAxKSkpKQorCiAvKiBDb252ZXJ0IH4g KEEgLSAxKSBvciB+IChBICsgLTEpIHRvIC1BLiAgKi8KIChzaW1wbGlmeQogIChiaXRfbm90IChj b252ZXJ0PyAobWludXMgQDAgaW50ZWdlcl9lYWNoX29uZXApKSkKZGlmZiAtLWdpdCBhL2djYy90 ZXN0c3VpdGUvZ2NjLmRnL3RyZWUtc3NhL3ByMTAzNTE0LmMgYi9nY2MvdGVzdHN1aXRlL2djYy5k Zy90cmVlLXNzYS9wcjEwMzUxNC5jCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAw MDAwLi41OTQyYWQzN2JmMAotLS0gL2Rldi9udWxsCisrKyBiL2djYy90ZXN0c3VpdGUvZ2NjLmRn L3RyZWUtc3NhL3ByMTAzNTE0LmMKQEAgLTAsMCArMSwzMyBAQAorLyogeyBkZy1kbyBjb21waWxl IH0gKi8KKy8qIHsgZGctb3B0aW9ucyAiLU8gLWZkdW1wLXRyZWUtb3B0aW1pemVkIiB9ICovCisj aW5jbHVkZSA8c3RkYm9vbC5oPgorCitib29sCitpIChib29sIGEsIGJvb2wgYikKK3sKKyAgICAg cmV0dXJuIChhICYgYikgXiAoYSA9PSBiKTsKK30KKworYm9vbAoraiAoYm9vbCBhLCBib29sIGIp Cit7CisgICAgIHJldHVybiAoYSAmIGIpID09IChhIF4gYik7Cit9CisKK2Jvb2wKK2cgKGJvb2wg YSwgYm9vbCBiKQoreworICAgIHJldHVybiAoYSAmJiBiKSA9PSAoYSBeIGIpOyAKK30KKworYm9v bAoraCAoYm9vbCBhLCBib29sIGIpCit7CisgICAgIHJldHVybiAoYSAmJiBiKSBeIChhID09IGIp OworfQorCisKKy8qIE1ha2Ugc3VyZSB3ZSBoYXZlIHJlbW92ZWQgIj09IiBhbmQgIl4iIGFuZCAi JiIuICovCisvKiB7IGRnLWZpbmFsIHsgc2Nhbi10cmVlLWR1bXAtbm90ICImIiAib3B0aW1pemVk In0gfSAqLworLyogeyBkZy1maW5hbCB7IHNjYW4tdHJlZS1kdW1wLW5vdCAiXFxeIiAgIm9wdGlt aXplZCJ9IH0gKi8KKy8qIHsgZGctZmluYWwgeyBzY2FuLXRyZWUtZHVtcC1ub3QgIj09IiAib3B0 aW1pemVkIn0gfSAqLwpcIE5vIG5ld2xpbmUgYXQgZW5kIG9mIGZpbGUKLS0gCjIuMjUuMQoK --_002_BN6PR21MB01629E8E6E8B71D7F1553530A34B9BN6PR21MB0162namp_--