From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 5744 invoked by alias); 7 Aug 2015 08:44:04 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 5658 invoked by uid 89); 7 Aug 2015 08:44:03 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-0.3 required=5.0 tests=AWL,BAYES_00,KAM_LAZY_DOMAIN_SECURITY,RCVD_IN_DNSWL_NONE,SPF_HELO_PASS autolearn=no version=3.3.2 X-HELO: na01-bn1-obe.outbound.protection.outlook.com Received: from mail-bn1on0079.outbound.protection.outlook.com (HELO na01-bn1-obe.outbound.protection.outlook.com) (157.56.110.79) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA256 encrypted) ESMTPS; Fri, 07 Aug 2015 08:44:01 +0000 Received: from SN2PR0701MB1024.namprd07.prod.outlook.com (10.160.57.150) by SN2PR0701MB1024.namprd07.prod.outlook.com (10.160.57.150) with Microsoft SMTP Server (TLS) id 15.1.225.19; Fri, 7 Aug 2015 08:43:58 +0000 Received: from SN2PR0701MB1024.namprd07.prod.outlook.com ([10.160.57.150]) by SN2PR0701MB1024.namprd07.prod.outlook.com ([10.160.57.150]) with mapi id 15.01.0225.018; Fri, 7 Aug 2015 08:43:58 +0000 From: "Hurugalawadi, Naveen" To: Richard Biener CC: "gcc-patches@gcc.gnu.org" Subject: Re: [PR25529] Convert (unsigned t * 2)/2 into unsigned (t & 0x7FFFFFFF) Date: Fri, 07 Aug 2015 08:44:00 -0000 Message-ID: References: , In-Reply-To: authentication-results: spf=none (sender IP is ) smtp.mailfrom=Naveen.Hurugalawadi@caviumnetworks.com; x-microsoft-exchange-diagnostics: 1;SN2PR0701MB1024;5:JoD6yv4Sxuis9mwkEf9ApMIlxtRRJ+w5+RuJ/miVOsSWjM7wkEdSYE3skWpln2J5yNFhVrctxc44q9jVV7AYC+XKR8YFWkI0pzQ6jXFiLl+3gQ8pr6SS//kOQ5Nq/+5Vy5JLZh19JoOYdasQ+xjMSg==;24:lUKJ+8NPFfIyhgiNW5ksmuOabnZDM/r76za9wBuw4JeSp7amQCua/t+/bT5Bkuy2Z3aSRnE20EURgto2DqgAgfVRSgaLnt2WIZp3QAfMxos=;20:XNsaKEGdcYWmFOpdffBmFSYWdvMRwCoaVlo3KPntOkRRoHwrjqueQN1tXi8BFjeLZTmcPrPr9MWz20M5L3pm1Q== x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:SN2PR0701MB1024; x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:; x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(601004)(5005006)(3002001);SRVR:SN2PR0701MB1024;BCL:0;PCL:0;RULEID:;SRVR:SN2PR0701MB1024; x-forefront-prvs: 066153096A x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(6009001)(189002)(377424004)(164054003)(54534003)(199003)(19580405001)(5001860100001)(2656002)(19580395003)(10400500002)(5002640100001)(189998001)(87936001)(5003600100002)(33656002)(62966003)(77156002)(92566002)(66066001)(110136002)(86362001)(76176999)(101416001)(99936001)(74316001)(64706001)(50986999)(4001540100001)(93886004)(5001830100001)(81156007)(97736004)(122556002)(68736005)(102836002)(77096005)(54356999)(40100003)(99286002)(5890100001)(106116001)(76576001)(106356001)(2900100001)(105586002)(46102003)(2950100001)(5001960100002);DIR:OUT;SFP:1101;SCL:1;SRVR:SN2PR0701MB1024;H:SN2PR0701MB1024.namprd07.prod.outlook.com;FPR:;SPF:None;PTR:InfoNoRecords;MX:1;A:1;LANG:en; received-spf: None (protection.outlook.com: caviumnetworks.com does not designate permitted sender hosts) Content-Type: multipart/mixed; boundary="_002_SN2PR0701MB1024C09A0E0C1C2885ABBEE68E730SN2PR0701MB1024_" MIME-Version: 1.0 X-OriginatorOrg: caviumnetworks.com X-MS-Exchange-CrossTenant-originalarrivaltime: 07 Aug 2015 08:43:58.1416 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 711e4ccf-2e9b-4bcf-a551-4094005b6194 X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN2PR0701MB1024 X-SW-Source: 2015-08/txt/msg00388.txt.bz2 --_002_SN2PR0701MB1024C09A0E0C1C2885ABBEE68E730SN2PR0701MB1024_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-length: 523 Hi,=20=20 >> extend it - it should also work for non-INTEGER_CST >> divisors and it should work for any kind of division, not just exact_div= .=20=20 Please find attached the patch "pr25529.patch" that implements the pattern for all divisors Please review and let me know if its okay.=20=20 Regression tested on AARH64 and x86_64. Thanks, Naveen=20=20 2015-08-07 Naveen H.S PR middle-end/25529=20 gcc/ChangeLog:=20=20 * match.pd (div (mult @0 @1) @1) : New simplifier. --_002_SN2PR0701MB1024C09A0E0C1C2885ABBEE68E730SN2PR0701MB1024_ Content-Type: text/x-patch; name="pr25529.patch" Content-Description: pr25529.patch Content-Disposition: attachment; filename="pr25529.patch"; size=511; creation-date="Fri, 07 Aug 2015 08:29:12 GMT"; modification-date="Fri, 07 Aug 2015 08:29:12 GMT" Content-Transfer-Encoding: base64 Content-length: 696 ZGlmZiAtLWdpdCBhL2djYy9tYXRjaC5wZCBiL2djYy9tYXRjaC5wZAppbmRl eCA0MjMwZjlhLi4xODA0NWI4IDEwMDY0NAotLS0gYS9nY2MvbWF0Y2gucGQK KysrIGIvZ2NjL21hdGNoLnBkCkBAIC0yOTYsNiArMjk2LDEzIEBAIGFsb25n IHdpdGggR0NDOyBzZWUgdGhlIGZpbGUgQ09QWUlORzMuICBJZiBub3Qgc2Vl CiAgKGlmIChUWVBFX1VOU0lHTkVEIChUUkVFX1RZUEUgKEAwKSkpCiAgIChi aXRfYW5kIEAwIChuZWdhdGUgQDEpKSkpCiAKKy8qIFNpbXBsaWZ5ICh0ICog MikgLyAyKSAtPiB0LiAgKi8KKyhmb3IgZGl2ICh0cnVuY19kaXYgY2VpbF9k aXYgZmxvb3JfZGl2IHJvdW5kX2RpdiBleGFjdF9kaXYpCisgKHNpbXBsaWZ5 CisgIChkaXYgKG11bHQgQDAgQDEpIEAxKQorICAoaWYgKFRZUEVfT1ZFUkZM T1dfVU5ERUZJTkVEIChUUkVFX1RZUEUgKEAwKSkpCisgICBAMCkpKQorCiAv KiBYICUgWSBpcyBzbWFsbGVyIHRoYW4gWS4gICovCiAoZm9yIGNtcCAobHQg Z2UpCiAgKHNpbXBsaWZ5Cg== --_002_SN2PR0701MB1024C09A0E0C1C2885ABBEE68E730SN2PR0701MB1024_--