From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 96810 invoked by alias); 20 Jun 2017 21:01:09 -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 96787 invoked by uid 89); 20 Jun 2017 21:01:08 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-14.2 required=5.0 tests=AWL,BAYES_00,GIT_PATCH_1,GIT_PATCH_2,GIT_PATCH_3,KAM_ASCII_DIVIDERS,KAM_LAZY_DOMAIN_SECURITY,T_RP_MATCHES_RCVD autolearn=ham version=3.3.2 spammy= X-HELO: mail2-relais-roc.national.inria.fr Received: from mail2-relais-roc.national.inria.fr (HELO mail2-relais-roc.national.inria.fr) (192.134.164.83) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 20 Jun 2017 21:01:06 +0000 Received: from 91.70.140.77.rev.sfr.net (HELO stedding) ([77.140.70.91]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Jun 2017 23:00:52 +0200 Date: Tue, 20 Jun 2017 21:01:00 -0000 From: Marc Glisse To: gcc-patches@gcc.gnu.org Subject: NOP conversions in X+CST+CST Message-ID: User-Agent: Alpine 2.02 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="8323329-115245180-1497992452=:12192" X-SW-Source: 2017-06/txt/msg01513.txt.bz2 This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --8323329-115245180-1497992452=:12192 Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII Content-length: 683 Hello, now that FRE was fixed to avoid infinite recursion, this patch passes bootstrap+testsuite on x86_64-pc-linux-gnu multilib with all languages (including ada). This isn't exactly the patch that was reverted, because the previous patch did not actually handle vectors properly. It still shouldn't interfere with the patch by Robin Dapp which IIUC only handles the case where the conversion is an extension. 2017-06-21 Marc Glisse gcc/ * match.pd (nop_convert): New predicate. ((A +- CST1) +- CST2): Allow some NOP conversions. gcc/testsuite/ * gcc.dg/tree-ssa/addadd.c: Un-XFAIL. * gcc.dg/tree-ssa/addadd-2.c: New file. -- Marc Glisse --8323329-115245180-1497992452=:12192 Content-Type: TEXT/x-diff; name=addadd.patch Content-Transfer-Encoding: BASE64 Content-ID: Content-Description: Content-Disposition: inline; filename=addadd.patch Content-length: 7882 SW5kZXg6IGdjYy9tYXRjaC5wZA0KPT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQ0K LS0tIGdjYy9tYXRjaC5wZAkocmV2aXNpb24gMjQ5NDEzKQ0KKysrIGdjYy9t YXRjaC5wZAkod29ya2luZyBjb3B5KQ0KQEAgLTY3LDIwICs2NywzNCBAQCBh bG9uZyB3aXRoIEdDQzsgc2VlIHRoZSBmaWxlIENPUFlJTkczLg0KIAkJCSAg ICAgIEJVSUxUX0lOX0wjI0ZOIFwNCiAJCQkgICAgICBCVUlMVF9JTl9MTCMj Rk4pIFwNCiAgIChkZWZpbmVfb3BlcmF0b3JfbGlzdCBYIyNGTiMjTCBCVUlM VF9JTl9JIyNGTiMjTCBcDQogCQkJCSBCVUlMVF9JTl9MIyNGTiMjTCBcDQog CQkJCSBCVUlMVF9JTl9MTCMjRk4jI0wpDQogDQogREVGSU5FX0lOVF9BTkRf RkxPQVRfUk9VTkRfRk4gKEZMT09SKQ0KIERFRklORV9JTlRfQU5EX0ZMT0FU X1JPVU5EX0ZOIChDRUlMKQ0KIERFRklORV9JTlRfQU5EX0ZMT0FUX1JPVU5E X0ZOIChST1VORCkNCiBERUZJTkVfSU5UX0FORF9GTE9BVF9ST1VORF9GTiAo UklOVCkNCisgICAgDQorLyogQXMgb3Bwb3NlZCB0byBjb252ZXJ0PywgdGhp cyBzdGlsbCBjcmVhdGVzIGEgc2luZ2xlIHBhdHRlcm4sIHNvDQorICAgaXQg aXMgbm90IGEgc3VpdGFibGUgcmVwbGFjZW1lbnQgZm9yIGNvbnZlcnQ/IGlu IGFsbCBjYXNlcy4gICovDQorKG1hdGNoIChub3BfY29udmVydCBAMCkNCisg KGNvbnZlcnQgQDApDQorIChpZiAodHJlZV9ub3BfY29udmVyc2lvbl9wICh0 eXBlLCBUUkVFX1RZUEUgKEAwKSkpKSkNCisobWF0Y2ggKG5vcF9jb252ZXJ0 IEAwKQ0KKyAodmlld19jb252ZXJ0IEAwKQ0KKyAoaWYgKFZFQ1RPUl9UWVBF X1AgKHR5cGUpICYmIFZFQ1RPUl9UWVBFX1AgKFRSRUVfVFlQRSAoQDApKQ0K KyAgICAgICYmIFRZUEVfVkVDVE9SX1NVQlBBUlRTICh0eXBlKSA9PSBUWVBF X1ZFQ1RPUl9TVUJQQVJUUyAoVFJFRV9UWVBFIChAMCkpDQorICAgICAgJiYg dHJlZV9ub3BfY29udmVyc2lvbl9wIChUUkVFX1RZUEUgKHR5cGUpLCBUUkVF X1RZUEUgKFRSRUVfVFlQRSAoQDApKSkpKSkNCisvKiBUaGlzIG9uZSBoYXMg dG8gYmUgbGFzdCwgb3IgaXQgc2hhZG93cyB0aGUgb3RoZXJzLiAgKi8NCiso bWF0Y2ggKG5vcF9jb252ZXJ0IEAwKQ0KKyBAMCkgDQogDQogLyogU2ltcGxp ZmljYXRpb25zIG9mIG9wZXJhdGlvbnMgd2l0aCBvbmUgY29uc3RhbnQgb3Bl cmFuZCBhbmQNCiAgICBzaW1wbGlmaWNhdGlvbnMgdG8gY29uc3RhbnRzIG9y IHNpbmdsZSB2YWx1ZXMuICAqLw0KIA0KIChmb3Igb3AgKHBsdXMgcG9pbnRl cl9wbHVzIG1pbnVzIGJpdF9pb3IgYml0X3hvcikNCiAgIChzaW1wbGlmeQ0K ICAgICAob3AgQDAgaW50ZWdlcl96ZXJvcCkNCiAgICAgKG5vbl9sdmFsdWUg QDApKSkNCiANCiAvKiAwICtwIGluZGV4IC0+ICh0eXBlKWluZGV4ICovDQpA QCAtMTI4OSwzMiArMTMwMyw1OCBAQCBERUZJTkVfSU5UX0FORF9GTE9BVF9S T1VORF9GTiAoUklOVCkNCiAgIChzaW1wbGlmeQ0KICAgICAocGx1czpjICht aW51cyBAMCBAMSkgQDEpDQogICAgIEAwKQ0KICAgKHNpbXBsaWZ5DQogICAg KG1pbnVzIEAwIChwbHVzOmMgQDAgQDEpKQ0KICAgIChuZWdhdGUgQDEpKQ0K ICAgKHNpbXBsaWZ5DQogICAgKG1pbnVzIEAwIChtaW51cyBAMCBAMSkpDQog ICAgQDEpDQogDQotICAvKiAoQSArLSBDU1QxKSArLSBDU1QyIC0+IEEgKyBD U1QzICAqLw0KKyAgLyogKEEgKy0gQ1NUMSkgKy0gQ1NUMiAtPiBBICsgQ1NU Mw0KKyAgICAgVXNlIHZpZXdfY29udmVydCBiZWNhdXNlIGl0IGlzIHNhZmUg Zm9yIHZlY3RvcnMgYW5kIGVxdWl2YWxlbnQgZm9yDQorICAgICBzY2FsYXJz LiAgKi8NCiAgIChmb3Igb3V0ZXJfb3AgKHBsdXMgbWludXMpDQogICAgKGZv ciBpbm5lcl9vcCAocGx1cyBtaW51cykNCisJbmVnX2lubmVyX29wIChtaW51 cyBwbHVzKQ0KICAgICAoc2ltcGxpZnkNCi0gICAgIChvdXRlcl9vcCAoaW5u ZXJfb3AgQDAgQ09OU1RBTlRfQ0xBU1NfUEAxKSBDT05TVEFOVF9DTEFTU19Q QDIpDQotICAgICAvKiBJZiB0aGUgY29uc3RhbnQgb3BlcmF0aW9uIG92ZXJm bG93cyB3ZSBjYW5ub3QgZG8gdGhlIHRyYW5zZm9ybQ0KLQlhcyB3ZSB3b3Vs ZCBpbnRyb2R1Y2UgdW5kZWZpbmVkIG92ZXJmbG93LCBmb3IgZXhhbXBsZQ0K LQl3aXRoIChhIC0gMSkgKyBJTlRfTUlOLiAgKi8NCi0gICAgICh3aXRoIHsg dHJlZSBjc3QgPSBjb25zdF9iaW5vcCAob3V0ZXJfb3AgPT0gaW5uZXJfb3AN Ci0JCQkJICAgICA/IFBMVVNfRVhQUiA6IE1JTlVTX0VYUFIsIHR5cGUsIEAx LCBAMik7IH0NCi0gICAgICAoaWYgKGNzdCAmJiAhVFJFRV9PVkVSRkxPVyAo Y3N0KSkNCi0gICAgICAgKGlubmVyX29wIEAwIHsgY3N0OyB9ICkpKSkpKQ0K KyAgICAgKG91dGVyX29wIChub3BfY29udmVydCAoaW5uZXJfb3AgQDAgQ09O U1RBTlRfQ0xBU1NfUEAxKSkNCisJICAgICAgIENPTlNUQU5UX0NMQVNTX1BA MikNCisgICAgIC8qIElmIG9uZSBvZiB0aGUgdHlwZXMgd3JhcHMsIHVzZSB0 aGF0IG9uZS4gICovDQorICAgICAoaWYgKCFBTllfSU5URUdSQUxfVFlQRV9Q ICh0eXBlKSB8fCBUWVBFX09WRVJGTE9XX1dSQVBTICh0eXBlKSkNCisgICAg ICAoaWYgKG91dGVyX29wID09IFBMVVNfRVhQUikNCisgICAgICAgKHBsdXMg KHZpZXdfY29udmVydCBAMCkgKGlubmVyX29wIEAyICh2aWV3X2NvbnZlcnQg QDEpKSkNCisgICAgICAgKG1pbnVzICh2aWV3X2NvbnZlcnQgQDApIChuZWdf aW5uZXJfb3AgQDIgKHZpZXdfY29udmVydCBAMSkpKSkNCisgICAgICAoaWYg KCFBTllfSU5URUdSQUxfVFlQRV9QIChUUkVFX1RZUEUgKEAwKSkNCisJICAg fHwgVFlQRV9PVkVSRkxPV19XUkFQUyAoVFJFRV9UWVBFIChAMCkpKQ0KKyAg ICAgICAoaWYgKG91dGVyX29wID09IFBMVVNfRVhQUikNCisJKHZpZXdfY29u dmVydCAocGx1cyBAMCAoaW5uZXJfb3AgKHZpZXdfY29udmVydCBAMikgQDEp KSkNCisJKHZpZXdfY29udmVydCAobWludXMgQDAgKG5lZ19pbm5lcl9vcCAo dmlld19jb252ZXJ0IEAyKSBAMSkpKSkNCisgICAgICAgLyogSWYgdGhlIGNv bnN0YW50IG9wZXJhdGlvbiBvdmVyZmxvd3Mgd2UgY2Fubm90IGRvIHRoZSB0 cmFuc2Zvcm0NCisJICBkaXJlY3RseSBhcyB3ZSB3b3VsZCBpbnRyb2R1Y2Ug dW5kZWZpbmVkIG92ZXJmbG93LCBmb3IgZXhhbXBsZQ0KKwkgIHdpdGggKGEg LSAxKSArIElOVF9NSU4uICAqLw0KKyAgICAgICAoaWYgKHR5cGVzX21hdGNo ICh0eXBlLCBAMCkpDQorCSh3aXRoIHsgdHJlZSBjc3QgPSBjb25zdF9iaW5v cCAob3V0ZXJfb3AgPT0gaW5uZXJfb3ANCisJCQkJCT8gUExVU19FWFBSIDog TUlOVVNfRVhQUiwNCisJCQkJCXR5cGUsIEAxLCBAMik7IH0NCisJIChpZiAo Y3N0ICYmICFUUkVFX09WRVJGTE9XIChjc3QpKQ0KKwkgIChpbm5lcl9vcCBA MCB7IGNzdDsgfSApDQorCSAgLyogWCtJTlRfTUFYKzEgaXMgWC1JTlRfTUlO LiAgKi8NCisJICAoaWYgKElOVEVHUkFMX1RZUEVfUCAodHlwZSkgJiYgY3N0 DQorCSAgICAgICAmJiB3aTo6ZXFfcCAoY3N0LCB3aTo6bWluX3ZhbHVlICh0 eXBlKSkpDQorCSAgIChuZWdfaW5uZXJfb3AgQDAgeyB3aWRlX2ludF90b190 cmVlICh0eXBlLCBjc3QpOyB9KQ0KKwkgICAvKiBMYXN0IHJlc29ydCwgdXNl IHNvbWUgdW5zaWduZWQgdHlwZS4gICovDQorCSAgICh3aXRoIHsgdHJlZSB1 dHlwZSA9IHVuc2lnbmVkX3R5cGVfZm9yICh0eXBlKTsgfQ0KKwkgICAgKHZp ZXdfY29udmVydCAoaW5uZXJfb3ANCisJCQkgICAodmlld19jb252ZXJ0OnV0 eXBlIEAwKQ0KKwkJCSAgICh2aWV3X2NvbnZlcnQ6dXR5cGUNCisJCQkgICAg eyBkcm9wX3RyZWVfb3ZlcmZsb3cgKGNzdCk7IH0pKSkpKSkpKSkpKSkpDQog DQogICAvKiAoQ1NUMSAtIEEpICstIENTVDIgLT4gQ1NUMyAtIEEgICovDQog ICAoZm9yIG91dGVyX29wIChwbHVzIG1pbnVzKQ0KICAgIChzaW1wbGlmeQ0K ICAgICAob3V0ZXJfb3AgKG1pbnVzIENPTlNUQU5UX0NMQVNTX1BAMSBAMCkg Q09OU1RBTlRfQ0xBU1NfUEAyKQ0KICAgICAod2l0aCB7IHRyZWUgY3N0ID0g Y29uc3RfYmlub3AgKG91dGVyX29wLCB0eXBlLCBAMSwgQDIpOyB9DQogICAg ICAoaWYgKGNzdCAmJiAhVFJFRV9PVkVSRkxPVyAoY3N0KSkNCiAgICAgICAo bWludXMgeyBjc3Q7IH0gQDApKSkpKQ0KIA0KICAgLyogQ1NUMSAtIChDU1Qy IC0gQSkgLT4gQ1NUMyArIEEgICovDQpJbmRleDogZ2NjL3Rlc3RzdWl0ZS9n Y2MuZGcvdHJlZS1zc2EvYWRkYWRkLTIuYw0KPT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PQ0KLS0tIGdjYy90ZXN0c3VpdGUvZ2NjLmRnL3RyZWUtc3NhL2FkZGFk ZC0yLmMJKG5vbmV4aXN0ZW50KQ0KKysrIGdjYy90ZXN0c3VpdGUvZ2NjLmRn L3RyZWUtc3NhL2FkZGFkZC0yLmMJKHdvcmtpbmcgY29weSkNCkBAIC0wLDAg KzEsMTUgQEANCisvKiB7IGRnLWRvIGNvbXBpbGUgfSAqLw0KKy8qIHsgZGct b3B0aW9ucyAiLU8gLWZkdW1wLXRyZWUtb3B0aW1pemVkIiB9ICovDQorDQor dHlwZWRlZiBpbnQgUyBfX2F0dHJpYnV0ZV9fKCh2ZWN0b3Jfc2l6ZSg2NCkp KTsNCit0eXBlZGVmIHVuc2lnbmVkIFUgX19hdHRyaWJ1dGVfXygodmVjdG9y X3NpemUoNjQpKSk7DQordm9pZCBqKFMqeCl7DQorICAqeCArPSBfX0lOVF9N QVhfXzsNCisgICp4ICs9IF9fSU5UX01BWF9fOw0KK30NCit2b2lkIGsoUyp4 KXsNCisgIFUgeSA9IChVKSgqeCArIF9fSU5UX01BWF9fKTsNCisgICp4ID0g KFMpKHkgKyBfX0lOVF9NQVhfXyk7DQorfQ0KKw0KKy8qIHsgZGctZmluYWwg eyBzY2FuLXRyZWUtZHVtcC1ub3QgIjIxNDc0ODM2NDciICJvcHRpbWl6ZWQi IH0gfSAqLw0KSW5kZXg6IGdjYy90ZXN0c3VpdGUvZ2NjLmRnL3RyZWUtc3Nh L2FkZGFkZC5jDQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09DQotLS0gZ2NjL3Rl c3RzdWl0ZS9nY2MuZGcvdHJlZS1zc2EvYWRkYWRkLmMJKHJldmlzaW9uIDI0 OTQxMykNCisrKyBnY2MvdGVzdHN1aXRlL2djYy5kZy90cmVlLXNzYS9hZGRh ZGQuYwkod29ya2luZyBjb3B5KQ0KQEAgLTIyLDEzICsyMiwxMyBAQCBpbnQg aShpbnQgeCl7DQogICB4ICs9IF9fSU5UX01BWF9fOw0KICAgeCArPSBfX0lO VF9NQVhfXzsNCiAgIHJldHVybiB4Ow0KIH0NCiB0eXBlZGVmIGludCBTIF9f YXR0cmlidXRlX18oKHZlY3Rvcl9zaXplKDE2KSkpOw0KIHZvaWQgaihTKngp ew0KICAgKnggKz0gX19JTlRfTUFYX187DQogICAqeCArPSBfX0lOVF9NQVhf XzsNCiB9DQogDQotLyogeyBkZy1maW5hbCB7IHNjYW4tdHJlZS1kdW1wLXRp bWVzICIgXFwrIDI0OyIgMiAib3B0aW1pemVkIiB7IHhmYWlsICotKi0qIH0g fSB9ICovDQotLyogeyBkZy1maW5hbCB7IHNjYW4tdHJlZS1kdW1wLXRpbWVz ICJcXCh1bnNpZ25lZCBpbnRcXCkiIDIgIm9wdGltaXplZCIgeyB4ZmFpbCAq LSotKiB9ICB9IH0gKi8NCi0vKiB7IGRnLWZpbmFsIHsgc2Nhbi10cmVlLWR1 bXAtbm90ICIyMTQ3NDgzNjQ3IiAib3B0aW1pemVkIiB7IHhmYWlsICotKi0q IH0gIH0gfSAqLw0KKy8qIHsgZGctZmluYWwgeyBzY2FuLXRyZWUtZHVtcC10 aW1lcyAiIFxcKyAyNDsiIDIgIm9wdGltaXplZCIgfSB9ICovDQorLyogeyBk Zy1maW5hbCB7IHNjYW4tdHJlZS1kdW1wLXRpbWVzICJcXCh1bnNpZ25lZCBp bnRcXCkiIDIgIm9wdGltaXplZCIgfSB9ICovDQorLyogeyBkZy1maW5hbCB7 IHNjYW4tdHJlZS1kdW1wLW5vdCAiMjE0NzQ4MzY0NyIgIm9wdGltaXplZCIg fSB9ICovDQo= --8323329-115245180-1497992452=:12192--