From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrea Corallo via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#42147: 28.0.50; pure vs side-effect-free, missing optimizations? Date: Fri, 3 Jul 2020 19:05:40 +0000 (UTC) Message-ID: <1374652931.3977142.1593803140551@mail.yahoo.com> References: <3A9CC2A3-8307-47B2-8D80-795C0AF020E1@acm.org> <0433A879-C98D-4B1A-B85C-A15DA9289099@acm.org> <1621669100.2102667.1593639091621@mail.yahoo.com> <775819003.2516724.1593687594435@mail.yahoo.com> <5F2B4684-34D1-4474-8909-9F435369FE54@acm.org> <705260433.2731607.1593698199171@mail.yahoo.com> <6CF8EE58-9A49-40E7-AA86-48AB39BF94BA@acm.org> <28B19D86-343C-4126-B95F-1F38735F73F2@acm.org> <1288c6a5-545b-f68c-ff6b-7683db3e54c1@cs.ucla.edu> Reply-To: Andrea Corallo Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_3977141_1588705637.1593803140550" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18702"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Paul Eggert , 42147@debbugs.gnu.org To: Stefan Monnier , Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Fri Jul 03 21:06:14 2020 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jrR0l-0004h4-NC for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 03 Jul 2020 21:06:11 +0200 Original-Received: from localhost ([::1]:59948 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jrR0k-0004Yp-L6 for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 03 Jul 2020 15:06:10 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:50976) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jrR0c-0004Yf-Uu for bug-gnu-emacs@gnu.org; Fri, 03 Jul 2020 15:06:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:46142) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jrR0c-00039X-LN for bug-gnu-emacs@gnu.org; Fri, 03 Jul 2020 15:06:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jrR0c-0005ip-ES for bug-gnu-emacs@gnu.org; Fri, 03 Jul 2020 15:06:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Andrea Corallo Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 03 Jul 2020 19:06:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42147 X-GNU-PR-Package: emacs Original-Received: via spool by 42147-submit@debbugs.gnu.org id=B42147.159380315121978 (code B ref 42147); Fri, 03 Jul 2020 19:06:02 +0000 Original-Received: (at 42147) by debbugs.gnu.org; 3 Jul 2020 19:05:51 +0000 Original-Received: from localhost ([127.0.0.1]:57688 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jrR0R-0005iQ-9y for submit@debbugs.gnu.org; Fri, 03 Jul 2020 15:05:51 -0400 Original-Received: from sonic304-23.consmr.mail.ir2.yahoo.com ([77.238.179.148]:39042) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jrR0O-0005i5-6b for 42147@debbugs.gnu.org; Fri, 03 Jul 2020 15:05:50 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.it; s=s2048; t=1593803141; bh=nCH/zPad0klm1kCjv9d9pAKgKNHI8i9NL4u27fqcUCQ=; h=Date:From:To:Cc:In-Reply-To:References:Subject:From:Subject; b=rXWTBoIMuw+/LSGRrbr/TUgylcUlkO3fXr/n5tocafjb0JO1zUlx087F02JFZROrzpyd2b+jC5bELCmlkFoWTSjhNRnw7zSyli8A0PPrz1mHBl5OD2pGscOmrVWs+JpLuzRTwwjOuSsrVZZn2kGlzEJrK7klahqhXXQWlOl95pR9wOvvfaJ0eXUC7UnvgLeRBmDTw1O+JfCrJA5n/L55V3xWlf9OIzya/TyGwhYUz948efB5BzcmE+WrfxkrKT+xNDgkx316qvfQE+uDVG35mL9kH4WoIJ/3DvDpAJm8drxuqVZDEyC9iSuZkDsEeOYcgrtPxAzCXZgwnFptVMUT4Q== X-YMail-OSG: AyUtZvQVM1lnSQV600VnMdA7cf_7ZNyqhqZ2H0j54SS_bya2_LJDluzZYfCdaqj Ifz5NpOMQKejxair_9g2xougG1VCsZHf34Yv9qRpdE6VlCQW47EVSLKr6wl115AXIiWgpt6lH_CW .pwdKT138Z_tExl3SdHUwHaJcZUabOSPiLCVMLz3UDvvyKYEayHTvDrdEh7EbdT3yoYjP8Lptvb3 2Lxnr.zwsrYoz63GVkg2GVK5d77ASeCRN.JwZpiGlNm1jFpbvC95BmOa87EEaX13k1fbFs.zkYNi sQhhqRtmKFI3biZTsPurXeZaM_8X4E4WK_7ft315Njkfrnkiy6vhgCheHL9KSAwQ0xUYbILm30gb tyem3ZeNsRA6njY6pLIo7RxKCdYGtMckc3CYGjuVMNEfgOispdXtpuYEUoI3zi3HRX.CudoiVZEn wo06.NKM_0JDbTQLpK3O41mhXRMtREC_fvc9vMPrPvUmg2VYmJyutupZiZOiwVbh.Pme1xFhoxxx FMg3Ajk4k0wrH.dfezvXe8W7m2jteUW.Zpx1gFn5_otOOuXqgRPbJmgJmX3vNRqHwC43RGcU5dBu YLk43iRvfhRzL14GYXQpfMObJsirISxZpl89cLq_or.BUrE6Vj_4i6EeCRzYU5E3W9BSxE7eG5Sf MooayYK7mpoaHl8IXfqpYQEjh2pgkVSE1Srbx3MnSMudVHjZhDBTK3DzL3IGbNTLL3SYD8g.mJle 6r01WBExL.JIlpHv0nrVa8jpRids4A3tfphA_4hNMVwm2efBcxwZZJzw1X9g1NR7GQU47zd6ipeG hW2tlWzTxaCFAuPiGXmJV0idEYgn5pBt2z7Fn9q7Gz Original-Received: from sonic.gate.mail.ne1.yahoo.com by sonic304.consmr.mail.ir2.yahoo.com with HTTP; Fri, 3 Jul 2020 19:05:41 +0000 In-Reply-To: X-Mailer: WebService/1.1.16197 YMailNorrin Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:70.0) Gecko/20100101 Firefox/70.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:182672 Archived-At: ------=_Part_3977141_1588705637.1593803140550 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Mattias Engdeg=C3=A5rd writes: > This will be fixed automatically by marking + as pure; the same should be= done for the other arithmetic functions. Hi, attached the updated version of the patch updating the pure function classification. Please have a look. Thanks =C2=A0 Andrea ------=_Part_3977141_1588705637.1593803140550 Content-Type: text/x-patch Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="0001-Add-a-number-of-functions-to-pure-fns-bug-42147.patch" Content-ID: <91e29c1e-aa18-bc92-394f-1c25d52f825d@yahoo.com> RnJvbSBmNmI3Nzk0ZWY3MmE3ODhlY2I5ZTY3MzFiMTBmYTg0OTU1OWYyMGEyIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBBbmRyZWEgQ29yYWxsbyA8YWtybEBzZGYub3JnPgpEYXRlOiBX ZWQsIDEgSnVsIDIwMjAgMTA6MDc6NTcgKzAyMDAKU3ViamVjdDogW1BBVENIXSAqIEFkZCBhIG51 bWJlciBvZiBmdW5jdGlvbnMgdG8gcHVyZS1mbnMgKGJ1ZyM0MjE0NykKCgkqIGxpc3AvZW1hY3Mt bGlzcC9ieXRlLW9wdC5lbCAocHVyZS1mbnMpOiBBZGQ6IC89LCA8LCA8PSwgPSwKCT4sID49LCBh YnMsIGFycmF5cCwgYXNoLCBhc3NvYywgYXNzcSwgYm9vbC12ZWN0b3ItcAoJY2hhci1vci1zdHJp bmctcCwgY2hhcmFjdGVycCwgY29uc3AsIGVxLCBlcWwsIGVxdWFsLCBleHB0LAoJZmxvYXRwLCBo YXNoLXRhYmxlLXAsIGlkZW50aXR5LCBpbnRlZ2VyLW9yLW1hcmtlci1wLCBpbnRlZ2VycCwKCWtl eXdvcmRwLCBsZW5ndGgsIGxpc3RwLCBtZW1iZXIsIG1lbXEsIG1lbXFsLCBtb2QsIG5hdG51bXAs CglubGlzdHAsIG5vdCwgbnVsbCwgbnVtYmVyLW9yLW1hcmtlci1wLCBudW1iZXJwLCBwcm9wZXIt bGlzdC1wLAoJcmFzc3EsIHNhZmUtbGVuZ3RoLCBzZXF1ZW5jZXAsIHN0cmluZy1lcXVhbCwgc3Ry aW5nLWxlc3NwLAoJc3RyaW5nPCwgc3RyaW5nPSwgc3RyaW5ncCwgc3ltYm9scCwgdmVjdG9ycC4K LS0tCiBsaXNwL2VtYWNzLWxpc3AvYnl0ZS1vcHQuZWwgfCAxMSArKysrKysrKy0tLQogMSBmaWxl IGNoYW5nZWQsIDggaW5zZXJ0aW9ucygrKSwgMyBkZWxldGlvbnMoLSkKCmRpZmYgLS1naXQgYS9s aXNwL2VtYWNzLWxpc3AvYnl0ZS1vcHQuZWwgYi9saXNwL2VtYWNzLWxpc3AvYnl0ZS1vcHQuZWwK aW5kZXggMTJiZGU4ZmFmMy4uYzE5MWY0MzhhNCAxMDA2NDQKLS0tIGEvbGlzcC9lbWFjcy1saXNw L2J5dGUtb3B0LmVsCisrKyBiL2xpc3AvZW1hY3MtbGlzcC9ieXRlLW9wdC5lbApAQCAtMTMwNyw5 ICsxMzA3LDE0IEBAIGJ5dGUtb3B0aW1pemUtc2V0CiA7OyB2YWx1ZXMgaWYgYSBtYXJrZXIgaXMg bW92ZWQuCiAKIChsZXQgKChwdXJlLWZucwotICAgICAgICcoJSBjb25jYXQgbG9nYW5kIGxvZ2Nv dW50IGxvZ2lvciBsb2dub3QgbG9neG9yCi0JIHJlZ2V4cC1vcHQgcmVnZXhwLXF1b3RlCi0JIHN0 cmluZy10by1jaGFyIHN0cmluZy10by1zeW50YXggc3ltYm9sLW5hbWUpKSkKKyAgICAgICAnKCUg Lz0gPCA8PSA9ID4gPj0gYWJzIGFycmF5cCBhc2ggYXNzb2MgYXNzcSBib29sLXZlY3Rvci1wCisg ICAgICAgICBjaGFyLW9yLXN0cmluZy1wIGNoYXJhY3RlcnAgY29uY2F0IGNvbnNwIGVxIGVxbCBl cXVhbCBleHB0IGZsb2F0cAorICAgICAgICAgaGFzaC10YWJsZS1wIGlkZW50aXR5IGludGVnZXIt b3ItbWFya2VyLXAgaW50ZWdlcnAga2V5d29yZHAgbGVuZ3RoCisgICAgICAgICBsaXN0cCBsb2dh bmQgbG9nY291bnQgbG9naW9yIGxvZ25vdCBsb2d4b3IgbWVtYmVyIG1lbXEgbWVtcWwgbW9kCisg ICAgICAgICBuYXRudW1wIG5saXN0cCBub3QgbnVsbCBudW1iZXItb3ItbWFya2VyLXAsIG51bWJl cnAgcHJvcGVyLWxpc3QtcAorICAgICAgICAgcmFzc3EgcmVnZXhwLW9wdCByZWdleHAtcXVvdGUg c2FmZS1sZW5ndGggc2VxdWVuY2VwIHN0cmluZy1lcXVhbAorICAgICAgICAgc3RyaW5nLWxlc3Nw IHN0cmluZy10by1jaGFyIHN0cmluZy10by1zeW50YXggc3RyaW5nPCBzdHJpbmc9IHN0cmluZ3AK KyAgICAgICAgIHN5bWJvbC1uYW1lIHN5bWJvbHAgdmVjdG9ycCkpKQogICAod2hpbGUgcHVyZS1m bnMKICAgICAocHV0IChjYXIgcHVyZS1mbnMpICdwdXJlIHQpCiAgICAgKHNldHEgcHVyZS1mbnMg KGNkciBwdXJlLWZucykpKQotLSAKMi4xNy4xCgo= ------=_Part_3977141_1588705637.1593803140550--