From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 94143 invoked by alias); 21 Jul 2015 09:16: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 94129 invoked by uid 89); 21 Jul 2015 09:16:04 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=0.9 required=5.0 tests=AWL,BAYES_50,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-bn1bon0085.outbound.protection.outlook.com (HELO na01-bn1-obe.outbound.protection.outlook.com) (157.56.111.85) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA256 encrypted) ESMTPS; Tue, 21 Jul 2015 09:16:03 +0000 Received: from SN2PR0701MB1024.namprd07.prod.outlook.com (10.160.57.150) by SN2PR0701MB1021.namprd07.prod.outlook.com (10.160.57.147) with Microsoft SMTP Server (TLS) id 15.1.213.14; Tue, 21 Jul 2015 09:16:00 +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.0213.021; Tue, 21 Jul 2015 09:16:00 +0000 From: "Hurugalawadi, Naveen" To: Richard Biener CC: "marc.glisse@inria.fr" , GCC Patches Subject: Re: [PR25529] Convert (unsigned t * 2)/2 into unsigned (t & 0x7FFFFFFF) Date: Tue, 21 Jul 2015 09:16:00 -0000 Message-ID: References: , In-Reply-To: authentication-results: inria.fr; dkim=none (message not signed) header.d=none; x-microsoft-exchange-diagnostics: 1;SN2PR0701MB1021;5:NcxBKrZknGZ+nlNdCZQcA7CCHejReTBEAIt8QpXwoCprsybuVkfP3rc2NE2JRS7HDAlFLvnxm3AkDkvUr6xWV9EK7HVPHugARYksu6vRzeDbJUzxPiA1OLmOgzvNG2eFCfGXSZq7rgu0RzptKtJnoA==;24:t48zyJpe8JLLJ12XYTyn+4xXQfBsw10JOmw9W2dblow0KYqYILjZcbM1KGhNL5cTEyEuW758VFa9NJDRxBoU+yzV/Cao3wwjE+WTfQXhJwQ=;20:XTVekh/jBUc/BBn/5LQwsjxrHMHiS0rWELKzVP7yvFlPWfW9xO6Qd8JQ8It2WH/+h5unwdn5Jx4bDyFDSQX4fw== x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:SN2PR0701MB1021; sn2pr0701mb1021: X-MS-Exchange-Organization-RulesExecuted 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:SN2PR0701MB1021;BCL:0;PCL:0;RULEID:;SRVR:SN2PR0701MB1021; x-forefront-prvs: 0644578634 x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(6009001)(54534003)(164054003)(377424004)(51914003)(2900100001)(102836002)(87936001)(66066001)(5001960100002)(110136002)(33656002)(74316001)(2950100001)(106116001)(76576001)(122556002)(99286002)(93886004)(77096005)(92566002)(54356999)(2656002)(40100003)(86362001)(77156002)(62966003)(76176999)(50986999)(19580405001)(19580395003)(46102003)(99936001)(189998001)(5002640100001)(5890100001);DIR:OUT;SFP:1101;SCL:1;SRVR:SN2PR0701MB1021;H:SN2PR0701MB1024.namprd07.prod.outlook.com;FPR:;SPF:None;MLV:sfv;LANG:en; Content-Type: multipart/mixed; boundary="_002_DM2PR0701MB1018959170F8B70E4C982C628E840DM2PR0701MB1018_" MIME-Version: 1.0 X-OriginatorOrg: caviumnetworks.com X-MS-Exchange-CrossTenant-originalarrivaltime: 21 Jul 2015 09:16:00.1447 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 711e4ccf-2e9b-4bcf-a551-4094005b6194 X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN2PR0701MB1021 X-SW-Source: 2015-07/txt/msg01713.txt.bz2 --_002_DM2PR0701MB1018959170F8B70E4C982C628E840DM2PR0701MB1018_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-length: 746 Hi, >> For signed types with TYPE_OVERFLOW_UNDEFINED >> you can simply cancel the operation (even for non-power-of-two multiplie= rs). Thanks for the review and comments. Please find attached the modified patch as per your comments. Please review the same and let me know if any further modifications are req= uired. Regression Tested on X86_64. Thanks, Naveen gcc/testsuite/ChangeLog: 2015-07-21 Naveen H.S PR middle-end/25529 * gcc.dg/pr25529.c: New test. gcc/ChangeLog: 2015-07-21 Naveen H.S PR middle-end/25529 * match.pd (exact_div (mult @0 INTEGER_CST@1) @1) : New simplifier. (trunc_div (mult @0 integer_pow2p@1) @1) : New simplifier. --_002_DM2PR0701MB1018959170F8B70E4C982C628E840DM2PR0701MB1018_ Content-Type: text/x-patch; name="pr25529.patch" Content-Description: pr25529.patch Content-Disposition: attachment; filename="pr25529.patch"; size=1047; creation-date="Tue, 21 Jul 2015 08:06:40 GMT"; modification-date="Tue, 21 Jul 2015 08:06:40 GMT" Content-Transfer-Encoding: base64 Content-length: 1420 LS0tIGEvZ2NjL21hdGNoLnBkCisrKyBiL2djYy9tYXRjaC5wZApAQCAtMjgw LDYgKzI4MCwyMCBAQCBhbG9uZyB3aXRoIEdDQzsgc2VlIHRoZSBmaWxlIENP UFlJTkczLiAgSWYgbm90IHNlZQogCSYmIGludGVnZXJfcG93MnAgKEAyKSAm JiB0cmVlX2ludF9jc3Rfc2duIChAMikgPiAwKQogICAgKGJpdF9hbmQgQDAg KGNvbnZlcnQgKG1pbnVzIEAxIHsgYnVpbGRfaW50X2NzdCAoVFJFRV9UWVBF IChAMSksIDEpOyB9KSkpKSkpCiAKKy8qIFNpbXBsaWZ5ICh1bnNpZ25lZCB0 ICogMikvMiAtPiB1bnNpZ25lZCB0ICYgMHg3RkZGRkZGRi4gICovCisoc2lt cGxpZnkKKyAoZXhhY3RfZGl2IChtdWx0IEAwIElOVEVHRVJfQ1NUQDEpIEAx KQorIChpZiAoVFlQRV9PVkVSRkxPV19VTkRFRklORUQgKFRSRUVfVFlQRSAo QDApKSkKKyAgQDApKQorCisoc2ltcGxpZnkKKyAodHJ1bmNfZGl2IChtdWx0 IEAwIGludGVnZXJfcG93MnBAMSkgQDEpCisgKGlmIChUWVBFX1VOU0lHTkVE IChUUkVFX1RZUEUgKEAwKSkpCisgKHdpdGggeyB0cmVlIG4yID0gYnVpbGRf aW50X2NzdCAoVFJFRV9UWVBFIChAMCksCisJCQkJICB3aTo6ZXhhY3RfbG9n MiAoQDEpKTsgfQorICAoYml0X2FuZCBAMCAocnNoaWZ0IChsc2hpZnQgeyBi dWlsZF9taW51c19vbmVfY3N0IChUUkVFX1RZUEUgKEAwKSk7IH0KKwkJCQl7 IG4yOyB9KSB7IG4yOyB9KSkpKSkKKwogLyogWCAlIFkgaXMgc21hbGxlciB0 aGFuIFkuICAqLwogKGZvciBjbXAgKGx0IGdlKQogIChzaW1wbGlmeQpuZXcg ZmlsZSBtb2RlIDEwMDY0NAotLS0gL2Rldi9udWxsCisrKyBiL2djYy90ZXN0 c3VpdGUvZ2NjLmRnL3ByMjU1MjkuYwpAQCAtMCwwICsxLDEwIEBACisvKiB7 IGRnLWRvIGNvbXBpbGUgfSAqLworLyogeyBkZy1vcHRpb25zICItTzIgLWZk dW1wLXRyZWUtb3B0aW1pemVkIiB9ICovCisKK2ludAorZjEgKHVuc2lnbmVk IHQpCit7CisgIHJldHVybiAodCAqIDIpIC8gMjsKK30KKworLyogeyBkZy1m aW5hbCB7IHNjYW4tdHJlZS1kdW1wICJcJiAyMTQ3NDgzNjQ3IiAib3B0aW1p emVkIiB9IH0gKi8K --_002_DM2PR0701MB1018959170F8B70E4C982C628E840DM2PR0701MB1018_--