From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by sourceware.org (Postfix) with ESMTPS id D18BC3951C11 for ; Thu, 13 Jan 2022 13:57:48 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org D18BC3951C11 Received: from mail-qt1-f200.google.com (mail-qt1-f200.google.com [209.85.160.200]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-219-cFpfT9iGO9-IKAl4Ao-5rA-1; Thu, 13 Jan 2022 08:57:45 -0500 X-MC-Unique: cFpfT9iGO9-IKAl4Ao-5rA-1 Received: by mail-qt1-f200.google.com with SMTP id x10-20020ac8700a000000b002c3ef8fc44cso4976691qtm.8 for ; Thu, 13 Jan 2022 05:57:45 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:date:mime-version:user-agent :content-language:to:cc:from:subject; bh=9t/c4bXCp95Zh0AD2lHFKO93va2M8HeP0Y1jevHnjck=; b=Doi8tdUBzpw7btd1aog2xpf58fFpUvVvRkBm1oPGWBRXVoVm/Qt+D/suY8Apz7SSGI 5joYaro0UmPd1Lp64bEkoc6rXYl/ZRl9tYVSDphISljAoEj3U0s7ZTaJo1cmPbWP3fVZ Fy06zZGC4PfGQvHilkqUwMJZsQMtyp4uKw8F9vFOqlGgUO8ELWhSOXQu3DcLmavIJHBX 5s/DOfe01VG+DiHEWd2hZiTbfT2nm2KzmUuFp/GnzVTwB3BOI+fjmFUEfa6GaYqR8r1z 7BObv7wIzimNlyM0t41/EOqZ3hDKI5+2E2Ri/+9CpihBlmUa6kRtguTMN9iMpar/4zc9 JIvA== X-Gm-Message-State: AOAM5338q8F9bp6tTV++r35Yo2A5jO42X+gFHuEkbH8M0LWaRPxS1Cuf 3Hn9yKTicBPrTMWUUkOJmBuNl5c+C2pFiz2pH2CrdDoQpLUFhHvxIu9oDAwuIVFR4ZxVf/m7KKo UQC3vbUWtYYTssmXdvl9LAXP96jemUzEJpM7D1FT6JJvtSNhtAuXEtPgecydyDEF4rCJtog== X-Received: by 2002:a05:6214:f25:: with SMTP id iw5mr4089348qvb.72.1642082264688; Thu, 13 Jan 2022 05:57:44 -0800 (PST) X-Google-Smtp-Source: ABdhPJzO2Nq2K07Cg8z1isolWcfgB7kZvbMFnmZ1IvpTGSOC9LnUoxCmCXygEeeAiC4hpIyarZRMgg== X-Received: by 2002:a05:6214:f25:: with SMTP id iw5mr4089336qvb.72.1642082264520; Thu, 13 Jan 2022 05:57:44 -0800 (PST) Received: from ?IPV6:2607:fea8:a262:5f00:e36d:32da:80f:d4e1? ([2607:fea8:a262:5f00:e36d:32da:80f:d4e1]) by smtp.gmail.com with ESMTPSA id f13sm2077088qtf.21.2022.01.13.05.57.43 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 13 Jan 2022 05:57:43 -0800 (PST) Message-ID: <159ff48e-32cf-da90-5b74-262b94d04095@redhat.com> Date: Thu, 13 Jan 2022 08:57:42 -0500 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.4.1 To: gcc-patches From: Andrew MacLeod Subject: [PATCH] tree-optimization/83072 - Allow more precision when querying from fold_const. X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: multipart/mixed; boundary="------------CVxOXcHnV3Jv48ckearfgdKt" Content-Language: en-CA X-Spam-Status: No, score=-12.3 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_SHORT, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 13 Jan 2022 13:57:50 -0000 This is a multi-part message in MIME format. --------------CVxOXcHnV3Jv48ckearfgdKt Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit This patch actually addresses a few PRs. The root PR was 97909.   Ranger context functionality was added to fold_const back in early November (https://gcc.gnu.org/pipermail/gcc-patches/2021-November/583216.html) The other 2 PRs mentioned (83072 and 83073) partially worked after this, but the original patch did not change the result of the query in expr_not_equal_to () to a multi-range object. This patch simply changes the value_range variable in that routine to an int_range<5> so we can pick up more precision. This in turn allows us to capture all the tests as expected. Bootstrapped on x86_64-pc-linux-gnu with no regressions. OK for trunk? Andrew --------------CVxOXcHnV3Jv48ckearfgdKt Content-Type: text/x-patch; charset=UTF-8; name="0002-Allow-more-precision-when-querying-from-fold_const.patch" Content-Disposition: attachment; filename*0="0002-Allow-more-precision-when-querying-from-fold_const.patc"; filename*1="h" Content-Transfer-Encoding: base64 RnJvbSAzMjk2MjZhNDI2ZDIxZGZlNDg0MDUzZjdiNmFjNGYyZDBjMTRmYTBlIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBBbmRyZXcgTWFjTGVvZCA8YW1hY2xlb2RAcmVkaGF0LmNvbT4K RGF0ZTogV2VkLCAxMiBKYW4gMjAyMiAxMzozMTowOCAtMDUwMApTdWJqZWN0OiBbUEFUQ0ggMi8y XSBBbGxvdyBtb3JlIHByZWNpc2lvbiB3aGVuIHF1ZXJ5aW5nIGZyb20gZm9sZF9jb25zdC4KCmZv bGRfY29uc3Q6OmV4cHJfbm90X2VxdWFsX3RvIHF1ZXJpZXMgZm9yIGEgY3VycmVudCByYW5nZSwg YnV0IHN0aWxsIHVzZXMKdGhlIG9sZCB2YWx1ZV9yYW5nZSBjbGFzcy4gIFRoaXMgaXMgY2F1c2lu ZyBpdCB0byBtaXNzIG9wcG9ydHVuaXRpZXMgd2hlbgpyYW5nZXIgY2FuIHByb3ZpZGUgc29tZXRo aW5nIGJldHRlci4KCglQUiB0cmVlLW9wdGltaXphdGlvbi84MzA3MgoJUFIgdHJlZS1vcHRpbWl6 YXRpb24vODMwNzMKCVBSIHRyZWUtb3B0aW1pemF0aW9uLzk3OTA5CglnY2MvCgkqIGZvbGQtY29u c3QuYyAoZXhwcl9ub3RfZXF1YWxfdG8pOiBVc2UgYSBtdWx0aS1yYW5nZSBjbGFzcy4KCglnY2Mv dGVzdHN1aXRlLwoJKiBnY2MuZGcvcHI4MzA3Mi0yLmM6IE5ldy4KCSogZ2NjLmRnL3ByODMwNzMu YzogTmV3LgotLS0KIGdjYy9mb2xkLWNvbnN0LmMgICAgICAgICAgICAgICAgIHwgIDIgKy0KIGdj Yy90ZXN0c3VpdGUvZ2NjLmRnL3ByODMwNzItMi5jIHwgMTggKysrKysrKysrKysrKysrKysrCiBn Y2MvdGVzdHN1aXRlL2djYy5kZy9wcjgzMDczLmMgICB8IDEwICsrKysrKysrKysKIDMgZmlsZXMg Y2hhbmdlZCwgMjkgaW5zZXJ0aW9ucygrKSwgMSBkZWxldGlvbigtKQogY3JlYXRlIG1vZGUgMTAw NjQ0IGdjYy90ZXN0c3VpdGUvZ2NjLmRnL3ByODMwNzItMi5jCiBjcmVhdGUgbW9kZSAxMDA2NDQg Z2NjL3Rlc3RzdWl0ZS9nY2MuZGcvcHI4MzA3My5jCgpkaWZmIC0tZ2l0IGEvZ2NjL2ZvbGQtY29u c3QuYyBiL2djYy9mb2xkLWNvbnN0LmMKaW5kZXggMzk3ZmE5YTAzYTEuLjc5NDViOGQ5ZWRhIDEw MDY0NAotLS0gYS9nY2MvZm9sZC1jb25zdC5jCisrKyBiL2djYy9mb2xkLWNvbnN0LmMKQEAgLTEw NzM0LDcgKzEwNzM0LDcgQEAgdHJlZV9leHByX25vbnplcm9fcCAodHJlZSB0KQogYm9vbAogZXhw cl9ub3RfZXF1YWxfdG8gKHRyZWUgdCwgY29uc3Qgd2lkZV9pbnQgJncpCiB7Ci0gIHZhbHVlX3Jh bmdlIHZyOworICBpbnRfcmFuZ2U8NT4gdnI7CiAgIHN3aXRjaCAoVFJFRV9DT0RFICh0KSkKICAg ICB7CiAgICAgY2FzZSBJTlRFR0VSX0NTVDoKZGlmZiAtLWdpdCBhL2djYy90ZXN0c3VpdGUvZ2Nj LmRnL3ByODMwNzItMi5jIGIvZ2NjL3Rlc3RzdWl0ZS9nY2MuZGcvcHI4MzA3Mi0yLmMKbmV3IGZp bGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAuLmY0OTVmMjU4MmM0Ci0tLSAvZGV2L251 bGwKKysrIGIvZ2NjL3Rlc3RzdWl0ZS9nY2MuZGcvcHI4MzA3Mi0yLmMKQEAgLTAsMCArMSwxOCBA QAorLyogeyBkZy1kbyBjb21waWxlfSAqLworLyogeyBkZy1vcHRpb25zICItTzIgLWZkdW1wLXRy ZWUtZXZycC1kZXRhaWxzIiB9ICovCisKK2ludCBmMShpbnQgYSwgaW50IGIsIGludCBjKXsKKyAg aWYoYz09MClfX2J1aWx0aW5fdW5yZWFjaGFibGUoKTsKKyAgYSAqPSBjOworICBiICo9IGM7Cisg IHJldHVybiBhID09IGI7Cit9CisKK2ludCBmMihpbnQgYSwgaW50IGIsIGludCBjKXsKKyAgYyB8 PSAxOworICBhICo9IGM7CisgIGIgKj0gYzsKKyAgcmV0dXJuIGEgPT0gYjsKK30KKworLyogeyBk Zy1maW5hbCB7IHNjYW4tdHJlZS1kdW1wLXRpbWVzICJnaW1wbGVfc2ltcGxpZmllZCB0byIgMiAi ZXZycCIgfSB9ICAqLwpkaWZmIC0tZ2l0IGEvZ2NjL3Rlc3RzdWl0ZS9nY2MuZGcvcHI4MzA3My5j IGIvZ2NjL3Rlc3RzdWl0ZS9nY2MuZGcvcHI4MzA3My5jCm5ldyBmaWxlIG1vZGUgMTAwNjQ0Cmlu ZGV4IDAwMDAwMDAwMDAwLi4xMTY4YWU4MjJhNAotLS0gL2Rldi9udWxsCisrKyBiL2djYy90ZXN0 c3VpdGUvZ2NjLmRnL3ByODMwNzMuYwpAQCAtMCwwICsxLDEwIEBACisvKiB7IGRnLWRvIGNvbXBp bGV9ICovCisvKiB7IGRnLW9wdGlvbnMgIi1PMiAtZmR1bXAtdHJlZS1ldnJwLWRldGFpbHMgLWZu by10cmVlLWZyZSAtZm5vLXRyZWUtY2NwIC1mbm8tdHJlZS1mb3J3cHJvcCIgfSAqLworCitpbnQg ZihpbnQgeCkKK3sKKyAgICB4ID0geHwxOworICAgIHJldHVybiB4ICYgMTsKK30KKworLyogeyBk Zy1maW5hbCB7IHNjYW4tdHJlZS1kdW1wICJnaW1wbGVfc2ltcGxpZmllZCB0by4qID0gMSIgImV2 cnAiIH0gfSAgKi8KLS0gCjIuMTcuMgoK --------------CVxOXcHnV3Jv48ckearfgdKt--