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 717223857410 for ; Tue, 17 May 2022 18:39:52 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 717223857410 Received: from mail-qk1-f200.google.com (mail-qk1-f200.google.com [209.85.222.200]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-173-IqKFx20vNpyhzNNr7BPvlg-1; Tue, 17 May 2022 14:39:49 -0400 X-MC-Unique: IqKFx20vNpyhzNNr7BPvlg-1 Received: by mail-qk1-f200.google.com with SMTP id d67-20020a379b46000000b006a00045c8c9so14292353qke.22 for ; Tue, 17 May 2022 11:39:49 -0700 (PDT) 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=N5C3fnqrrL4bKSYWRu6Gp3TbBbzKmwUBrtKm4jj93no=; b=wRtWu1jOMeE9zcAwZ6ZaRUhRAIXFPnQS5jHjRpXFmfE3o+cfAf8IolmZYJYQ7f1Nou KpYXOGApRfTAPtfv92uLoSIceql/FYDmgZjqFIvj/Rc0YmwixQHu9WA3/kPtTBUC38qL rDeVa65DkV7Qt20Da+cljs56e/quM4n1sF+4ZfSPkDjN9ZL8fxCqW/adTBgBKfTRiha1 YxfQibo+Qv27nTs2oXt3MU/v9d/aBHuc+MzxnBixpEA63VcLkKFXHUvs/CUbdCrblQnx Xj4oS3TLb63JeFEtJam+jv9i1+eBpL9cMoXnqYh1IorhtcVkv8erjo/TTTf0BA7Vwfzh Djyg== X-Gm-Message-State: AOAM533XEqVC+XQ8m15/TsRo/UlGjkyZSpV3Fyi3vqT4i8+kxIF/UzlB sur/Da3uGnQaqLfCDxpJguQVXGP6PfQJqsHghkohbYUQr4zBnwPj/G6mEPdmAAgOFQyO5SZ7MKn 2LspKZXeulSMHRv7+TPPZ5peu/wlJowqNmTIIqHEsrEwsXZQlM/+ZKxa3g68ON+k4TX8DQg== X-Received: by 2002:ad4:5ca9:0:b0:45f:b563:8af3 with SMTP id q9-20020ad45ca9000000b0045fb5638af3mr21453724qvh.82.1652812788670; Tue, 17 May 2022 11:39:48 -0700 (PDT) X-Google-Smtp-Source: ABdhPJw8iYxBm+CYLfgzbgVXLo0tP2STNPfZbrqtEuNisz8eyu2NOX2ygMu2epiDMt/8m2ye+xlkOg== X-Received: by 2002:ad4:5ca9:0:b0:45f:b563:8af3 with SMTP id q9-20020ad45ca9000000b0045fb5638af3mr21453705qvh.82.1652812788284; Tue, 17 May 2022 11:39:48 -0700 (PDT) Received: from ?IPV6:2607:fea8:a261:5e00::94b0? ([2607:fea8:a261:5e00::94b0]) by smtp.gmail.com with ESMTPSA id f84-20020a379c57000000b0069fd35d2abcsm8425858qke.112.2022.05.17.11.39.47 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 17 May 2022 11:39:47 -0700 (PDT) Message-ID: Date: Tue, 17 May 2022 14:39:46 -0400 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.9.0 To: gcc-patches From: Andrew MacLeod Subject: [PATCH] PR tree-optimization/31178 - Add rshift side effect. X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: multipart/mixed; boundary="------------N8aJKY6ZwmM4UPOamAid82Qa" Content-Language: en-CA X-Spam-Status: No, score=-12.8 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_LOW, SPF_HELO_NONE, SPF_NONE, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) 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: Tue, 17 May 2022 18:39:53 -0000 This is a multi-part message in MIME format. --------------N8aJKY6ZwmM4UPOamAid82Qa Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit This patch implements side effects of the second operand of a shift operation. given A >> B or A << B, the range of B is restricted to [0, PRECISION_A). Fortran is currently more permissive than this, allowing the range to be [0, PRECISION_A], so this si the value we currently default to in this patch.  If the fortran front end were adjusted, we could adjust the end point. This currently bootstraps with no regressions on x86_64-pc-linux-gnu. Is this sufficient, or should I also be checking some other flags which may allow other values outside this range to be valid? Andrew PS. Note that in the testcase,  one of the tests is currently disabled as full recomputation of side-effects is not quite in place yet. WHen ti is, I will enable the test. --------------N8aJKY6ZwmM4UPOamAid82Qa Content-Type: text/x-patch; charset=UTF-8; name="rshift.diff" Content-Disposition: attachment; filename="rshift.diff" Content-Transfer-Encoding: base64 Y29tbWl0IGUyODMzOTVhNTcwMzI4ODc0ZDMyMTU4OTNjNzc4MWZkMjc3MGQ4N2YKQXV0aG9yOiBB bmRyZXcgTWFjTGVvZCA8YW1hY2xlb2RAcmVkaGF0LmNvbT4KRGF0ZTogICBNb24gQXByIDQgMTY6 MjY6MTUgMjAyMiAtMDQwMAoKICAgIEFkZCByc2hpZnQgc2lkZSBlZmZlY3QuCiAgICAKICAgIEFm dGVyIGEgc2hpZnQgb3BlcmF0aW9uLCB3ZSBjYW4gbWFrZSBkZWR1Y3Rpb25zIGFib3V0IHRoZSBi b3VuZHMgb2YgdGhlIHNoaWZ0CiAgICB2YWx1ZSBiYXNlZCBvbiB0aGUgcHJlY2lzaW9uIG9mIHRo ZSB2YWx1ZSBiZWluZyBzaGlmdGVkLgogICAgCiAgICBGb3J0cmFuIGlzIGN1cnJlbnRseSBtb3Jl IHBlcm1pc3NpdmUgdGhhbiB0aGUgb3RoZXIgZnJvbnQgZW5kcywgc28gd2Ugc2V0IHRoZQogICAg cmFuZ2Ugb2YgQiBpbiBBID4+IEIgdG8gWzAsIFBSRUNJU0lPTl9BXSByYXRoZXIgdGhhbiBbMCwg UFJFQ0lTSU9OX0EpIHRoYXQgdGhlCiAgICBvdGhlciBmcm9udCBlbmRzIHJlcXVpcmUuCiAgICAK ICAgICAgICAgICAgZ2NjLwogICAgICAgICAgICBQUiB0cmVlLW9wdGltaXphdGlvbi8zMTE3OAog ICAgICAgICAgICAqIGdpbXBsZS1yYW5nZS1zaWRlLWVmZmVjdC5jYyAoc3RtdF9zaWRlX2VmZmVj dHM6OnN0bXRfc2lkZV9lZmZlY3RzKToKICAgICAgICAgICAgQWRkIHN1cG9ydCBmb3IgTFNISUZU X0VYUFIgYW5kIFJTSElGVF9FWFBSLgogICAgCiAgICAgICAgICAgIGdjYy90ZXN0c3VpdGUvCiAg ICAgICAgICAgICogZ2NjLmRnL3RyZWUtc3NhL3ByMzExNzguYzogTmV3LgoKZGlmZiAtLWdpdCBh L2djYy9naW1wbGUtcmFuZ2Utc2lkZS1lZmZlY3QuY2MgYi9nY2MvZ2ltcGxlLXJhbmdlLXNpZGUt ZWZmZWN0LmNjCmluZGV4IDU0OGU0YmVhMzEzLi5mZGQ1ZmRjMjk2ZCAxMDA2NDQKLS0tIGEvZ2Nj L2dpbXBsZS1yYW5nZS1zaWRlLWVmZmVjdC5jYworKysgYi9nY2MvZ2ltcGxlLXJhbmdlLXNpZGUt ZWZmZWN0LmNjCkBAIC0zNCw2ICszNCw3IEBAIGFsb25nIHdpdGggR0NDOyBzZWUgdGhlIGZpbGUg Q09QWUlORzMuICBJZiBub3Qgc2VlCiAjaW5jbHVkZSAiZ2ltcGxlLWl0ZXJhdG9yLmgiCiAjaW5j bHVkZSAiZ2ltcGxlLXdhbGsuaCIKICNpbmNsdWRlICJjZmdhbmFsLmgiCisjaW5jbHVkZSAic3Rv ci1sYXlvdXQuaCIJCS8vIGZvciBlbGVtZW50X3ByZWNpc2lvbigpCiAKIC8vIEFkYXB0ZWQgZnJv bSBpbmZlcl9ub25udWxsX3JhbmdlX2J5X2RlcmVmZXJlbmNlIGFuZCBjaGVja19sb2Fkc3RvcmUK IC8vIHRvIHByb2Nlc3Mgbm9ubnVsbCBzc2FfbmFtZSBPUCBpbiBTLiAgREFUQSBjb250YWlucyBh IHBvaW50ZXIgdG8gYQpAQCAtMTI5LDYgKzEzMCwyMiBAQCBzdG10X3NpZGVfZWZmZWN0czo6c3Rt dF9zaWRlX2VmZmVjdHMgKGdpbXBsZSAqcykKIAkgIGlmIChnaW1wbGVfcmFuZ2Vfc3NhX3AgKGdp bXBsZV9hc3NpZ25fcmhzMiAocykpKQogCSAgICBhZGRfbm9uemVybyAoZ2ltcGxlX2Fzc2lnbl9y aHMyIChzKSk7CiAJICBicmVhazsKKworCWNhc2UgTFNISUZUX0VYUFI6CisJY2FzZSBSU0hJRlRf RVhQUjoKKwkgIGlmIChnaW1wbGVfcmFuZ2Vfc3NhX3AgKGdpbXBsZV9hc3NpZ25fcmhzMiAocykp KQorCSAgICB7CisJICAgICAgLy8gQSA8PCBCLCBBID4+QiBpbXBsaWVzIFswLCBQUkVDSVNJT05f b2ZfQSkKKwkgICAgICB0cmVlIG9wMV90eXBlID0gVFJFRV9UWVBFIChnaW1wbGVfYXNzaWduX3Jo czEgKHMpKTsKKwkgICAgICB0cmVlIG9wMl90eXBlID0gVFJFRV9UWVBFIChnaW1wbGVfYXNzaWdu X3JoczIgKHMpKTsKKwkgICAgICB0cmVlIGwgPSBidWlsZF9pbnRfY3N0IChvcDJfdHlwZSwgMCk7 CisJICAgICAgLy8gQyBpcyBbMCwgTiksIGJ1dCBmb3J0cmFuIGlzIFswLCBOXSwgc28gZGVmYXVs dCB0byBbMCwgTl0uCisJICAgICAgdHJlZSB1ID0gYnVpbGRfaW50X2NzdCAob3AyX3R5cGUsIGVs ZW1lbnRfcHJlY2lzaW9uIChvcDFfdHlwZSkpOworCSAgICAgIGludF9yYW5nZV9tYXggc2hpZnQg KGwsIHUpOworCSAgICAgIGFkZF9yYW5nZSAoZ2ltcGxlX2Fzc2lnbl9yaHMyIChzKSwgc2hpZnQp OworCSAgICB9CisJICBicmVhazsKKwogCWRlZmF1bHQ6CiAJICBicmVhazsKIAl9CmRpZmYgLS1n aXQgYS9nY2MvdGVzdHN1aXRlL2djYy5kZy90cmVlLXNzYS9wcjMxMTc4LmMgYi9nY2MvdGVzdHN1 aXRlL2djYy5kZy90cmVlLXNzYS9wcjMxMTc4LmMKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXgg MDAwMDAwMDAwMDAuLjI3YzcyZmI3MTA0Ci0tLSAvZGV2L251bGwKKysrIGIvZ2NjL3Rlc3RzdWl0 ZS9nY2MuZGcvdHJlZS1zc2EvcHIzMTE3OC5jCkBAIC0wLDAgKzEsMzMgQEAKKy8qIHsgZGctZG8g Y29tcGlsZSB9ICovCisvKiB7IGRnLW9wdGlvbnMgIi1PMiAtZmR1bXAtdHJlZS1ldnJwICIgfSAq LworCisvKiBTaWRlIGVmZmVjdHMgb2YgZGl2aWRlIGFyZSB0aGF0IHRoZSBkaXZpc29yIGNhbm5v dCBiZSAwLiAqLworCisjaW5jbHVkZSAibGltaXRzLmgiCit2b2lkIGRlYWQgKGludCk7CisKK3Zv aWQKK2YxIChpbnQgYSwgaW50IGMpIHsKKyAgaW50IGIgPSBhOworICBpZiAoKGEgPDwgYykgPiAx MDApCisgICAgYiA9IGM7CisKKyAgLy8gRm9ydHJhbiBhbGxvd3MgWzAsIHNpemVvZihpbnQpXSAs IHNvIHRoYXQgaXMgR0NDIGRlZmF1bHQgZm9yIG5vdy4KKyAgaWYgKGMgPCAwIHx8IGMgPiBzaXpl b2YoaW50KSAqIENIQVJfQklUKQorICAgIGRlYWQgKGIpOworfQorCisjaWYgMAorLyogVW50aWwg d2UgZ2V0IHJlY29tcHV0YXRpb24gb2YgYSBzaWRlIGVmZmVjdCB2YWx1ZSB3b3JraW5nLCAuLi4g Ki8KKworaW50IAorZjIgKGludCBhLCBpbnQgYykgeworICBpbnQgbnogPSAoYyA8IDAgfHwgYyA+ IHNpemVvZihpbnQpICogQ0hBUl9CSVQpOworICBpbnQgYiA9IGEgPj4gYzsKKyAgaWYgKG56KQor ICAgIGRlYWQgKDApOworICByZXR1cm4gYjsKK30KKyNlbmRpZgorCisvKiB7IGRnLWZpbmFsIHsg c2Nhbi10cmVlLWR1bXAtbm90ICJkZWFkIiAiZXZycCIgfSB9ICovCg== --------------N8aJKY6ZwmM4UPOamAid82Qa--