GNU bug report logs - #14047
more aggressive inlining

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guile; Severity: wishlist; Reported by: Daniel Llorens <daniel.llorens@HIDDEN>; dated Mon, 25 Mar 2013 09:45:02 UTC; Maintainer for guile is bug-guile@HIDDEN.
Severity set to 'wishlist' from 'normal' Request was from Mark H Weaver <mhw@HIDDEN> to control <at> debbugs.gnu.org. Full text available.

Message received at 14047 <at> debbugs.gnu.org:


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







Information forwarded to bug-guile@HIDDEN:
bug#14047; Package guile. Full text available.

Message received at 14047 <at> debbugs.gnu.org:


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/




Information forwarded to bug-guile@HIDDEN:
bug#14047; Package guile. Full text available.

Message received at submit <at> debbugs.gnu.org:


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.






Acknowledgement sent to Daniel Llorens <daniel.llorens@HIDDEN>:
New bug report received and forwarded. Copy sent to bug-guile@HIDDEN. Full text available.
Report forwarded to bug-guile@HIDDEN:
bug#14047; Package guile. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Fri, 31 Oct 2014 17:00:04 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.