From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 20639 invoked by alias); 18 Apr 2017 10:50:48 -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 20518 invoked by uid 89); 18 Apr 2017 10:50:44 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-25.2 required=5.0 tests=AWL,BAYES_00,GIT_PATCH_0,GIT_PATCH_1,GIT_PATCH_2,GIT_PATCH_3,RCVD_IN_DNSWL_NONE,SPF_HELO_PASS,SPF_PASS autolearn=ham version=3.3.2 spammy=H*c:HHH X-HELO: EUR02-AM5-obe.outbound.protection.outlook.com Received: from mail-eopbgr00066.outbound.protection.outlook.com (HELO EUR02-AM5-obe.outbound.protection.outlook.com) (40.107.0.66) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 18 Apr 2017 10:50:42 +0000 Received: from VI1PR0802MB2176.eurprd08.prod.outlook.com (10.172.12.21) by VI1PR0802MB2173.eurprd08.prod.outlook.com (10.172.12.18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.1034.10; Tue, 18 Apr 2017 10:50:41 +0000 Received: from VI1PR0802MB2176.eurprd08.prod.outlook.com ([10.172.12.21]) by VI1PR0802MB2176.eurprd08.prod.outlook.com ([10.172.12.21]) with mapi id 15.01.1034.013; Tue, 18 Apr 2017 10:50:41 +0000 From: Bin Cheng To: "gcc-patches@gcc.gnu.org" CC: nd Subject: [PATCH 24/33]New parameter bound on number of selected candidates Date: Tue, 18 Apr 2017 10:51:00 -0000 Message-ID: authentication-results: arm.com; dkim=none (message not signed) header.d=none;arm.com; dmarc=none action=none header.from=arm.com; x-microsoft-exchange-diagnostics: 1;VI1PR0802MB2173;7:/OfsNU7BTuvcgQi9yftpqjWyVhcwlJ71kf/8BSiMEIiYhbvlSHx+M4u5uda2jqRXha5nOCxbvxJrOgAKh6CT5BMUWr+7FqI+slB3t6R4jnm0ZkNdRfTFCBPgnJ54MMRgkcmtksbWPE8k49t/zrPDBcmqRrbP6BqTuTuohkbpQ8u4yoi5JMkyMYWJHfF8+lk0rtzejU6dyGfm61n98uLEr2nHP2sdhBHuDR1db+zZV5RuG7kWU84Z/dbOMPxNBCyjZp/3trLA30lQDfBq07C/r7qMimVGweONCMR78t9+7HLAWm0UP/guvnFe5Oww2Ydw6wA+cdfYDOnmXKETVci2Lg== x-ms-office365-filtering-correlation-id: b470ebf9-9196-4d32-1e34-08d48648c1ad x-ms-office365-filtering-ht: Tenant x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(2017030254075)(48565401081)(201703131423075)(201703031133081);SRVR:VI1PR0802MB2173; nodisclaimer: True x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(180628864354917)(17755550239193); x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(102415395)(6040450)(601004)(2401047)(5005006)(8121501046)(10201501046)(3002001)(93006095)(93001095)(6055026)(6041248)(201703131423075)(201702281528075)(201703061421075)(20161123564025)(20161123555025)(20161123562025)(20161123560025)(6072148);SRVR:VI1PR0802MB2173;BCL:0;PCL:0;RULEID:;SRVR:VI1PR0802MB2173; x-forefront-prvs: 028166BF91 x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(6009001)(39410400002)(39450400003)(39840400002)(39860400002)(39400400002)(39850400002)(5640700003)(9686003)(2906002)(3846002)(33656002)(54356999)(3280700002)(305945005)(7736002)(50986999)(38730400002)(55016002)(6116002)(99286003)(102836003)(8936002)(81166006)(122556002)(66066001)(74316002)(86362001)(53936002)(4326008)(6436002)(110136004)(189998001)(99936001)(6506006)(8676002)(2351001)(3660700001)(25786009)(5660300001)(2900100001)(2501003)(6916009)(7696004)(77096006);DIR:OUT;SFP:1101;SCL:1;SRVR:VI1PR0802MB2173;H:VI1PR0802MB2176.eurprd08.prod.outlook.com;FPR:;SPF:None;MLV:sfv;LANG:en; spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: multipart/mixed; boundary="_002_VI1PR0802MB2176C2A33BF825A1B550BFA1E7190VI1PR0802MB2176_" MIME-Version: 1.0 X-OriginatorOrg: arm.com X-MS-Exchange-CrossTenant-originalarrivaltime: 18 Apr 2017 10:50:40.9936 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: f34e5979-57d9-4aaa-ad4d-b122a662184d X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR0802MB2173 X-IsSubscribed: yes X-SW-Source: 2017-04/txt/msg00765.txt.bz2 --_002_VI1PR0802MB2176C2A33BF825A1B550BFA1E7190VI1PR0802MB2176_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-length: 890 Hi, IVOPTs still have difficulty for outer loop (especially for large loop nest= ), and tend to select too many candidates. It's generally bad because of unavoidable register spilling. In this case,= we probably want to compute iv_uses with small number of bivs. Though this results in more computation inside of lo= op, it could improve spilling. This patch adds new parameter bound on number of selected candidates, it si= mply gives up if too many candidates are selected. So far it works loop by loop, I am not sure if we want to by pas= s whole loop nest once this bound is hit. Is it OK? Thanks, bin 2017-04-11 Bin Cheng * doc/invoke.texi (iv-max-selected-candidates): New. * params.def (PARAM_IV_MAX_SELECTED_CANDIDATES): New. * tree-ssa-loop-ivopts.c (MAX_SELECTED_CANDIDATES): New. (tree_ssa_iv_optimize_loop): Skip if too many cands are selected.= --_002_VI1PR0802MB2176C2A33BF825A1B550BFA1E7190VI1PR0802MB2176_ Content-Type: text/plain; name="0024-add-bound-on-selected-cands-20170221.txt" Content-Description: 0024-add-bound-on-selected-cands-20170221.txt Content-Disposition: attachment; filename="0024-add-bound-on-selected-cands-20170221.txt"; size=2582; creation-date="Tue, 18 Apr 2017 10:19:02 GMT"; modification-date="Tue, 18 Apr 2017 10:19:02 GMT" Content-Transfer-Encoding: base64 Content-length: 3502 RnJvbSA0MDUxN2NhODM2Zjg2OGI4YmQ3OWJkZTU2YWE3YzA1M2ZmZWY0ZmMy IE1vbiBTZXAgMTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBCaW4gQ2hlbmcgPGJp bmNoZTAxQGUxMDg0NTEtbGluLmNhbWJyaWRnZS5hcm0uY29tPgpEYXRlOiBU dWUsIDcgTWFyIDIwMTcgMTM6NTM6MDQgKzAwMDAKU3ViamVjdDogW1BBVENI IDI0LzMzXSBhZGQtYm91bmQtb24tc2VsZWN0ZWQtY2FuZHMtMjAxNzAyMjEu dHh0CgotLS0KIGdjYy9kb2MvaW52b2tlLnRleGkgICAgICAgIHwgNCArKysr CiBnY2MvcGFyYW1zLmRlZiAgICAgICAgICAgICB8IDggKysrKysrKysKIGdj Yy90cmVlLXNzYS1sb29wLWl2b3B0cy5jIHwgOCArKysrKysrLQogMyBmaWxl cyBjaGFuZ2VkLCAxOSBpbnNlcnRpb25zKCspLCAxIGRlbGV0aW9uKC0pCgpk aWZmIC0tZ2l0IGEvZ2NjL2RvYy9pbnZva2UudGV4aSBiL2djYy9kb2MvaW52 b2tlLnRleGkKaW5kZXggMTlhODViNi4uZjljYmRiYiAxMDA2NDQKLS0tIGEv Z2NjL2RvYy9pbnZva2UudGV4aQorKysgYi9nY2MvZG9jL2ludm9rZS50ZXhp CkBAIC05OTIyLDYgKzk5MjIsMTAgQEAgSWYgdGhlIG51bWJlciBvZiBjYW5k aWRhdGVzIGluIHRoZSBzZXQgaXMgc21hbGxlciB0aGFuIHRoaXMgdmFsdWUs CiBhbHdheXMgdHJ5IHRvIHJlbW92ZSB1bm5lY2Vzc2FyeSBpdnMgZnJvbSB0 aGUgc2V0CiB3aGVuIGFkZGluZyBhIG5ldyBvbmUuCiAKK0BpdGVtIGl2LW1h eC1zZWxlY3RlZC1jYW5kaWRhdGVzCitUaGUgaW5kdWN0aW9uIHZhcmlhYmxl IG9wdGltaXphdGlvbnMgZ2l2ZSB1cCBvbiBsb29wcyB0aGF0IG1vcmUgaW5k dWN0aW9uCit2YXJpYWJsZSBjYW5kaWRhdGVzIGFyZSBzZWxlY3RlZC4KKwog QGl0ZW0gYXZnLWxvb3Atbml0ZXIKIEF2ZXJhZ2UgbnVtYmVyIG9mIGl0ZXJh dGlvbnMgb2YgYSBsb29wLgogCmRpZmYgLS1naXQgYS9nY2MvcGFyYW1zLmRl ZiBiL2djYy9wYXJhbXMuZGVmCmluZGV4IDFiMDU4ZTQuLjdkYWFiMTQgMTAw NjQ0Ci0tLSBhL2djYy9wYXJhbXMuZGVmCisrKyBiL2djYy9wYXJhbXMuZGVm CkBAIC01MjcsNiArNTI3LDE0IEBAIERFRlBBUkFNKFBBUkFNX0lWX0FMV0FZ U19QUlVORV9DQU5EX1NFVF9CT1VORCwKIAkgIklmIG51bWJlciBvZiBjYW5k aWRhdGVzIGluIHRoZSBzZXQgaXMgc21hbGxlciwgd2UgYWx3YXlzIHRyeSB0 byByZW1vdmUgdW51c2VkIGl2cyBkdXJpbmcgaXRzIG9wdGltaXphdGlvbi4i LAogCSAxMCwgMCwgMCkKIAorLyogVGhlIGluZHVjdGlvbiB2YXJpYWJsZSBv cHRpbWl6YXRpb25zIGdpdmUgdXAgb24gbG9vcHMgdGhhdCBtb3JlIGluZHVj dGlvbgorICAgdmFyaWFibGUgY2FuZGlkYXRlcyBhcmUgc2VsZWN0ZWQuICAq LworCitERUZQQVJBTShQQVJBTV9JVl9NQVhfU0VMRUNURURfQ0FORElEQVRF UywKKwkgIml2LW1heC1zZWxlY3RlZC1jYW5kaWRhdGVzIiwKKwkgIkJvdW5k IG9uIG51bWJlciBvZiBzZWxlY3RlZCBpdiBjYW5kaWRhdGVzIGZvciBsb29w cyBpbiBpdiBvcHRpbWl6YXRpb25zLiIsCisJIDQ4LCAwLCAwKQorCiBERUZQ QVJBTShQQVJBTV9BVkdfTE9PUF9OSVRFUiwKIAkgImF2Zy1sb29wLW5pdGVy IiwKIAkgIkF2ZXJhZ2UgbnVtYmVyIG9mIGl0ZXJhdGlvbnMgb2YgYSBsb29w LiIsCmRpZmYgLS1naXQgYS9nY2MvdHJlZS1zc2EtbG9vcC1pdm9wdHMuYyBi L2djYy90cmVlLXNzYS1sb29wLWl2b3B0cy5jCmluZGV4IGRjYzQ2MTguLjg0 Njk3ODIgMTAwNjQ0Ci0tLSBhL2djYy90cmVlLXNzYS1sb29wLWl2b3B0cy5j CisrKyBiL2djYy90cmVlLXNzYS1sb29wLWl2b3B0cy5jCkBAIC02NjcsNiAr NjY3LDEyIEBAIHN0cnVjdCBpdl9jYV9kZWx0YQogI2RlZmluZSBBTFdBWVNf UFJVTkVfQ0FORF9TRVRfQk9VTkQgXAogICAoKHVuc2lnbmVkKSBQQVJBTV9W QUxVRSAoUEFSQU1fSVZfQUxXQVlTX1BSVU5FX0NBTkRfU0VUX0JPVU5EKSkK IAorLyogSWYgdGhlcmUgYXJlIG1vcmUgY2FuZGlkYXRlcyBzbGVjdGVkLCB3 ZSBqdXN0IGdpdmUgdXAgYmVjYXVzZSBpdCB1c3VhbGx5CisgICBjYXVzZXMg aGlnaCByZWdpc3RlciBwcmVzc3VyZSBpc3N1ZS4gICovCisKKyNkZWZpbmUg TUFYX1NFTEVDVEVEX0NBTkRJREFURVMgXAorICAoKHVuc2lnbmVkKSBQQVJB TV9WQUxVRSAoUEFSQU1fSVZfTUFYX1NFTEVDVEVEX0NBTkRJREFURVMpKQor CiAvKiBUaGUgbGlzdCBvZiB0cmVlcyBmb3IgdGhhdCB0aGUgZGVjbF9ydGwg ZmllbGQgbXVzdCBiZSByZXNldCBpcyBzdG9yZWQKICAgIGhlcmUuICAqLwog CkBAIC03MzgyLDcgKzczODgsNyBAQCB0cmVlX3NzYV9pdl9vcHRpbWl6ZV9s b29wIChzdHJ1Y3QgaXZvcHRzX2RhdGEgKmRhdGEsIHN0cnVjdCBsb29wICps b29wKQogCiAgIC8qIEZpbmQgdGhlIG9wdGltYWwgc2V0IG9mIGluZHVjdGlv biB2YXJpYWJsZXMgKGl0ZW0gMywgcGFydCAyKS4gICovCiAgIGl2X2NhID0g ZmluZF9vcHRpbWFsX2l2X3NldCAoZGF0YSk7Ci0gIGlmICghaXZfY2EpCisg IGlmICghaXZfY2EgfHwgaXZfY2EtPm5fY2FuZHMgPiBNQVhfU0VMRUNURURf Q0FORElEQVRFUykKICAgICBnb3RvIGZpbmlzaDsKICAgY2hhbmdlZCA9IHRy dWU7CiAKLS0gCjEuOS4xCgo= --_002_VI1PR0802MB2176C2A33BF825A1B550BFA1E7190VI1PR0802MB2176_--