From: Robert Boyer <robertstephenboyer@gmail.com>
To: Andreas Schwab <schwab@linux-m68k.org>
Cc: 69249@debbugs.gnu.org, Eli Zaretskii <eliz@gnu.org>,
Andrea Corallo <acorallo@gnu.org>,
Stefan Monnier <monnier@iro.umontreal.ca>,
rms@gnu.org
Subject: bug#69249: bug in native-compile?
Date: Sun, 18 Feb 2024 16:25:30 -0600 [thread overview]
Message-ID: <CAP9n0TPj5EuELx5qtiCMzvtHFLmnNxjMsr3s1aY_KhUQnVc-Ag@mail.gmail.com> (raw)
In-Reply-To: <CAP9n0TMaXJvRdA3m+J4fyxMuTWmT07TOMwKt+noCR3c=XfzGhg@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 2758 bytes --]
And you should know what DECLARE and THE do for AREF. All the difference
in the world, and I will give you a simple demo if you wish.
Bob
On Sun, Feb 18, 2024 at 4:19 PM Robert Boyer <robertstephenboyer@gmail.com>
wrote:
> This message is about how important DECLARE and THE are. If you do not
> handle DECLARE and THE right, people will laugh at native-compile.
>
> Here is an SBCL transcript. I am running on a $100 Lenovo Chromebook.
>
> I got SBCL with the command sudo apt-get install sbcl.
>
> * (declaim (optimize (safety 0) (speed 3) (debug 0)))
> NIL
> * (defun foo-with-declare (n)
> (let ((i 0)
> (sum 0)
> (max (expt 10 n)))
> (declare (fixnum i sum max))
> (loop (cond ((<= i max)
> (setq sum (the fixnum (+ sum i))))
> (t (return sum)))
> (incf i))))
> FOO-WITH-DECLARE
> * (time (foo-with-declare 8))
> Evaluation took:
> 0.125 seconds of real time
> 0.123203 seconds of total run time (0.123193 user, 0.000010 system)
> 98.40% CPU
> 135,905,516 processor cycles
> 0 bytes consed
> 5000000050000000
> * (defun foo-without-declare (n)
> (let ((i 0)
> (sum 0)
> (max (expt 10 n)))
> (loop (cond ((<= i max)
> (setq sum (+ sum i)))
> (t (return sum)))
> (incf i))))
> WARNING: redefining COMMON-LISP-USER::FOO-WITHOUT-DECLARE in DEFUN
> FOO-WITHOUT-DECLARE
> * (time (foo-without-declare 8))
> Evaluation took:
> 1.080 seconds of real time
> 1.072932 seconds of total run time (1.072932 user, 0.000000 system)
> 99.35% CPU
> 1,181,369,303 processor cycles
> 0 bytes consed
> 5000000050000000
>
> People go wow about 8X. How does native-compile do?
>
> There is a great song by Alabama 'If you gonna play in Texas, you gotta
> have a fiddle in the band'. Check it out!
>
> https://www.youtube.com/watch?v=w6r4E514nJg
>
> Bob
>
>
> Bob
>
>
> On Sun, Feb 18, 2024 at 3:28 PM Andreas Schwab <schwab@linux-m68k.org>
> wrote:
>
>> On Feb 18 2024, Robert Boyer wrote:
>>
>> > Furthermore, such declare forms are necessary for life as we know it
>> > in the free world, so that fixnum arithmetic can be used where
>> > appropriate!
>>
>> If you are programming in Emacs Lisp, you need to follow the rules of
>> Emacs Lisp.
>>
>> --
>> Andreas Schwab, schwab@linux-m68k.org
>> GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1
>> "And now for something completely different."
>>
>
>
> --
> Anything I seem to state should be taken as a question. I am at least 77
> and feeble.
>
--
Anything I seem to state should be taken as a question. I am at least 77
and feeble.
[-- Attachment #2: Type: text/html, Size: 4809 bytes --]
next prev parent reply other threads:[~2024-02-18 22:25 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-02-18 4:26 bug#69249: bug in native-compile? Robert Boyer
2024-02-18 19:44 ` Eli Zaretskii
2024-02-18 20:14 ` Robert Boyer
2024-02-18 21:28 ` Andreas Schwab
2024-02-18 22:19 ` Robert Boyer
2024-02-18 22:25 ` Robert Boyer [this message]
2024-02-18 22:39 ` Robert Boyer
2024-02-19 3:30 ` Eli Zaretskii
2024-02-19 3:58 ` Robert Boyer
2024-02-19 7:48 ` Andrea Corallo
2024-02-19 12:49 ` Eli Zaretskii
2024-02-18 22:45 ` Michael Heerdegen via Bug reports for GNU Emacs, the Swiss army knife of text editors
2024-02-18 23:32 ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2024-02-18 23:42 ` Robert Boyer
2024-02-18 23:46 ` Robert Boyer
2024-02-19 15:13 ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
[not found] ` <CAP9n0TOTEZJy8VXeSyMZpT59u0a434_MiwBA0LrwgjH2xc44ww@mail.gmail.com>
2024-02-20 2:51 ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2024-02-20 3:42 ` Robert Boyer
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAP9n0TPj5EuELx5qtiCMzvtHFLmnNxjMsr3s1aY_KhUQnVc-Ag@mail.gmail.com \
--to=robertstephenboyer@gmail.com \
--cc=69249@debbugs.gnu.org \
--cc=acorallo@gnu.org \
--cc=eliz@gnu.org \
--cc=monnier@iro.umontreal.ca \
--cc=rms@gnu.org \
--cc=schwab@linux-m68k.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.