Mark H Weaver <mhw@HIDDEN>
to control <at> debbugs.gnu.org.
Full text available.Received: (at 14047) by debbugs.gnu.org; 27 Mar 2013 20:42:36 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Wed Mar 27 16:42:36 2013 Received: from localhost ([127.0.0.1]:48299 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1UKxB5-0004cz-RR for submit <at> debbugs.gnu.org; Wed, 27 Mar 2013 16:42:36 -0400 Received: from zhhdzmsp-smta18.bluewin.ch ([195.186.227.133]:42102) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from <daniel.llorens@HIDDEN>) id 1UKxB1-0004cm-Mp for 14047 <at> debbugs.gnu.org; Wed, 27 Mar 2013 16:42:32 -0400 Received: from [195.186.99.130] ([195.186.99.130:40776] helo=zhbdzmsp-smta11.bluewin.ch) by zhhdzmsp-smta18.bluewin.ch (envelope-from <daniel.llorens@HIDDEN>) (ecelerity 2.2.3.47 r(39824M)) with ESMTP id 89/27-12532-32953515; Wed, 27 Mar 2013 20:40:04 +0000 Received: from [10.0.1.10] (62.203.231.207) by zhbdzmsp-smta11.bluewin.ch (8.5.142) (authenticated as dll@HIDDEN) id 510085AB059A5C71; Wed, 27 Mar 2013 20:40:03 +0000 Subject: Re: bug#14047: more aggressive inlining Mime-Version: 1.0 (Apple Message framework v1085) Content-Type: text/plain; charset=iso-8859-1 From: Daniel Llorens <daniel.llorens@HIDDEN> In-Reply-To: <87hajwmygl.fsf@HIDDEN> Date: Wed, 27 Mar 2013 21:40:02 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <ADB89AF6-B98F-49FE-B1CE-FB4F598E6A67@HIDDEN> References: <mailman.153.1351958430.10005.guile-devel@HIDDEN> <0F432FA1-CFF8-4A22-A477-5291A1B9925D@HIDDEN> <87ip9mgzp4.fsf@HIDDEN> <878v7m5xdh.fsf@HIDDEN> <2E5FFE0D-9001-409C-BCD4-9EE3BF9883F0@HIDDEN> <87mww0nu8l.fsf@HIDDEN> <2D31D517-08F8-4D07-84DB-098E335AE0AD@HIDDEN> <874nh9boqe.fsf@HIDDEN> <96617E9F-D83C-48EE-B84D-7CD45C4181C2@HIDDEN> <CA+U71=Pj1Ywr1Ay+w-u1jWd4ZZ8Xk1b27YEg-ME8JRVchYRuCA@HIDDEN> <441E015F-F545-48DF-AF96-E1FEA64F64A3@HIDDEN> <CA+U71=MvGqHWqLgF5BOUiVCmimwPChmRwehJ0VQhACEPBDLzTg@HIDDEN> <14C63C7B-DEA6-4C0C-AB18-17695BC5FAD3@HIDDEN> <87k3prlai3.fsf@HIDDEN> <18DDEE8E-F660-4D33-82A6-5F51E75A967A@HIDDEN> <87hajwmygl.fsf@HIDDEN> To: Andy Wingo <wingo@HIDDEN> X-Mailer: Apple Mail (2.1085) X-Spam-Score: -2.0 (--) X-Debbugs-Envelope-To: 14047 Cc: 14047 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Sender: debbugs-submit-bounces <at> debbugs.gnu.org Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org X-Spam-Score: -3.9 (---) On Mar 27, 2013, at 20:31, Andy Wingo wrote: > If you would like to make a precise list, that would be helpful. At least everything from =A76.6.2.7 to =A76.6.2.13 in = http://www.gnu.org/software/guile/manual/html_node/ I've noticed that a few of these are already reduced, it seems quite = random. For example everything in =A76.6.2.8 is reduced, then logand is = reduced but logior is not. odd? * even? * quotient modulo remainder gcd lcm modulo-expt exact-integer-sqrt make-rectangular make-polar real-part imag-part magnitude angle abs min max truncate round floor ceiling euclidean/, -quotient, -remainder floor/, -quotient, -remainder ceiling/, -quotient, -remainder truncate/, -quotient, -remainder centered/, -quotient, -remainder round/, -quotient, -remainder sqrt expt sin cos tan asin acos atan exp log log10 sinh cosh tanh asinh acosh atanh logand * logior lognot * logtest ash * logcount integer-length integer-expt bit-extract
bug-guile@HIDDEN:bug#14047; Package guile.
Full text available.Received: (at 14047) by debbugs.gnu.org; 27 Mar 2013 19:33:56 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Wed Mar 27 15:33:56 2013 Received: from localhost ([127.0.0.1]:48164 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1UKw6e-0001rv-5m for submit <at> debbugs.gnu.org; Wed, 27 Mar 2013 15:33:56 -0400 Received: from a-pb-sasl-quonix.pobox.com ([208.72.237.25]:42580 helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from <wingo@HIDDEN>) id 1UKw6a-0001rk-NI for 14047 <at> debbugs.gnu.org; Wed, 27 Mar 2013 15:33:55 -0400 Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTP id 112B0CA99; Wed, 27 Mar 2013 15:31:26 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=5ysXnmOFkGAXKj+kBzEoS+f790c=; b=EjpAFk ViLfLue5+OKkJ4T6+kzWIMVOqF/x0Trwzyg2JfwvoN3pEJdTUsQm3ICOwSO0Q9nq DJ2Dns9K1dZQtatZI7wCZ0gbIuHsURXB5yakRsTYmSKE4OBVfnJuVECQUStEVMnF cDLpdX61L+r/CGGzUeCkgSJ6iR+JLH7m60GIg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=ow9DWtKqAfRdgrDgxwXh5UF1iDBgt5WQ hNUPGSzrNXoza86oWsTzvD8vRo8gw+adXpnRWIgkildOqu76QVt/hkGJrgOmyR19 3kS7jKdoaVj6P/hDiVjB2TmR4UWMArTl+tY3rc8p3xgVvtH4zGnJosvDWqV8wY8h E4W+Zcf4jqc= Received: from a-pb-sasl-quonix.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTP id 08085CA98; Wed, 27 Mar 2013 15:31:26 -0400 (EDT) Received: from badger (unknown [88.160.190.192]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTPSA id 822C9CA96; Wed, 27 Mar 2013 15:31:25 -0400 (EDT) From: Andy Wingo <wingo@HIDDEN> To: Daniel Llorens <daniel.llorens@HIDDEN> Subject: Re: bug#14047: more aggressive inlining References: <mailman.153.1351958430.10005.guile-devel@HIDDEN> <0F432FA1-CFF8-4A22-A477-5291A1B9925D@HIDDEN> <87ip9mgzp4.fsf@HIDDEN> <878v7m5xdh.fsf@HIDDEN> <2E5FFE0D-9001-409C-BCD4-9EE3BF9883F0@HIDDEN> <87mww0nu8l.fsf@HIDDEN> <2D31D517-08F8-4D07-84DB-098E335AE0AD@HIDDEN> <874nh9boqe.fsf@HIDDEN> <96617E9F-D83C-48EE-B84D-7CD45C4181C2@HIDDEN> <CA+U71=Pj1Ywr1Ay+w-u1jWd4ZZ8Xk1b27YEg-ME8JRVchYRuCA@HIDDEN> <441E015F-F545-48DF-AF96-E1FEA64F64A3@HIDDEN> <CA+U71=MvGqHWqLgF5BOUiVCmimwPChmRwehJ0VQhACEPBDLzTg@HIDDEN> <14C63C7B-DEA6-4C0C-AB18-17695BC5FAD3@HIDDEN> <87k3prlai3.fsf@HIDDEN> <18DDEE8E-F660-4D33-82A6-5F51E75A967A@HIDDEN> Date: Wed, 27 Mar 2013 20:31:22 +0100 In-Reply-To: <18DDEE8E-F660-4D33-82A6-5F51E75A967A@HIDDEN> (Daniel Llorens's message of "Mon, 25 Mar 2013 10:42:25 +0100") Message-ID: <87hajwmygl.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Pobox-Relay-ID: EA0FBB42-9714-11E2-99B0-782E0E5B5709-02397024!a-pb-sasl-quonix.pobox.com X-Spam-Score: -3.2 (---) X-Debbugs-Envelope-To: 14047 Cc: 14047 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Sender: debbugs-submit-bounces <at> debbugs.gnu.org Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org X-Spam-Score: -3.2 (---) On Mon 25 Mar 2013 10:42, Daniel Llorens <daniel.llorens@HIDDEN> writes: >> On Fri 01 Mar 2013 10:01, Daniel Llorens <daniel.llorens@HIDDEN> writes: >> >>> scheme@(guile-user)> ,optimize (vector-ref #(1 2 3) 0) >>> $1 = 1 >>> scheme@(guile-user)> ,optimize (array-ref #(1 2 3) 0) >>> $2 = (array-ref '#(1 2 3) 0) >> >> File a bug for this case, this sort of thing is totally fixable :) > > So I think this use of array-ref should be inlined. > > Same for other simple functions such as e.g. > > scheme@(guile-user)> ,optimize (real-part 1+1i) > $1 = (real-part 1.0+1.0i) > scheme@(guile-user)> > > imag-part, magnitude, and so on. If you would like to make a precise list, that would be helpful. Cheers, A -- http://wingolog.org/
bug-guile@HIDDEN:bug#14047; Package guile.
Full text available.Received: (at submit) by debbugs.gnu.org; 25 Mar 2013 09:44:57 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Mon Mar 25 05:44:57 2013 Received: from localhost ([127.0.0.1]:44280 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1UK3xZ-0008FV-6M for submit <at> debbugs.gnu.org; Mon, 25 Mar 2013 05:44:57 -0400 Received: from eggs.gnu.org ([208.118.235.92]:39346) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from <daniel.llorens@HIDDEN>) id 1UK3xW-0008FO-QB for submit <at> debbugs.gnu.org; Mon, 25 Mar 2013 05:44:55 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <daniel.llorens@HIDDEN>) id 1UK3vM-0004Cw-HC for submit <at> debbugs.gnu.org; Mon, 25 Mar 2013 05:42:42 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-103.9 required=5.0 tests=BAYES_00, RCVD_IN_DNSWL_LOW, RP_MATCHES_RCVD,USER_IN_WHITELIST autolearn=unavailable version=3.3.2 Received: from lists.gnu.org ([208.118.235.17]:46735) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <daniel.llorens@HIDDEN>) id 1UK3vM-0004Cs-D4 for submit <at> debbugs.gnu.org; Mon, 25 Mar 2013 05:42:40 -0400 Received: from eggs.gnu.org ([208.118.235.92]:50659) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from <daniel.llorens@HIDDEN>) id 1UK3vH-0007cz-5A for bug-guile@HIDDEN; Mon, 25 Mar 2013 05:42:40 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <daniel.llorens@HIDDEN>) id 1UK3vC-0004Am-IW for bug-guile@HIDDEN; Mon, 25 Mar 2013 05:42:35 -0400 Received: from zhhdzmsp-smta16.bluewin.ch ([195.186.227.132]:41366) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <daniel.llorens@HIDDEN>) id 1UK3vC-00049c-Ax for bug-guile@HIDDEN; Mon, 25 Mar 2013 05:42:30 -0400 Received: from [195.186.99.130] ([195.186.99.130:59581] helo=zhbdzmsp-smta11.bluewin.ch) by zhhdzmsp-smta16.bluewin.ch (envelope-from <daniel.llorens@HIDDEN>) (ecelerity 2.2.3.47 r(39824M)) with ESMTP id FB/63-25143-30C10515; Mon, 25 Mar 2013 09:42:27 +0000 Received: from [172.16.96.17] (62.2.203.131) by zhbdzmsp-smta11.bluewin.ch (8.5.142) (authenticated as dll@HIDDEN) id 510085AB055A5616 for bug-guile@HIDDEN; Mon, 25 Mar 2013 09:42:27 +0000 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Apple Message framework v1085) Subject: more aggressive inlining From: Daniel Llorens <daniel.llorens@HIDDEN> In-Reply-To: <87k3prlai3.fsf@HIDDEN> Date: Mon, 25 Mar 2013 10:42:25 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <18DDEE8E-F660-4D33-82A6-5F51E75A967A@HIDDEN> References: <mailman.153.1351958430.10005.guile-devel@HIDDEN> <0F432FA1-CFF8-4A22-A477-5291A1B9925D@HIDDEN> <87ip9mgzp4.fsf@HIDDEN> <878v7m5xdh.fsf@HIDDEN> <2E5FFE0D-9001-409C-BCD4-9EE3BF9883F0@HIDDEN> <87mww0nu8l.fsf@HIDDEN> <2D31D517-08F8-4D07-84DB-098E335AE0AD@HIDDEN> <874nh9boqe.fsf@HIDDEN> <96617E9F-D83C-48EE-B84D-7CD45C4181C2@HIDDEN> <CA+U71=Pj1Ywr1Ay+w-u1jWd4ZZ8Xk1b27YEg-ME8JRVchYRuCA@HIDDEN> <441E015F-F545-48DF-AF96-E1FEA64F64A3@HIDDEN> <CA+U71=MvGqHWqLgF5BOUiVCmimwPChmRwehJ0VQhACEPBDLzTg@HIDDEN> <14C63C7B-DEA6-4C0C-AB18-17695BC5FAD3@HIDDEN> <87k3prlai3.fsf@HIDDEN> To: bug-guile@HIDDEN X-Mailer: Apple Mail (2.1085) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 208.118.235.17 X-Spam-Score: -4.2 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Sender: debbugs-submit-bounces <at> debbugs.gnu.org Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org X-Spam-Score: -6.9 (------) On Mar 1, 2013, at 10:44, Andy Wingo wrote: > On Fri 01 Mar 2013 10:01, Daniel Llorens <daniel.llorens@HIDDEN> = writes: >=20 >> scheme@(guile-user)> ,optimize (vector-ref #(1 2 3) 0) >> $1 =3D 1 >> scheme@(guile-user)> ,optimize (array-ref #(1 2 3) 0) >> $2 =3D (array-ref '#(1 2 3) 0) >=20 > File a bug for this case, this sort of thing is totally fixable :) So I think this use of array-ref should be inlined. Same for other simple functions such as e.g. scheme@(guile-user)> ,optimize (real-part 1+1i) $1 =3D (real-part 1.0+1.0i) scheme@(guile-user)>=20 imag-part, magnitude, and so on.
Daniel Llorens <daniel.llorens@HIDDEN>:bug-guile@HIDDEN.
Full text available.bug-guile@HIDDEN:bug#14047; Package guile.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.