From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 105398 invoked by alias); 14 Jun 2017 16:41:55 -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 105385 invoked by uid 89); 14 Jun 2017 16:41:54 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-26.9 required=5.0 tests=BAYES_00,GIT_PATCH_0,GIT_PATCH_1,GIT_PATCH_2,GIT_PATCH_3,RCVD_IN_DNSWL_NONE autolearn=ham version=3.3.2 spammy=ri, H*Ad:U*aldyh X-HELO: mail-wr0-f176.google.com Received: from mail-wr0-f176.google.com (HELO mail-wr0-f176.google.com) (209.85.128.176) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 14 Jun 2017 16:41:53 +0000 Received: by mail-wr0-f176.google.com with SMTP id r103so6025057wrb.0 for ; Wed, 14 Jun 2017 09:41:57 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:cc:from:subject:message-id:date:user-agent :mime-version:content-language; bh=BMy/JoQWpKW5cWRnUoEM84cEI5V5Xw41i2TQUOuSJ/0=; b=qYJwoSYY1onNIUIU7IgQ673fMZJDHbBwnWODoJkMOU3eedfZ2qmHG15bGxels4gl1r 6WxSUioeomqcnCkJfs/ytLPmfUWm8sIPDHAevBgY8uYLsEkxZ1fs7nJB2mD7PJaMiSey xUFAiLI/Pk+JG4THIMM7HgT7YPcOpC01C/5EHlg+3XzYH+IswJ/Zfsd8LY4XLblhEdoH WGvhNDw1FOjoJn3GrVIBJ1Hg2tWDcrNaK/4k2fIynCfy8zXDxeUSSdapaNc5jtrZJgMx 7xozXMtYir7hI9y/Oz5CWV6yTYQqDuV3cJMIfur3EGMW7qTorrNnpIMiJmePb0cq3g1k 3udw== X-Gm-Message-State: AKS2vOyfgunAHCUpgWZmJVZUPanJMKdA85o3XwF5rCUkTabfcWb0dnmW VhzweOpZV/1Ub7v26uQ6bg== X-Received: by 10.28.228.84 with SMTP id b81mr705657wmh.78.1497458515370; Wed, 14 Jun 2017 09:41:55 -0700 (PDT) Received: from abulafia.quesejoda.com (218.red-83-60-15.dynamicip.rima-tde.net. [83.60.15.218]) by smtp.gmail.com with ESMTPSA id t15sm580602wmd.13.2017.06.14.09.41.54 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 14 Jun 2017 09:41:54 -0700 (PDT) To: Richard Biener Cc: Andrew MacLeod , gcc-patches From: Aldy Hernandez Subject: Avoid generating useless range info Message-ID: <85de74ae-9680-1461-a289-42c915b5285a@redhat.com> Date: Wed, 14 Jun 2017 16:41:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.0 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="------------DE25E79CA5444F1D1915BA72" X-SW-Source: 2017-06/txt/msg01068.txt.bz2 This is a multi-part message in MIME format. --------------DE25E79CA5444F1D1915BA72 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Content-length: 525 Hi! As discovered in my range class work, we seem to generate a significant amount of useless range info out of VRP. Is there any reason why we can't avoid generating any range info that spans the entire domain, and yet contains nothing in the non-zero bitmask? The attached patch passes bootstrap, and the one regression it causes is because now the -Walloca-larger-than= pass is better able to determine that there is no range information at all, and the testcase is unbounded. So...win, win. OK for trunk? Aldy --------------DE25E79CA5444F1D1915BA72 Content-Type: text/plain; charset=UTF-8; name="curr" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="curr" Content-length: 2375 Z2NjLwoKCSogdHJlZS12cnAuYyAodnJwX2ZpbmFsaXplKTogRG8gbm90IGV4 cG9zZSBhbnkgdXNlbGVzcyByYW5nZQoJaW5mb3JtYXRpb24uCgpnY2MvdGVz dHN1aXRlLwoKCSogZ2NjLmRnL1dhbGxvY2EtMTQuYzogQWRhcHQgdGVzdCB0 byByZWNvZ25pemUgbmV3IGNvbXBsYWludCBvZgoJdW5ib3VuZGVkIHVzZS4K CmRpZmYgLS1naXQgYS9nY2MvdGVzdHN1aXRlL2djYy5kZy9XYWxsb2NhLTE0 LmMgYi9nY2MvdGVzdHN1aXRlL2djYy5kZy9XYWxsb2NhLTE0LmMKaW5kZXgg NzIzZGJlNS4uZjNlM2Y1NyAxMDA2NDQKLS0tIGEvZ2NjL3Rlc3RzdWl0ZS9n Y2MuZGcvV2FsbG9jYS0xNC5jCisrKyBiL2djYy90ZXN0c3VpdGUvZ2NjLmRn L1dhbGxvY2EtMTQuYwpAQCAtOSw1ICs5LDYgQEAgZyAoaW50ICpwKQogICBl eHRlcm4gdm9pZCBmICh2b2lkICopOwogCiAgIHZvaWQgKnEgPSBfX2J1aWx0 aW5fYWxsb2NhIChwKTsgLyogeyBkZy13YXJuaW5nICJwYXNzaW5nIGFyZ3Vt ZW50IDEiIH0gKi8KKyAgLyogeyBkZy13YXJuaW5nICJ1bmJvdW5kZWQgdXNl IG9mICdhbGxvY2EnIiAidW5ib3VuZGVkIiB7IHRhcmdldCAqLSotKiB9IDEx IH0gKi8KICAgZiAocSk7CiB9CmRpZmYgLS1naXQgYS9nY2MvdHJlZS12cnAu YyBiL2djYy90cmVlLXZycC5jCmluZGV4IDcxNmE3YzIuLjg0NDJiMWYgMTAw NjQ0Ci0tLSBhL2djYy90cmVlLXZycC5jCisrKyBiL2djYy90cmVlLXZycC5j CkBAIC0xMDcwOCw4ICsxMDcwOCwyNCBAQCB2cnBfZmluYWxpemUgKGJvb2wg d2Fybl9hcnJheV9ib3VuZHNfcCkKIAkJCQkJICAgICAgdnJfdmFsdWVbaV0t Pm1heCkgPT0gMSkpKQogCSAgc2V0X3B0cl9ub25udWxsIChuYW1lKTsKIAll bHNlIGlmICghUE9JTlRFUl9UWVBFX1AgKFRSRUVfVFlQRSAobmFtZSkpKQot CSAgc2V0X3JhbmdlX2luZm8gKG5hbWUsIHZyX3ZhbHVlW2ldLT50eXBlLCB2 cl92YWx1ZVtpXS0+bWluLAotCQkJICB2cl92YWx1ZVtpXS0+bWF4KTsKKwkg IHsKKwkgICAgcmFuZ2VfaW5mb19kZWYgKnJpID0gU1NBX05BTUVfUkFOR0Vf SU5GTyAobmFtZSk7CisJICAgIHRyZWUgdHlwZSA9IFRSRUVfVFlQRSAobmFt ZSk7CisJICAgIHVuc2lnbmVkIHByZWNpc2lvbiA9IFRZUEVfUFJFQ0lTSU9O ICh0eXBlKTsKKwkgICAgLyogSWYgdGhlIHJhbmdlIGNvdmVycyB0aGUgZW50 aXJlIGRvbWFpbiBhbmQgdGhlcmUgaXMKKwkgICAgICAgbm90aGluZyBpbiB0 aGUgbm9uLXplcm8gYml0cyBtYXNrLCB0aGVyZSBpcyBubyBzZW5zZSBpbgor CSAgICAgICBzdG9yaW5nIGFueXRoaW5nLiAgKi8KKwkgICAgaWYgKHZyX3Zh bHVlW2ldLT5taW4gPT0gVFlQRV9NSU5fVkFMVUUgKHR5cGUpCisJCSYmIHZy X3ZhbHVlW2ldLT5tYXggPT0gVFlQRV9NQVhfVkFMVUUgKHR5cGUpCisJCSYm IHZyX3ZhbHVlW2ldLT50eXBlID09IFZSX1JBTkdFCisJCSYmICghcmkKKwkJ ICAgIHx8IHJpLT5nZXRfbm9uemVyb19iaXRzICgpID09IHdpOjpzaHdpICgt MSwgcHJlY2lzaW9uKSkpCisJICAgICAgU1NBX05BTUVfUkFOR0VfSU5GTyAo bmFtZSkgPSBOVUxMOworCSAgICBlbHNlCisJICAgICAgc2V0X3JhbmdlX2lu Zm8gKG5hbWUsIHZyX3ZhbHVlW2ldLT50eXBlLCB2cl92YWx1ZVtpXS0+bWlu LAorCQkJICAgICAgdnJfdmFsdWVbaV0tPm1heCk7CisJICB9Cit9CiAgICAg ICB9CiAKICAgc3Vic3RpdHV0ZV9hbmRfZm9sZCAob3Bfd2l0aF9jb25zdGFu dF9zaW5nbGV0b25fdmFsdWVfcmFuZ2UsIHZycF9mb2xkX3N0bXQpOwo= --------------DE25E79CA5444F1D1915BA72--