From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 23027 invoked by alias); 15 May 2015 10:52:25 -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 22957 invoked by uid 89); 15 May 2015 10:52:24 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-0.6 required=5.0 tests=AWL,BAYES_50,KAM_ASCII_DIVIDERS,KAM_LAZY_DOMAIN_SECURITY,T_RP_MATCHES_RCVD autolearn=no version=3.3.2 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 (CAMELLIA256-SHA encrypted) ESMTPS; Fri, 15 May 2015 10:52:22 +0000 Received: from stedding.saclay.inria.fr (HELO stedding) ([193.55.250.194]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 15 May 2015 12:52:19 +0200 Received: from glisse (helo=localhost) by stedding with local-esmtp (Exim 4.85) (envelope-from ) id 1YtDE3-00080u-8m for gcc-patches@gcc.gnu.org; Fri, 15 May 2015 12:52:19 +0200 Date: Fri, 15 May 2015 11:08:00 -0000 From: Marc Glisse To: gcc-patches@gcc.gnu.org Subject: Small fold-const.c / match.pd tweaks Message-ID: User-Agent: Alpine 2.02 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="8323329-827263329-1431687139=:19595" X-SW-Source: 2015-05/txt/msg01391.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-827263329-1431687139=:19595 Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII Content-length: 768 Hello, these are just a few tweaks / clean-ups. The 'ord' pattern is the dual of the 'unord' one I added last month. The tree_unary_nonnegative_warnv_p change should have no effect (it is only used from VRP which does not handle vectors (yet?)) but it seems right to handle vectors like scalars here. Regtested on ppc64le-redhat-linux. 2015-05-15 Marc Glisse PR tree-optimization/63387 gcc/ * match.pd ((X /[ex] A) * A -> X): Remove unnecessary condition. ((x ord x) & (y ord y) -> (x ord y), (x ord x) & (x ord y) -> (x ord y)): New simplifications. * fold-const.c (tree_unary_nonnegative_warnv_p) : Handle vectors like scalars. gcc/testsuite/ * gcc.dg/pr63387-2.c: New testcase. -- Marc Glisse --8323329-827263329-1431687139=:19595 Content-Type: TEXT/PLAIN; charset=US-ASCII; name=p14 Content-Transfer-Encoding: BASE64 Content-ID: Content-Description: Content-Disposition: inline; filename=p14 Content-length: 5413 SW5kZXg6IGdjYy9mb2xkLWNvbnN0LmMNCj09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT0NCi0tLSBnY2MvZm9sZC1jb25zdC5jCShyZXZpc2lvbiAyMjMyMTQpDQor KysgZ2NjL2ZvbGQtY29uc3QuYwkod29ya2luZyBjb3B5KQ0KQEAgLTE0Njg1 LDIxICsxNDY4NSwyMSBAQCB0cmVlX3VuYXJ5X25vbm5lZ2F0aXZlX3dhcm52 X3AgKGVudW0gdHJlDQogCQkJCWJvb2wgKnN0cmljdF9vdmVyZmxvd19wKQ0K IHsNCiAgIGlmIChUWVBFX1VOU0lHTkVEICh0eXBlKSkNCiAgICAgcmV0dXJu IHRydWU7DQogDQogICBzd2l0Y2ggKGNvZGUpDQogICAgIHsNCiAgICAgY2Fz ZSBBQlNfRVhQUjoNCiAgICAgICAvKiBXZSBjYW4ndCByZXR1cm4gMSBpZiBm bGFnX3dyYXB2IGlzIHNldCBiZWNhdXNlDQogCSBBQlNfRVhQUjxJTlRfTUlO PiA9IElOVF9NSU4uICAqLw0KLSAgICAgIGlmICghSU5URUdSQUxfVFlQRV9Q ICh0eXBlKSkNCisgICAgICBpZiAoIUFOWV9JTlRFR1JBTF9UWVBFX1AgKHR5 cGUpKQ0KIAlyZXR1cm4gdHJ1ZTsNCiAgICAgICBpZiAoVFlQRV9PVkVSRkxP V19VTkRFRklORUQgKHR5cGUpKQ0KIAl7DQogCSAgKnN0cmljdF9vdmVyZmxv d19wID0gdHJ1ZTsNCiAJICByZXR1cm4gdHJ1ZTsNCiAJfQ0KICAgICAgIGJy ZWFrOw0KIA0KICAgICBjYXNlIE5PTl9MVkFMVUVfRVhQUjoNCiAgICAgY2Fz ZSBGTE9BVF9FWFBSOg0KSW5kZXg6IGdjYy9tYXRjaC5wZA0KPT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PQ0KLS0tIGdjYy9tYXRjaC5wZAkocmV2aXNpb24gMjIz MjE0KQ0KKysrIGdjYy9tYXRjaC5wZAkod29ya2luZyBjb3B5KQ0KQEAgLTc5 MSwyMiArNzkxLDIxIEBAIGFsb25nIHdpdGggR0NDOyBzZWUgdGhlIGZpbGUg Q09QWUlORzMuDQogICAgICAgICYmIFRZUEVfUFJFQ0lTSU9OICh0eXBlKSA8 PSBUWVBFX1BSRUNJU0lPTiAoVFJFRV9UWVBFIChAMCkpDQogICAgICAgICYm IG9wZXJhbmRfZXF1YWxfcCAoQDEsIGJ1aWxkX2xvd19iaXRzX21hc2sgKFRS RUVfVFlQRSAoQDEpLA0KIAkJCQkJCSAgICBUWVBFX1BSRUNJU0lPTiAodHlw ZSkpLCAwKSkNCiAgICAoY29udmVydCBAMCkpKQ0KIA0KIA0KIC8qIChYIC9b ZXhdIEEpICogQSAtPiBYLiAgKi8NCiAoc2ltcGxpZnkNCiAgIChtdWx0IChj b252ZXJ0PyAoZXhhY3RfZGl2IEAwIEAxKSkgQDEpDQogICAvKiBMb29rIHRo cm91Z2ggYSBzaWduLWNoYW5naW5nIGNvbnZlcnNpb24uICAqLw0KLSAgKGlm IChUWVBFX1BSRUNJU0lPTiAoVFJFRV9UWVBFIChAMCkpID09IFRZUEVfUFJF Q0lTSU9OICh0eXBlKSkNCi0gICAoY29udmVydCBAMCkpKQ0KKyAgKGNvbnZl cnQgQDApKQ0KIA0KIC8qIENhbm9uaWNhbGl6YXRpb24gb2YgYmluYXJ5IG9w ZXJhdGlvbnMuICAqLw0KIA0KIC8qIENvbnZlcnQgWCArIC1DIGludG8gWCAt IEMuICAqLw0KIChzaW1wbGlmeQ0KICAocGx1cyBAMCBSRUFMX0NTVEAxKQ0K ICAoaWYgKFJFQUxfVkFMVUVfTkVHQVRJVkUgKFRSRUVfUkVBTF9DU1QgKEAx KSkpDQogICAod2l0aCB7IHRyZWUgdGVtID0gZm9sZF91bmFyeSAoTkVHQVRF X0VYUFIsIHR5cGUsIEAxKTsgfQ0KICAgIChpZiAoIVRSRUVfT1ZFUkZMT1cg KHRlbSkgfHwgIWZsYWdfdHJhcHBpbmdfbWF0aCkNCiAgICAgKG1pbnVzIEAw IHsgdGVtOyB9KSkpKSkNCkBAIC05NDQsMjIgKzk0MywyOSBAQCBhbG9uZyB3 aXRoIEdDQzsgc2VlIHRoZSBmaWxlIENPUFlJTkczLg0KICAgICAoaWNtcCBA MCBAMSkpDQogICAgKGlmIChpYyA9PSBuY21wKQ0KICAgICAobmNtcCBAMCBA MSkpKSkpDQogDQogLyogVW5vcmRlcmVkIHRlc3RzIGlmIGVpdGhlciBhcmd1 bWVudCBpcyBhIE5hTi4gICovDQogKHNpbXBsaWZ5DQogIChiaXRfaW9yICh1 bm9yZGVyZWQgQDAgQDApICh1bm9yZGVyZWQgQDEgQDEpKQ0KICAoaWYgKHR5 cGVzX21hdGNoIChAMCwgQDEpKQ0KICAgKHVub3JkZXJlZCBAMCBAMSkpKQ0K IChzaW1wbGlmeQ0KKyAoYml0X2FuZCAob3JkZXJlZCBAMCBAMCkgKG9yZGVy ZWQgQDEgQDEpKQ0KKyAoaWYgKHR5cGVzX21hdGNoIChAMCwgQDEpKQ0KKyAg KG9yZGVyZWQgQDAgQDEpKSkNCisoc2ltcGxpZnkNCiAgKGJpdF9pb3I6YyAo dW5vcmRlcmVkIEAwIEAwKSAodW5vcmRlcmVkOmNAMiBAMCBAMSkpDQogIEAy KQ0KKyhzaW1wbGlmeQ0KKyAoYml0X2FuZDpjIChvcmRlcmVkIEAwIEAwKSAo b3JkZXJlZDpjQDIgQDAgQDEpKQ0KKyBAMikNCiANCiAvKiBTaW1wbGlmaWNh dGlvbiBvZiBtYXRoIGJ1aWx0aW5zLiAgKi8NCiANCiAoZGVmaW5lX29wZXJh dG9yX2xpc3QgTE9HIEJVSUxUX0lOX0xPR0YgQlVJTFRfSU5fTE9HIEJVSUxU X0lOX0xPR0wpDQogKGRlZmluZV9vcGVyYXRvcl9saXN0IEVYUCBCVUlMVF9J Tl9FWFBGIEJVSUxUX0lOX0VYUCBCVUlMVF9JTl9FWFBMKQ0KIChkZWZpbmVf b3BlcmF0b3JfbGlzdCBMT0cyIEJVSUxUX0lOX0xPRzJGIEJVSUxUX0lOX0xP RzIgQlVJTFRfSU5fTE9HMkwpDQogKGRlZmluZV9vcGVyYXRvcl9saXN0IEVY UDIgQlVJTFRfSU5fRVhQMkYgQlVJTFRfSU5fRVhQMiBCVUlMVF9JTl9FWFAy TCkNCiAoZGVmaW5lX29wZXJhdG9yX2xpc3QgTE9HMTAgQlVJTFRfSU5fTE9H MTBGIEJVSUxUX0lOX0xPRzEwIEJVSUxUX0lOX0xPRzEwTCkNCiAoZGVmaW5l X29wZXJhdG9yX2xpc3QgRVhQMTAgQlVJTFRfSU5fRVhQMTBGIEJVSUxUX0lO X0VYUDEwIEJVSUxUX0lOX0VYUDEwTCkNCiAoZGVmaW5lX29wZXJhdG9yX2xp c3QgUE9XIEJVSUxUX0lOX1BPV0YgQlVJTFRfSU5fUE9XIEJVSUxUX0lOX1BP V0wpDQpJbmRleDogZ2NjL3Rlc3RzdWl0ZS9nY2MuZGcvcHI2MzM4Ny0yLmMN Cj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT0NCi0tLSBnY2MvdGVzdHN1aXRlL2dj Yy5kZy9wcjYzMzg3LTIuYwkocmV2aXNpb24gMCkNCisrKyBnY2MvdGVzdHN1 aXRlL2djYy5kZy9wcjYzMzg3LTIuYwkod29ya2luZyBjb3B5KQ0KQEAgLTAs MCArMSwyNiBAQA0KKy8qIHsgZGctZG8gY29tcGlsZSB9ICovDQorLyogeyBk Zy1vcHRpb25zICItTyAtZmR1bXAtdHJlZS1vcHRpbWl6ZWQiIH0gKi8NCisN CitpbnQgZihkb3VibGUgYWFhLCBkb3VibGUgYmJiKXsNCisgIGludCB4YSA9 ICFfX2J1aWx0aW5faXN1bm9yZGVyZWQoYWFhLCBhYWEpOw0KKyAgaW50IHhi ID0gIV9fYnVpbHRpbl9pc3Vub3JkZXJlZChiYmIsIGJiYik7DQorICByZXR1 cm4geGEgJiB4YjsNCit9DQorDQoraW50IGcoZG91YmxlIGFhYSwgZG91Ymxl IGJiYil7DQorICBpbnQgeGEgPSAhX19idWlsdGluX2lzdW5vcmRlcmVkKGFh YSwgYmJiKTsNCisgIGludCB4YiA9ICFfX2J1aWx0aW5faXN1bm9yZGVyZWQo YmJiLCBiYmIpOw0KKyAgcmV0dXJuIHhhICYgeGI7DQorfQ0KKw0KK2ludCBo KGRvdWJsZSBjY2MsIGZsb2F0IGRkZCl7DQorICBpbnQgeGMgPSAhX19idWls dGluX2lzdW5vcmRlcmVkKGNjYywgY2NjKTsNCisgIGludCB4ZCA9ICFfX2J1 aWx0aW5faXN1bm9yZGVyZWQoZGRkLCBkZGQpOw0KKyAgcmV0dXJuIHhjICYg eGQ7DQorfQ0KKw0KKy8qIHsgZGctZmluYWwgeyBzY2FuLXRyZWUtZHVtcC1u b3QgImFhYVxbXlxuXHJcXSogb3JkIGFhYSIgIm9wdGltaXplZCIgfSB9ICov DQorLyogeyBkZy1maW5hbCB7IHNjYW4tdHJlZS1kdW1wLW5vdCAiYmJiXFte XG5cclxdKiBvcmQgYmJiIiAib3B0aW1pemVkIiB9IH0gKi8NCisvKiB7IGRn LWZpbmFsIHsgc2Nhbi10cmVlLWR1bXAtdGltZXMgImFhYVxbXlxuXHJcXSog b3JkIGJiYiIgMiAib3B0aW1pemVkIiB9IH0gKi8NCisvKiB7IGRnLWZpbmFs IHsgc2Nhbi10cmVlLWR1bXAtbm90ICJjY2NcW15cblxyXF0qIG9yZCBkZGQi ICJvcHRpbWl6ZWQiIH0gfSAqLw0KKy8qIHsgZGctZmluYWwgeyBjbGVhbnVw LXRyZWUtZHVtcCAib3B0aW1pemVkIiB9IH0gKi8NCg== --8323329-827263329-1431687139=:19595--