From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 69640 invoked by alias); 21 Jul 2016 16:48:53 -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 69631 invoked by uid 89); 21 Jul 2016 16:48:52 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.6 required=5.0 tests=AWL,BAYES_00,SPF_PASS autolearn=ham version=3.3.2 spammy=Bring, H*c:HHH X-HELO: eu-smtp-delivery-143.mimecast.com Received: from eu-smtp-delivery-143.mimecast.com (HELO eu-smtp-delivery-143.mimecast.com) (146.101.78.143) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 21 Jul 2016 16:48:41 +0000 Received: from EUR02-AM5-obe.outbound.protection.outlook.com (mail-am5eur02lp0148.outbound.protection.outlook.com [213.199.180.148]) (Using TLS) by eu-smtp-1.mimecast.com with ESMTP id uk-mta-67-3FZyFpacP3q3glI8LouiSA-1; Thu, 21 Jul 2016 17:48:35 +0100 Received: from HE1PR0801MB1755.eurprd08.prod.outlook.com (10.168.150.10) by HE1PR0801MB1755.eurprd08.prod.outlook.com (10.168.150.10) with Microsoft SMTP Server (TLS) id 15.1.539.14; Thu, 21 Jul 2016 16:48:33 +0000 Received: from HE1PR0801MB1755.eurprd08.prod.outlook.com ([10.168.150.10]) by HE1PR0801MB1755.eurprd08.prod.outlook.com ([10.168.150.10]) with mapi id 15.01.0539.021; Thu, 21 Jul 2016 16:48:33 +0000 From: Bin Cheng To: "gcc-patches@gcc.gnu.org" CC: nd Subject: [Patch GCC/01]Bring back warning message on loop whose counter might overflow Date: Thu, 21 Jul 2016 16:48:00 -0000 Message-ID: x-ms-office365-filtering-correlation-id: 59ee368d-2c64-4863-ac34-08d3b186da2b x-microsoft-exchange-diagnostics: 1;HE1PR0801MB1755;20:zqlUj1eJtS7ui4VUzlMMd68JL0X48Vw1IKpig5wBIouxC1mx/dcd3tsjPNatzPKYC99OTkGOT3BjTn5Cv3rnAMorFjmuKL6PasJ5l60IsY2ATf0O5LtK7uuyNl8Lv7XFE/sFbgVpk9vFBKq8FTjgJF3GqiGYUJzwY+desrOQFnY= x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:HE1PR0801MB1755; nodisclaimer: True x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(180628864354917); x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(102415321)(601004)(2401047)(5005006)(8121501046)(10201501046)(3002001)(6055026);SRVR:HE1PR0801MB1755;BCL:0;PCL:0;RULEID:;SRVR:HE1PR0801MB1755; x-forefront-prvs: 0010D93EFE x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(6009001)(7916002)(189002)(377424004)(199003)(54534003)(101416001)(10400500002)(450100001)(87936001)(92566002)(189998001)(77096005)(4326007)(97736004)(229853001)(2906002)(8676002)(110136002)(2900100001)(99936001)(86362001)(54356999)(66066001)(2501003)(2351001)(8936002)(50986999)(11100500001)(74316002)(9686002)(15650500001)(5002640100001)(33656002)(3660700001)(81166006)(3280700002)(81156014)(102836003)(122556002)(586003)(3846002)(6116002)(19580395003)(7736002)(106356001)(7696003)(5003600100003)(19580405001)(305945005)(7846002)(106116001)(76576001)(68736007)(105586002);DIR:OUT;SFP:1101;SCL:1;SRVR:HE1PR0801MB1755;H:HE1PR0801MB1755.eurprd08.prod.outlook.com;FPR:;SPF:None;PTR:InfoNoRecords;MX:1;A:1;LANG:en; spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM MIME-Version: 1.0 X-OriginatorOrg: arm.com X-MS-Exchange-CrossTenant-originalarrivaltime: 21 Jul 2016 16:48:32.8244 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: f34e5979-57d9-4aaa-ad4d-b122a662184d X-MS-Exchange-Transport-CrossTenantHeadersStamped: HE1PR0801MB1755 X-MC-Unique: 3FZyFpacP3q3glI8LouiSA-1 Content-Type: multipart/mixed; boundary="_002_HE1PR0801MB1755DEADDCB36E7D9AFCDEAEE7090HE1PR0801MB1755_" X-IsSubscribed: yes X-SW-Source: 2016-07/txt/msg01400.txt.bz2 --_002_HE1PR0801MB1755DEADDCB36E7D9AFCDEAEE7090HE1PR0801MB1755_ Content-Type: text/plain; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable Content-length: 851 Hi, Previous patch removed warning message on loops whose counter might overflo= w, while this patch adds it back. Reason is it's always good to have a war= ning message indicating missed loop optimizations. Also warning message it= self is slightly changed. There will be following patch which removes -funsafe-loop-optimizations. Bootstrap and test on x86_64. Is it OK? Thanks, bin 2016-07-20 Bin Cheng * tree-ssa-loop-niter.h (number_of_iterations_exit_assumptions): New Parameter. * tree-ssa-loop-niter.c (number_of_iterations_exit_assumptions): New Parameter. (number_of_iterations_exit): Warn missed loop optimization for possible infinite loops. gcc/testsuite/ChangeLog 2016-07-20 Bin Cheng * gcc.dg/tree-ssa/pr19210-1.c: Refine test strings. * gcc.dg/tree-ssa/pr19210-2.c: Delete.= --_002_HE1PR0801MB1755DEADDCB36E7D9AFCDEAEE7090HE1PR0801MB1755_ Content-Type: text/plain; name=warn-loop-optimizations-20160720.txt Content-Description: warn-loop-optimizations-20160720.txt Content-Disposition: attachment; filename="warn-loop-optimizations-20160720.txt"; size=5007; creation-date="Thu, 21 Jul 2016 13:07:44 GMT"; modification-date="Thu, 21 Jul 2016 13:07:44 GMT" Content-Transfer-Encoding: base64 Content-length: 6788 ZGlmZiAtLWdpdCBhL2djYy90ZXN0c3VpdGUvZ2NjLmRnL3RyZWUtc3NhL3By MTkyMTAtMS5jIGIvZ2NjL3Rlc3RzdWl0ZS9nY2MuZGcvdHJlZS1zc2EvcHIx OTIxMC0xLmMKaW5kZXggOTA2MTMyYy4uM2M4ZWUwNiAxMDA2NDQKLS0tIGEv Z2NjL3Rlc3RzdWl0ZS9nY2MuZGcvdHJlZS1zc2EvcHIxOTIxMC0xLmMKKysr IGIvZ2NjL3Rlc3RzdWl0ZS9nY2MuZGcvdHJlZS1zc2EvcHIxOTIxMC0xLmMK QEAgLTYsMTAgKzYsMTAgQEAgdm9pZAogZiAodW5zaWduZWQgbikKIHsKICAg dW5zaWduZWQgazsKLSAgZm9yKGsgPSAwO2sgPD0gbjtrKyspIC8qIHsgZGct d2FybmluZyAiY2Fubm90IG9wdGltaXplLippbmZpbml0ZSBsb29wcyIgfSAq LworICBmb3IoayA9IDA7ayA8PSBuO2srKykgLyogeyBkZy13YXJuaW5nICJt aXNzZWQgbG9vcCBvcHRpbWl6YXRpb24uKm92ZXJmbG93IiB9ICovCiAgICAg ZygpOwogCi0gIGZvcihrID0gMDtrIDw9IG47ayArPSA0KSAvKiB7IGRnLXdh cm5pbmcgImNhbm5vdCBvcHRpbWl6ZS4qb3ZlcmZsb3ciIH0gKi8KKyAgZm9y KGsgPSAwO2sgPD0gbjtrICs9IDQpIC8qIHsgZGctd2FybmluZyAibWlzc2Vk IGxvb3Agb3B0aW1pemF0aW9uLipvdmVyZmxvdyIgfSAqLwogICAgIGcoKTsK IAogICAvKiBXZSB1c2VkIHRvIGdldCB3YXJuaW5nIGZvciB0aGlzIGxvb3Au ICBIb3dldmVyLCBzaW5jZSB0aGVuICMgb2YgaXRlcmF0aW9ucwpAQCAtMjEs OSArMjEsOSBAQCBmICh1bnNpZ25lZCBuKQogICAgIGcoKTsKIAogICAvKiBT byB3ZSBuZWVkIHRoZSBmb2xsb3dpbmcgbG9vcCwgaW5zdGVhZC4gICovCi0g IGZvcihrID0gNDtrIDw9IG47ayArPSA1KSAvKiB7IGRnLXdhcm5pbmcgImNh bm5vdCBvcHRpbWl6ZS4qb3ZlcmZsb3ciIH0gKi8KKyAgZm9yKGsgPSA0O2sg PD0gbjtrICs9IDUpIC8qIHsgZGctd2FybmluZyAibWlzc2VkIGxvb3Agb3B0 aW1pemF0aW9uLipvdmVyZmxvdyIgfSAqLwogICAgIGcoKTsKICAgCi0gIGZv cihrID0gMTU7ayA+PSBuO2stLSkgLyogeyBkZy13YXJuaW5nICJjYW5ub3Qg b3B0aW1pemUuKmluZmluaXRlIiB9ICovCisgIGZvcihrID0gMTU7ayA+PSBu O2stLSkgLyogeyBkZy13YXJuaW5nICJtaXNzZWQgbG9vcCBvcHRpbWl6YXRp b24uKm92ZXJmbG93IiB9ICovCiAgICAgZygpOwogfQpkaWZmIC0tZ2l0IGEv Z2NjL3Rlc3RzdWl0ZS9nY2MuZGcvdHJlZS1zc2EvcHIxOTIxMC0yLmMgYi9n Y2MvdGVzdHN1aXRlL2djYy5kZy90cmVlLXNzYS9wcjE5MjEwLTIuYwpkZWxl dGVkIGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggOTExNmU5Ny4uMDAwMDAwMAot LS0gYS9nY2MvdGVzdHN1aXRlL2djYy5kZy90cmVlLXNzYS9wcjE5MjEwLTIu YworKysgL2Rldi9udWxsCkBAIC0xLDI5ICswLDAgQEAKLS8qIHsgZGctZG8g Y29tcGlsZSB9ICovCi0vKiB7IGRnLW9wdGlvbnMgIi1PMiAtZnVuc2FmZS1s b29wLW9wdGltaXphdGlvbnMgLVd1bnNhZmUtbG9vcC1vcHRpbWl6YXRpb25z IiB9ICovCi1leHRlcm4gdm9pZCBnKHZvaWQpOwotCi12b2lkCi1mICh1bnNp Z25lZCBuKQotewotICB1bnNpZ25lZCBrOwotICBmb3IoayA9IDA7ayA8PSBu O2srKykgLyogeyBkZy13YXJuaW5nICJhc3N1bWluZy4qbm90IGluZmluaXRl IiB9ICovCi0gICAgZygpOwotCi0gIGZvcihrID0gNTtrIDw9IG47ayArPSA0 KSAvKiB7IGRnLXdhcm5pbmcgImFzc3VtaW5nLipub3Qgb3ZlcmZsb3ciIH0g Ki8KLSAgICBnKCk7Ci0KLSAgLyogV2UgdXNlZCB0byBnZXQgd2FybmluZyBm b3IgdGhpcyBsb29wLiAgSG93ZXZlciwgc2luY2UgdGhlbiAjIG9mIGl0ZXJh dGlvbnMKLSAgICAgYW5hbHlzaXMgaW1wcm92ZWQsIGFuZCB3ZSBjYW4gbm93 IHByb3ZlIHRoYXQgdGhpcyBsb29wIGRvZXMgbm90IHZlcmZsb3cuCi0gICAg IFRoaXMgaXMgYmVjYXVzZSB0aGUgb25seSBjYXNlIHdoZW4gaXQgd291bGQg b3ZlcmZsb3cgaXMgaWYgbiA9IH4wIChzaW5jZQotICAgICB+MCBpcyBkaXZp c2libGUgYnkgNSksIGFuZCB0aGlzIGNhbm5vdCBiZSB0aGUgY2FzZSwgc2lu Y2Ugd2hlbiB3ZSBnb3QKLSAgICAgaGVyZSwgdGhlIHByZXZpb3VzIGxvb3Ag ZXhpdGVkLCB0aHVzIHRoZXJlIGV4aXN0cyBrID4gbi4gICovCi0gIGZvcihr ID0gNTtrIDw9IG47ayArPSA1KQotICAgIGcoKTsKLQotICBmb3IoayA9IDQ7 ayA8PSBuO2sgKz0gNSkgLyogeyBkZy13YXJuaW5nICJhc3N1bWluZy4qbm90 IG92ZXJmbG93IiB9ICovCi0gICAgZygpOwotCi0gIGZvcihrID0gMTU7ayA+ PSBuO2stLSkgLyogeyBkZy13YXJuaW5nICJhc3N1bWluZy4qbm90IGluZmlu aXRlIiB9ICovCi0gICAgZygpOwotCi19CmRpZmYgLS1naXQgYS9nY2MvdHJl ZS1zc2EtbG9vcC1uaXRlci5jIGIvZ2NjL3RyZWUtc3NhLWxvb3Atbml0ZXIu YwppbmRleCBkOTZjMDNiLi40ODk0N2YwIDEwMDY0NAotLS0gYS9nY2MvdHJl ZS1zc2EtbG9vcC1uaXRlci5jCisrKyBiL2djYy90cmVlLXNzYS1sb29wLW5p dGVyLmMKQEAgLTIxODEsMTIgKzIxODEsMTMgQEAgbG9vcF9vbmx5X2V4aXRf cCAoY29uc3Qgc3RydWN0IGxvb3AgKmxvb3AsIGNvbnN0X2VkZ2UgZXhpdCkK ICAgIGluIGNvbW1lbnRzIGF0IHN0cnVjdCB0cmVlX25pdGVyX2Rlc2MgZGVj bGFyYXRpb24pLCBmYWxzZSBvdGhlcndpc2UuCiAgICBXaGVuIEVWRVJZX0lU RVJBVElPTiBpcyB0cnVlLCBvbmx5IHRlc3RzIHRoYXQgYXJlIGtub3duIHRv IGJlIGV4ZWN1dGVkCiAgICBldmVyeSBpdGVyYXRpb24gYXJlIGNvbnNpZGVy ZWQgKGkuZS4gb25seSB0ZXN0IHRoYXQgYWxvbmUgYm91bmRzIHRoZSBsb29w KS4KLSAqLworICAgSWYgQVRfU1RNVCBpcyBub3QgTlVMTCwgdGhpcyBmdW5j dGlvbiBzdG9yZXMgTE9PUCdzIGNvbmRpdGlvbiBzdGF0ZW1lbnQgaW4KKyAg IGl0IHdoZW4gcmV0dXJuaW5nIHRydWUuICAqLwogCiBib29sCiBudW1iZXJf b2ZfaXRlcmF0aW9uc19leGl0X2Fzc3VtcHRpb25zIChzdHJ1Y3QgbG9vcCAq bG9vcCwgZWRnZSBleGl0LAogCQkJCSAgICAgICBzdHJ1Y3QgdHJlZV9uaXRl cl9kZXNjICpuaXRlciwKLQkJCQkgICAgICAgYm9vbCBldmVyeV9pdGVyYXRp b24pCisJCQkJICAgICAgIGdjb25kICoqYXRfc3RtdCwgYm9vbCBldmVyeV9p dGVyYXRpb24pCiB7CiAgIGdpbXBsZSAqbGFzdDsKICAgZ2NvbmQgKnN0bXQ7 CkBAIC0yMzAzLDYgKzIzMDQsOSBAQCBudW1iZXJfb2ZfaXRlcmF0aW9uc19l eGl0X2Fzc3VtcHRpb25zIChzdHJ1Y3QgbG9vcCAqbG9vcCwgZWRnZSBleGl0 LAogICBpZiAoVFJFRV9DT0RFIChuaXRlci0+bml0ZXIpID09IElOVEVHRVJf Q1NUKQogICAgIG5pdGVyLT5tYXggPSB3aTo6dG9fd2lkZXN0IChuaXRlci0+ bml0ZXIpOwogCisgIGlmIChhdF9zdG10KQorICAgICphdF9zdG10ID0gc3Rt dDsKKwogICByZXR1cm4gKCFpbnRlZ2VyX3plcm9wIChuaXRlci0+YXNzdW1w dGlvbnMpKTsKIH0KIApAQCAtMjMxMiwxMyArMjMxNiwyNyBAQCBudW1iZXJf b2ZfaXRlcmF0aW9uc19leGl0X2Fzc3VtcHRpb25zIChzdHJ1Y3QgbG9vcCAq bG9vcCwgZWRnZSBleGl0LAogYm9vbAogbnVtYmVyX29mX2l0ZXJhdGlvbnNf ZXhpdCAoc3RydWN0IGxvb3AgKmxvb3AsIGVkZ2UgZXhpdCwKIAkJCSAgIHN0 cnVjdCB0cmVlX25pdGVyX2Rlc2MgKm5pdGVyLAotCQkJICAgYm9vbCwgYm9v bCBldmVyeV9pdGVyYXRpb24pCisJCQkgICBib29sIHdhcm4sIGJvb2wgZXZl cnlfaXRlcmF0aW9uKQogeworICBnY29uZCAqc3RtdDsKICAgaWYgKCFudW1i ZXJfb2ZfaXRlcmF0aW9uc19leGl0X2Fzc3VtcHRpb25zIChsb29wLCBleGl0 LCBuaXRlciwKLQkJCQkJICAgICAgZXZlcnlfaXRlcmF0aW9uKSkKKwkJCQkJ ICAgICAgJnN0bXQsIGV2ZXJ5X2l0ZXJhdGlvbikpCiAgICAgcmV0dXJuIGZh bHNlOwogCi0gIHJldHVybiAoaW50ZWdlcl9ub256ZXJvcCAobml0ZXItPmFz c3VtcHRpb25zKSk7CisgIGlmIChpbnRlZ2VyX25vbnplcm9wIChuaXRlci0+ YXNzdW1wdGlvbnMpKQorICAgIHJldHVybiB0cnVlOworCisgIGlmICh3YXJu KQorICAgIHsKKyAgICAgIGNvbnN0IGNoYXIgKndvcmRpbmc7CisgICAgICBs b2NhdGlvbl90IGxvYyA9IGdpbXBsZV9sb2NhdGlvbiAoc3RtdCk7CisKKyAg ICAgIHdvcmRpbmcgPSBOXygibWlzc2VkIGxvb3Agb3B0aW1pemF0aW9uLCB0 aGUgbG9vcCBjb3VudGVyIG1heSBvdmVyZmxvdyIpOworICAgICAgd2Fybmlu Z19hdCAoKExPQ0FUSU9OX0xJTkUgKGxvYykgPiAwKSA/IGxvYyA6IGlucHV0 X2xvY2F0aW9uLAorCQkgIE9QVF9XdW5zYWZlX2xvb3Bfb3B0aW1pemF0aW9u cywgIiVzIiwgZ2V0dGV4dCAod29yZGluZykpOworICAgIH0KKworICByZXR1 cm4gZmFsc2U7CiB9CiAKIC8qIFRyeSB0byBkZXRlcm1pbmUgdGhlIG51bWJl ciBvZiBpdGVyYXRpb25zIG9mIExPT1AuICBJZiB3ZSBzdWNjZWVkLApkaWZm IC0tZ2l0IGEvZ2NjL3RyZWUtc3NhLWxvb3Atbml0ZXIuaCBiL2djYy90cmVl LXNzYS1sb29wLW5pdGVyLmgKaW5kZXggMWFlYTU4MC4uZTQ2YjgyOSAxMDA2 NDQKLS0tIGEvZ2NjL3RyZWUtc3NhLWxvb3Atbml0ZXIuaAorKysgYi9nY2Mv dHJlZS1zc2EtbG9vcC1uaXRlci5oCkBAIC0yOSw3ICsyOSw3IEBAIGV4dGVy biBib29sIG51bWJlcl9vZl9pdGVyYXRpb25zX2V4aXQgKHN0cnVjdCBsb29w ICosIGVkZ2UsCiAJCQkJICAgICAgIGJvb2wgZXZlcnlfaXRlcmF0aW9uID0g dHJ1ZSk7CiBleHRlcm4gYm9vbCBudW1iZXJfb2ZfaXRlcmF0aW9uc19leGl0 X2Fzc3VtcHRpb25zIChzdHJ1Y3QgbG9vcCAqLCBlZGdlLAogCQkJCQkJICAg c3RydWN0IHRyZWVfbml0ZXJfZGVzYyAqLAotCQkJCQkJICAgYm9vbCA9IHRy dWUpOworCQkJCQkJICAgZ2NvbmQgKiosIGJvb2wgPSB0cnVlKTsKIGV4dGVy biB0cmVlIGZpbmRfbG9vcF9uaXRlciAoc3RydWN0IGxvb3AgKiwgZWRnZSAq KTsKIGV4dGVybiBib29sIGZpbml0ZV9sb29wX3AgKHN0cnVjdCBsb29wICop OwogZXh0ZXJuIHRyZWUgbG9vcF9uaXRlcl9ieV9ldmFsIChzdHJ1Y3QgbG9v cCAqLCBlZGdlKTsK --_002_HE1PR0801MB1755DEADDCB36E7D9AFCDEAEE7090HE1PR0801MB1755_--