From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1615 invoked by alias); 29 Oct 2015 20:37:40 -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 1598 invoked by uid 89); 29 Oct 2015 20:37:38 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.7 required=5.0 tests=AWL,BAYES_00,RP_MATCHES_RCVD,SPF_HELO_PASS autolearn=ham version=3.3.2 X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Thu, 29 Oct 2015 20:37:37 +0000 Received: from int-mx11.intmail.prod.int.phx2.redhat.com (int-mx11.intmail.prod.int.phx2.redhat.com [10.5.11.24]) by mx1.redhat.com (Postfix) with ESMTPS id 583CD8C1A5 for ; Thu, 29 Oct 2015 20:37:36 +0000 (UTC) Received: from localhost.localdomain (ovpn-113-196.phx2.redhat.com [10.3.113.196]) by int-mx11.intmail.prod.int.phx2.redhat.com (8.14.4/8.14.4) with ESMTP id t9TKbZM8003026 for ; Thu, 29 Oct 2015 16:37:36 -0400 To: gcc-patches From: Jeff Law Subject: [PATCH] Remove unnecessary invalidation support in threading Message-ID: <5632838F.2040007@redhat.com> Date: Thu, 29 Oct 2015 20:50:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="------------010609000507060508060203" X-IsSubscribed: yes X-SW-Source: 2015-10/txt/msg03282.txt.bz2 This is a multi-part message in MIME format. --------------010609000507060508060203 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Content-length: 580 With the recent change to rely on the FSM bits to handle threading backedges, there's no way to get into record_temporary_equivalences_from_stmts_at_dest after following a backedge. Thus that argument can be removed and everywhere it was used can be simplified assuming its value was false. That in turn eliminates the need for the invalidate method in the const_and_copies class. There'll be more, but this was one can be easily proved safe and correct. Others need more thought. Bootstrapped and regression tested on x86_64-linux-gnu. Installed on the trunk. Jeff --------------010609000507060508060203 Content-Type: text/plain; charset=UTF-8; name="patch" Content-Transfer-Encoding: base64 Content-Disposition: inline; filename="patch" Content-length: 8475 ZGlmZiAtLWdpdCBhL2djYy9DaGFuZ2VMb2cgYi9nY2MvQ2hhbmdlTG9nCmlu ZGV4IDUwZmM1NmYuLjJmZjFkYjYgMTAwNjQ0Ci0tLSBhL2djYy9DaGFuZ2VM b2cKKysrIGIvZ2NjL0NoYW5nZUxvZwpAQCAtMSwzICsxLDE0IEBACisyMDE1 LTEwLTI5ICBKZWZmIExhdyAgPGxhd0ByZWRoYXQuY29tPgorCisJKiB0cmVl LXNzYS1zY29wZWR0YWJsZXMuaCAoY29uc3RfYW5kX2NvcGllcyk6IFJlbW92 ZSBpbnZhbGlkYXRlCisJbWV0aG9kLgorCSogdHJlZS1zc2Etc2NvcGVkdGFi bGVzLmggKGNvbnN0X2FuZF9jb3BpZXM6OmludmFsaWRhdGUpOiBSZW1vdmUu CisJKiB0cmVlLXNzYS10aHJlYWRlZGdlLmMKKwkocmVjb3JkX3RlbXBvcmFy eV9lcXVpdmFsZW5jZXNfZnJvbV9zdG10c19hdF9kZXN0KTogUmVtb3ZlCisJ YmFja2VkZ2Vfc2VlbiBhcmd1bWVudCBhbmQgYXNzb2NpYXRlZCBjb2RlIHdo aWNoIGludmFsaWRhdGVkCisJZXF1aXZhbGVuY2VzIGJhc2VkIG9uIHRoZSB2 YWx1ZSBvZiB0aGF0IGFyZ3VtZW50LgorCSh0aHJlYWRfdGhyb3VnaF9ub3Jt YWxfYmxvY2spOiBDb3JyZXNwb25kaW5nIGNoYW5nZXMuCisKIDIwMTUtMTAt MjkgIFNlZ2hlciBCb2Vzc2Vua29vbCAgPHNlZ2hlckBrZXJuZWwuY3Jhc2hp bmcub3JnPgogCiAJKiBjb25maWcvcnM2MDAwL3JzNjAwMC5jIChyczYwMDBf cmVnX2xpdmVfb3JfcGljX29mZnNldF9wKTogTW92ZSB0aGlzCmRpZmYgLS1n aXQgYS9nY2MvdHJlZS1zc2Etc2NvcGVkdGFibGVzLmMgYi9nY2MvdHJlZS1z c2Etc2NvcGVkdGFibGVzLmMKaW5kZXggZGIzZjk1NC4uYWU1YWNjMiAxMDA2 NDQKLS0tIGEvZ2NjL3RyZWUtc3NhLXNjb3BlZHRhYmxlcy5jCisrKyBiL2dj Yy90cmVlLXNzYS1zY29wZWR0YWJsZXMuYwpAQCAtNjY5LDQ1ICs2NjksNiBA QCBjb25zdF9hbmRfY29waWVzOjpyZWNvcmRfY29uc3Rfb3JfY29weSAodHJl ZSB4LCB0cmVlIHksIHRyZWUgcHJldl94KQogICBtX3N0YWNrLnF1aWNrX3B1 c2ggKHgpOwogfQogCi0vKiBBIG5ldyB2YWx1ZSBoYXMgYmVlbiBhc3NpZ25l ZCB0byBMSFMuICBJZiBuZWNlc3NhcnksIGludmFsaWRhdGUgYW55Ci0gICBl cXVpdmFsZW5jZXMgdGhhdCBhcmUgbm8gbG9uZ2VyIHZhbGlkLiAgIFRoaXMg aW5jbHVkZXMgaW52YWxpZGluZwotICAgTEhTIGFuZCBhbnkgb2JqZWN0cyB0 aGF0IGFyZSBjdXJyZW50bHkgZXF1aXZhbGVudCB0byBMSFMuCi0KLSAgIEZp bmRpbmcgdGhlIG9iamVjdHMgdGhhdCBhcmUgY3VycmVudGx5IG1hcmtlZCBh cyBlcXVpdmFsZW50IHRvIExIUwotICAgaXMgYSBiaXQgdHJpY2t5LiAgV2Ug Y291bGQgd2FsayB0aGUgc3NhIG5hbWVzIGFuZCBzZWUgaWYgYW55IGhhdmUK LSAgIFNTQV9OQU1FX1ZBTFVFIHRoYXQgaXMgdGhlIHNhbWUgYXMgTEhTLiAg VGhhdCdzIGV4cGVuc2l2ZS4KLQotICAgSG93ZXZlciwgaXQncyBmYXIgbW9y ZSBlZmZpY2llbnQgdG8gbG9vayBhdCB0aGUgdW53aW5kaW5nIHN0YWNrIGFz Ci0gICB0aGF0IHdpbGwgaGF2ZSBhbGwgY29udGV4dCBzZW5zaXRpdmUgZXF1 aXZhbGVuY2VzIHdoaWNoIGFyZSB0aGUgb25seQotICAgb25lcyB0aGF0IHdl IHJlYWxseSBoYXZlIHRvIHdvcnJ5IGFib3V0IGhlcmUuICAgKi8KLXZvaWQK LWNvbnN0X2FuZF9jb3BpZXM6OmludmFsaWRhdGUgKHRyZWUgbGhzKQotewot Ci0gIC8qIFRoZSBzdGFjayBpcyBhbiB1bndpbmRpbmcgc3RhY2suICBJZiB0 aGUgY3VycmVudCBlbGVtZW50IGlzIE5VTEwKLSAgICAgdGhlbiBpdCdzIGEg InN0b3AgdW53aW5kaW5nIiBtYXJrZXIuICBFbHNlIHRoZSBjdXJyZW50IG1h cmtlciBpcwotICAgICB0aGUgU1NBX05BTUUgd2l0aCBhbiBlcXVpdmFsZW5j ZSBhbmQgdGhlIHByaW9yIGVudHJ5IGluIHRoZSBzdGFjawotICAgICBpcyB3 aGF0IHRoZSBjdXJyZW50IGVsZW1lbnQgaXMgZXF1aXZhbGVudCB0by4gICov Ci0gIGZvciAoaW50IGkgPSBtX3N0YWNrLmxlbmd0aCgpIC0gMTsgaSA+PSAw OyBpLS0pCi0gICAgewotICAgICAgLyogSWdub3JlIHRoZSBzdG9wIHVud2lu ZGluZyBtYXJrZXJzLiAgKi8KLSAgICAgIGlmICgobV9zdGFjaylbaV0gPT0g TlVMTCkKLQljb250aW51ZTsKLQotICAgICAgLyogV2Ugd2FudCB0byBjaGVj ayB0aGUgY3VycmVudCB2YWx1ZSBvZiBzdGFja1tpXSB0byBzZWUgaWYKLQkg aXQgbWF0Y2hlcyBMSFMuICBJZiBzbywgdGhlbiBpbnZhbGlkYXRlLiAgKi8K LSAgICAgIGlmIChTU0FfTkFNRV9WQUxVRSAoKG1fc3RhY2spW2ldKSA9PSBs aHMpCi0JcmVjb3JkX2NvbnN0X29yX2NvcHkgKChtX3N0YWNrKVtpXSwgTlVM TF9UUkVFKTsKLQotICAgICAgLyogUmVtZW1iZXIsIHdlJ3JlIGRlYWxpbmcg d2l0aCB0d28gZWxlbWVudHMgaW4gdGhpcyBjYXNlLiAgKi8KLSAgICAgIGkt LTsKLSAgICB9Ci0KLSAgLyogQW5kIGludmFsaWRhdGUgYW55IGtub3duIHZh bHVlIGZvciBMSFMgaXRzZWxmLiAgKi8KLSAgaWYgKFNTQV9OQU1FX1ZBTFVF IChsaHMpKQotICAgIHJlY29yZF9jb25zdF9vcl9jb3B5IChsaHMsIE5VTExf VFJFRSk7Ci19Ci0KIGJvb2wKIGV4cHJfZWx0X2hhc2hlcjo6ZXF1YWwgKGNv bnN0IHZhbHVlX3R5cGUgJnAxLCBjb25zdCBjb21wYXJlX3R5cGUgJnAyKQog ewpkaWZmIC0tZ2l0IGEvZ2NjL3RyZWUtc3NhLXNjb3BlZHRhYmxlcy5oIGIv Z2NjL3RyZWUtc3NhLXNjb3BlZHRhYmxlcy5oCmluZGV4IDUyYmNiNmYuLjFl NmI0NmMgMTAwNjQ0Ci0tLSBhL2djYy90cmVlLXNzYS1zY29wZWR0YWJsZXMu aAorKysgYi9nY2MvdHJlZS1zc2Etc2NvcGVkdGFibGVzLmgKQEAgLTE2OCwx MiArMTY4LDYgQEAgY2xhc3MgY29uc3RfYW5kX2NvcGllcwogICAgICB2YWx1 ZSBmb3IgdGhlIGZpcnN0IGFyZ3VtZW50LiAgVHJ5IHRvIGdldCByaWQgb2Yg dGhpcyBpbiB0aGUgZnV0dXJlLiAgKi8KICAgdm9pZCByZWNvcmRfY29uc3Rf b3JfY29weSAodHJlZSwgdHJlZSwgdHJlZSk7CiAKLSAgLyogV2hlbiB0aHJl YWRpbmcgd2UgbmVlZCB0byBpbnZhbGlkYXRlIGNlcnRhaW4gZXF1aXZhbGVu Y2VzIGFmdGVyCi0gICAgIGZvbGxvd2luZyBhIGxvb3AgYmFja2VkZ2UuICBU aGUgZW50cmllcyB3ZSBuZWVkIHRvIGludmFsaWRhdGUgd2lsbAotICAgICBh bHdheXMgYmUgaW4gdGhpcyB1bndpbmRhYmxlIHN0YWNrLiAgVGhpcyBlbnRy eSBwb2ludCBoYW5kbGVzCi0gICAgIGZpbmRpbmcgYW5kIGludmFsaWRhdGlu ZyB0aG9zZSBlbnRyaWVzLiAgKi8KLSAgdm9pZCBpbnZhbGlkYXRlICh0cmVl KTsKLQogIHByaXZhdGU6CiAgIHZlYzx0cmVlPiBtX3N0YWNrOwogICBjb25z dF9hbmRfY29waWVzJiBvcGVyYXRvcj0gKGNvbnN0IGNvbnN0X2FuZF9jb3Bp ZXMmKTsKZGlmZiAtLWdpdCBhL2djYy90cmVlLXNzYS10aHJlYWRlZGdlLmMg Yi9nY2MvdHJlZS1zc2EtdGhyZWFkZWRnZS5jCmluZGV4IGRkZDUwNjEuLjkz NzkxOTggMTAwNjQ0Ci0tLSBhL2djYy90cmVlLXNzYS10aHJlYWRlZGdlLmMK KysrIGIvZ2NjL3RyZWUtc3NhLXRocmVhZGVkZ2UuYwpAQCAtMjE1LDggKzIx NSw3IEBAIHN0YXRpYyBnaW1wbGUgKgogcmVjb3JkX3RlbXBvcmFyeV9lcXVp dmFsZW5jZXNfZnJvbV9zdG10c19hdF9kZXN0IChlZGdlIGUsCiAgICAgY29u c3RfYW5kX2NvcGllcyAqY29uc3RfYW5kX2NvcGllcywKICAgICBhdmFpbF9l eHByc19zdGFjayAqYXZhaWxfZXhwcnNfc3RhY2ssCi0gICAgcGZuX3NpbXBs aWZ5IHNpbXBsaWZ5LAotICAgIGJvb2wgYmFja2VkZ2Vfc2VlbikKKyAgICBw Zm5fc2ltcGxpZnkgc2ltcGxpZnkpCiB7CiAgIGdpbXBsZSAqc3RtdCA9IE5V TEw7CiAgIGdpbXBsZV9zdG10X2l0ZXJhdG9yIGdzaTsKQEAgLTI2OCwyMiAr MjY3LDcgQEAgcmVjb3JkX3RlbXBvcmFyeV9lcXVpdmFsZW5jZXNfZnJvbV9z dG10c19hdF9kZXN0IChlZGdlIGUsCiAgICAgICAgICAgJiYgKGdpbXBsZV9j b2RlIChzdG10KSAhPSBHSU1QTEVfQ0FMTAogICAgICAgICAgICAgICB8fCBn aW1wbGVfY2FsbF9saHMgKHN0bXQpID09IE5VTExfVFJFRQogICAgICAgICAg ICAgICB8fCBUUkVFX0NPREUgKGdpbXBsZV9jYWxsX2xocyAoc3RtdCkpICE9 IFNTQV9OQU1FKSkKLQl7Ci0JICAvKiBTVE1UIG1pZ2h0IHN0aWxsIGhhdmUg REVGUyBhbmQgd2UgbmVlZCB0byBpbnZhbGlkYXRlIGFueSBrbm93bgotCSAg ICAgZXF1aXZhbGVuY2VzIGZvciB0aGVtLgotCi0JICAgICBDb25zaWRlciBp ZiBTVE1UIGlzIGEgR0lNUExFX0FTTSB3aXRoIG9uZSBvciBtb3JlIG91dHB1 dHMgdGhhdAotCSAgICAgZmVlZHMgYSBjb25kaXRpb25hbCBpbnNpZGUgYSBs b29wLiAgV2UgbWlnaHQgZGVyaXZlIGFuIGVxdWl2YWxlbmNlCi0JICAgICBk dWUgdG8gdGhlIGNvbmRpdGlvbmFsLiAgKi8KLQkgIHRyZWUgb3A7Ci0JICBz c2Ffb3BfaXRlciBpdGVyOwotCi0JICBpZiAoYmFja2VkZ2Vfc2VlbikKLQkg ICAgRk9SX0VBQ0hfU1NBX1RSRUVfT1BFUkFORCAob3AsIHN0bXQsIGl0ZXIs IFNTQV9PUF9ERUYpCi0JICAgICAgY29uc3RfYW5kX2NvcGllcy0+aW52YWxp ZGF0ZSAob3ApOwotCi0JICBjb250aW51ZTsKLQl9CisJY29udGludWU7CiAK ICAgICAgIC8qIFRoZSByZXN1bHQgb2YgX19idWlsdGluX29iamVjdF9zaXpl IGRlcGVuZHMgb24gYWxsIHRoZSBhcmd1bWVudHMKIAkgb2YgYSBwaGkgbm9k ZS4gVGVtcG9yYXJpbHkgdXNpbmcgb25seSBvbmUgZWRnZSBwcm9kdWNlcyBp bnZhbGlkCkBAIC0zMTYsMTQgKzMwMCw3IEBAIHJlY29yZF90ZW1wb3Jhcnlf ZXF1aXZhbGVuY2VzX2Zyb21fc3RtdHNfYXRfZGVzdCAoZWRnZSBlLAogCSAg aWYgKGZuZGVjbAogCSAgICAgICYmIChERUNMX0ZVTkNUSU9OX0NPREUgKGZu ZGVjbCkgPT0gQlVJTFRfSU5fT0JKRUNUX1NJWkUKIAkJICB8fCBERUNMX0ZV TkNUSU9OX0NPREUgKGZuZGVjbCkgPT0gQlVJTFRfSU5fQ09OU1RBTlRfUCkp Ci0JICAgIHsKLQkgICAgICBpZiAoYmFja2VkZ2Vfc2VlbikKLQkJewotCQkg IHRyZWUgbGhzID0gZ2ltcGxlX2dldF9saHMgKHN0bXQpOwotCQkgIGNvbnN0 X2FuZF9jb3BpZXMtPmludmFsaWRhdGUgKGxocyk7Ci0JCX0KLQkgICAgICBj b250aW51ZTsKLQkgICAgfQorCSAgICBjb250aW51ZTsKIAl9CiAKICAgICAg IC8qIEF0IHRoaXMgcG9pbnQgd2UgaGF2ZSBhIHN0YXRlbWVudCB3aGljaCBh c3NpZ25zIGFuIFJIUyB0byBhbgpAQCAtMzg5LDE5ICszNjYsMTIgQEAgcmVj b3JkX3RlbXBvcmFyeV9lcXVpdmFsZW5jZXNfZnJvbV9zdG10c19hdF9kZXN0 IChlZGdlIGUsCiAJfQogCiAgICAgICAvKiBSZWNvcmQgdGhlIGNvbnRleHQg c2Vuc2l0aXZlIGVxdWl2YWxlbmNlIGlmIHdlIHdlcmUgYWJsZQotCSB0byBz aW1wbGlmeSB0aGlzIHN0YXRlbWVudC4KLQotCSBJZiB3ZSBoYXZlIHRyYXZl cnNlZCBhIGJhY2tlZGdlIGF0IHNvbWUgcG9pbnQgZHVyaW5nIHRocmVhZGlu ZywKLQkgdGhlbiBhbHdheXMgZW50ZXIgc29tZXRoaW5nIGhlcmUuICBFaXRo ZXIgYSByZWFsIGVxdWl2YWxlbmNlLAotCSBvciBhIE5VTExfVFJFRSBlcXVp dmFsZW5jZSB3aGljaCBpcyBlZmZlY3RpdmVseSBpbnZhbGlkYXRpb24gb2YK LQkgcHJpb3IgZXF1aXZhbGVuY2VzLiAgKi8KKwkgdG8gc2ltcGxpZnkgdGhp cyBzdGF0ZW1lbnQuICAqLwogICAgICAgaWYgKGNhY2hlZF9saHMKIAkgICYm IChUUkVFX0NPREUgKGNhY2hlZF9saHMpID09IFNTQV9OQU1FCiAJICAgICAg fHwgaXNfZ2ltcGxlX21pbl9pbnZhcmlhbnQgKGNhY2hlZF9saHMpKSkKIAlj b25zdF9hbmRfY29waWVzLT5yZWNvcmRfY29uc3Rfb3JfY29weSAoZ2ltcGxl X2dldF9saHMgKHN0bXQpLAogCQkJCQkJY2FjaGVkX2xocyk7Ci0gICAgICBl bHNlIGlmIChiYWNrZWRnZV9zZWVuKQotCWNvbnN0X2FuZF9jb3BpZXMtPmlu dmFsaWRhdGUgKGdpbXBsZV9nZXRfbGhzIChzdG10KSk7CiAgICAgfQogICBy ZXR1cm4gc3RtdDsKIH0KQEAgLTkyNSw4ICs4OTUsNyBAQCB0aHJlYWRfdGhy b3VnaF9ub3JtYWxfYmxvY2sgKGVkZ2UgZSwKICAgZ2ltcGxlICpzdG10CiAg ICAgPSByZWNvcmRfdGVtcG9yYXJ5X2VxdWl2YWxlbmNlc19mcm9tX3N0bXRz X2F0X2Rlc3QgKGUsIGNvbnN0X2FuZF9jb3BpZXMsCiAJCQkJCQkJYXZhaWxf ZXhwcnNfc3RhY2ssCi0JCQkJCQkJc2ltcGxpZnksCi0JCQkJCQkJKmJhY2tl ZGdlX3NlZW5fcCk7CisJCQkJCQkJc2ltcGxpZnkpOwogCiAgIC8qIFRoZXJl J3MgdHdvIHJlYXNvbnMgU1RNVCBtaWdodCBiZSBudWxsLCBhbmQgZGlzdGlu Z3Vpc2hpbmcKICAgICAgYmV0d2VlbiB0aGVtIGlzIGltcG9ydGFudC4K --------------010609000507060508060203--