From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 54583 invoked by alias); 23 Nov 2017 00:16:31 -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 54566 invoked by uid 89); 23 Nov 2017 00:16:30 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-26.7 required=5.0 tests=BAYES_00,GIT_PATCH_0,GIT_PATCH_1,GIT_PATCH_2,GIT_PATCH_3,KB_WAM_FROM_NAME_SINGLEWORD,SPF_HELO_PASS,T_RP_MATCHES_RCVD autolearn=ham version=3.3.2 spammy=Tree X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 23 Nov 2017 00:16:29 +0000 Received: from smtp.corp.redhat.com (int-mx02.intmail.prod.int.phx2.redhat.com [10.5.11.12]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id 3372E80F9C for ; Thu, 23 Nov 2017 00:16:28 +0000 (UTC) Received: from localhost.localdomain (ovpn-112-12.rdu2.redhat.com [10.10.112.12]) by smtp.corp.redhat.com (Postfix) with ESMTP id 572D860F8B for ; Thu, 23 Nov 2017 00:16:27 +0000 (UTC) To: gcc-patches From: Jeff Law Subject: [RFA][PATCH] Use SCEV conditionally within vr-values and evrp range analysis Message-ID: <80038401-a229-aba2-712d-1082aaa39b65@redhat.com> Date: Thu, 23 Nov 2017 08:13:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="------------4B2F14E7E012B1B5FEE3F173" X-IsSubscribed: yes X-SW-Source: 2017-11/txt/msg02101.txt.bz2 This is a multi-part message in MIME format. --------------4B2F14E7E012B1B5FEE3F173 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Content-length: 553 Clients of the evrp range analysis may not have initialized the SCEV infrastructure, and in fact my not want to (DOM for example). Yet inside both vr-values.c and gimple-ssa-evrp-analyze.c we have calls into SCEV (that will fault/abort if SCEV is not properly initialized). This patch allows clients of vr-values.c and gimple-ssa-evrp-analyze.c to indicate if they want SCEV analysis. Bootstrapped and regression tested by itself as well as with the DOM patches to use EVRP analysis (which test the "don't want SCEV path). OK for the trunk? Jeff --------------4B2F14E7E012B1B5FEE3F173 Content-Type: text/plain; charset=UTF-8; name="P" Content-Transfer-Encoding: base64 Content-Disposition: inline; filename="P" Content-length: 6979 CSogZ2ltcGxlLXNzYS1ldnJwLWFuYWx5emUuaCAoY2xhc3MgZXZycF9yYW5n ZV9hbmFseXplcik6IE5ldyBkYXRhCgltZW1iZXIgVVNFX1NDRVYuIAoJKiBn aW1wbGUtc3NhLWV2cnAtYW5hbHl6ZS5jCgkoZXZycF9yYW5nZV9hbmFseXpl cjo6ZXZycF9yYW5nZV9hbmFseXplcik6IEFkZCBuZXcgdXNlX3NjZXYgYXJn dW1lbnQuCglQYXNzIGl0IHRvIHRoZSB2cl92YWx1ZXMgY3Rvci4KCShldnJw X3JhbmdlX2FuYWx5emVyOjpyZWNvcmRfcmFuZ2VzX2Zyb21fcGhpcyk6IENv bmRpdGlvbmFsbHkgdXNlCglTQ0VWIHRvIHJlZmluZSByYW5nZXMgZm9yIFBI SXMuCgkqIGdpbXBsZS1zc2EtZXZycCAoZXZycF9kb21fd2Fsa2VyOjpldnJw X2RvbV93YWxrZXIpOiBBc2sgZm9yCglTQ0VWIGFuYWx5c2lzIGluIHRoZSB2 ci12YWx1ZXMgZW5naW5lLgoJKiB2ci12YWx1ZXMuaCAoY2xhc3MgdnJfdmFs dWVzKTogTmV3IGRhdGEgbWViZXIgVVNFX1NDRVYuCgkqIHZyLXZhbHVlcy5j ICh2cl92YWx1ZXM6OnZyX3ZhbHVlcyk6IEFkZCBuZXcgdXNlX3NjZXYgYXJn dW1lbnQuCgkodnJfdmFsdWVzOjpleHRyYWN0X3JhbmdlX2Zyb21fcGhpX25v ZGUpOiBDb25kaXRpb25hbGx5IHVzZQoJU0NFViB0byByZWZpbmUgcmFuZ2Vz IGZvciBQSElzLgoJCgpkaWZmIC0tZ2l0IGEvZ2NjL2dpbXBsZS1zc2EtZXZy cC1hbmFseXplLmMgYi9nY2MvZ2ltcGxlLXNzYS1ldnJwLWFuYWx5emUuYwpp bmRleCA2OGEyY2RjLi5iYzQxYmUxIDEwMDY0NAotLS0gYS9nY2MvZ2ltcGxl LXNzYS1ldnJwLWFuYWx5emUuYworKysgYi9nY2MvZ2ltcGxlLXNzYS1ldnJw LWFuYWx5emUuYwpAQCAtNDIsNyArNDIsOCBAQCBhbG9uZyB3aXRoIEdDQzsg c2VlIHRoZSBmaWxlIENPUFlJTkczLiAgSWYgbm90IHNlZQogI2luY2x1ZGUg InZyLXZhbHVlcy5oIgogI2luY2x1ZGUgImdpbXBsZS1zc2EtZXZycC1hbmFs eXplLmgiCiAKLWV2cnBfcmFuZ2VfYW5hbHl6ZXI6OmV2cnBfcmFuZ2VfYW5h bHl6ZXIgKCkgOiBzdGFjayAoMTApCitldnJwX3JhbmdlX2FuYWx5emVyOjpl dnJwX3JhbmdlX2FuYWx5emVyIChib29sIHVzZV9zY2V2XykKKyAgOiB2cl92 YWx1ZXMgKHVzZV9zY2V2XyksIHN0YWNrICgxMCksIHVzZV9zY2V2ICh1c2Vf c2Nldl8pCiB7CiAgIGVkZ2UgZTsKICAgZWRnZV9pdGVyYXRvciBlaTsKQEAg LTE3Niw3ICsxNzcsOCBAQCBldnJwX3JhbmdlX2FuYWx5emVyOjpyZWNvcmRf cmFuZ2VzX2Zyb21fcGhpcyAoYmFzaWNfYmxvY2sgYmIpCiAJICAgICB0byB1 c2UgVkFSWUlORyBmb3IgdGhlbS4gIEJ1dCB3ZSBjYW4gc3RpbGwgcmVzb3J0 IHRvCiAJICAgICBTQ0VWIGZvciBsb29wIGhlYWRlciBQSElzLiAgKi8KIAkg IHN0cnVjdCBsb29wICpsOwotCSAgaWYgKGludGVyZXN0aW5nCisJICBpZiAo dXNlX3NjZXYKKwkgICAgICAmJiBpbnRlcmVzdGluZwogCSAgICAgICYmIChs ID0gbG9vcF9jb250YWluaW5nX3N0bXQgKHBoaSkpCiAJICAgICAgJiYgbC0+ aGVhZGVyID09IGdpbXBsZV9iYiAocGhpKSkKIAkgIHZyX3ZhbHVlcy5hZGp1 c3RfcmFuZ2Vfd2l0aF9zY2V2ICgmdnJfcmVzdWx0LCBsLCBwaGksIGxocyk7 CkBAIC0zNDEsMyArMzQzLDQgQEAgZXZycF9yYW5nZV9hbmFseXplcjo6cG9w X3ZhbHVlX3JhbmdlICh0cmVlIHZhcikKICAgc3RhY2sucG9wICgpOwogICBy ZXR1cm4gdnI7CiB9CisKZGlmZiAtLWdpdCBhL2djYy9naW1wbGUtc3NhLWV2 cnAtYW5hbHl6ZS5oIGIvZ2NjL2dpbXBsZS1zc2EtZXZycC1hbmFseXplLmgK aW5kZXggM2Q2NGM1MC4uMThmNWI4YyAxMDA2NDQKLS0tIGEvZ2NjL2dpbXBs ZS1zc2EtZXZycC1hbmFseXplLmgKKysrIGIvZ2NjL2dpbXBsZS1zc2EtZXZy cC1hbmFseXplLmgKQEAgLTIzLDcgKzIzLDcgQEAgYWxvbmcgd2l0aCBHQ0M7 IHNlZSB0aGUgZmlsZSBDT1BZSU5HMy4gIElmIG5vdCBzZWUKIGNsYXNzIGV2 cnBfcmFuZ2VfYW5hbHl6ZXIKIHsKICBwdWJsaWM6Ci0gIGV2cnBfcmFuZ2Vf YW5hbHl6ZXIgKHZvaWQpOworICBldnJwX3JhbmdlX2FuYWx5emVyIChib29s KTsKICAgfmV2cnBfcmFuZ2VfYW5hbHl6ZXIgKHZvaWQpIHsgc3RhY2sucmVs ZWFzZSAoKTsgfQogCiAgIHZvaWQgZW50ZXIgKGJhc2ljX2Jsb2NrKTsKQEAg LTY1LDYgKzY1LDkgQEAgY2xhc3MgZXZycF9yYW5nZV9hbmFseXplcgogCiAg IC8qIFNUQUNLIGhvbGRzIHRoZSBvbGQgVlIuICAqLwogICBhdXRvX3ZlYzxz dGQ6OnBhaXIgPHRyZWUsIHZhbHVlX3JhbmdlKj4gPiBzdGFjazsKKworICAv KiBXaGV0aGVyIG9yIG5vdCB0byB1c2UgU0NFViB0byByZWZpbmUgcmFuZ2Vz LiAgKi8KKyAgYm9vbCB1c2Vfc2NldjsKIH07CiAKICNlbmRpZiAvKiBHQ0Nf R0lNUExFX1NTQV9FVlJQX0FOQUxZWkVfSCAqLwpkaWZmIC0tZ2l0IGEvZ2Nj L2dpbXBsZS1zc2EtZXZycC5jIGIvZ2NjL2dpbXBsZS1zc2EtZXZycC5jCmlu ZGV4IGY1NmQ2N2YuLjEzZTRlMTYgMTAwNjQ0Ci0tLSBhL2djYy9naW1wbGUt c3NhLWV2cnAuYworKysgYi9nY2MvZ2ltcGxlLXNzYS1ldnJwLmMKQEAgLTY5 LDYgKzY5LDcgQEAgY2xhc3MgZXZycF9kb21fd2Fsa2VyIDogcHVibGljIGRv bV93YWxrZXIKIHB1YmxpYzoKICAgZXZycF9kb21fd2Fsa2VyICgpCiAgICAg OiBkb21fd2Fsa2VyIChDRElfRE9NSU5BVE9SUyksCisgICAgICBldnJwX3Jh bmdlX2FuYWx5emVyICh0cnVlKSwKICAgICAgIGV2cnBfZm9sZGVyIChldnJw X3JhbmdlX2FuYWx5emVyLmdldF92cl92YWx1ZXMgKCkpCiAgICAgewogICAg ICAgbmVlZF9laF9jbGVhbnVwID0gQklUTUFQX0FMTE9DIChOVUxMKTsKZGlm ZiAtLWdpdCBhL2djYy90cmVlLXZycC5jIGIvZ2NjL3RyZWUtdnJwLmMKaW5k ZXggODM4ODIyZC4uNDZiZTc0OSAxMDA2NDQKLS0tIGEvZ2NjL3RyZWUtdnJw LmMKKysrIGIvZ2NjL3RyZWUtdnJwLmMKQEAgLTQ3MzcsNiArNDczNyw3IEBA IGluc2VydF9yYW5nZV9hc3NlcnRpb25zICh2b2lkKQogY2xhc3MgdnJwX3By b3AgOiBwdWJsaWMgc3NhX3Byb3BhZ2F0aW9uX2VuZ2luZQogewogIHB1Ymxp YzoKKyAgdnJwX3Byb3AgKGJvb2wgdXNlX3NjZXZfKSA6IHZyX3ZhbHVlcyAo dXNlX3NjZXZfKSB7IH0KICAgZW51bSBzc2FfcHJvcF9yZXN1bHQgdmlzaXRf c3RtdCAoZ2ltcGxlICosIGVkZ2UgKiwgdHJlZSAqKSBGSU5BTCBPVkVSUklE RTsKICAgZW51bSBzc2FfcHJvcF9yZXN1bHQgdmlzaXRfcGhpIChncGhpICop IEZJTkFMIE9WRVJSSURFOwogCkBAIC02ODYyLDcgKzY4NjMsNyBAQCBleGVj dXRlX3ZycCAoYm9vbCB3YXJuX2FycmF5X2JvdW5kc19wKQogICAvKiBGb3Ig dmlzaXRpbmcgUEhJIG5vZGVzIHdlIG5lZWQgRURHRV9ERlNfQkFDSyBjb21w dXRlZC4gICovCiAgIG1hcmtfZGZzX2JhY2tfZWRnZXMgKCk7CiAKLSAgY2xh c3MgdnJwX3Byb3AgdnJwX3Byb3A7CisgIGNsYXNzIHZycF9wcm9wIHZycF9w cm9wICh0cnVlKTsKICAgdnJwX3Byb3AudnJwX2luaXRpYWxpemUgKCk7CiAg IHZycF9wcm9wLnNzYV9wcm9wYWdhdGUgKCk7CiAgIHZycF9wcm9wLnZycF9m aW5hbGl6ZSAod2Fybl9hcnJheV9ib3VuZHNfcCk7CmRpZmYgLS1naXQgYS9n Y2MvdnItdmFsdWVzLmMgYi9nY2MvdnItdmFsdWVzLmMKaW5kZXggMmQxMTg2 MS4uNTRiMGJlNSAxMDA2NDQKLS0tIGEvZ2NjL3ZyLXZhbHVlcy5jCisrKyBi L2djYy92ci12YWx1ZXMuYwpAQCAtMTkwNyw3ICsxOTA3LDggQEAgdnJfdmFs dWVzOjpkdW1wX2FsbF92YWx1ZV9yYW5nZXMgKEZJTEUgKmZpbGUpCiAKIC8q IEluaXRpYWxpemUgVlJQIGxhdHRpY2UuICAqLwogCi12cl92YWx1ZXM6OnZy X3ZhbHVlcyAoKSA6IHZycF92YWx1ZV9yYW5nZV9wb29sICgiVHJlZSBWUlAg dmFsdWUgcmFuZ2VzIikKK3ZyX3ZhbHVlczo6dnJfdmFsdWVzIChib29sIHVz ZV9zY2V2XykKKyAgOiB2cnBfdmFsdWVfcmFuZ2VfcG9vbCAoIlRyZWUgVlJQ IHZhbHVlIHJhbmdlcyIpLCB1c2Vfc2NldiAodXNlX3NjZXZfKQogewogICB2 YWx1ZXNfcHJvcGFnYXRlZCA9IGZhbHNlOwogICBudW1fdnJfdmFsdWVzID0g bnVtX3NzYV9uYW1lczsKQEAgLTI5MzUsNyArMjkzNiw4IEBAIHNjZXZfY2hl Y2s6CiAgICAgIHNjZXZfY2hlY2sgY2FuIGJlIHJlYWNoZWQgZnJvbSB0d28g cGF0aHMsIG9uZSBpcyBhIGZhbGwgdGhyb3VnaCBmcm9tIGFib3ZlCiAgICAg ICJ2YXJ5aW5nIiBsYWJlbCwgdGhlIG90aGVyIGlzIGRpcmVjdCBnb3RvIGZy b20gY29kZSBibG9jayB3aGljaCB0cmllcyB0bwogICAgICBhdm9pZCBpbmZp bml0ZSBzaW11bGF0aW9uLiAgKi8KLSAgaWYgKChsID0gbG9vcF9jb250YWlu aW5nX3N0bXQgKHBoaSkpCisgIGlmICh1c2Vfc2NldgorICAgICAgJiYgKGwg PSBsb29wX2NvbnRhaW5pbmdfc3RtdCAocGhpKSkKICAgICAgICYmIGwtPmhl YWRlciA9PSBnaW1wbGVfYmIgKHBoaSkpCiAgICAgYWRqdXN0X3JhbmdlX3dp dGhfc2NldiAodnJfcmVzdWx0LCBsLCBwaGksIGxocyk7CiAKZGlmZiAtLWdp dCBhL2djYy92ci12YWx1ZXMuaCBiL2djYy92ci12YWx1ZXMuaAppbmRleCAx MjRlZTZmLi5iZmViMWU0IDEwMDY0NAotLS0gYS9nY2MvdnItdmFsdWVzLmgK KysrIGIvZ2NjL3ZyLXZhbHVlcy5oCkBAIC0zNyw3ICszNyw3IEBAIGFsb25n IHdpdGggR0NDOyBzZWUgdGhlIGZpbGUgQ09QWUlORzMuICBJZiBub3Qgc2Vl CiBjbGFzcyB2cl92YWx1ZXMKIHsKICBwdWJsaWM6Ci0gIHZyX3ZhbHVlcyAo dm9pZCk7CisgIHZyX3ZhbHVlcyAoYm9vbCk7CiAgIH52cl92YWx1ZXMgKHZv aWQpOwogCiAgIHZhbHVlX3JhbmdlICpnZXRfdmFsdWVfcmFuZ2UgKGNvbnN0 X3RyZWUpOwpAQCAtMTE1LDYgKzExNSw5IEBAIGNsYXNzIHZyX3ZhbHVlcwog ICAvKiBBbGxvY2F0aW9ucyBmb3IgZXF1aXZhbGVuY2VzIGFsbCBjb21lIGZy b20gdGhpcyBvYnN0YWNrLiAgKi8KICAgYml0bWFwX29ic3RhY2sgdnJwX2Vx dWl2X29ic3RhY2s7CiAKKyAgLyogV2hldGhlciBvciBub3QgdG8gdXNlIFND RVYgdG8gcmVmaW5lIHJhbmdlcy4gICovCisgIGJvb2wgdXNlX3NjZXY7CisK ICAgLyogVmFsdWUgcmFuZ2UgYXJyYXkuICBBZnRlciBwcm9wYWdhdGlvbiwg VlJfVkFMVUVbSV0gaG9sZHMgdGhlIHJhbmdlCiAgICAgIG9mIHZhbHVlcyB0 aGF0IFNTQSBuYW1lIE5fSSBtYXkgdGFrZS4gICovCiAgIHVuc2lnbmVkIGlu dCBudW1fdnJfdmFsdWVzOwo= --------------4B2F14E7E012B1B5FEE3F173--