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 2C33D3858006 for ; Tue, 1 Nov 2022 13:19:32 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 2C33D3858006 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=redhat.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=redhat.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1667308771; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type; bh=TJynZjTY6MkfQAcPKzuqODdx1b1frzOZN1EOnuY/Gj8=; b=Nce98GEMNT7jzqjQcTc24p46ekce4XXB9GYGFVk+RLehx6H3OoWv6hjI3kGJ6OeF9gs69w EVuVM111+7yiti+o87O92NRKNCC1VoWaUIeiDF5U2J+8Cr1/OG7lErRUwctAT+QN3lQvWc ovzT6c1WtLsuWTneFsZaNOwwMC+88ws= 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.3, cipher=TLS_AES_128_GCM_SHA256) id us-mta-151-uJRg1uNROCSfKYkUdoI2cQ-1; Tue, 01 Nov 2022 09:19:30 -0400 X-MC-Unique: uJRg1uNROCSfKYkUdoI2cQ-1 Received: by mail-qt1-f200.google.com with SMTP id 17-20020ac85711000000b0039ccd4c9a37so9879855qtw.20 for ; Tue, 01 Nov 2022 06:19:30 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=subject:from:cc:to:content-language:user-agent:mime-version:date :message-id:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=VcuwyMYylwkI/j0BfDAFgm99Odgaki5isxgNwjL4Z5I=; b=LfysANVP3agXYz2c+HsRihZTfRCkhfmu8uOHeSjJFHzemF8I4N9Dta6Os8oCtVJ1Ml AerQP27OzsRQGmKuzjz3NwsLd7FdrYm5o3O4iFN25GqGHKl41sO0NXRPqFBR+qJzVtEW iV6HJHj2I0aHabfZ4WYz6e5HtjNMAkbq0+rDreBjgZeamg/3c36MzfPb7ICH24GsBC57 Z3S1e0XSqShFzrMlEBxabSitQvtBgmMekmrkFfiaFXvgacSnE20RUYt85VvARy8gaCw7 mZT8o+2zHYGLIgYYPsRcllnc1ZcKCB7rWYWfwOtNrYNOPRdOJsvGerwf70gzih/ywKwD dIgA== X-Gm-Message-State: ACrzQf3eqOsyLbs6ZwVWQPFP2VVppLUTPJgN7xkzNTrffsPccumsTtvD q/B0x8z5nL4gi0vj1FK9DePt8EBRV/+S2y/uRB6rLzBrfcJklgnOLQg4NpNg9IImOo1hAT6WXaK keWakzAnB07Hj3l2fJ2Q8xs8HES440fL0/FzXehJMsi9hjUKytiGK9RUxlYJSuq82NF1w2Q== X-Received: by 2002:a05:620a:146c:b0:6fa:3ae2:b54c with SMTP id j12-20020a05620a146c00b006fa3ae2b54cmr4732919qkl.378.1667308769441; Tue, 01 Nov 2022 06:19:29 -0700 (PDT) X-Google-Smtp-Source: AMsMyM5ZngGEHr7aLWF7PKvgo6Rm+Ji9/Lh1rhSUnFMFLwMBHNYMAwY/S9jeuLRVR3H4iRlFXiB6ww== X-Received: by 2002:a05:620a:146c:b0:6fa:3ae2:b54c with SMTP id j12-20020a05620a146c00b006fa3ae2b54cmr4732891qkl.378.1667308769106; Tue, 01 Nov 2022 06:19:29 -0700 (PDT) Received: from ?IPV6:2607:fea8:a263:f600::72c3? ([2607:fea8:a263:f600::72c3]) by smtp.gmail.com with ESMTPSA id r10-20020ac85e8a000000b0039cb5c9dbacsm5107796qtx.22.2022.11.01.06.19.28 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 01 Nov 2022 06:19:28 -0700 (PDT) Message-ID: <052c0ba5-79fc-ad55-bfa9-38b5b3394e11@redhat.com> Date: Tue, 1 Nov 2022 09:19:27 -0400 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.2.1 To: gcc-patches Cc: "hernandez, aldy" From: Andrew MacLeod Subject: [COMMITTED] Allow ranger queries on exit block. X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: multipart/mixed; boundary="------------dyCXZrmIV797yDNjlA1dA7Cq" Content-Language: en-US X-Spam-Status: No, score=-12.0 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_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: This is a multi-part message in MIME format. --------------dyCXZrmIV797yDNjlA1dA7Cq Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Ranger was not allowing the exit block to be queried for range_on_entry or exit, for no good reason.  This removes that restriction. Interestingly, it seems that when we calculate dominance info, GCC does not set the dominators for the EXIT_BLOCK?  I worked around it by starting with a single pred of the exit block for my queries, but as a result it doesn't support multiple exit blocks. For the record:   get_immediate_dominator (CDI_DOMINATORS, EXIT_BLOCK_PTR_FOR_FN (cfun)) returns NULL.   Is this actually working as intended?  It was unexpected on my part. Bootstrapped on x86_64-pc-linux-gnu with no regressions.  Pushed. Andrew --------------dyCXZrmIV797yDNjlA1dA7Cq Content-Type: text/x-patch; charset=UTF-8; name="0002-Allow-queries-on-exit-block.patch" Content-Disposition: attachment; filename="0002-Allow-queries-on-exit-block.patch" Content-Transfer-Encoding: base64 RnJvbSA1OTJiYmUzZDdlYjNjZmY2NTZjNzMxZTg0YWQ4NzI3MTlhNGE5ZDE2IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBBbmRyZXcgTWFjTGVvZCA8YW1hY2xlb2RAcmVkaGF0LmNvbT4K RGF0ZTogTW9uLCAzMSBPY3QgMjAyMiAxMDo1NjoyNSAtMDQwMApTdWJqZWN0OiBbUEFUQ0ggMi8z XSBBbGxvdyBxdWVyaWVzIG9uIGV4aXQgYmxvY2suCgpSYW5nZXIgd2FzIG5vdCBhbGxvd2luZyB0 aGUgZXhpdCBibG9jayB0byBiZSBxdWVyaWVkIGZvciByYW5nZV9vbl9lbnRyeQpvciBleGl0LiAg VGhpcyByZW1vdmVzIHRoYXQgcmVzdHJpY3Rpb24uCgoJKiBnaW1wbGUtcmFuZ2UtY2FjaGUuY2Mg KHJhbmdlcl9jYWNoZTo6ZmlsbF9ibG9ja19jYWNoZSk6IEFsbG93CglleGl0IGJsb2NrIHRvIGJl IHNwZWNpZmllZC4KCShyYW5nZXJfY2FjaGU6OnJhbmdlX2Zyb21fZG9tKTogSWYgZXhpdCBibG9j ayBpcyBzcGVjaWZpZWQsIHVzZQoJdGhlIGltbWVkaWF0ZSBwcmVkZWNlc3NvciBpbnN0ZWFkIG9m IHRoZSBkb21pbmF0b3IgdG8gc3RhcnQuCgkqIGdpbXBsZS1yYW5nZS5jYyAoZ2ltcGxlX3Jhbmdl cjo6cmFuZ2Vfb25fZXhpdCk6IEFsbG93IHF1ZXJ5Cglmb3IgZXhpdCBibG9jay4KLS0tCiBnY2Mv Z2ltcGxlLXJhbmdlLWNhY2hlLmNjIHwgMTYgKysrKysrKysrKy0tLS0tLQogZ2NjL2dpbXBsZS1y YW5nZS5jYyAgICAgICB8ICAxIC0KIDIgZmlsZXMgY2hhbmdlZCwgMTAgaW5zZXJ0aW9ucygrKSwg NyBkZWxldGlvbnMoLSkKCmRpZmYgLS1naXQgYS9nY2MvZ2ltcGxlLXJhbmdlLWNhY2hlLmNjIGIv Z2NjL2dpbXBsZS1yYW5nZS1jYWNoZS5jYwppbmRleCBmMjc5MzcxOTQ4YS4uODllMjQwM2FjY2Ug MTAwNjQ0Ci0tLSBhL2djYy9naW1wbGUtcmFuZ2UtY2FjaGUuY2MKKysrIGIvZ2NjL2dpbXBsZS1y YW5nZS1jYWNoZS5jYwpAQCAtMTE5Myw5ICsxMTkzLDggQEAgcmFuZ2VyX2NhY2hlOjpmaWxsX2Js b2NrX2NhY2hlICh0cmVlIG5hbWUsIGJhc2ljX2Jsb2NrIGJiLCBiYXNpY19ibG9jayBkZWZfYmIp CiAgIFZhbHVlX1JhbmdlIGJsb2NrX3Jlc3VsdCAodHlwZSk7CiAgIFZhbHVlX1JhbmdlIHVuZGVm aW5lZCAodHlwZSk7CiAKLSAgLy8gQXQgdGhpcyBwb2ludCB3ZSBzaG91bGRuJ3QgYmUgbG9va2lu ZyBhdCB0aGUgZGVmLCBlbnRyeSBvciBleGl0IGJsb2NrLgotICBnY2NfY2hlY2tpbmdfYXNzZXJ0 IChiYiAhPSBkZWZfYmIgJiYgYmIgIT0gRU5UUllfQkxPQ0tfUFRSX0ZPUl9GTiAoY2Z1bikgJiYK LQkJICAgICAgIGJiICE9IEVYSVRfQkxPQ0tfUFRSX0ZPUl9GTiAoY2Z1bikpOworICAvLyBBdCB0 aGlzIHBvaW50IHdlIHNob3VsZG4ndCBiZSBsb29raW5nIGF0IHRoZSBkZWYsIGVudHJ5IGJsb2Nr LgorICBnY2NfY2hlY2tpbmdfYXNzZXJ0IChiYiAhPSBkZWZfYmIgJiYgYmIgIT0gRU5UUllfQkxP Q0tfUFRSX0ZPUl9GTiAoY2Z1bikpOwogICBnY2NfY2hlY2tpbmdfYXNzZXJ0IChtX3dvcmtiYWNr Lmxlbmd0aCAoKSA9PSAwKTsKIAogICAvLyBJZiB0aGUgYmxvY2sgY2FjaGUgaXMgc2V0LCB0aGVu IHdlJ3ZlIGFscmVhZHkgdmlzaXRlZCB0aGlzIGJsb2NrLgpAQCAtMTQzNCwxMCArMTQzMywxNSBA QCByYW5nZXJfY2FjaGU6OnJhbmdlX2Zyb21fZG9tICh2cmFuZ2UgJnIsIHRyZWUgbmFtZSwgYmFz aWNfYmxvY2sgc3RhcnRfYmIsCiAgIC8vIERlZmF1bHQgdmFsdWUgaXMgZ2xvYmFsIHJhbmdlLgog ICBnZXRfZ2xvYmFsX3JhbmdlIChyLCBuYW1lKTsKIAorICAvLyBUaGUgZG9taW5hdG9yIG9mIEVY SVRfQkxPQ0sgZG9lc24ndCBzZWVtIHRvIGJlIHNldCwgc28gYXQgbGVhc3QgaGFuZGxlCisgIC8v IHRoZSBjb21tb24gc2luZ2xlIGV4aXQgY2FzZXMuCisgIGlmIChzdGFydF9iYiA9PSBFWElUX0JM T0NLX1BUUl9GT1JfRk4gKGNmdW4pICYmIHNpbmdsZV9wcmVkX3AgKHN0YXJ0X2JiKSkKKyAgICBi YiA9IHNpbmdsZV9wcmVkX2VkZ2UgKHN0YXJ0X2JiKS0+c3JjOworICBlbHNlCisgICAgYmIgPSBn ZXRfaW1tZWRpYXRlX2RvbWluYXRvciAoQ0RJX0RPTUlOQVRPUlMsIHN0YXJ0X2JiKTsKKwogICAv LyBTZWFyY2ggdW50aWwgYSB2YWx1ZSBpcyBmb3VuZCwgcHVzaGluZyBibG9ja3Mgd2hpY2ggbWF5 IG5lZWQgY2FsY3VsYXRpbmcuCi0gIGZvciAoYmIgPSBnZXRfaW1tZWRpYXRlX2RvbWluYXRvciAo Q0RJX0RPTUlOQVRPUlMsIHN0YXJ0X2JiKTsKLSAgICAgICBiYjsKLSAgICAgICBwcmV2X2JiID0g YmIsIGJiID0gZ2V0X2ltbWVkaWF0ZV9kb21pbmF0b3IgKENESV9ET01JTkFUT1JTLCBiYikpCisg IGZvciAoIDsgYmI7IHByZXZfYmIgPSBiYiwgYmIgPSBnZXRfaW1tZWRpYXRlX2RvbWluYXRvciAo Q0RJX0RPTUlOQVRPUlMsIGJiKSkKICAgICB7CiAgICAgICAvLyBBY2N1bXVsYXRlIGFueSBibG9j ayBleGl0IGluZmVycmVkIHJhbmdlcy4KICAgICAgIG1fZXhpdC5tYXliZV9hZGp1c3RfcmFuZ2Ug KGluZmVyLCBuYW1lLCBiYik7CmRpZmYgLS1naXQgYS9nY2MvZ2ltcGxlLXJhbmdlLmNjIGIvZ2Nj L2dpbXBsZS1yYW5nZS5jYwppbmRleCAwNTg0Mzk3MzNlZS4uMTEwY2Y1NzQ0NTQgMTAwNjQ0Ci0t LSBhL2djYy9naW1wbGUtcmFuZ2UuY2MKKysrIGIvZ2NjL2dpbXBsZS1yYW5nZS5jYwpAQCAtMTY3 LDcgKzE2Nyw2IEBAIHZvaWQKIGdpbXBsZV9yYW5nZXI6OnJhbmdlX29uX2V4aXQgKHZyYW5nZSAm ciwgYmFzaWNfYmxvY2sgYmIsIHRyZWUgbmFtZSkKIHsKICAgLy8gb24tZXhpdCBmcm9tIHRoZSBl eGl0IGJsb2NrPwotICBnY2NfY2hlY2tpbmdfYXNzZXJ0IChiYiAhPSBFWElUX0JMT0NLX1BUUl9G T1JfRk4gKGNmdW4pKTsKICAgZ2NjX2NoZWNraW5nX2Fzc2VydCAoZ2ltcGxlX3JhbmdlX3NzYV9w IChuYW1lKSk7CiAKICAgdW5zaWduZWQgaWR4OwotLSAKMi4zNy4zCgo= --------------dyCXZrmIV797yDNjlA1dA7Cq--