From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 101064 invoked by alias); 21 Oct 2015 04:01:31 -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 100940 invoked by uid 89); 21 Oct 2015 04:01:23 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=1.8 required=5.0 tests=BAYES_50,KAM_LAZY_DOMAIN_SECURITY,RCVD_IN_DNSWL_NONE,SPF_HELO_PASS autolearn=no version=3.3.2 X-HELO: na01-bn1-obe.outbound.protection.outlook.com Received: from mail-bn1bon0074.outbound.protection.outlook.com (HELO na01-bn1-obe.outbound.protection.outlook.com) (157.56.111.74) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA256 encrypted) ESMTPS; Wed, 21 Oct 2015 04:01:21 +0000 Received: from BLUPR0701MB1011.namprd07.prod.outlook.com (10.160.34.21) by BLUPR0701MB1601.namprd07.prod.outlook.com (10.163.84.150) with Microsoft SMTP Server (TLS) id 15.1.300.14; Wed, 21 Oct 2015 04:01:18 +0000 Received: from BLUPR0701MB1011.namprd07.prod.outlook.com (10.160.34.21) by BLUPR0701MB1011.namprd07.prod.outlook.com (10.160.34.21) with Microsoft SMTP Server (TLS) id 15.1.300.14; Wed, 21 Oct 2015 04:01:16 +0000 Received: from BLUPR0701MB1011.namprd07.prod.outlook.com ([10.160.34.21]) by BLUPR0701MB1011.namprd07.prod.outlook.com ([10.160.34.21]) with mapi id 15.01.0300.010; Wed, 21 Oct 2015 04:01:16 +0000 From: "Hurugalawadi, Naveen" To: Richard Biener CC: Marc Glisse , "gcc-patches@gcc.gnu.org" Subject: Re: Move some bit and binary optimizations in simplify and match Date: Wed, 21 Oct 2015 04:05:00 -0000 Message-ID: References: , In-Reply-To: authentication-results: spf=none (sender IP is ) smtp.mailfrom=Naveen.Hurugalawadi@caviumnetworks.com; x-microsoft-exchange-diagnostics: 1;BLUPR0701MB1011;5:4FFP40wizcankKYbKYlnbv5jjGAjOMoeC9BTY+6EUl01clAkODdQTnKazqbox00wiaq8+NZzHdFVrSnlaGlCKU2yXJlSr5ZFtG2NrAhWhymQyNVNPhdmUGGoIHPzSoMeFW5+2hOQ3zrqnJvIoX2e/w==;24:exLkFwXbM+6TT/3Fy+Ue5bMXQmBS1z4vVAJwnVd4vyo2gjb9Ka3AxDSlXwUC7DgmfjlNkwtRLBzLk3qS0zthMCDovF1tBRK0CfeEFvTkJM0=;20:WuE3xnfjlB521EMX+MzaIOLb/CFbcfxMjs+q2g5SbCoP7z3qLdyKWSstAVtiNJe5v9e61YYiYRnOBcQWYStmDA== x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:BLUPR0701MB1011; x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:; x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(601004)(2401047)(520078)(8121501046)(5005006)(3002001);SRVR:BLUPR0701MB1011;BCL:0;PCL:0;RULEID:;SRVR:BLUPR0701MB1011; x-forefront-prvs: 073631BD3D x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(6009001)(189002)(199003)(164054003)(92566002)(46102003)(77096005)(102836002)(2900100001)(93886004)(2950100001)(110136002)(5001960100002)(64706001)(189998001)(40100003)(5008740100001)(5002640100001)(76576001)(5003600100002)(122556002)(74316001)(33656002)(99286002)(81156007)(106116001)(106356001)(97736004)(5007970100001)(5004730100002)(105586002)(11100500001)(54356999)(50986999)(99936001)(76176999)(10400500002)(101416001)(86362001)(87936001);DIR:OUT;SFP:1101;SCL:1;SRVR:BLUPR0701MB1011;H:BLUPR0701MB1011.namprd07.prod.outlook.com;FPR:;SPF:None;PTR:InfoNoRecords;MX:1;A:1;LANG:en; received-spf: None (protection.outlook.com: caviumnetworks.com does not designate permitted sender hosts) spamdiagnosticoutput: 1:23 spamdiagnosticmetadata: NSPM Content-Type: multipart/mixed; boundary="_002_BLUPR0701MB1011885C5BC5BCDCA113E29C8E380BLUPR0701MB1011_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-originalarrivaltime: 21 Oct 2015 04:01:16.5540 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 711e4ccf-2e9b-4bcf-a551-4094005b6194 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BLUPR0701MB1011 X-Microsoft-Exchange-Diagnostics: 1;BLUPR0701MB1601;2:RkW9wUpR0xlOicQ7cW+FuE6bEI5zzOSnit76CdTRiXdEq+qw0yueF1gwd1D3rTb+UUhfNvXwbALGGCWWEMVrDAbD3TJufQk3vz7hoY3mqclavCQn+qDGR2cOfWjs259I+9QJE/emC7sYKBzlUMQuV5Udm2r3HvPOO3c4NYMopnI=;23:hqHPYDTz6nm3Krwxv1Jr7F/Bac1pOOr1Zn2JZFg8S4rjM3tTF9o1r4TP1L7O3lG3M8a70rMG8Pl5wc4xqrPMzeo+r19bIieJ4ctfS9zkNeYT0nmG19vUU4SIewPDutc0mDc1P2WfTCe4qeCAB3NrMYoyywN33YhYguUfAJuIPTIXwgJktkf0+CHt4y3TO8BF X-OriginatorOrg: caviumnetworks.com X-SW-Source: 2015-10/txt/msg02011.txt.bz2 --_002_BLUPR0701MB1011885C5BC5BCDCA113E29C8E380BLUPR0701MB1011_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-length: 341 Hi, >> use if (wi::bit_and (@2, @1) =3D=3D 0) Done. >> and instead of the 2nd group >> place a :c on the minus of the one not matching INTEGER_CSTs. Done. Just curious to know whether ":c" act as commutative operation in the input= as well as output in this case? Regression tested without any extra failures on X86_64. Thanks, Naveen= --_002_BLUPR0701MB1011885C5BC5BCDCA113E29C8E380BLUPR0701MB1011_ Content-Type: text/x-patch; name="bit-bin7.patch" Content-Description: bit-bin7.patch Content-Disposition: attachment; filename="bit-bin7.patch"; size=3318; creation-date="Wed, 21 Oct 2015 04:00:42 GMT"; modification-date="Wed, 21 Oct 2015 04:00:42 GMT" Content-Transfer-Encoding: base64 Content-length: 4498 ZGlmZiAtLWdpdCBhL2djYy9mb2xkLWNvbnN0LmMgYi9nY2MvZm9sZC1jb25z dC5jCmluZGV4IGRlNDVhMmMuLjM1NDQ5NDkgMTAwNjQ0Ci0tLSBhL2djYy9m b2xkLWNvbnN0LmMKKysrIGIvZ2NjL2ZvbGQtY29uc3QuYwpAQCAtOTY5Miwy OCArOTY5Miw2IEBAIGZvbGRfYmluYXJ5X2xvYyAobG9jYXRpb25fdCBsb2Ms CiAJCQkgICAgZm9sZF9jb252ZXJ0X2xvYyAobG9jLCB0eXBlLAogCQkJCQkg ICAgICBUUkVFX09QRVJBTkQgKGFyZzAsIDApKSk7CiAKLSAgICAgIGlmICgh IEZMT0FUX1RZUEVfUCAodHlwZSkpCi0JewotCSAgLyogRm9sZCAoQSAmIH5C KSAtIChBICYgQikgaW50byAoQSBeIEIpIC0gQiwgd2hlcmUgQiBpcwotCSAg ICAgYW55IHBvd2VyIG9mIDIgbWludXMgMS4gICovCi0JICBpZiAoVFJFRV9D T0RFIChhcmcwKSA9PSBCSVRfQU5EX0VYUFIKLQkgICAgICAmJiBUUkVFX0NP REUgKGFyZzEpID09IEJJVF9BTkRfRVhQUgotCSAgICAgICYmIG9wZXJhbmRf ZXF1YWxfcCAoVFJFRV9PUEVSQU5EIChhcmcwLCAwKSwKLQkJCQkgIFRSRUVf T1BFUkFORCAoYXJnMSwgMCksIDApKQotCSAgICB7Ci0JICAgICAgdHJlZSBt YXNrMCA9IFRSRUVfT1BFUkFORCAoYXJnMCwgMSk7Ci0JICAgICAgdHJlZSBt YXNrMSA9IFRSRUVfT1BFUkFORCAoYXJnMSwgMSk7Ci0JICAgICAgdHJlZSB0 ZW0gPSBmb2xkX2J1aWxkMV9sb2MgKGxvYywgQklUX05PVF9FWFBSLCB0eXBl LCBtYXNrMCk7Ci0KLQkgICAgICBpZiAob3BlcmFuZF9lcXVhbF9wICh0ZW0s IG1hc2sxLCAwKSkKLQkJewotCQkgIHRlbSA9IGZvbGRfYnVpbGQyX2xvYyAo bG9jLCBCSVRfWE9SX0VYUFIsIHR5cGUsCi0JCQkJICAgICBUUkVFX09QRVJB TkQgKGFyZzAsIDApLCBtYXNrMSk7Ci0JCSAgcmV0dXJuIGZvbGRfYnVpbGQy X2xvYyAobG9jLCBNSU5VU19FWFBSLCB0eXBlLCB0ZW0sIG1hc2sxKTsKLQkJ fQotCSAgICB9Ci0JfQotCiAgICAgICAvKiBGb2xkIF9fY29tcGxleF9fICgg eCwgMCApIC0gX19jb21wbGV4X18gKCAwLCB5ICkgdG8KIAkgX19jb21wbGV4 X18gKCB4LCAteSApLiAgVGhpcyBpcyBub3QgdGhlIHNhbWUgZm9yIFNOYU5z IG9yIGlmCiAJIHNpZ25lZCB6ZXJvcyBhcmUgaW52b2x2ZWQuICAqLwpAQCAt MTAwMTMsMjggKzk5OTEsNiBAQCBmb2xkX2JpbmFyeV9sb2MgKGxvY2F0aW9u X3QgbG9jLAogCQkJCSAgICBhcmcxKTsKIAl9CiAKLSAgICAgIC8qIChYICYg flkpIHwgKH5YICYgWSkgaXMgWCBeIFkgKi8KLSAgICAgIGlmIChUUkVFX0NP REUgKGFyZzApID09IEJJVF9BTkRfRVhQUgotCSAgJiYgVFJFRV9DT0RFIChh cmcxKSA9PSBCSVRfQU5EX0VYUFIpCi0gICAgICAgIHsKLQkgIHRyZWUgYTAs IGExLCBsMCwgbDEsIG4wLCBuMTsKLQotCSAgYTAgPSBmb2xkX2NvbnZlcnRf bG9jIChsb2MsIHR5cGUsIFRSRUVfT1BFUkFORCAoYXJnMSwgMCkpOwotCSAg YTEgPSBmb2xkX2NvbnZlcnRfbG9jIChsb2MsIHR5cGUsIFRSRUVfT1BFUkFO RCAoYXJnMSwgMSkpOwotCi0JICBsMCA9IGZvbGRfY29udmVydF9sb2MgKGxv YywgdHlwZSwgVFJFRV9PUEVSQU5EIChhcmcwLCAwKSk7Ci0JICBsMSA9IGZv bGRfY29udmVydF9sb2MgKGxvYywgdHlwZSwgVFJFRV9PUEVSQU5EIChhcmcw LCAxKSk7Ci0JICAKLQkgIG4wID0gZm9sZF9idWlsZDFfbG9jIChsb2MsIEJJ VF9OT1RfRVhQUiwgdHlwZSwgbDApOwotCSAgbjEgPSBmb2xkX2J1aWxkMV9s b2MgKGxvYywgQklUX05PVF9FWFBSLCB0eXBlLCBsMSk7Ci0JICAKLQkgIGlm ICgob3BlcmFuZF9lcXVhbF9wIChuMCwgYTAsIDApCi0JICAgICAgICYmIG9w ZXJhbmRfZXF1YWxfcCAobjEsIGExLCAwKSkKLQkgICAgICB8fCAob3BlcmFu ZF9lcXVhbF9wIChuMCwgYTEsIDApCi0JCSAgJiYgb3BlcmFuZF9lcXVhbF9w IChuMSwgYTAsIDApKSkKLQkgICAgcmV0dXJuIGZvbGRfYnVpbGQyX2xvYyAo bG9jLCBCSVRfWE9SX0VYUFIsIHR5cGUsIGwwLCBuMSk7Ci0JfQotCiAgICAg ICAvKiBTZWUgaWYgdGhpcyBjYW4gYmUgc2ltcGxpZmllZCBpbnRvIGEgcm90 YXRlIGZpcnN0LiAgSWYgdGhhdAogCSBpcyB1bnN1Y2Nlc3NmdWwgY29udGlu dWUgaW4gdGhlIGFzc29jaWF0aW9uIGNvZGUuICAqLwogICAgICAgZ290byBi aXRfcm90YXRlOwpkaWZmIC0tZ2l0IGEvZ2NjL21hdGNoLnBkIGIvZ2NjL21h dGNoLnBkCmluZGV4IDk4ZjRiMmMuLjk4Yjg4NjIgMTAwNjQ0Ci0tLSBhL2dj Yy9tYXRjaC5wZAorKysgYi9nY2MvbWF0Y2gucGQKQEAgLTMyNSw2ICszMjUs MjQgQEAgYWxvbmcgd2l0aCBHQ0M7IHNlZSB0aGUgZmlsZSBDT1BZSU5HMy4g IElmIG5vdCBzZWUKICAgICAoaWYgKHJlYWxfaXNpbnRlZ2VyICgmVFJFRV9S RUFMX0NTVCAoQDEpLCAmbikgJiYgKG4gJiAxKSA9PSAwKQogICAgICAocG93 cyBAMCBAMSkpKSkpKQogCisvKiBGb2xkIChBICYgfkIpIC0gKEEgJiBCKSBp bnRvIChBIF4gQikgLSBCLiAgKi8KKyhzaW1wbGlmeQorIChtaW51czpjIChi aXRfYW5kOnMgQDAgKGJpdF9ub3QgQDEpKSAoYml0X2FuZDpzIEAwIEAxKSkK KyAgKG1pbnVzIChiaXRfeG9yIEAwIEAxKSBAMSkpCisoc2ltcGxpZnkKKyAo bWludXMgKGJpdF9hbmQ6cyBAMCBJTlRFR0VSX0NTVEAyKSAoYml0X2FuZDpz IEAwIElOVEVHRVJfQ1NUQDEpKQorIChpZiAod2k6OmJpdF9hbmQgKEAyLCBA MSkgPT0gMCkKKyAgKG1pbnVzIChiaXRfeG9yIEAwIEAxKSBAMSkpKQorCisv KiBTaW1wbGlmeSAoWCAmIH5ZKSB8ICh+WCAmIFkpIC0+IFggXiBZLiAgKi8K KyhzaW1wbGlmeQorIChiaXRfaW9yOmMgKGJpdF9hbmQ6YyBAMCAoYml0X25v dCBAMSkpIChiaXRfYW5kOmMgKGJpdF9ub3QgQDApIEAxKSkKKyAgKGJpdF94 b3IgQDAgQDEpKQorKHNpbXBsaWZ5CisgKGJpdF9pb3I6YyAoYml0X2FuZCBA MCBJTlRFR0VSX0NTVEAyKSAoYml0X2FuZCAoYml0X25vdCBAMCkgSU5URUdF Ul9DU1RAMSkpCisgKGlmICh3aTo6Yml0X2FuZCAoQDIsIEAxKSA9PSAwKQor ICAoYml0X3hvciBAMCBAMSkpKQorCiAvKiBYICUgWSBpcyBzbWFsbGVyIHRo YW4gWS4gICovCiAoZm9yIGNtcCAobHQgZ2UpCiAgKHNpbXBsaWZ5CkBAIC01 NDQsNyArNTYyLDcgQEAgYWxvbmcgd2l0aCBHQ0M7IHNlZSB0aGUgZmlsZSBD T1BZSU5HMy4gIElmIG5vdCBzZWUKIChtYXRjaCBuZWdhdGVfZXhwcl9wCiAg VkVDVE9SX0NTVAogIChpZiAoRkxPQVRfVFlQRV9QIChUUkVFX1RZUEUgKHR5 cGUpKSB8fCBUWVBFX09WRVJGTE9XX1dSQVBTICh0eXBlKSkpKQotIAorCiAv KiAtKEEgKyBCKSAtPiAoLUIpIC0gQS4gICovCiAoc2ltcGxpZnkKICAobmVn YXRlIChwbHVzOmMgQDAgbmVnYXRlX2V4cHJfcEAxKSkK --_002_BLUPR0701MB1011885C5BC5BCDCA113E29C8E380BLUPR0701MB1011_--