From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 36281 invoked by alias); 23 Jun 2017 13:12:55 -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 32887 invoked by uid 89); 23 Jun 2017 13:12:53 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-9.6 required=5.0 tests=AWL,BAYES_00,GIT_PATCH_2,GIT_PATCH_3,KAM_ASCII_DIVIDERS,KAM_LAZY_DOMAIN_SECURITY,T_RP_MATCHES_RCVD autolearn=ham version=3.3.2 spammy=CA, enhances, ca 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; Fri, 23 Jun 2017 13:12:51 +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; 23 Jun 2017 15:12:48 +0200 Date: Fri, 23 Jun 2017 13:12:00 -0000 From: Marc Glisse To: gcc-patches@gcc.gnu.org Subject: Simple reassoc transforms in match.pd Message-ID: User-Agent: Alpine 2.02 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="8323329-1936954854-1498223569=:20818" X-SW-Source: 2017-06/txt/msg01779.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-1936954854-1498223569=:20818 Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII Content-length: 533 Hello, here are a few simple transformations, mostly useful for types with undefined overflow where we do not have reassoc. I did not name the testcase reassoc-* to leave that namespace to the realloc pass, and -fno-tree-reassoc is just in case someone ever enhances that pass... Bootstrap + testsuite on powerpc64le-unknown-linux-gnu. 2017-06-23 Marc Glisse gcc/ * match.pd ((A+-B)+(C-A), (A+B)-(A-C)): New transformations. gcc/testsuite/ * gcc.dg/tree-ssa/assoc-1.c: New file. -- Marc Glisse --8323329-1936954854-1498223569=:20818 Content-Type: TEXT/x-diff; name=reassoc.patch Content-Transfer-Encoding: BASE64 Content-ID: Content-Description: Content-Disposition: inline; filename=reassoc.patch Content-length: 2790 SW5kZXg6IGdjYy9tYXRjaC5wZA0KPT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQ0K LS0tIGdjYy9tYXRjaC5wZAkocmV2aXNpb24gMjQ5NTg1KQ0KKysrIGdjYy9t YXRjaC5wZAkod29ya2luZyBjb3B5KQ0KQEAgLTEzMTQsMjAgKzEzMTQsMzIg QEAgREVGSU5FX0lOVF9BTkRfRkxPQVRfUk9VTkRfRk4gKFJJTlQpDQogICAg IChuZWdhdGUgQDEpKQ0KICAgKHNpbXBsaWZ5DQogICAgIChwbHVzOmMgKG1p bnVzIEAwIEAxKSBAMSkNCiAgICAgQDApDQogICAoc2ltcGxpZnkNCiAgICAo bWludXMgQDAgKHBsdXM6YyBAMCBAMSkpDQogICAgKG5lZ2F0ZSBAMSkpDQog ICAoc2ltcGxpZnkNCiAgICAobWludXMgQDAgKG1pbnVzIEAwIEAxKSkNCiAg ICBAMSkNCisgIC8qIChBICstIEIpICsgKEMgLSBBKSAgIC0+IEMgKy0gQiAq Lw0KKyAgLyogKEEgKyAgQikgLSAoQSAtIEMpICAgLT4gQiArIEMgKi8NCisg IC8qIE1vcmUgY2FzZXMgYXJlIGhhbmRsZWQgd2l0aCBjb21wYXJpc29ucy4g ICovDQorICAoc2ltcGxpZnkNCisgICAocGx1czpjIChwbHVzOmMgQDAgQDEp IChtaW51cyBAMiBAMCkpDQorICAgKHBsdXMgQDIgQDEpKQ0KKyAgKHNpbXBs aWZ5DQorICAgKHBsdXM6YyAobWludXMgQDAgQDEpIChtaW51cyBAMiBAMCkp DQorICAgKG1pbnVzIEAyIEAxKSkNCisgIChzaW1wbGlmeQ0KKyAgIChtaW51 cyAocGx1czpjIEAwIEAxKSAobWludXMgQDAgQDIpKQ0KKyAgIChwbHVzIEAx IEAyKSkNCiANCiAgIC8qIChBICstIENTVDEpICstIENTVDIgLT4gQSArIENT VDMNCiAgICAgIFVzZSB2aWV3X2NvbnZlcnQgYmVjYXVzZSBpdCBpcyBzYWZl IGZvciB2ZWN0b3JzIGFuZCBlcXVpdmFsZW50IGZvcg0KICAgICAgc2NhbGFy cy4gICovDQogICAoZm9yIG91dGVyX29wIChwbHVzIG1pbnVzKQ0KICAgIChm b3IgaW5uZXJfb3AgKHBsdXMgbWludXMpDQogCW5lZ19pbm5lcl9vcCAobWlu dXMgcGx1cykNCiAgICAgKHNpbXBsaWZ5DQogICAgICAob3V0ZXJfb3AgKG5v cF9jb252ZXJ0IChpbm5lcl9vcCBAMCBDT05TVEFOVF9DTEFTU19QQDEpKQ0K IAkgICAgICAgQ09OU1RBTlRfQ0xBU1NfUEAyKQ0KSW5kZXg6IGdjYy90ZXN0 c3VpdGUvZ2NjLmRnL3RyZWUtc3NhL2Fzc29jLTEuYw0KPT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PQ0KLS0tIGdjYy90ZXN0c3VpdGUvZ2NjLmRnL3RyZWUtc3Nh L2Fzc29jLTEuYwkobm9uZXhpc3RlbnQpDQorKysgZ2NjL3Rlc3RzdWl0ZS9n Y2MuZGcvdHJlZS1zc2EvYXNzb2MtMS5jCSh3b3JraW5nIGNvcHkpDQpAQCAt MCwwICsxLDMxIEBADQorLyogeyBkZy1kbyBjb21waWxlIH0gKi8NCisvKiB7 IGRnLW9wdGlvbnMgIi1PIC1mZHVtcC10cmVlLW9wdGltaXplZC1yYXcgLWZu by10cmVlLXJlYXNzb2MiIH0gKi8NCisNCitpbnQgZjAoaW50IGEsaW50IGIs aW50IGMpew0KKyAgaW50IGQgPSBhICsgYjsNCisgIGludCBlID0gYyArIGI7 DQorICByZXR1cm4gZCAtIGU7DQorfQ0KK2ludCBmMShpbnQgYSxpbnQgYixp bnQgYyl7DQorICBpbnQgZCA9IGEgKyBiOw0KKyAgaW50IGUgPSBiIC0gYzsN CisgIHJldHVybiBkIC0gZTsNCit9DQoraW50IGYyKGludCBhLGludCBiLGlu dCBjKXsNCisgIGludCBkID0gYSArIGI7DQorICBpbnQgZSA9IGMgLSBiOw0K KyAgcmV0dXJuIGUgKyBkOw0KK30NCitpbnQgZjMoaW50IGEsaW50IGIsaW50 IGMpew0KKyAgaW50IGQgPSBhIC0gYjsNCisgIGludCBlID0gYyAtIGI7DQor ICByZXR1cm4gZCAtIGU7DQorfQ0KK2ludCBmNChpbnQgYSxpbnQgYixpbnQg Yyl7DQorICBpbnQgZCA9IGIgLSBhOw0KKyAgaW50IGUgPSBjIC0gYjsNCisg IHJldHVybiBlICsgZDsNCit9DQorDQorLyogeyBkZy1maW5hbCB7IHNjYW4t dHJlZS1kdW1wLXRpbWVzICJwbHVzX2V4cHIiIDIgIm9wdGltaXplZCIgfSB9 ICovDQorLyogeyBkZy1maW5hbCB7IHNjYW4tdHJlZS1kdW1wLXRpbWVzICJt aW51c19leHByIiAzICJvcHRpbWl6ZWQiIH0gfSAqLw0K --8323329-1936954854-1498223569=:20818--