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.133.124]) by sourceware.org (Postfix) with ESMTPS id 5F46B3858430 for ; Mon, 7 Feb 2022 14:30:25 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 5F46B3858430 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-510-BY3pwtafNeaZNZm9aUPfFw-1; Mon, 07 Feb 2022 09:30:24 -0500 X-MC-Unique: BY3pwtafNeaZNZm9aUPfFw-1 Received: by mail-qk1-f200.google.com with SMTP id p23-20020a05620a15f700b00506d8ec3749so8722657qkm.4 for ; Mon, 07 Feb 2022 06:30:24 -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:from:subject:to; bh=kjNgLbCZcqqDVXJMtI4M/uOnfGfWT0l1xdgwklvGK1Y=; b=htpiOrFdKx6AQBaiVVdijKX0xHjBXaVjtklooAHnGqTDzRdYXiQFlXGeg32wdUtTTY NwG5SYJNFJmRioFFROgFGUOG0ZZH5PR78Iwek7xJOC1+XMJ4z9Fwo/xjFDJxyfiuEhA0 NC9uadfs6VCdpBagpVS43XUbsFLXN2WuCadoW1gHJRrnilDzSSt1cQB9fvpg1EWpdooU c+wuQNEfI6P3rFmotIzYr57VjYxG+VPL7dTDqTaIWemvPNwrgQdNl42ZxoGEBwRgJdnb NKzY/MONHUm+FkNCE1OAblQtAw+uXqCIVW9bLEPyAI0mkHQcEpp72mhukDudiMCyqScq xbLw== X-Gm-Message-State: AOAM5303ywOBHWpcsg42LmVVyRzm25VB2F19YRuKd29cF12Lxu+6WHub WNVJjPc1G+K9Q60dWsPP7r8QGSF3s2liN32ndDwQkp876cnYXaeTHTRziMdRpqDxI36isbcJc7Y BgFHL1Yp+AVyO1qbO8h+MFiyGIEygtLofCrf5GrE7EPHwal2pQjF7Pu4oeJJM4KFXKzBpug== X-Received: by 2002:a37:6791:: with SMTP id b139mr6273322qkc.765.1644244223287; Mon, 07 Feb 2022 06:30:23 -0800 (PST) X-Google-Smtp-Source: ABdhPJyVWym9rqVf38Z/aP/MCNkRoZqjjg6I0WaWC0xbLpF5aHECmAwwKn3zpSEJ44OPLtGeOUfnLA== X-Received: by 2002:a37:6791:: with SMTP id b139mr6273306qkc.765.1644244223025; Mon, 07 Feb 2022 06:30:23 -0800 (PST) Received: from ?IPV6:2607:fea8:a262:5f00::9b6f? ([2607:fea8:a262:5f00::9b6f]) by smtp.gmail.com with ESMTPSA id u6sm5480456qki.136.2022.02.07.06.30.21 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 07 Feb 2022 06:30:22 -0800 (PST) Message-ID: Date: Mon, 7 Feb 2022 09:30:21 -0500 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.5.1 From: Andrew MacLeod Subject: [PATCH 4/4] [GCC11] tree-optimization/104288 - range on entry should check dominators for non-null. To: gcc-patches , Aldy Hernandez X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: multipart/mixed; boundary="------------u1tEMWSTDqvBBtj0VztLBSzk" Content-Language: en-CA X-Spam-Status: No, score=-12.4 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.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: Mon, 07 Feb 2022 14:30:27 -0000 This is a multi-part message in MIME format. --------------u1tEMWSTDqvBBtj0VztLBSzk Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit The patches resolves the issue for GCC11 in a much simpler way. By default, ranger and EVRP are running in hybrid mode. This means if ranger misses something, evrp will pick up the slack. This enables us to change the 2 places which check for non-null to ignore potentially incorrect block-wide information and only query dominator blocks for on-entry ranges.  This allows ranger to be conservative, and EVRP will pick up the intra-block changes. Bootstraps with no regressions.  OK for gcc 11 branch? --------------u1tEMWSTDqvBBtj0VztLBSzk Content-Type: text/x-patch; charset=UTF-8; name="0004.patch" Content-Disposition: attachment; filename="0004.patch" Content-Transfer-Encoding: base64 RnJvbSBiODA3MjQ5YjMxMDE1MzM0OWEyNTkzMjAzZWJhNDRjNDU2YjYyMDhlIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBBbmRyZXcgTWFjTGVvZCA8YW1hY2xlb2RAcmVkaGF0LmNvbT4K RGF0ZTogTW9uLCAzMSBKYW4gMjAyMiAxMTozNzoxNiAtMDUwMApTdWJqZWN0OiBbUEFUQ0hdIFJh bmdlIG9uIGVudHJ5IHNob3VsZCBvbmx5IGNoZWNrIGRvbWluYXRvcnMgZm9yIG5vbi1udWxsLgoK UmFuZ2Utb24tZW50cnkgY2hlY2tzIHNob3VsZCBubyBjaGVjayB0aGUgc3RhdGUgb2Ygbm9uLW51 bGwgd2l0aGluIHRoZSBjdXJyZW50CmJsb2NrLiAgIElmIGRvbWluYXRvcnMgYXJlIHByZXNlbnQs IHVzZSB0aGUgZG9taW5hdG9yLgoKCVBSIHRyZWUtb3B0aW1pemF0aW9uLzEwNDI4OAoJZ2NjLwoJ KiBnaW1wbGUtcmFuZ2UtY2FjaGUuY2MgKHNzYV9yYW5nZV9pbl9iYik6IE9ubHkgdXNlIG5vbi1u dWxsIGZyb20gdGhlCglkb21pbmF0b3IgZW50cnkgcmFuZ2VzLgoJKiBnaW1wbGUtcmFuZ2UuY2Mg KGdpbXBsZV9yYW5nZXI6OnJhbmdlX29mX2V4cHIpOiBEaXR0by4KCWdjYy90ZXN0c3VpdGUvCgkq IGdjYy5kZy9wcjEwNDI4OC5jOiBOZXcuCi0tLQogZ2NjL2dpbXBsZS1yYW5nZS1jYWNoZS5jYyAg ICAgICB8IDE5ICsrKysrKysrKysrKy0tLS0tLS0KIGdjYy9naW1wbGUtcmFuZ2UuY2MgICAgICAg ICAgICAgfCAxNiArKysrKysrKysrLS0tLS0tCiBnY2MvdGVzdHN1aXRlL2djYy5kZy9wcjEwNDI4 OC5jIHwgMjMgKysrKysrKysrKysrKysrKysrKysrKysKIDMgZmlsZXMgY2hhbmdlZCwgNDUgaW5z ZXJ0aW9ucygrKSwgMTMgZGVsZXRpb25zKC0pCiBjcmVhdGUgbW9kZSAxMDA2NDQgZ2NjL3Rlc3Rz dWl0ZS9nY2MuZGcvcHIxMDQyODguYwoKZGlmZiAtLWdpdCBhL2djYy9naW1wbGUtcmFuZ2UtY2Fj aGUuY2MgYi9nY2MvZ2ltcGxlLXJhbmdlLWNhY2hlLmNjCmluZGV4IDZkZGVjYTM3NjZkLi5iMDVi ODA0ZDUxMyAxMDA2NDQKLS0tIGEvZ2NjL2dpbXBsZS1yYW5nZS1jYWNoZS5jYworKysgYi9nY2Mv Z2ltcGxlLXJhbmdlLWNhY2hlLmNjCkBAIC05MDUsMTQgKzkwNSwxOSBAQCByYW5nZXJfY2FjaGU6 OnNzYV9yYW5nZV9pbl9iYiAoaXJhbmdlICZyLCB0cmVlIG5hbWUsIGJhc2ljX2Jsb2NrIGJiKQog ICAgICAgLy8gVHJ5IHRvIHBpY2sgdXAgYW55IGtub3duIGdsb2JhbCB2YWx1ZSBhcyBhIGJlc3Qg Z3Vlc3MgZm9yIG5vdy4KICAgICAgIGlmICghbV9nbG9iYWxzLmdldF9nbG9iYWxfcmFuZ2UgKHIs IG5hbWUpKQogCXIgPSBnaW1wbGVfcmFuZ2VfZ2xvYmFsIChuYW1lKTsKKyAgICAgIC8vIENoZWNr IGZvciBub24tbnVsbCBvbiBlbnRyeSBpZiBkb21pbmF0b3JzIGFyZSBhdmFpbGFibGUgYnkKKyAg ICAgIC8vIHJlc2V0dGluZyBkZWZfYmIgdG8gdGhlIGJsb2NrIHdlIHdhbnQgdG8gc2VhcmNoLgor ICAgICAgaWYgKGRvbV9pbmZvX2F2YWlsYWJsZV9wIChDRElfRE9NSU5BVE9SUykpCisJeworCSAg YmFzaWNfYmxvY2sgZG9tX2JiID0gZ2V0X2ltbWVkaWF0ZV9kb21pbmF0b3IgKENESV9ET01JTkFU T1JTLCBiYik7CisJICAvLyBDaGVjayBpZiBwb2ludGVycyBoYXZlIGFueSBub24tbnVsbCBkZXJl ZmVyZW5jZXMuICBOb24tY2FsbAorCSAgLy8gZXhjZXB0aW9ucyBtZWFuIHdlIGNvdWxkIHRocm93 IGluIHRoZSBtaWRkbGUgb2YgdGhlIGJsb2NrLCBzbyBqdXN0CisJICAvLyBwdW50IGZvciBub3cg b24gdGhvc2UuCisJICBpZiAoZG9tX2JiICYmIHIudmFyeWluZ19wICgpICYmICFjZnVuLT5jYW5f dGhyb3dfbm9uX2NhbGxfZXhjZXB0aW9ucworCSAgICAgICYmIG1fbm9uX251bGwubm9uX251bGxf ZGVyZWZfcCAobmFtZSwgZG9tX2JiKSkKKwkgICAgciA9IHJhbmdlX25vbnplcm8gKFRSRUVfVFlQ RSAobmFtZSkpOworCX0KICAgICB9Ci0KLSAgLy8gQ2hlY2sgaWYgcG9pbnRlcnMgaGF2ZSBhbnkg bm9uLW51bGwgZGVyZWZlcmVuY2VzLiAgTm9uLWNhbGwKLSAgLy8gZXhjZXB0aW9ucyBtZWFuIHdl IGNvdWxkIHRocm93IGluIHRoZSBtaWRkbGUgb2YgdGhlIGJsb2NrLCBzbyBqdXN0Ci0gIC8vIHB1 bnQgZm9yIG5vdyBvbiB0aG9zZS4KLSAgaWYgKHIudmFyeWluZ19wICgpICYmIG1fbm9uX251bGwu bm9uX251bGxfZGVyZWZfcCAobmFtZSwgYmIpICYmCi0gICAgICAhY2Z1bi0+Y2FuX3Rocm93X25v bl9jYWxsX2V4Y2VwdGlvbnMpCi0gICAgciA9IHJhbmdlX25vbnplcm8gKFRSRUVfVFlQRSAobmFt ZSkpOwogfQogCiAvLyBSZXR1cm4gYSBzdGF0aWMgcmFuZ2UgZm9yIE5BTUUgb24gZW50cnkgdG8g YmFzaWMgYmxvY2sgQkIgaW4gUi4gIElmCmRpZmYgLS1naXQgYS9nY2MvZ2ltcGxlLXJhbmdlLmNj IGIvZ2NjL2dpbXBsZS1yYW5nZS5jYwppbmRleCBmODYxNDU5ZWQ5Ni4uNDJjNjM3NDU4YWQgMTAw NjQ0Ci0tLSBhL2djYy9naW1wbGUtcmFuZ2UuY2MKKysrIGIvZ2NjL2dpbXBsZS1yYW5nZS5jYwpA QCAtOTc5LDEwICs5NzksMTQgQEAgZ2ltcGxlX3Jhbmdlcjo6cmFuZ2Vfb2ZfZXhwciAoaXJhbmdl ICZyLCB0cmVlIGV4cHIsIGdpbXBsZSAqc3RtdCkKIAogICAvLyBJZiBuYW1lIGlzIGRlZmluZWQg aW4gdGhpcyBibG9jaywgdHJ5IHRvIGdldCBhbiByYW5nZSBmcm9tIFMuCiAgIGlmIChkZWZfc3Rt dCAmJiBnaW1wbGVfYmIgKGRlZl9zdG10KSA9PSBiYikKLSAgICByYW5nZV9vZl9zdG10IChyLCBk ZWZfc3RtdCwgZXhwcik7Ci0gIGVsc2UKLSAgICAvLyBPdGhlcndpc2UgT1AgY29tZXMgZnJvbSBv dXRzaWRlIHRoaXMgYmxvY2ssIHVzZSByYW5nZSBvbiBlbnRyeS4KLSAgICByYW5nZV9vbl9lbnRy eSAociwgYmIsIGV4cHIpOworICAgIHJldHVybiByYW5nZV9vZl9zdG10IChyLCBkZWZfc3RtdCwg ZXhwcik7CisKKyAgLy8gT3RoZXJ3aXNlIE9QIGNvbWVzIGZyb20gb3V0c2lkZSB0aGlzIGJsb2Nr LCB1c2UgcmFuZ2Ugb24gZW50cnkuCisgIHJhbmdlX29uX2VudHJ5IChyLCBiYiwgZXhwcik7Cisg IC8vIENoZWNrIGZvciBub24tbnVsbCBpbiB0aGUgcHJlZGVjZXNzb3IgaWYgZG9taW5hdG9ycyBh cmUgYXZhaWxhYmxlLgorICBpZiAoIWRvbV9pbmZvX2F2YWlsYWJsZV9wIChDRElfRE9NSU5BVE9S UykpCisgICAgcmV0dXJuIHRydWU7CisgIGJhc2ljX2Jsb2NrIGRvbV9iYiA9IGdldF9pbW1lZGlh dGVfZG9taW5hdG9yIChDRElfRE9NSU5BVE9SUywgYmIpOwogCiAgIC8vIE5vIHJhbmdlIHlldCwg c2VlIGlmIHRoZXJlIGlzIGEgZGVyZWZlcmVuY2UgaW4gdGhlIGJsb2NrLgogICAvLyBXZSBkb24n dCBjYXJlIGlmIGl0J3MgYmV0d2VlbiB0aGUgZGVmIGFuZCBhIHVzZSB3aXRoaW4gYSBibG9jawpA QCAtOTkyLDggKzk5Niw4IEBAIGdpbXBsZV9yYW5nZXI6OnJhbmdlX29mX2V4cHIgKGlyYW5nZSAm ciwgdHJlZSBleHByLCBnaW1wbGUgKnN0bXQpCiAgIC8vIGluIHdoaWNoIGNhc2Ugd2UgbWF5IG5l ZWQgdG8gd2FsayBmcm9tIFMgYmFjayB0byB0aGUgZGVmL3RvcCBvZiBibG9jawogICAvLyB0byBt YWtlIHN1cmUgdGhlIGRlcmVmIGhhcHBlbnMgYmV0d2VlbiBTIGFuZCB0aGVyZSBiZWZvcmUgY2xh aW1pbmcKICAgLy8gdGhlcmUgaXMgYSBkZXJlZi4gICBQdW50IGZvciBub3cuCi0gIGlmICghY2Z1 bi0+Y2FuX3Rocm93X25vbl9jYWxsX2V4Y2VwdGlvbnMgJiYgci52YXJ5aW5nX3AgKCkgJiYKLSAg ICAgIG1fY2FjaGUubV9ub25fbnVsbC5ub25fbnVsbF9kZXJlZl9wIChleHByLCBiYikpCisgIGlm IChkb21fYmIgJiYgIWNmdW4tPmNhbl90aHJvd19ub25fY2FsbF9leGNlcHRpb25zICYmIHIudmFy eWluZ19wICgpCisgICAgICAmJiBtX2NhY2hlLm1fbm9uX251bGwubm9uX251bGxfZGVyZWZfcCAo ZXhwciwgZG9tX2JiKSkKICAgICByID0gcmFuZ2Vfbm9uemVybyAoVFJFRV9UWVBFIChleHByKSk7 CiAKICAgcmV0dXJuIHRydWU7CmRpZmYgLS1naXQgYS9nY2MvdGVzdHN1aXRlL2djYy5kZy9wcjEw NDI4OC5jIGIvZ2NjL3Rlc3RzdWl0ZS9nY2MuZGcvcHIxMDQyODguYwpuZXcgZmlsZSBtb2RlIDEw MDY0NAppbmRleCAwMDAwMDAwMDAwMC4uOTVlYjE5NmY5ZTQKLS0tIC9kZXYvbnVsbAorKysgYi9n Y2MvdGVzdHN1aXRlL2djYy5kZy9wcjEwNDI4OC5jCkBAIC0wLDAgKzEsMjMgQEAKKy8qIHsgZGct ZG8gY29tcGlsZSB9ICovCisvKiB7IGRnLW9wdGlvbnMgIi1PMiAtZmR1bXAtdHJlZS1ldnJwIC1m ZGVsZXRlLW51bGwtcG9pbnRlci1jaGVja3MiIH0gKi8KKy8qIHsgZGctc2tpcC1pZiAiIiB7IGtl ZXBzX251bGxfcG9pbnRlcl9jaGVja3MgfSB9ICovCisKK3ZvaWQga2VlcChpbnQgcmVzdWx0KSBf X2F0dHJpYnV0ZV9fKChub2lwYSkpOwordm9pZCBrZWVwKGludCByZXN1bHQpCit7CisgICAgaWYg KHJlc3VsdCkKKyAgICAgICAgX19idWlsdGluX2V4aXQoMCk7Cit9CisKK3ZvaWQgZm9vICh2b2lk ICpwKSBfX2F0dHJpYnV0ZV9fKChub25udWxsKDEpKSk7CisKK3ZvaWQgYmFyICh2b2lkICpwKQor eworICBrZWVwIChwID09IDApOworICBmb28gKHApOworICBpZiAoIXApCisgICAgX19idWlsdGlu X2Fib3J0ICgpOworfQorCisvKiB7IGRnLWZpbmFsIHsgc2Nhbi10cmVlLWR1bXAtbm90ICJhYm9y dCIgImV2cnAiIH0gfSAqLworLyogeyBkZy1maW5hbCB7IHNjYW4tdHJlZS1kdW1wLXRpbWVzICAi PT0gMEI7IiAxICJldnJwIiB9IH0gKi8KLS0gCjIuMTcuMgoK --------------u1tEMWSTDqvBBtj0VztLBSzk--