Eli Zaretskii <eliz@HIDDEN>
to control <at> debbugs.gnu.org.
Full text available.Received: (at 69249) by debbugs.gnu.org; 19 Feb 2024 12:49:55 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 19 07:49:55 2024 Received: from localhost ([127.0.0.1]:40633 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rc35n-0004UE-8Y for submit <at> debbugs.gnu.org; Mon, 19 Feb 2024 07:49:55 -0500 Received: from eggs.gnu.org ([209.51.188.92]:55482) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <eliz@HIDDEN>) id 1rc35k-0004Tt-GJ; Mon, 19 Feb 2024 07:49:53 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <eliz@HIDDEN>) id 1rc35J-0007Q7-BO; Mon, 19 Feb 2024 07:49:25 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=DusOLTQVA8iTzn8NsUgfQHPEi3OMJ+03ah2Pp5k9qj8=; b=pmW2WcUJA2ox wtc8IZrtox4JZgvXv2baaM/rPi72/5g+U2sCCHOSOB0Fto/4hlPh+HxC/9aN2h9UlzQLDOgu/DOPI mXqQWsqMYxtuYYmXSyCOM3udelu9pRzmgPfSeBVAvG5cpCOhm1aFuOngI/h7LAoxiahPz/XEI6ST5 +Z4H1V+iCBZIizQhwlYaJPo2RA4yR44ut48KTH1R/U8u0FfKeAV0oMls1O5wM8GUTfJ3+AoI6NLA0 wcS55SG4iYHXvXDvBgRhgwXedr0v7A2lHSf8VrfnCPPmSyXE9uOi1R5DIv9Q1jOJ/BHQg/u0JbG3r IiGwzUytQ0X5BCvNWBwQ5w==; Date: Mon, 19 Feb 2024 14:49:16 +0200 Message-Id: <86ttm4pqk3.fsf@HIDDEN> From: Eli Zaretskii <eliz@HIDDEN> To: Andrea Corallo <acorallo@HIDDEN> In-Reply-To: <yp1le7gao7p.fsf@HIDDEN> (message from Andrea Corallo on Mon, 19 Feb 2024 02:48:58 -0500) Subject: Re: bug#69249: bug in native-compile? References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> <86h6i5r20h.fsf@HIDDEN> <yp1le7gao7p.fsf@HIDDEN> X-Spam-Score: -4.2 (----) X-Debbugs-Envelope-To: 69249 Cc: robertstephenboyer@HIDDEN, monnier@HIDDEN, rms@HIDDEN, 69249 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -5.2 (-----) severity 69249 wishlist thanks > From: Andrea Corallo <acorallo@HIDDEN> > Cc: Robert Boyer <robertstephenboyer@HIDDEN>, Stefan Monnier > <monnier@HIDDEN>, 69249 <at> debbugs.gnu.org, rms@HIDDEN > Date: Mon, 19 Feb 2024 02:48:58 -0500 > > Eli Zaretskii <eliz@HIDDEN> writes: > > > Where did you see these declare forms documented? I don't see them in > > the ELisp Reference manual. I think you copied them from some other > > Lisp. In which case Emacs is correct telling you that these declare > > forms are unknown. > > > > Andrea, Stefan: am I right? > > Hi Eli, > > yes you are correct, we don't support this (so far at least). OK, thanks. So I'm changing this bug's severity to "wishlist", as appropriate for feature requests.
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.Received: (at 69249) by debbugs.gnu.org; 19 Feb 2024 07:51:51 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 19 02:51:51 2024 Received: from localhost ([127.0.0.1]:40284 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rbyRK-0007UE-VC for submit <at> debbugs.gnu.org; Mon, 19 Feb 2024 02:51:51 -0500 Received: from eggs.gnu.org ([209.51.188.92]:45984) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <acorallo@HIDDEN>) id 1rbyRI-0007U1-Eo for 69249 <at> debbugs.gnu.org; Mon, 19 Feb 2024 02:51:49 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <acorallo@HIDDEN>) id 1rbyOm-0003Ln-5f; Mon, 19 Feb 2024 02:49:12 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=lERvxmZOKtAuMgEHw0tItKGroaybjhPZQNIASnGYXY8=; b=e2VE/JocARbz7XmWFYIu oGD1UlRa7LHi/0JqyDLzfqVno1E8xcLTPvjZGIHQ2x+zkbCsPpEaedQAbUXdxg2DT20iMkUznf/sS nvAdyQRMfSmj/YpgGvOJDhS20XwH20lq9rxQWxLi1q0rF+0s4gIKW6m1HN/oAILwYhS5O5XaPyfWF ULHX7c1fxqwhrkUFD6MPSd6RHFGZLnSn+5jv8bYfqN8GV+z7RjabBdV3j2uAk4g+nY/hAJRYGh32q c9gV3YYSMPjB/WmzVRgFwbwT49ZuK5WlwPHH6spMlPShxSoNcfbIYsbJJMgCurbAK7WJ06I0bji03 eqitOI7q3FlLjA==; Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from <acorallo@HIDDEN>) id 1rbyOY-0004sz-4y; Mon, 19 Feb 2024 02:48:59 -0500 From: Andrea Corallo <acorallo@HIDDEN> To: Eli Zaretskii <eliz@HIDDEN> Subject: Re: bug#69249: bug in native-compile? In-Reply-To: <86h6i5r20h.fsf@HIDDEN> (Eli Zaretskii's message of "Sun, 18 Feb 2024 21:44:14 +0200") References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> <86h6i5r20h.fsf@HIDDEN> Date: Mon, 19 Feb 2024 02:48:58 -0500 Message-ID: <yp1le7gao7p.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -4.2 (----) X-Debbugs-Envelope-To: 69249 Cc: Robert Boyer <robertstephenboyer@HIDDEN>, Stefan Monnier <monnier@HIDDEN>, rms@HIDDEN, 69249 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -5.2 (-----) Eli Zaretskii <eliz@HIDDEN> writes: >> Cc: rms@HIDDEN >> From: Robert Boyer <robertstephenboyer@HIDDEN> >> Date: Sat, 17 Feb 2024 22:26:27 -0600 >>=20 >> Here is a report on what seems to me to be a bug in native-compile. >>=20 >> ---------------------------------------------------------------------- >>=20 >> ;; Let us suppose that this is the file "compile-bug.el" >>=20 >> ;; Invoking (native-compile "compile-bug.el") should work, I do believe. >> ;; However it fails and the error message is printed below. >>=20 >> ;; It cannot be emphasized enough how serious this problem seems to me, = Bob >> ;; Boyer, robertstephenboyer@HIDDEN >>=20 >> ;; The reason it is so SERIOUS is that ANY Lisp compiler would need to be >> ;; delighted to see such a typing expression as >>=20 >> ;; (declare (fixnum start end) (vector input scratch)) >>=20 >> ;; Why? BECAUSE it means that the compiler does not have to lay down cod= e to >> ;; type check the type of start, end, input, and scratch!!!! >>=20 >> ;; However, (native-compile "compile-bug.el") results in the following e= rror message: >>=20 >> ;; Compiling file /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compil= e-bug.el at Fri Feb 16 08:25:19 >> 2024 >> ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98fixnum= =E2=80=99 in foo >> ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98vector= =E2=80=99 in foo >>=20 >> (defun foo (start end input scratch) >> (declare (fixnum start end) (vector input scratch)) >> (list start end input scratch)) >>=20 >> ;; foo works fine >>=20 >> ;; Here is an example form for the invocation of foo: >>=20 >> ;; (foo 1 2 (make-vector 3 4) (make-vector 5 6)) >>=20 >> ;; That form runs ok if it is running with foo interpreted. >>=20 >> ;; (byte-compile 'foo) runs ok. >>=20 >> ;; One can run the same form after byte-compiling and it runs ok. >>=20 >> ;; However, (native-compile "compile-bug.el") fails with >> ;; the error report: >>=20 >> ;; Compiling file /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compil= e-bug.el at Fri Feb 16 08:35:04 >> 2024 >> ;; compile-bug.el:12:45: Warning: Unknown defun property =E2=80=98fixnum= =E2=80=99 in foo >> ;; compile-bug.el:12:45: Warning: Unknown defun property =E2=80=98vector= =E2=80=99 in foo > > Where did you see these declare forms documented? I don't see them in > the ELisp Reference manual. I think you copied them from some other > Lisp. In which case Emacs is correct telling you that these declare > forms are unknown. > > Andrea, Stefan: am I right? Hi Eli, yes you are correct, we don't support this (so far at least). Andrea
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.Received: (at 69249) by debbugs.gnu.org; 19 Feb 2024 04:11:17 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 23:11:17 2024 Received: from localhost ([127.0.0.1]:40132 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rbuzs-000473-33 for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 23:11:17 -0500 Received: from mail-lf1-f54.google.com ([209.85.167.54]:44503) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <robertstephenboyer@HIDDEN>) id 1rbupv-0003s9-Nr for 69249 <at> debbugs.gnu.org; Sun, 18 Feb 2024 23:01:01 -0500 Received: by mail-lf1-f54.google.com with SMTP id 2adb3069b0e04-511ac32fe38so5759002e87.1 for <69249 <at> debbugs.gnu.org>; Sun, 18 Feb 2024 20:00:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708315173; x=1708919973; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=PCH+M4qQy/ba7V4y8HU2f5c5Hddm6JaYW3bcr9Qgcs0=; b=OkUURD+GIiuSC+WmROMRSHOFjK4xc+S9Q3agibT0r+NkEznU2HRIIuWnYvYUzPjKdh kKueEsgrEy7ttVmLzMchSMOxmHzBbcRilEB6n/Kp1K3BSlrSyp3ONAjedGPctcbXqE6I AKFNWeE1bacYmubWAj9oAIUzW7tWc9pKHXocAh9RWFCSbDP+InAZGV4hpkz5Xy8oE9AC UGB2RUVR7l5sw9y5Xwe5NRg2z2IN9d4MJ+9GBV/RmGY/ijH96uuMlgeuPTDtMDa2gh/U 0xZ8/kCiZPZK3kpWbT5rZvODO1aLYNqVDDOCBvijF0u6VGI3bZpER9NZxTSSKH3wL1hJ IzFQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708315173; x=1708919973; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=PCH+M4qQy/ba7V4y8HU2f5c5Hddm6JaYW3bcr9Qgcs0=; b=FYnMEpmZRI+8baMmFL5Ahkb4PC/k6RFyU4McOmMHoxPML4Vd/zPZyjzGV/Fe7GnDWW UyNmJhERCgQts/vr9HWQOe5U/XgJRN2yoNOJZG8/lSNebKuxPHVPltc/mwHfrvv38p6y xT7rw19kKmaFnjnOM5wN4LJDxmCCnnvva1jHDd15KbkC7Tqjf4cfg5HwJKMWgh/tF0A1 d163C0bKboCe677h20Dc/clCRu69wnjTdX2LJOkRkrRKx1diXPOCHFauLfw4ytP3796T T1RQqBaBqQXWgfgswaKmV7w1Ml6HzSHq4huMis9dGo2HwPsJgsJ/0vsYzoqBNKxMwvt5 T4tQ== X-Forwarded-Encrypted: i=1; AJvYcCVvr/U321VDeDLnqjzSREdaqWLyZf7F7/Ij2P0ThQIeqjJylh9ejWVfAPDL9enRygvnSYuhTuzXWeb8CvnFb+c/vYnKTxc= X-Gm-Message-State: AOJu0YzmCLYdv75J+Ziqfp8s03bz8vn/i0pjqhYaMa0dZ/CLQ3qZ88dD c6jHJudGRWAggfzF9Oad1XUmf2kemMTxcVOsEJrSU/HwIbfDVI5arKF049b7pTFq8l0IVJ8xbT3 /O6tVsITWDXqOjK4CERLz6w/kUCY= X-Google-Smtp-Source: AGHT+IH4BBN0fJrSxnYlj4HcWTdQevlzRnYymwifIrlONM8KbFGMo3AWIy8AuxzxfvwlsRb1ASFHS0poIcd+EgNMDiY= X-Received: by 2002:a05:6512:138e:b0:512:b2fb:a726 with SMTP id fc14-20020a056512138e00b00512b2fba726mr1598294lfb.63.1708315172500; Sun, 18 Feb 2024 19:59:32 -0800 (PST) MIME-Version: 1.0 References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> <86h6i5r20h.fsf@HIDDEN> <CAP9n0TP1HEuSBG1BXVptOr2ZX06E_eTpAxsvnRuPX+FNo397Jg@HIDDEN> <8734tp5uoq.fsf@HIDDEN> <CAP9n0TMaXJvRdA3m+J4fyxMuTWmT07TOMwKt+noCR3c=XfzGhg@HIDDEN> <868r3hqgf0.fsf@HIDDEN> In-Reply-To: <868r3hqgf0.fsf@HIDDEN> From: Robert Boyer <robertstephenboyer@HIDDEN> Date: Sun, 18 Feb 2024 21:58:54 -0600 Message-ID: <CAP9n0TP6owuTF8Sw=vaYrOfnjwq26V-42m-ry3=pOFDMpbVuFQ@HIDDEN> Subject: Re: bug#69249: bug in native-compile? To: Eli Zaretskii <eliz@HIDDEN> Content-Type: multipart/alternative; boundary="0000000000000578cc0611b41f57" X-Spam-Score: -1.9 (-) X-Debbugs-Envelope-To: 69249 X-Mailman-Approved-At: Sun, 18 Feb 2024 23:11:15 -0500 Cc: 69249 <at> debbugs.gnu.org, acorallo@HIDDEN, schwab@HIDDEN, monnier@HIDDEN, rms@HIDDEN X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.9 (--) --0000000000000578cc0611b41f57 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable I promise not to talk to you ever again. Goodbye. Bob On Sun, Feb 18, 2024 at 9:30=E2=80=AFPM Eli Zaretskii <eliz@HIDDEN> wrote: > > From: Robert Boyer <robertstephenboyer@HIDDEN> > > Date: Sun, 18 Feb 2024 16:19:49 -0600 > > Cc: Eli Zaretskii <eliz@HIDDEN>, 69249 <at> debbugs.gnu.org, Andrea Corallo > <acorallo@HIDDEN>, > > Stefan Monnier <monnier@HIDDEN>, rms@HIDDEN > > > > 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. > > I think you misunderstand what native compilation is and how it works > in Emacs. It is not what the SBCL compiler does, and thus it doesn't > work according to the same rules. > --=20 Anything I seem to state should be taken as a question. I am at least 77 and feeble. --0000000000000578cc0611b41f57 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr">I promise not to talk to you ever again.<div><br></div><di= v>Goodbye.</div><div><br></div><div>Bob</div><div><br></div></div><br><div = class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Sun, Feb 18,= 2024 at 9:30=E2=80=AFPM Eli Zaretskii <<a href=3D"mailto:eliz@HIDDEN">= eliz@HIDDEN</a>> wrote:<br></div><blockquote class=3D"gmail_quote" styl= e=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);paddin= g-left:1ex">> From: Robert Boyer <<a href=3D"mailto:robertstephenboye= r@HIDDEN" target=3D"_blank">robertstephenboyer@HIDDEN</a>><br> > Date: Sun, 18 Feb 2024 16:19:49 -0600<br> > Cc: Eli Zaretskii <<a href=3D"mailto:eliz@HIDDEN" target=3D"_blank= ">eliz@HIDDEN</a>>, <a href=3D"mailto:69249 <at> debbugs.gnu.org" target=3D"= _blank">69249 <at> debbugs.gnu.org</a>, Andrea Corallo <<a href=3D"mailto:aco= rallo@HIDDEN" target=3D"_blank">acorallo@HIDDEN</a>>, <br> >=C2=A0 =C2=A0 =C2=A0 =C2=A0Stefan Monnier <<a href=3D"mailto:monnier= @iro.umontreal.ca" target=3D"_blank">monnier@HIDDEN</a>>, <a h= ref=3D"mailto:rms@HIDDEN" target=3D"_blank">rms@HIDDEN</a><br> > <br> > This message is about how important DECLARE and THE are.=C2=A0 If you = do not<br> > handle DECLARE and THE right, people will laugh at native-compile.<br> <br> I think you misunderstand what native compilation is and how it works<br> in Emacs.=C2=A0 It is not what the SBCL compiler does, and thus it doesn= 9;t<br> work according to the same rules.<br> </blockquote></div><br clear=3D"all"><div><br></div><span class=3D"gmail_si= gnature_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature"><d= iv dir=3D"ltr">Anything I seem to state should be taken as a question.=C2= =A0 I am at least 77 and feeble.</div></div> --0000000000000578cc0611b41f57--
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.Received: (at 69249) by debbugs.gnu.org; 19 Feb 2024 03:31:25 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 22:31:25 2024 Received: from localhost ([127.0.0.1]:40106 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rbuNI-0002yA-Ub for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 22:31:25 -0500 Received: from eggs.gnu.org ([209.51.188.92]:50154) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <eliz@HIDDEN>) id 1rbuNG-0002xs-Jv for 69249 <at> debbugs.gnu.org; Sun, 18 Feb 2024 22:31:23 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <eliz@HIDDEN>) id 1rbuMp-00016T-0j; Sun, 18 Feb 2024 22:30:55 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=xN/0y8mluISACfQlcVmjvPP7wl17ypmG+Lgun0VGHqE=; b=QjKxYVylsP0o I1hSEuWkYomJNVHEzqDwB2sCvmrIj4eAUGK1YoMCRTO3dxcyHTLWjXcJdJk0Age+rvKLksBsnu3d3 lZtO4EFmvOMvgW4bc3QLZC6a80qHgbv5mDRUBS+JGJS+Rpa5CYcPa1hhpZdRW55fbDMwNZOe0GuX0 pfVXAFiS7HM0rkj+Wo/a/uB8UFr1LjSqxlH8iY8n6f5lE07mHudjLbFZMAFwARFWP0v0eQ3SNnt7f PcXzk/q694jmp7qXsp4x8/7KBTKENA2UM+JJ/ZlcTXsi7cJeCSiqtV2VgR3atexb2sH0dRehf5ODP eDUp+qslhaxT6fRPVZ8zRw==; Date: Mon, 19 Feb 2024 05:30:43 +0200 Message-Id: <868r3hqgf0.fsf@HIDDEN> From: Eli Zaretskii <eliz@HIDDEN> To: Robert Boyer <robertstephenboyer@HIDDEN> In-Reply-To: <CAP9n0TMaXJvRdA3m+J4fyxMuTWmT07TOMwKt+noCR3c=XfzGhg@HIDDEN> (message from Robert Boyer on Sun, 18 Feb 2024 16:19:49 -0600) Subject: Re: bug#69249: bug in native-compile? References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> <86h6i5r20h.fsf@HIDDEN> <CAP9n0TP1HEuSBG1BXVptOr2ZX06E_eTpAxsvnRuPX+FNo397Jg@HIDDEN> <8734tp5uoq.fsf@HIDDEN> <CAP9n0TMaXJvRdA3m+J4fyxMuTWmT07TOMwKt+noCR3c=XfzGhg@HIDDEN> X-Spam-Score: -4.2 (----) X-Debbugs-Envelope-To: 69249 Cc: 69249 <at> debbugs.gnu.org, acorallo@HIDDEN, schwab@HIDDEN, monnier@HIDDEN, rms@HIDDEN X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -5.2 (-----) > From: Robert Boyer <robertstephenboyer@HIDDEN> > Date: Sun, 18 Feb 2024 16:19:49 -0600 > Cc: Eli Zaretskii <eliz@HIDDEN>, 69249 <at> debbugs.gnu.org, Andrea Corallo <acorallo@HIDDEN>, > Stefan Monnier <monnier@HIDDEN>, rms@HIDDEN > > 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. I think you misunderstand what native compilation is and how it works in Emacs. It is not what the SBCL compiler does, and thus it doesn't work according to the same rules.
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.Received: (at 69249) by debbugs.gnu.org; 19 Feb 2024 03:19:33 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 22:19:33 2024 Received: from localhost ([127.0.0.1]:40090 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rbuBo-0008Jz-MH for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 22:19:33 -0500 Received: from mail-ed1-f43.google.com ([209.85.208.43]:45477) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <robertstephenboyer@HIDDEN>) id 1rbqtK-0002lP-1h for 69249 <at> debbugs.gnu.org; Sun, 18 Feb 2024 18:48:17 -0500 Received: by mail-ed1-f43.google.com with SMTP id 4fb4d7f45d1cf-56439b7c7a9so1140739a12.3 for <69249 <at> debbugs.gnu.org>; Sun, 18 Feb 2024 15:47:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708300007; x=1708904807; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=e8SqAKweCRr9sxK6zKxwltekeMC57zdU0XvSoMIEACw=; b=VWD2g7NVkj+KdHVcszeccZkx8EgyutYImvQqd8K0KwHAgA4mVGs73M9JEPc7GKMKdq Ff1uZBBDZu+NrvA+QkBgFne0OJ2rUXnP0wi45eCzgXp0O6q/q/jtASzGlYx+5Pfce/8O 3f2Ibhp+viI7qiTA17kWTVA7Z2ll4jI7u97LxgOuI3tPGYuV5vElkhEv6b1X6fnYRq6W tejpLL/jj6iHAnGY+0oM3fY5GB7HmD69IXhtOyIFgPz/2kHK0lxuFWo0eSvy+jCtMAls SZbf/nSk/BG7T1OLOrAeQgx7sUxY9T4rh+OtZjzLfdXp3Wuy3sCrR/t0KB/xhOnFdVV8 Z/Tg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708300007; x=1708904807; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=e8SqAKweCRr9sxK6zKxwltekeMC57zdU0XvSoMIEACw=; b=MFoyzP5In7BF/fe0cGsgjaY9XeZ3YQixsIYkoybMpZnctljgxhiKeB9Fq2kf/ZNJ4G 5BXbmCquazmYTk/4hkS60oSzoUGMeB9zYxkuUvcyIsNBM4AVowle3op657zNec5eoZXr UuZlp+WEn6ZxP1y8AM0AD1FhSOZuEqjbiQztkbo6577coPuZUfzXif/L0Ri6/kMdMUTx eDLlUMGHX0hOb5M/qtLF6+2ZxCm2Bws0hd0TBuzPKtnPJaGf6RwhhH+KoAH+VD+H949H n0YnWrCM8XwCAWhcFkdAy5d8PsiWNYEK7SZ5wqLBxIG4yRwfDFRF8txxFPalGZxZ9DeN HB8A== X-Gm-Message-State: AOJu0Yzo4pwo1wjUpIkK1McF8UXyIOLTTCKWe5JiU+4e9p0FgLcE6P3t FYe+9H/8+qVLjVSizkX2q+h3t++G21kjOOSA6TUf+TSxxqvNB3Vn0xkdysxU5fDDvaFhbACGVYV Ekk0VPe+pRn1ncCQuD5/SYuHUWB2yLYmPV0+a/A== X-Google-Smtp-Source: AGHT+IGnyf8Np+lYEzkMz6/Ssh67R7A5gRPoNq93gIu4G3qIFrNCljXjTlQlisU8iw7bT5GWR+HTHvN4PhhhMR/TY04= X-Received: by 2002:aa7:c610:0:b0:564:5ec4:9692 with SMTP id h16-20020aa7c610000000b005645ec49692mr1915463edq.42.1708300007077; Sun, 18 Feb 2024 15:46:47 -0800 (PST) MIME-Version: 1.0 References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> <jwv4je5xsla.fsf-monnier+emacs@HIDDEN> <CAP9n0TNP-UK+RopMf07D=P-B-GrRHaGJDonSNtOgSDhZ95NeLA@HIDDEN> In-Reply-To: <CAP9n0TNP-UK+RopMf07D=P-B-GrRHaGJDonSNtOgSDhZ95NeLA@HIDDEN> From: Robert Boyer <robertstephenboyer@HIDDEN> Date: Sun, 18 Feb 2024 17:46:09 -0600 Message-ID: <CAP9n0TOsyiwrhy12454i4MEnCu0ewoHrsMHj1L-QeYVrHYD0iQ@HIDDEN> Subject: Re: bug#69249: bug in native-compile? To: Stefan Monnier <monnier@HIDDEN> Content-Type: multipart/alternative; boundary="000000000000177afe0611b097cc" X-Spam-Score: -1.9 (-) X-Debbugs-Envelope-To: 69249 X-Mailman-Approved-At: Sun, 18 Feb 2024 22:19:27 -0500 Cc: 69249 <at> debbugs.gnu.org, rms@HIDDEN X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.9 (--) --000000000000177afe0611b097cc Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Robert Boyer <robertstephenboyer@HIDDEN> 4:39=E2=80=AFPM (1 hour ago) Reply to all to Andreas, Eli, 69249, Andrea, Stefan, rms Look out, here it comes, as Tracy Schwarz says. The following DISASSEMBLE might tell you what you need to do for native-compile. Speaking with the utmost sincerity, I know less about the following than I do about what Proust called the greatest painting in the world, the View of Delft by Vermmer. Check it out. https://www.mauritshuis.nl/en/our-collection/artworks/92-view-of-delft/ Again, this is in SBCL on my $100 Lenovo Chromebook. * (disassemble 'foo-with-declare) ; disassembly for FOO-WITH-DECLARE ; Size: 60 bytes. Origin: #x52A4AF19 ; FOO-WITH-DECLARE ; 19: 4883EC10 SUB RSP, 16 ; 1D: BA14000000 MOV EDX, 20 ; 22: B904000000 MOV ECX, 4 ; 27: 48892C24 MOV [RSP], RBP ; 2B: 488BEC MOV RBP, RSP ; 2E: B842BD3550 MOV EAX, #x5035BD42 ; #<FDEFN EXPT> ; 33: FFD0 CALL RAX ; 35: 31C0 XOR EAX, EAX ; 37: 31C9 XOR ECX, ECX ; 39: EB0C JMP L1 ; 3B: 0F1F440000 NOP ; 40: L0: 4801C1 ADD RCX, RAX ; 43: 4883C002 ADD RAX, 2 ; 47: L1: 4839D0 CMP RAX, RDX ; 4A: 7EF4 JLE L0 ; 4C: 488BD1 MOV RDX, RCX ; 4F: 488BE5 MOV RSP, RBP ; 52: F8 CLC ; 53: 5D POP RBP ; 54: C3 RET NIL * On Sun, Feb 18, 2024 at 5:42=E2=80=AFPM Robert Boyer <robertstephenboyer@gm= ail.com> wrote: > If so, we'd be interested to see your code to try and improve our > compiler. > > I hope this helps. If not, please let me know. > > > > Robert Boyer <robertstephenboyer@HIDDEN> > 4:19=E2=80=AFPM (1 hour ago) > Reply to all > to Andreas, Eli, 69249, Andrea, Stefan, rms > 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 ((<=3D 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 ((<=3D 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=3Dw6r4E514nJg > > Bob > > > Bob > > > On Sun, Feb 18, 2024 at 3:28=E2=80=AFPM 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@HIDDEN >> GPG Key fingerprint =3D 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AE= C1 >> "And now for something completely different." >> > > > -- > Anything I seem to state should be taken as a question. I am at least 77 > and feeble. > Attachments area > Preview YouTube video If You're Gonna Play In Texas > If You're Gonna Play In Texas > <https://www.youtube.com/watch?v=3Dw6r4E514nJg&authuser=3D0> > Reply allReplyForward > Add reaction > > On Sun, Feb 18, 2024 at 5:32=E2=80=AFPM Stefan Monnier <monnier@HIDDEN= real.ca> > wrote: > >> > ;; However, (native-compile "compile-bug.el") results in the following >> > error message: >> > >> > ;; Compiling file >> > /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri >> Feb >> > 16 08:25:19 2024 >> > ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98fixnu= m=E2=80=99 in foo >> > ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98vecto= r=E2=80=99 in foo >> >> First thing: these are not error messages! They're *warnings*! >> >> `batch-byte-compile` also gives those warnings, because ELisp does not >> know those declarations. The native compiler does support some type >> annotations, but they do not take this shape. >> >> I presume you took those from some other Lisp dialect, but that won't do >> you much good. Scheme is not Clojure is not Common Lisp is not ELisp ..= . >> >> BTW, A more recent Emacs would give you an additional warning: >> >> Warning: file has no =E2=80=98lexical-binding=E2=80=99 directive on = its first line >> >> So, I see no bug. Did the resulting native-compile misbehave in >> any way? I presume you're worried about its performance. >> If so, do you have concrete code where you measured the performance and >> were disappointed and where you have good reasons to believe that type >> annotations would make a difference? If so, we'd be interested to see >> your code to try and improve our compiler. >> >> >> Stefan >> >> > > -- > Anything I seem to state should be taken as a question. I am at least 77 > and feeble. > --=20 Anything I seem to state should be taken as a question. I am at least 77 and feeble. --000000000000177afe0611b097cc Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div class=3D"gmail-aju" style=3D"display:flex;float:none;= height:80px;padding:0px 16px;min-width:40px"><div class=3D"gmail-aCi" style= =3D""><img id=3D"gmail-:3s_165-e" name=3D"gmail-:3s" src=3D"https://lh3.goo= gleusercontent.com/a/ACg8ocIKVvPVQGvSmqfNFnAMC1m3JsnLxjOKwP1VSlmS9rHJaqQ=3D= s40-p-mo" class=3D"gmail-ajn" aria-hidden=3D"true" style=3D"width: 40px; he= ight: 40px; display: block; border-radius: 50%; background-color: rgb(204, = 204, 204);"></div></div><div class=3D"gmail-gs" style=3D"margin:0px;min-wid= th:0px;padding:0px 0px 20px;width:initial"><div class=3D"gmail-gE gmail-iv = gmail-gt" style=3D"font-size:0.875rem;padding:20px 0px 0px"><table cellpadd= ing=3D"0" class=3D"gmail-cf gmail-gJ" style=3D"border-collapse:collapse;mar= gin-top:0px;width:auto;font-family:"Google Sans",Roboto,RobotoDra= ft,Helvetica,Arial,sans-serif;font-size:0.875rem;display:block"><tbody styl= e=3D"display:block"><tr class=3D"gmail-acZ" style=3D"display:flex;height:au= to"><td class=3D"gmail-gF gmail-gK" style=3D"padding:0px;vertical-align:top= ;width:218.494px;line-height:20px;display:block;max-height:20px"><table cel= lpadding=3D"0" class=3D"gmail-cf gmail-ix" style=3D"border-collapse:collaps= e;table-layout:fixed;width:218.494px"><tbody><tr><td class=3D"gmail-c2" sty= le=3D"display:flex"><h3 class=3D"gmail-iw" style=3D"overflow:hidden;font-si= ze:0.75rem;font-weight:inherit;margin:inherit;text-overflow:ellipsis;color:= rgb(95,99,104);line-height:20px"><span class=3D"gmail-qu" role=3D"gridcell"= tabindex=3D"-1"><span name=3D"Robert Boyer" class=3D"gmail-gD" style=3D"co= lor:rgb(31,31,31);font-size:0.875rem;font-weight:bold;display:inline;vertic= al-align:top;line-height:20px"><span style=3D"vertical-align:top">Robert Bo= yer</span></span>=C2=A0<span class=3D"gmail-cfXrwd"></span><span class=3D"g= mail-go" style=3D"vertical-align:top;color:rgb(94,94,94)"><span aria-hidden= =3D"true"><</span><a href=3D"mailto:robertstephenboyer@HIDDEN">robert= stephenboyer@HIDDEN</a><span aria-hidden=3D"true">></span></span></sp= an></h3></td></tr></tbody></table></td><td class=3D"gmail-gH gmail-bAk" sty= le=3D"text-align:right;vertical-align:top;display:block;max-height:20px"><d= iv class=3D"gmail-gK" style=3D"padding:0px;display:flex"><span id=3D"gmail-= :172" class=3D"gmail-g3" title=3D"Feb 18, 2024, 4:39=E2=80=AFPM" alt=3D"Feb= 18, 2024, 4:39=E2=80=AFPM" role=3D"gridcell" tabindex=3D"-1" style=3D"vert= ical-align:top;margin:0px;font-size:0.75rem;color:rgb(94,94,94);display:blo= ck;line-height:20px">4:39=E2=80=AFPM (1 hour ago)</span><div class=3D"gmail= -zd gmail-bi4" aria-label=3D"Not starred" tabindex=3D"0" role=3D"checkbox" = aria-checked=3D"false" style=3D"display:inline-block;height:20px;margin-lef= t:20px;outline:0px"><span class=3D"gmail-T-KT" style=3D"display:inline-flex= ;height:20px;text-align:center;width:20px;padding:0px;margin:0px;border:non= e;outline:none"></span></div></div></td><td class=3D"gmail-gH" style=3D"tex= t-align:right;vertical-align:top;display:flex"></td><td class=3D"gmail-gH g= mail-acX gmail-bAm" rowspan=3D"2" style=3D"text-align:right;vertical-align:= top;display:block;max-height:20px"><div class=3D"gmail-T-I gmail-J-J5-Ji gm= ail-T-I-Js-IF gmail-R1Zuwf gmail-T-I-ax7 gmail-L3" role=3D"button" tabindex= =3D"0" aria-label=3D"Add reaction" style=3D"display:inline-flex;border-radi= us:2px 0px 0px 2px;font-size:0.875rem;text-align:center;margin:0px 0px 0px = 20px;height:20px;line-height:18px;min-width:auto;outline:none;padding:0px;b= ackground:transparent;color:rgb(68,68,68);border:none"><img class=3D"gmail-= qfynfc gmail-T-I-J3" role=3D"button" src=3D"https://mail.google.com/mail/u/= 0/images/cleardot.gif" alt=3D"" style=3D"background-image: url("//ssl.= gstatic.com/ui/v1/icons/mail/gm3/1x/mood_baseline_nv700_20dp.png"); ba= ckground-position: 50% 50%; background-repeat: no-repeat; background-size: = 20px; margin: 0px; vertical-align: middle; opacity: 1; display: inline-bloc= k; height: 20px; padding: 0px; transition: opacity 0.15s cubic-bezier(0.4, = 0, 0.2, 1) 0s; width: 20px;"></div><div class=3D"gmail-T-I gmail-J-J5-Ji gm= ail-T-I-Js-IF gmail-bsQ gmail-T-I-ax7 gmail-L3" role=3D"button" tabindex=3D= "0" style=3D"display:inline-flex;border-radius:4px;font-size:0.875rem;text-= align:center;margin:0px 0px 0px 10px;height:20px;line-height:18px;min-width= :80px;outline:none;padding:0px 8px;background:none;color:rgb(68,71,70);bord= er:1px solid transparent;box-sizing:border-box"><img class=3D"gmail-hB gmai= l-T-I-J3 gmail-mK" role=3D"button" src=3D"https://mail.google.com/mail/u/0/= images/cleardot.gif" alt=3D"" style=3D"opacity: 1; vertical-align: middle; = background: url("//ssl.gstatic.com/ui/v1/icons/mail/gm3/1x/reply_basel= ine_nv700_20dp.png") 50% 50% / 20px no-repeat; height: 20px; margin: 0= px; width: 20px; display: inline-block; padding: 0px; transition: opacity 0= .15s cubic-bezier(0.4, 0, 0.2, 1) 0s;"><span class=3D"gmail-bat" style=3D"m= argin-left:8px">Reply to all</span></div><div id=3D"gmail-:13p" class=3D"gm= ail-T-I gmail-J-J5-Ji gmail-T-I-Js-Gs gmail-aap gmail-T-I-awG gmail-T-I-ax7= gmail-L3" role=3D"button" tabindex=3D"0" aria-expanded=3D"false" aria-hasp= opup=3D"true" aria-label=3D"More message options" style=3D"display:inline-f= lex;border-radius:0px 2px 2px 0px;font-size:0.875rem;text-align:center;marg= in:0px 0px 0px 10px;height:20px;line-height:18px;min-width:0px;outline:none= ;padding:0px;background:transparent;color:rgb(68,68,68);border:none"><img c= lass=3D"gmail-hA gmail-T-I-J3" role=3D"menu" src=3D"https://mail.google.com= /mail/u/0/images/cleardot.gif" alt=3D"" style=3D"background: url("//ss= l.gstatic.com/ui/v1/icons/mail/gm3/1x/more_vert_baseline_nv700_20dp.png&quo= t;) 50% 50% / 20px no-repeat; height: 20px; width: 20px; margin: 0px; verti= cal-align: middle; opacity: 1; display: inline-block; padding: 0px; transit= ion: opacity 0.15s cubic-bezier(0.4, 0, 0.2, 1) 0s;"></div></td></tr><tr cl= ass=3D"gmail-acZ gmail-xD" style=3D"display:flex;height:auto"><td colspan= =3D"3"><table cellpadding=3D"0" class=3D"gmail-cf gmail-adz" style=3D"borde= r-collapse:collapse;table-layout:fixed;width:566.652px"><tbody><tr><td clas= s=3D"gmail-ady" style=3D"overflow:visible;text-overflow:ellipsis;display:fl= ex;line-height:20px"><div class=3D"gmail-iw gmail-ajw" style=3D"overflow:hi= dden;max-width:92%;display:inline-block"><span class=3D"gmail-hb" style=3D"= vertical-align:top;color:rgb(94,94,94);font-size:0.75rem;line-height:20px">= to=C2=A0<span name=3D"Andreas" class=3D"gmail-g2" style=3D"vertical-align:t= op">Andreas</span>,=C2=A0<span name=3D"Eli" class=3D"gmail-g2" style=3D"ver= tical-align:top">Eli</span>,=C2=A0<span name=3D"69249" class=3D"gmail-g2" s= tyle=3D"vertical-align:top">69249</span>,=C2=A0<span name=3D"Andrea" class= =3D"gmail-g2" style=3D"vertical-align:top">Andrea</span>,=C2=A0<span name= =3D"Stefan" class=3D"gmail-g2" style=3D"vertical-align:top">Stefan</span>,= =C2=A0<span name=3D"rms" class=3D"gmail-g2" style=3D"vertical-align:top">rm= s</span></span></div><div id=3D"gmail-:128" aria-haspopup=3D"true" class=3D= "gmail-ajy" role=3D"button" tabindex=3D"0" aria-label=3D"Show details" styl= e=3D"display:inline-flex;margin-left:4px;vertical-align:top;border:none;out= line:none"><img class=3D"gmail-ajz" src=3D"https://mail.google.com/mail/u/0= /images/cleardot.gif" alt=3D"" style=3D"background: url("https://www.g= static.com/images/icons/material/system_gm/1x/arrow_drop_down_black_20dp.pn= g") 50% 50% / 20px no-repeat; cursor: pointer; padding: 0px; vertical-= align: baseline; height: 20px; width: 20px; border: none; margin: 0px 0px 0= px auto; right: 0px; top: 0px; display: flex; opacity: 0.71;"></div></td></= tr></tbody></table></td></tr></tbody></table></div><div id=3D"gmail-:14s"><= div class=3D"gmail-qQVYZb"></div><div class=3D"gmail-utdU2e"></div><div cla= ss=3D"gmail-lQs8Hd"></div><div class=3D"gmail-wl4W9b" style=3D"display:flex= "></div></div><div class=3D"gmail-"><div class=3D"gmail-aHl" style=3D""></d= iv><div id=3D"gmail-:13a" tabindex=3D"-1"></div><div id=3D"gmail-:156" clas= s=3D"gmail-ii gmail-gt" style=3D"direction:ltr;margin:8px 0px 0px;padding:0= px;font-size:0.875rem;overflow-x:hidden"><div id=3D"gmail-:151" class=3D"gm= ail-a3s gmail-aiL" style=3D"direction:initial;font-variant-numeric:normal;f= ont-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:a= uto;font-feature-settings:normal;font-stretch:normal;font-size:small;line-h= eight:1.5;overflow:auto hidden"><div dir=3D"ltr"><div dir=3D"ltr"><font fac= e=3D"monospace">Look out, here it comes, as Tracy Schwarz says.</font><div>= <font face=3D"monospace"><br></font></div><div><font face=3D"monospace">The= =C2=A0following=C2=A0<span class=3D"gmail-il">DISASSEMBLE</span>=C2=A0might= tell you what you need to do for native-compile.=C2=A0</font></div><div><s= pan style=3D"font-family:monospace"><br></span></div><div><span style=3D"fo= nt-family:monospace">Speaking with the utmost sincerity, I know less about = the following than I do about what=C2=A0Proust called the greatest painting= in the world, the View of Delft=C2=A0by Vermmer.=C2=A0 Check it out.</span= ></div><div><br></div><div><a href=3D"https://www.mauritshuis.nl/en/our-col= lection/artworks/92-view-of-delft/" target=3D"_blank">https://www.mauritshu= is.nl/en/our-collection/artworks/92-view-of-delft/</a><font face=3D"monospa= ce"><br></font><div><font face=3D"monospace"><br></font></div><div><span st= yle=3D"font-family:monospace">Again, this is in SBCL on my $100 Lenovo Chro= mebook.</span></div><div><font face=3D"monospace"><br></font></div><div><fo= nt face=3D"monospace">* (<span class=3D"gmail-il">disassemble</span>=C2=A0&= #39;foo-with-declare)<br>;=C2=A0<span class=3D"gmail-il">disassembly</span>= =C2=A0for FOO-WITH-DECLARE<br>; Size: 60 bytes. Origin: #x52A4AF19 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0; FOO-WITH-DECLARE<br>; 19: =C2=A0 =C2=A0 =C2=A0 4883EC10 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 SUB RSP, 16<br>; 1D: =C2=A0 =C2=A0 =C2=A0 BA14000000 = =C2=A0 =C2=A0 =C2=A0 MOV EDX, 20<br>; 22: =C2=A0 =C2=A0 =C2=A0 B904000000 = =C2=A0 =C2=A0 =C2=A0 MOV ECX, 4<br>; 27: =C2=A0 =C2=A0 =C2=A0 48892C24 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 MOV [RSP], RBP<br>; 2B: =C2=A0 =C2=A0 =C2=A0 488BE= C =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 MOV RBP, RSP<br>; 2E: =C2=A0 =C2=A0 = =C2=A0 B842BD3550 =C2=A0 =C2=A0 =C2=A0 MOV EAX, #x5035BD42 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0; #<FDEFN EXPT><br>; 33: =C2=A0 =C2= =A0 =C2=A0 FFD0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 CALL RAX<br>; 35:= =C2=A0 =C2=A0 =C2=A0 31C0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 XOR EA= X, EAX<br>; 37: =C2=A0 =C2=A0 =C2=A0 31C9 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 XOR ECX, ECX<br>; 39: =C2=A0 =C2=A0 =C2=A0 EB0C =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 JMP L1<br>; 3B: =C2=A0 =C2=A0 =C2=A0 0F1F440000= =C2=A0 =C2=A0 =C2=A0 NOP<br>; 40: L0: =C2=A0 4801C1 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 ADD RCX, RAX<br>; 43: =C2=A0 =C2=A0 =C2=A0 4883C002 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 ADD RAX, 2<br>; 47: L1: =C2=A0 4839D0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 CMP RAX, RDX<br>; 4A: =C2=A0 =C2=A0 =C2=A0 7EF4 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 JLE L0<br>; 4C: =C2=A0 =C2=A0 =C2=A0 48= 8BD1 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 MOV RDX, RCX<br>; 4F: =C2=A0 =C2=A0= =C2=A0 488BE5 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 MOV RSP, RBP<br>; 52: =C2= =A0 =C2=A0 =C2=A0 F8 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 CLC<b= r>; 53: =C2=A0 =C2=A0 =C2=A0 5D =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 POP RBP<br>; 54: =C2=A0 =C2=A0 =C2=A0 C3 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 RET<br>NIL<br>*=C2=A0<br></font></div></div><br class= =3D"gmail-Apple-interchange-newline"></div></div></div></div></div></div></= div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On= Sun, Feb 18, 2024 at 5:42=E2=80=AFPM Robert Boyer <<a href=3D"mailto:ro= bertstephenboyer@HIDDEN">robertstephenboyer@HIDDEN</a>> wrote:<br>= </div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;b= order-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr">= =C2=A0If so, we'd be interested to see your code to try and improve our= compiler.<div><br></div><div>I hope this helps.=C2=A0 If not, please let m= e know.</div><div><br></div><div><br><div><br></div><div><div style=3D"bord= er-left:none;padding:0px;display:flex;font-family:"Google Sans",R= oboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:medium"><div style= =3D"display:flex;float:none;height:80px;padding:0px 16px;min-width:40px"><d= iv><img id=3D"m_-2497710890071307433gmail-:45_6-e" name=3D"m_-2497710890071= 307433_gmail-:45" src=3D"https://lh3.googleusercontent.com/a/ACg8ocIKVvPVQG= vSmqfNFnAMC1m3JsnLxjOKwP1VSlmS9rHJaqQ=3Ds40-p-mo" aria-hidden=3D"true" styl= e=3D"width: 40px; height: 40px; display: block; border-radius: 50%; backgro= und-color: rgb(204, 204, 204);"></div></div><div style=3D"margin:0px;min-wi= dth:0px;padding:0px 0px 20px;width:initial"><div style=3D"font-size:0.875re= m;padding:20px 0px 0px"><table cellpadding=3D"0" style=3D"border-collapse:c= ollapse;margin-top:0px;width:auto;font-size:0.875rem;display:block"><tbody = style=3D"display:block"><tr style=3D"display:flex;height:auto"><td style=3D= "padding:0px;vertical-align:top;width:220.512px;line-height:20px;display:bl= ock;max-height:20px"><table cellpadding=3D"0" style=3D"border-collapse:coll= apse;table-layout:fixed;width:220.512px"><tbody><tr><td style=3D"display:fl= ex"><div aria-label=3D"This message was replied to." role=3D"label" style= =3D"background-image:url("https://www.gstatic.com/images/icons/materia= l/system_gm/1x/reply_black_20dp.png");background-position:50% 50%;back= ground-repeat:no-repeat;background-size:20px;height:20px;margin-right:8px;o= pacity:0.54;width:20px"></div><h3 style=3D"overflow:hidden;font-size:0.75re= m;font-weight:inherit;margin:inherit;text-overflow:ellipsis;color:rgb(95,99= ,104);line-height:20px"><span role=3D"gridcell"><span name=3D"Robert Boyer"= style=3D"color:rgb(31,31,31);font-size:0.875rem;font-weight:bold;display:i= nline;vertical-align:top;line-height:20px"><span style=3D"vertical-align:to= p">Robert Boyer</span></span>=C2=A0<span></span><span style=3D"vertical-ali= gn:top;color:rgb(94,94,94)"><span aria-hidden=3D"true"><</span><a href= =3D"mailto:robertstephenboyer@HIDDEN" target=3D"_blank">robertstephenboy= er@HIDDEN</a><span aria-hidden=3D"true">></span></span></span></h3></= td></tr></tbody></table></td><td style=3D"text-align:right;vertical-align:t= op;display:block;max-height:20px"><div style=3D"padding:0px;display:flex"><= span id=3D"m_-2497710890071307433gmail-:1ac" title=3D"Feb 18, 2024, 4:19=E2= =80=AFPM" alt=3D"Feb 18, 2024, 4:19=E2=80=AFPM" role=3D"gridcell" style=3D"= vertical-align:top;margin:0px;font-size:0.75rem;color:rgb(94,94,94);display= :block;line-height:20px">4:19=E2=80=AFPM (1 hour ago)</span><div aria-label= =3D"Not starred" role=3D"checkbox" aria-checked=3D"false" style=3D"display:= inline-block;height:20px;margin-left:20px;outline:0px"><span style=3D"displ= ay:inline-flex;height:20px;text-align:center;width:20px;padding:0px;margin:= 0px;border:none;outline:none"></span></div></div></td><td style=3D"text-ali= gn:right;vertical-align:top;display:flex"></td><td rowspan=3D"2" style=3D"t= ext-align:right;vertical-align:top;display:block;max-height:20px"><div role= =3D"button" aria-label=3D"Add reaction" style=3D"display:inline-flex;border= -radius:2px 0px 0px 2px;font-size:0.875rem;text-align:center;margin:0px 0px= 0px 20px;height:20px;line-height:18px;min-width:auto;outline:none;padding:= 0px;background:transparent;color:rgb(68,68,68);border:none"><img role=3D"bu= tton" src=3D"https://mail.google.com/mail/u/0/images/cleardot.gif" alt=3D""= style=3D"background-image: url(""); background-position: 50% 50%= ; background-repeat: no-repeat; background-size: 20px; margin: 0px; vertica= l-align: middle; opacity: 1; display: inline-block; height: 20px; padding: = 0px; width: 20px;"></div><div role=3D"button" style=3D"display:inline-flex;= border-radius:4px;font-size:0.875rem;text-align:center;margin:0px 0px 0px 1= 0px;height:20px;line-height:18px;min-width:80px;outline:none;padding:0px 8p= x;background:none;color:rgb(68,71,70);border:1px solid transparent;box-sizi= ng:border-box"><img role=3D"button" src=3D"https://mail.google.com/mail/u/0= /images/cleardot.gif" alt=3D"" style=3D"opacity: 1; vertical-align: middle;= background: url("") 50% 50% / 20px no-repeat; height: 20px; marg= in: 0px; width: 20px; display: inline-block; padding: 0px;"><span style=3D"= margin-left:8px">Reply to all</span></div><div id=3D"m_-2497710890071307433= gmail-:191" role=3D"button" aria-expanded=3D"false" aria-haspopup=3D"true" = aria-label=3D"More message options" style=3D"display:inline-flex;border-rad= ius:0px 2px 2px 0px;font-size:0.875rem;text-align:center;margin:0px 0px 0px= 10px;height:20px;line-height:18px;min-width:0px;outline:none;padding:0px;b= ackground:transparent;color:rgb(68,68,68);border:none"><img role=3D"menu" s= rc=3D"https://mail.google.com/mail/u/0/images/cleardot.gif" alt=3D"" style= =3D"background: url("") 50% 50% / 20px no-repeat; height: 20px; w= idth: 20px; margin: 0px; vertical-align: middle; opacity: 1; display: inlin= e-block; padding: 0px;"></div></td></tr><tr style=3D"display:flex;height:au= to"><td colspan=3D"3"><table cellpadding=3D"0" style=3D"border-collapse:col= lapse;table-layout:fixed;width:566.652px"><tbody><tr><td style=3D"overflow:= visible;text-overflow:ellipsis;display:flex;line-height:20px"><div style=3D= "overflow:hidden;max-width:92%;display:inline-block"><span style=3D"vertica= l-align:top;color:rgb(94,94,94);font-size:0.75rem;line-height:20px">to=C2= =A0<span name=3D"Andreas" style=3D"vertical-align:top">Andreas</span>,=C2= =A0<span name=3D"Eli" style=3D"vertical-align:top">Eli</span>,=C2=A0<span n= ame=3D"69249" style=3D"vertical-align:top">69249</span>,=C2=A0<span name=3D= "Andrea" style=3D"vertical-align:top">Andrea</span>,=C2=A0<span name=3D"Ste= fan" style=3D"vertical-align:top">Stefan</span>,=C2=A0<span name=3D"rms" st= yle=3D"vertical-align:top">rms</span></span></div><div id=3D"m_-24977108900= 71307433gmail-:19v" aria-haspopup=3D"true" role=3D"button" aria-label=3D"Sh= ow details" style=3D"display:inline-flex;margin-left:4px;vertical-align:top= ;border:none;outline:none"><img src=3D"https://mail.google.com/mail/u/0/ima= ges/cleardot.gif" alt=3D"" style=3D"background: url("https://ci3.googl= eusercontent.com/meips/ADKq_NYV2Or50ypV91q2_cRmF0R7YnTaptikVlQKU3MYUxIPOjCg= L4OiX1XeB3Ljtr3ED_nQp6KBgm7p9KO1TspYnkzjeCUBICL0nmCBvjg_4ehtXl8uFUnoauN1bgz= RHBQ6mqcNR2ik6yRjBWHdbkC79Q=3Ds0-d-e1-ft#https://www.gstatic.com/images/ico= ns/material/system_gm/1x/arrow_drop_down_black_20dp.png") 50% 50% / 20= px no-repeat; padding: 0px; vertical-align: baseline; height: 20px; width: = 20px; border: none; margin: 0px 0px 0px auto; display: flex; opacity: 0.71;= "></div></td></tr></tbody></table></td></tr></tbody></table></div><div id= =3D"m_-2497710890071307433gmail-:19b"><div></div><div></div><div></div><div= style=3D"display:flex"></div></div><div><div></div><div id=3D"m_-249771089= 0071307433gmail-:19w"></div><div id=3D"m_-2497710890071307433gmail-:19p" st= yle=3D"direction:ltr;margin:8px 0px 0px;padding:0px;font-size:0.875rem;over= flow-x:hidden"><div id=3D"m_-2497710890071307433gmail-:19g" style=3D"direct= ion:initial;font-variant-numeric:normal;font-variant-east-asian:normal;font= -variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;f= ont-stretch:normal;font-size:small;line-height:1.5;font-family:Arial,Helvet= ica,sans-serif;overflow:auto hidden"><div dir=3D"ltr"><div dir=3D"ltr"><div= ><font face=3D"monospace">This message is about how important DECLARE and T= HE are.=C2=A0 If you do not</font></div><div><font face=3D"monospace">handl= e DECLARE and THE right, people will laugh=C2=A0at native-compile.</font></= div><div><font face=3D"monospace"><br></font></div><div><font face=3D"monos= pace">Here is</font><span style=3D"font-family:monospace">=C2=A0an SBCL tra= nscript.=C2=A0 I am running on a $100 Lenovo Chromebook.</span></div><div><= span style=3D"font-family:monospace"><br></span></div><div><font face=3D"mo= nospace">I got SBCL with the command=C2=A0</font>sudo apt-get install sbcl.= </div><div><font face=3D"monospace"><br></font></div><font face=3D"monospac= e">* (declaim (optimize (safety 0) (speed 3) (debug 0)))<br>NIL<br>* (defun= foo-with-declare (n)<br>=C2=A0 (let ((i 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 = (sum 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (max (expt 10 n)))<br>=C2=A0 =C2=A0 = (declare (fixnum i sum max))<br>=C2=A0 =C2=A0 (loop (cond ((<=3D i max)<= br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(setq sum = (the fixnum (+ sum i))))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 (t (return sum)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (incf i)= )))<br>FOO-WITH-DECLARE<br>* (<span>time</span>=C2=A0(foo-with-declare 8))<= br>Evaluation took:<br>=C2=A0 0.125 seconds of real=C2=A0<span>time</span><= br>=C2=A0 0.123203 seconds of total run=C2=A0<span>time</span>=C2=A0(0.1231= 93 user, 0.000010 system)<br>=C2=A0 98.40% CPU<br>=C2=A0 135,905,516 proces= sor cycles<br>=C2=A0 0 bytes consed<br>5000000050000000<br>* (defun foo-wit= hout-declare (n)<br>=C2=A0 (let ((i 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (sum = 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (max (expt 10 n)))<br>=C2=A0 =C2=A0 (loop= (cond ((<=3D i max)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0(setq sum (+ sum i)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 (t (return sum)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 (incf i))))<br>WARNING: redefining COMMON-LISP-USER::FOO-WITHOUT-DECLAR= E in DEFUN<br>FOO-WITHOUT-DECLARE<br>* (<span>time</span>=C2=A0(foo-without= -declare 8))<br>Evaluation took:<br>=C2=A0 1.080 seconds of real=C2=A0<span= >time</span><br>=C2=A0 1.072932 seconds of total run=C2=A0<span>time</span>= =C2=A0(1.072932 user, 0.000000 system)<br>=C2=A0 99.35% CPU<br>=C2=A0 1,181= ,369,303 processor cycles<br>=C2=A0 0 bytes consed<br>5000000050000000<br><= /font></div><div dir=3D"ltr"><font face=3D"monospace"><br></font></div><div= ><font face=3D"monospace">People go wow about 8X.=C2=A0 How does native-com= pile do?</font></div><div><font face=3D"monospace"><br></font></div><div><f= ont face=3D"monospace">There is a great song by Alabama 'If you gonna= =C2=A0play in Texas, you gotta have a fiddle in the band'. Check it out= !</font></div><div><br></div><div><a href=3D"https://www.youtube.com/watch?= v=3Dw6r4E514nJg" target=3D"_blank">https://www.youtube.com/watch?v=3Dw6r4E5= 14nJg</a></div><div><br></div><div>Bob</div><div><br></div><div><font face= =3D"monospace"><br></font></div><div><font face=3D"monospace">Bob</font></d= iv><div><font face=3D"monospace"><br></font></div><font face=3D"monospace">= <br></font><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr"= ><font face=3D"monospace">On Sun, Feb 18, 2024 at 3:28=E2=80=AFPM Andreas S= chwab <<a href=3D"mailto:schwab@HIDDEN" target=3D"_blank">schwab= @linux-m68k.org</a>> wrote:<br></font></div><blockquote class=3D"gmail_q= uote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,2= 04);padding-left:1ex"><font face=3D"monospace">On Feb 18 2024, Robert Boyer= wrote:<br><br>> Furthermore, such declare forms are necessary for life = as we know it<br>> in the free world, so that fixnum arithmetic can be u= sed where<br>> appropriate!<br><br>If you are programming in Emacs Lisp,= you need to follow the rules of<br>Emacs Lisp.<font color=3D"#888888"><br>= <br>--<br>Andreas Schwab,=C2=A0<a href=3D"mailto:schwab@HIDDEN" tar= get=3D"_blank">schwab@HIDDEN</a><br>GPG Key fingerprint =3D 7578 EB= 47 D4E5 4D69 2510=C2=A0 2552 DF73 E780 A9DA AEC1<br>"And now for somet= hing completely different."<br></font></font></blockquote></div><font = color=3D"#888888"><font face=3D"monospace"><br clear=3D"all"></font><div><f= ont face=3D"monospace"><br></font></div><font face=3D"monospace"><span clas= s=3D"gmail_signature_prefix">--</span><br></font><div dir=3D"ltr" class=3D"= gmail_signature"><div dir=3D"ltr"><font face=3D"monospace">Anything I seem = to state should be taken as a question.=C2=A0 I am at least 77 and feeble.<= /font></div></div></font></div><div></div><div></div></div></div><div id=3D= "m_-2497710890071307433gmail-:19m" style=3D"font-size:0.875rem;margin:15px = 0px;clear:both"><div style=3D"width:566.688px;border-top:1px dotted rgb(216= ,216,216)"></div><div style=3D"width:1px;height:1px;overflow:hidden">Attach= ments area</div><div id=3D"m_-2497710890071307433gmail-:1ah"></div><div id= =3D"m_-2497710890071307433gmail-:19l" style=3D"padding-top:16px"><span styl= e=3D"display:block;float:left;margin:0px 0px 16px 16px;height:120px;width:1= 80px"><a id=3D"m_-2497710890071307433gmail-:1ag" href=3D"https://www.youtub= e.com/watch?v=3Dw6r4E514nJg&authuser=3D0" role=3D"link" style=3D"color:= rgb(34,34,34);text-decoration-line:none;display:inline-block;height:120px;w= idth:180px;overflow:hidden;outline:none" target=3D"_blank"><span id=3D"m_-2= 497710890071307433gmail-:197" style=3D"width:1px;height:1px;overflow:hidden= ">Preview YouTube video If You're Gonna Play In Texas</span><div aria-h= idden=3D"true"><div style=3D"background-image:initial;background-position:i= nitial;background-size:initial;background-repeat:initial;background-origin:= initial;background-clip:initial;margin:auto"></div><div style=3D"overflow:v= isible;height:0px;border-top:1px solid rgb(229,229,229)"><div style=3D"widt= h:0px;height:118px;border-left:1px solid rgb(229,229,229)"></div></div><div= style=3D"overflow:hidden"><img id=3D"m_-2497710890071307433gmail-:19a" src= =3D"https://i.ytimg.com/vi/w6r4E514nJg/mqdefault.jpg" style=3D"opacity: 1; = border: none; margin: auto; max-width: 120%; min-width: 100%;"><div id=3D"m= _-2497710890071307433gmail-:1a8" style=3D"background-color:rgba(0,0,0,0.4);= border-top:none"><div style=3D"float:left;display:flex;height:32px;width:32= px"><img id=3D"m_-2497710890071307433gmail-:194" src=3D"https://ssl.gstatic= .com/docs/doclist/images/mediatype/icon_2_youtube_x16.png" style=3D"width: = 16px; height: 16px; border: none;"></div><div style=3D"overflow:hidden"><di= v><div style=3D"overflow:hidden;text-overflow:ellipsis;color:rgb(119,119,11= 9);font-size:12px;font-weight:bold;line-height:16px;margin-right:32px;margi= n-top:8px"><span id=3D"m_-2497710890071307433gmail-:195" style=3D"color:rgb= (255,255,255)">If You're Gonna Play In Texas</span></div></div></div></= div></div><div style=3D"height:20px;width:20px;border-right:20px solid tran= sparent"><div id=3D"m_-2497710890071307433gmail-:199" style=3D"width:0px;he= ight:0px;border-width:10px;border-style:solid;opacity:0.5;border-color:rgb(= 119,119,119)"></div></div></div></a></span><div style=3D"height:0px;overflo= w:hidden;clear:both"></div></div></div><div style=3D"padding:0px;width:auto= ;background:rgb(242,242,242);margin:0px;border-bottom-left-radius:1px;borde= r-bottom-right-radius:1px"></div><div style=3D"clear:both"></div></div></di= v><div style=3D"clear:both"></div></div><div style=3D"font-size:0.875rem;pa= dding:0px;width:auto;border-bottom-left-radius:0px;border-bottom-right-radi= us:0px;border-top:none;margin:0px;background-image:initial;background-posit= ion:initial;background-size:initial;background-repeat:initial;background-or= igin:initial;background-clip:initial;font-family:"Google Sans",Ro= boto,RobotoDraft,Helvetica,Arial,sans-serif"><div style=3D"border-top:0px;p= adding:0px"><div style=3D"clear:both;margin:0px;padding:16px 0px;border-top= :none"><div id=3D"m_-2497710890071307433gmail-:19o"><table role=3D"presenta= tion" style=3D"border-collapse:collapse"><tbody><tr><td style=3D"padding:0p= x 16px;vertical-align:top;width:44px"><img id=3D"m_-2497710890071307433gmai= l-:45_5" name=3D"m_-2497710890071307433_gmail-:45" src=3D"https://lh3.googl= eusercontent.com/a/ACg8ocIKVvPVQGvSmqfNFnAMC1m3JsnLxjOKwP1VSlmS9rHJaqQ=3Ds4= 0-p-mo" style=3D"width: 40px; height: 40px; display: block; border-radius: = 50%;"></td><td style=3D"padding:0px;width:566.664px"><div style=3D"box-sizi= ng:border-box;border-radius:1px;padding:0px;border:none;margin:0px"><div st= yle=3D"color:inherit;height:auto;padding:0px;display:flex;line-height:20px"= ><span id=3D"m_-2497710890071307433gmail-:19d" role=3D"link" style=3D"borde= r:1px solid rgb(116,119,117);display:inline-flex;font-size:0.875rem;backgro= und:none;border-radius:18px;box-sizing:border-box;color:rgb(68,71,70);heigh= t:36px;outline:none;padding:0px 16px 0px 12px;min-width:104px;margin-right:= 8px">Reply all</span><span id=3D"m_-2497710890071307433gmail-:19f" role=3D"= link" style=3D"border:1px solid rgb(116,119,117);display:inline-flex;font-s= ize:0.875rem;background:none;border-radius:18px;box-sizing:border-box;color= :rgb(68,71,70);height:36px;outline:none;padding:0px 16px 0px 12px;min-width= :104px;margin-right:8px">Reply</span><span id=3D"m_-2497710890071307433gmai= l-:19c" role=3D"link" style=3D"border:1px solid rgb(116,119,117);display:in= line-flex;font-size:0.875rem;background:none;border-radius:18px;box-sizing:= border-box;color:rgb(68,71,70);height:36px;outline:none;padding:0px 16px 0p= x 12px;min-width:104px;margin-right:8px">Forward</span><div><button aria-la= bel=3D"Add reaction" style=3D"margin-top:0px;background-image:initial;backg= round-position:initial;background-size:initial;background-repeat:initial;ba= ckground-origin:initial;background-clip:initial;border-width:initial;border= -style:none;border-color:initial;display:inline-flex;line-height:inherit;ou= tline:none"><span style=3D"overflow:hidden;outline:none;width:35.9953px;hei= ght:35.9953px"></span><span aria-hidden=3D"true" style=3D"display:inline-bl= ock;line-height:0"><span aria-hidden=3D"true"></span></span><div></div></bu= tton><div id=3D"m_-2497710890071307433gmail-tt-c3" role=3D"tooltip" aria-hi= dden=3D"true" style=3D"height:1px;overflow:hidden">Add reaction</div></div>= </div></div></td></tr></tbody></table></div></div></div></div></div></div><= /div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">O= n Sun, Feb 18, 2024 at 5:32=E2=80=AFPM Stefan Monnier <<a href=3D"mailto= :monnier@HIDDEN" target=3D"_blank">monnier@HIDDEN</a>&g= t; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0p= x 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> ;= ; However, (native-compile "compile-bug.el") results in the follo= wing<br> > error message:<br> ><br> > ;; Compiling file<br> > /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri = Feb<br> > 16 08:25:19 2024<br> > ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98fixnu= m=E2=80=99 in foo<br> > ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98vecto= r=E2=80=99 in foo<br> <br> First thing: these are not error messages!=C2=A0 They're *warnings*!<br= > <br> `batch-byte-compile` also gives those warnings, because ELisp does not<br> know those declarations.=C2=A0 The native compiler does support some type<b= r> annotations, but they do not take this shape.<br> <br> I presume you took those from some other Lisp dialect, but that won't d= o<br> you much good.=C2=A0 Scheme is not Clojure is not Common Lisp is not ELisp = ...<br> <br> BTW, A more recent Emacs would give you an additional warning:<br> <br> =C2=A0 =C2=A0 Warning: file has no =E2=80=98lexical-binding=E2=80=99 direct= ive on its first line<br> <br> So, I see no bug.=C2=A0 Did the resulting native-compile misbehave in<br> any way?=C2=A0 I presume you're worried about its performance.<br> If so, do you have concrete code where you measured the performance and<br> were disappointed and where you have good reasons to believe that type<br> annotations would make a difference?=C2=A0 If so, we'd be interested to= see<br> your code to try and improve our compiler.<br> <br> <br> =C2=A0 =C2=A0 =C2=A0 =C2=A0 Stefan<br> <br> </blockquote></div><br clear=3D"all"><div><br></div><span class=3D"gmail_si= gnature_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature"><d= iv dir=3D"ltr">Anything I seem to state should be taken as a question.=C2= =A0 I am at least 77 and feeble.</div></div> </blockquote></div><br clear=3D"all"><div><br></div><span class=3D"gmail_si= gnature_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature"><d= iv dir=3D"ltr">Anything I seem to state should be taken as a question.=C2= =A0 I am at least 77 and feeble.</div></div> --000000000000177afe0611b097cc--
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.
Received: (at 69249) by debbugs.gnu.org; 19 Feb 2024 03:19:32 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 22:19:32 2024
Received: from localhost ([127.0.0.1]:40088 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1rbuBn-0008Jp-I4
for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 22:19:32 -0500
Received: from mail-ed1-f52.google.com ([209.85.208.52]:46590)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <robertstephenboyer@HIDDEN>) id 1rbqpM-0002fK-8H
for 69249 <at> debbugs.gnu.org; Sun, 18 Feb 2024 18:44:10 -0500
Received: by mail-ed1-f52.google.com with SMTP id
4fb4d7f45d1cf-563c2b2bddbso4742189a12.1
for <69249 <at> debbugs.gnu.org>; Sun, 18 Feb 2024 15:43:47 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1708299762; x=1708904562; darn=debbugs.gnu.org;
h=cc:to:subject:message-id:date:from:in-reply-to:references
:mime-version:from:to:cc:subject:date:message-id:reply-to;
bh=EvIRmmeqqk9WNurcNPeA/9bEel8hRcHvVUzmqFUq5NE=;
b=P9hm/xRy4U8kkPDXcyxR+7HYLnMuhO3E1cpdhjqr14NsUpKOpb0zD8G0LAd0a/DF4M
n0C5sTc3i/VepaokWkExHxRjhtUDMRJb9i66umsK6clr10LoQg1aJgE69Mfk1xaRXsqb
VkOwiYI4vxGGBjrPtClVtSxlr1ChiuY+ivSvrcFw8uuDYUoau4dcs11u1DsOzzuklLAR
3er+Vptrxp24fHZ8MJsHSiR5Unecq8UZ8+t056jrpFoJcNBUZaIzlZKQOVsA+2E1xlFG
imkhAZdFeRO0PlZ1i08U1gKU6GcbOLGVml+PYPT8bsgqp7shqWDm6c8z60L/jzjaX5vH
ylhw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1708299762; x=1708904562;
h=cc:to:subject:message-id:date:from:in-reply-to:references
:mime-version:x-gm-message-state:from:to:cc:subject:date:message-id
:reply-to;
bh=EvIRmmeqqk9WNurcNPeA/9bEel8hRcHvVUzmqFUq5NE=;
b=h/SH1PtXzg4lSp+jYomjomDQ4RNquvLukvGnfAtCvzbg360+r1czt/kzKAVzeq6wTD
ekhlsqhUc8PTDcwTD2bQk4JeT6T+JUWCqR64N8kmSNS8oxI178zeECjGp5a6Sxuf5Gq4
g/d9s8F1sxBlLiKfkfFRbalHSvrLcs3/unSa1IaO+fbvN+jVZ12V+VgPxcsBFX2L7RZ6
+dmla07RWUDgxZYvMQmDAm5qCmyCQHxR+5ZpjjldLNeVgFf1a8l8iEa0uDSDm9Faj5W/
mDeIcYSldX4wf43K03vJelNwostffPw1jO1ai3qxWpDzaM+bfbt2B6taZV0CKtsiNlPK
A0DQ==
X-Gm-Message-State: AOJu0Ywielt+fSWfpt5aaxeUtDUK9Skkg7O6smbN4CvwVYRqAB/bMzCS
PDJ+slmXbZ1L1VX3YqUERYaP5EgT5PFAaWGgvTdW5qmnHUiQ8xuqlWZjpKhHXTF/35Rn2bbhj23
dQyM7PxDomcC6g47PB9VqBY89UHY=
X-Google-Smtp-Source: AGHT+IF+i7kDlOJva0qdCgmiV0v9m69PdVocsh7HLiMbkBnkL40cT7Tb2tKvFWtwhrP5rqrOf8Xs4MiR5OocCfiDwoQ=
X-Received: by 2002:aa7:c75a:0:b0:564:1de6:c8c0 with SMTP id
c26-20020aa7c75a000000b005641de6c8c0mr2973645eds.31.1708299761400; Sun, 18
Feb 2024 15:42:41 -0800 (PST)
MIME-Version: 1.0
References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN>
<jwv4je5xsla.fsf-monnier+emacs@HIDDEN>
In-Reply-To: <jwv4je5xsla.fsf-monnier+emacs@HIDDEN>
From: Robert Boyer <robertstephenboyer@HIDDEN>
Date: Sun, 18 Feb 2024 17:42:03 -0600
Message-ID: <CAP9n0TNP-UK+RopMf07D=P-B-GrRHaGJDonSNtOgSDhZ95NeLA@HIDDEN>
Subject: Re: bug#69249: bug in native-compile?
To: Stefan Monnier <monnier@HIDDEN>
Content-Type: multipart/alternative; boundary="00000000000072bfb80611b088e2"
X-Spam-Score: -1.9 (-)
X-Debbugs-Envelope-To: 69249
X-Mailman-Approved-At: Sun, 18 Feb 2024 22:19:27 -0500
Cc: 69249 <at> debbugs.gnu.org, rms@HIDDEN
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.9 (--)
--00000000000072bfb80611b088e2
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
If so, we'd be interested to see your code to try and improve our compiler=
.
I hope this helps. If not, please let me know.
Robert Boyer <robertstephenboyer@HIDDEN>
4:19=E2=80=AFPM (1 hour ago)
Reply to all
to Andreas, Eli, 69249, Andrea, Stefan, rms
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 ((<=3D 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 ((<=3D 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=3Dw6r4E514nJg
Bob
Bob
On Sun, Feb 18, 2024 at 3:28=E2=80=AFPM Andreas Schwab <schwab@HIDDEN=
rg>
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@HIDDEN
> GPG Key fingerprint =3D 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC=
1
> "And now for something completely different."
>
--
Anything I seem to state should be taken as a question. I am at least 77
and feeble.
Attachments area
Preview YouTube video If You're Gonna Play In Texas
If You're Gonna Play In Texas
<https://www.youtube.com/watch?v=3Dw6r4E514nJg&authuser=3D0>
Reply allReplyForward
Add reaction
On Sun, Feb 18, 2024 at 5:32=E2=80=AFPM Stefan Monnier <monnier@HIDDEN=
al.ca>
wrote:
> > ;; However, (native-compile "compile-bug.el") results in the following
> > error message:
> >
> > ;; Compiling file
> > /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri F=
eb
> > 16 08:25:19 2024
> > ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98fixnum=
=E2=80=99 in foo
> > ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98vector=
=E2=80=99 in foo
>
> First thing: these are not error messages! They're *warnings*!
>
> `batch-byte-compile` also gives those warnings, because ELisp does not
> know those declarations. The native compiler does support some type
> annotations, but they do not take this shape.
>
> I presume you took those from some other Lisp dialect, but that won't do
> you much good. Scheme is not Clojure is not Common Lisp is not ELisp ...
>
> BTW, A more recent Emacs would give you an additional warning:
>
> Warning: file has no =E2=80=98lexical-binding=E2=80=99 directive on i=
ts first line
>
> So, I see no bug. Did the resulting native-compile misbehave in
> any way? I presume you're worried about its performance.
> If so, do you have concrete code where you measured the performance and
> were disappointed and where you have good reasons to believe that type
> annotations would make a difference? If so, we'd be interested to see
> your code to try and improve our compiler.
>
>
> Stefan
>
>
--=20
Anything I seem to state should be taken as a question. I am at least 77
and feeble.
--00000000000072bfb80611b088e2
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr">=C2=A0If so, we'd be interested to see your code to tr=
y and improve our compiler.<div><br></div><div>I hope this helps.=C2=A0 If =
not, please let me know.</div><div><br></div><div><br><div><br></div><div><=
div class=3D"gmail-adn gmail-ads" style=3D"border-left:none;padding:0px;dis=
play:flex;font-family:"Google Sans",Roboto,RobotoDraft,Helvetica,=
Arial,sans-serif;font-size:medium"><div class=3D"gmail-aju" style=3D"displa=
y:flex;float:none;height:80px;padding:0px 16px;min-width:40px"><div class=
=3D"gmail-aCi" style=3D""><img id=3D"gmail-:45_6-e" name=3D"gmail-:45" src=
=3D"https://lh3.googleusercontent.com/a/ACg8ocIKVvPVQGvSmqfNFnAMC1m3JsnLxjO=
KwP1VSlmS9rHJaqQ=3Ds40-p-mo" class=3D"gmail-ajn" aria-hidden=3D"true" style=
=3D"width: 40px; height: 40px; display: block; border-radius: 50%; backgrou=
nd-color: rgb(204, 204, 204);"></div></div><div class=3D"gmail-gs" style=3D=
"margin:0px;min-width:0px;padding:0px 0px 20px;width:initial"><div class=3D=
"gmail-gE gmail-iv gmail-gt" style=3D"font-size:0.875rem;padding:20px 0px 0=
px"><table cellpadding=3D"0" class=3D"gmail-cf gmail-gJ" style=3D"border-co=
llapse:collapse;margin-top:0px;width:auto;font-size:0.875rem;display:block"=
><tbody style=3D"display:block"><tr class=3D"gmail-acZ" style=3D"display:fl=
ex;height:auto"><td class=3D"gmail-gF gmail-gK" style=3D"padding:0px;vertic=
al-align:top;width:220.512px;line-height:20px;display:block;max-height:20px=
"><table cellpadding=3D"0" class=3D"gmail-cf gmail-ix" style=3D"border-coll=
apse:collapse;table-layout:fixed;width:220.512px"><tbody><tr><td class=3D"g=
mail-c2" style=3D"display:flex"><div class=3D"gmail-c4 gmail-aA" aria-label=
=3D"This message was replied to." role=3D"label" style=3D"background-image:=
url("https://www.gstatic.com/images/icons/material/system_gm/1x/reply_=
black_20dp.png");background-position:50% 50%;background-repeat:no-repe=
at;background-size:20px;height:20px;margin-right:8px;opacity:0.54;width:20p=
x"></div><h3 class=3D"gmail-iw" style=3D"overflow:hidden;font-size:0.75rem;=
font-weight:inherit;margin:inherit;text-overflow:ellipsis;color:rgb(95,99,1=
04);line-height:20px"><span class=3D"gmail-qu" role=3D"gridcell" tabindex=
=3D"-1"><span name=3D"Robert Boyer" class=3D"gmail-gD" style=3D"color:rgb(3=
1,31,31);font-size:0.875rem;font-weight:bold;display:inline;vertical-align:=
top;line-height:20px"><span style=3D"vertical-align:top">Robert Boyer</span=
></span>=C2=A0<span class=3D"gmail-cfXrwd"></span><span class=3D"gmail-go" =
style=3D"vertical-align:top;color:rgb(94,94,94)"><span aria-hidden=3D"true"=
><</span><a href=3D"mailto:robertstephenboyer@HIDDEN">robertstephenbo=
yer@HIDDEN</a><span aria-hidden=3D"true">></span></span></span></h3><=
/td></tr></tbody></table></td><td class=3D"gmail-gH gmail-bAk" style=3D"tex=
t-align:right;vertical-align:top;display:block;max-height:20px"><div class=
=3D"gmail-gK" style=3D"padding:0px;display:flex"><span id=3D"gmail-:1ac" cl=
ass=3D"gmail-g3" title=3D"Feb 18, 2024, 4:19=E2=80=AFPM" alt=3D"Feb 18, 202=
4, 4:19=E2=80=AFPM" role=3D"gridcell" tabindex=3D"-1" style=3D"vertical-ali=
gn:top;margin:0px;font-size:0.75rem;color:rgb(94,94,94);display:block;line-=
height:20px">4:19=E2=80=AFPM (1 hour ago)</span><div class=3D"gmail-zd gmai=
l-bi4" aria-label=3D"Not starred" tabindex=3D"0" role=3D"checkbox" aria-che=
cked=3D"false" style=3D"display:inline-block;height:20px;margin-left:20px;o=
utline:0px"><span class=3D"gmail-T-KT" style=3D"display:inline-flex;height:=
20px;text-align:center;width:20px;padding:0px;margin:0px;border:none;outlin=
e:none"></span></div></div></td><td class=3D"gmail-gH" style=3D"text-align:=
right;vertical-align:top;display:flex"></td><td class=3D"gmail-gH gmail-acX=
gmail-bAm" rowspan=3D"2" style=3D"text-align:right;vertical-align:top;disp=
lay:block;max-height:20px"><div class=3D"gmail-T-I gmail-J-J5-Ji gmail-T-I-=
Js-IF gmail-R1Zuwf gmail-T-I-ax7 gmail-L3" role=3D"button" tabindex=3D"0" a=
ria-label=3D"Add reaction" style=3D"display:inline-flex;border-radius:2px 0=
px 0px 2px;font-size:0.875rem;text-align:center;margin:0px 0px 0px 20px;hei=
ght:20px;line-height:18px;min-width:auto;outline:none;padding:0px;backgroun=
d:transparent;color:rgb(68,68,68);border:none"><img class=3D"gmail-qfynfc g=
mail-T-I-J3" role=3D"button" src=3D"https://mail.google.com/mail/u/0/images=
/cleardot.gif" alt=3D"" style=3D"background-image: url("//ssl.gstatic.=
com/ui/v1/icons/mail/gm3/1x/mood_baseline_nv700_20dp.png"); background=
-position: 50% 50%; background-repeat: no-repeat; background-size: 20px; ma=
rgin: 0px; vertical-align: middle; opacity: 1; display: inline-block; heigh=
t: 20px; padding: 0px; transition: opacity 0.15s cubic-bezier(0.4, 0, 0.2, =
1) 0s; width: 20px;"></div><div class=3D"gmail-T-I gmail-J-J5-Ji gmail-T-I-=
Js-IF gmail-bsQ gmail-T-I-ax7 gmail-L3" role=3D"button" tabindex=3D"0" styl=
e=3D"display:inline-flex;border-radius:4px;font-size:0.875rem;text-align:ce=
nter;margin:0px 0px 0px 10px;height:20px;line-height:18px;min-width:80px;ou=
tline:none;padding:0px 8px;background:none;color:rgb(68,71,70);border:1px s=
olid transparent;box-sizing:border-box"><img class=3D"gmail-hB gmail-T-I-J3=
gmail-mK" role=3D"button" src=3D"https://mail.google.com/mail/u/0/images/c=
leardot.gif" alt=3D"" style=3D"opacity: 1; vertical-align: middle; backgrou=
nd: url("//ssl.gstatic.com/ui/v1/icons/mail/gm3/1x/reply_baseline_nv70=
0_20dp.png") 50% 50% / 20px no-repeat; height: 20px; margin: 0px; widt=
h: 20px; display: inline-block; padding: 0px; transition: opacity 0.15s cub=
ic-bezier(0.4, 0, 0.2, 1) 0s;"><span class=3D"gmail-bat" style=3D"margin-le=
ft:8px">Reply to all</span></div><div id=3D"gmail-:191" class=3D"gmail-T-I =
gmail-J-J5-Ji gmail-T-I-Js-Gs gmail-aap gmail-T-I-awG gmail-T-I-ax7 gmail-L=
3" role=3D"button" tabindex=3D"0" aria-expanded=3D"false" aria-haspopup=3D"=
true" aria-label=3D"More message options" style=3D"display:inline-flex;bord=
er-radius:0px 2px 2px 0px;font-size:0.875rem;text-align:center;margin:0px 0=
px 0px 10px;height:20px;line-height:18px;min-width:0px;outline:none;padding=
:0px;background:transparent;color:rgb(68,68,68);border:none"><img class=3D"=
gmail-hA gmail-T-I-J3" role=3D"menu" src=3D"https://mail.google.com/mail/u/=
0/images/cleardot.gif" alt=3D"" style=3D"background: url("//ssl.gstati=
c.com/ui/v1/icons/mail/gm3/1x/more_vert_baseline_nv700_20dp.png") 50% =
50% / 20px no-repeat; height: 20px; width: 20px; margin: 0px; vertical-alig=
n: middle; opacity: 1; display: inline-block; padding: 0px; transition: opa=
city 0.15s cubic-bezier(0.4, 0, 0.2, 1) 0s;"></div></td></tr><tr class=3D"g=
mail-acZ gmail-xD" style=3D"display:flex;height:auto"><td colspan=3D"3"><ta=
ble cellpadding=3D"0" class=3D"gmail-cf gmail-adz" style=3D"border-collapse=
:collapse;table-layout:fixed;width:566.652px"><tbody><tr><td class=3D"gmail=
-ady" style=3D"overflow:visible;text-overflow:ellipsis;display:flex;line-he=
ight:20px"><div class=3D"gmail-iw gmail-ajw" style=3D"overflow:hidden;max-w=
idth:92%;display:inline-block"><span class=3D"gmail-hb" style=3D"vertical-a=
lign:top;color:rgb(94,94,94);font-size:0.75rem;line-height:20px">to=C2=A0<s=
pan name=3D"Andreas" class=3D"gmail-g2" style=3D"vertical-align:top">Andrea=
s</span>,=C2=A0<span name=3D"Eli" class=3D"gmail-g2" style=3D"vertical-alig=
n:top">Eli</span>,=C2=A0<span name=3D"69249" class=3D"gmail-g2" style=3D"ve=
rtical-align:top">69249</span>,=C2=A0<span name=3D"Andrea" class=3D"gmail-g=
2" style=3D"vertical-align:top">Andrea</span>,=C2=A0<span name=3D"Stefan" c=
lass=3D"gmail-g2" style=3D"vertical-align:top">Stefan</span>,=C2=A0<span na=
me=3D"rms" class=3D"gmail-g2" style=3D"vertical-align:top">rms</span></span=
></div><div id=3D"gmail-:19v" aria-haspopup=3D"true" class=3D"gmail-ajy" ro=
le=3D"button" tabindex=3D"0" aria-label=3D"Show details" style=3D"display:i=
nline-flex;margin-left:4px;vertical-align:top;border:none;outline:none"><im=
g class=3D"gmail-ajz" src=3D"https://mail.google.com/mail/u/0/images/cleard=
ot.gif" alt=3D"" style=3D"background: url("https://www.gstatic.com/ima=
ges/icons/material/system_gm/1x/arrow_drop_down_black_20dp.png") 50% 5=
0% / 20px no-repeat; cursor: pointer; padding: 0px; vertical-align: baselin=
e; height: 20px; width: 20px; border: none; margin: 0px 0px 0px auto; right=
: 0px; top: 0px; display: flex; opacity: 0.71;"></div></td></tr></tbody></t=
able></td></tr></tbody></table></div><div id=3D"gmail-:19b"><div class=3D"g=
mail-qQVYZb"></div><div class=3D"gmail-utdU2e"></div><div class=3D"gmail-lQ=
s8Hd"></div><div class=3D"gmail-wl4W9b" style=3D"display:flex"></div></div>=
<div class=3D"gmail-"><div class=3D"gmail-aHl" style=3D""></div><div id=3D"=
gmail-:19w" tabindex=3D"-1"></div><div id=3D"gmail-:19p" class=3D"gmail-ii =
gmail-gt" style=3D"direction:ltr;margin:8px 0px 0px;padding:0px;font-size:0=
.875rem;overflow-x:hidden"><div id=3D"gmail-:19g" class=3D"gmail-a3s gmail-=
aiL" style=3D"direction:initial;font-variant-numeric:normal;font-variant-ea=
st-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-featu=
re-settings:normal;font-stretch:normal;font-size:small;line-height:1.5;font=
-family:Arial,Helvetica,sans-serif;overflow:auto hidden"><div dir=3D"ltr"><=
div dir=3D"ltr"><div><font face=3D"monospace">This message is about how imp=
ortant DECLARE and THE are.=C2=A0 If you do not</font></div><div><font face=
=3D"monospace">handle DECLARE and THE right, people will laugh=C2=A0at nati=
ve-compile.</font></div><div><font face=3D"monospace"><br></font></div><div=
><font face=3D"monospace">Here is</font><span style=3D"font-family:monospac=
e">=C2=A0an SBCL transcript.=C2=A0 I am running on a $100 Lenovo Chromebook=
.</span></div><div><span style=3D"font-family:monospace"><br></span></div><=
div><font face=3D"monospace">I got SBCL with the command=C2=A0</font>sudo a=
pt-get install sbcl.</div><div><font face=3D"monospace"><br></font></div><f=
ont face=3D"monospace">* (declaim (optimize (safety 0) (speed 3) (debug 0))=
)<br>NIL<br>* (defun foo-with-declare (n)<br>=C2=A0 (let ((i 0)<br>=C2=A0 =
=C2=A0 =C2=A0 =C2=A0 (sum 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (max (expt 10 n=
)))<br>=C2=A0 =C2=A0 (declare (fixnum i sum max))<br>=C2=A0 =C2=A0 (loop (c=
ond ((<=3D i max)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0(setq sum (the fixnum (+ sum i))))<br>=C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (t (return sum)))<br>=C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 (incf i))))<br>FOO-WITH-DECLARE<br>* (<span class=3D"gmail-il=
">time</span>=C2=A0(foo-with-declare 8))<br>Evaluation took:<br>=C2=A0 0.12=
5 seconds of real=C2=A0<span class=3D"gmail-il">time</span><br>=C2=A0 0.123=
203 seconds of total run=C2=A0<span class=3D"gmail-il">time</span>=C2=A0(0.=
123193 user, 0.000010 system)<br>=C2=A0 98.40% CPU<br>=C2=A0 135,905,516 pr=
ocessor cycles<br>=C2=A0 0 bytes consed<br>5000000050000000<br>* (defun foo=
-without-declare (n)<br>=C2=A0 (let ((i 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (=
sum 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (max (expt 10 n)))<br>=C2=A0 =C2=A0 (=
loop (cond ((<=3D i max)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0(setq sum (+ sum i)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 (t (return sum)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 (incf i))))<br>WARNING: redefining COMMON-LISP-USER::FOO-WITHOUT=
-DECLARE in DEFUN<br>FOO-WITHOUT-DECLARE<br>* (<span class=3D"gmail-il">tim=
e</span>=C2=A0(foo-without-declare 8))<br>Evaluation took:<br>=C2=A0 1.080 =
seconds of real=C2=A0<span class=3D"gmail-il">time</span><br>=C2=A0 1.07293=
2 seconds of total run=C2=A0<span class=3D"gmail-il">time</span>=C2=A0(1.07=
2932 user, 0.000000 system)<br>=C2=A0 99.35% CPU<br>=C2=A0 1,181,369,303 pr=
ocessor cycles<br>=C2=A0 0 bytes consed<br>5000000050000000<br></font></div=
><div dir=3D"ltr"><font face=3D"monospace"><br></font></div><div><font face=
=3D"monospace">People go wow about 8X.=C2=A0 How does native-compile do?</f=
ont></div><div><font face=3D"monospace"><br></font></div><div><font face=3D=
"monospace">There is a great song by Alabama 'If you gonna=C2=A0play in=
Texas, you gotta have a fiddle in the band'. Check it out!</font></div=
><div><br></div><div><a href=3D"https://www.youtube.com/watch?v=3Dw6r4E514n=
Jg" target=3D"_blank">https://www.youtube.com/watch?v=3Dw6r4E514nJg</a></di=
v><div><br></div><div>Bob</div><div><br></div><div><font face=3D"monospace"=
><br></font></div><div><font face=3D"monospace">Bob</font></div><div><font =
face=3D"monospace"><br></font></div><font face=3D"monospace"><br></font><di=
v class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr"><font face=3D=
"monospace">On Sun, Feb 18, 2024 at 3:28=E2=80=AFPM Andreas Schwab <<a h=
ref=3D"mailto:schwab@HIDDEN" target=3D"_blank">schwab@HIDDEN=
g</a>> wrote:<br></font></div><blockquote class=3D"gmail_quote" style=3D=
"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-le=
ft:1ex"><font face=3D"monospace">On Feb 18 2024, Robert Boyer wrote:<br><br=
>> Furthermore, such declare forms are necessary for life as we know it<=
br>> in the free world, so that fixnum arithmetic can be used where<br>&=
gt; appropriate!<br><br>If you are programming in Emacs Lisp, you need to f=
ollow the rules of<br>Emacs Lisp.<font color=3D"#888888"><br><br>--<br>Andr=
eas Schwab,=C2=A0<a href=3D"mailto:schwab@HIDDEN" target=3D"_blank"=
>schwab@HIDDEN</a><br>GPG Key fingerprint =3D 7578 EB47 D4E5 4D69 2=
510=C2=A0 2552 DF73 E780 A9DA AEC1<br>"And now for something completel=
y different."<br></font></font></blockquote></div><font color=3D"#8888=
88"><font face=3D"monospace"><br clear=3D"all"></font><div><font face=3D"mo=
nospace"><br></font></div><font face=3D"monospace"><span class=3D"gmail_sig=
nature_prefix">--</span><br></font><div dir=3D"ltr" class=3D"gmail_signatur=
e"><div dir=3D"ltr"><font face=3D"monospace">Anything I seem to state shoul=
d be taken as a question.=C2=A0 I am at least 77 and feeble.</font></div></=
div></font></div><div class=3D"gmail-yj6qo"></div><div class=3D"gmail-adL">=
</div></div></div><div id=3D"gmail-:19m" class=3D"gmail-hq gmail-gt gmail-a=
10" style=3D"font-size:0.875rem;margin:15px 0px;clear:both"><div class=3D"g=
mail-hp" style=3D"width:566.688px;border-top:1px dotted rgb(216,216,216)"><=
/div><div class=3D"gmail-a3I" style=3D"width:1px;height:1px;overflow:hidden=
">Attachments area</div><div id=3D"gmail-:1ah"></div><div id=3D"gmail-:19l"=
class=3D"gmail-aQH" style=3D"padding-top:16px"><span class=3D"gmail-aZo" s=
tyle=3D"display:block;float:left;margin:0px 0px 16px 16px;height:120px;widt=
h:180px"><a id=3D"gmail-:1ag" class=3D"gmail-aQy gmail-aZR gmail-e gmail-aZ=
r" href=3D"https://www.youtube.com/watch?v=3Dw6r4E514nJg&authuser=3D0" =
target=3D"_blank" role=3D"link" tabindex=3D"0" style=3D"color:rgb(34,34,34)=
;text-decoration-line:none;display:inline-block;height:120px;width:180px;ov=
erflow:hidden;outline:none"><span id=3D"gmail-:197" class=3D"gmail-a3I" sty=
le=3D"width:1px;height:1px;overflow:hidden">Preview YouTube video If You=
9;re Gonna Play In Texas</span><div aria-hidden=3D"true"><div class=3D"gmai=
l-aSG" style=3D"background-image:initial;background-position:initial;backgr=
ound-size:initial;background-repeat:initial;background-origin:initial;backg=
round-clip:initial;margin:auto"></div><div class=3D"gmail-aVY gmail-aZn" st=
yle=3D"overflow:visible;height:0px;border-top:1px solid rgb(229,229,229)"><=
div class=3D"gmail-aZm" style=3D"width:0px;height:118px;border-left:1px sol=
id rgb(229,229,229)"></div></div><div class=3D"gmail-aSH" style=3D"overflow=
:hidden"><img id=3D"gmail-:19a" class=3D"gmail-aQG gmail-aYB" src=3D"https:=
//i.ytimg.com/vi/w6r4E514nJg/mqdefault.jpg" style=3D"transition: opacity 0.=
5s linear 0s; opacity: 1; border: none; margin: auto; inset: -11.7942px -17=
.7995px; max-width: 120%; min-width: 100%;"><div id=3D"gmail-:1a8" class=3D=
"gmail-aYy" style=3D"background-color:rgba(0,0,0,0.4);border-top:none"><div=
class=3D"gmail-aYA" style=3D"float:left;display:flex;height:32px;width:32p=
x"><img id=3D"gmail-:194" class=3D"gmail-aSM" src=3D"https://ssl.gstatic.co=
m/docs/doclist/images/mediatype/icon_2_youtube_x16.png" style=3D"width: 16p=
x; height: 16px; border: none;"></div><div class=3D"gmail-aYz" style=3D"ove=
rflow:hidden"><div class=3D"gmail-a12"><div class=3D"gmail-aQA" style=3D"ov=
erflow:hidden;text-overflow:ellipsis;color:rgb(119,119,119);font-size:12px;=
font-weight:bold;line-height:16px;margin-right:32px;margin-top:8px"><span i=
d=3D"gmail-:195" class=3D"gmail-aV3" style=3D"color:rgb(255,255,255)">If Yo=
u're Gonna Play In Texas</span></div></div></div></div></div><div class=
=3D"gmail-aSI" style=3D"height:20px;width:20px;border-right:20px solid tran=
sparent"><div id=3D"gmail-:199" class=3D"gmail-aSJ" style=3D"width:0px;heig=
ht:0px;border-width:10px;border-style:solid;opacity:0.5;border-color:rgb(11=
9,119,119)"></div></div></div></a></span><div class=3D"gmail-aZK" style=3D"=
height:0px;overflow:hidden;clear:both"></div></div></div><div class=3D"gmai=
l-hi" style=3D"padding:0px;width:auto;background:rgb(242,242,242);margin:0p=
x;border-bottom-left-radius:1px;border-bottom-right-radius:1px"></div><div =
class=3D"gmail-WhmR8e" style=3D"clear:both"></div></div></div><div class=3D=
"gmail-ajx" style=3D"clear:both"></div></div><div class=3D"gmail-gA gmail-g=
t gmail-acV" style=3D"font-size:0.875rem;padding:0px;width:auto;border-bott=
om-left-radius:0px;border-bottom-right-radius:0px;border-top:none;margin:0p=
x;background-image:initial;background-position:initial;background-size:init=
ial;background-repeat:initial;background-origin:initial;background-clip:ini=
tial;font-family:"Google Sans",Roboto,RobotoDraft,Helvetica,Arial=
,sans-serif"><div class=3D"gmail-gB gmail-xu" style=3D"border-top:0px;paddi=
ng:0px"><div class=3D"gmail-ip gmail-iq" style=3D"clear:both;margin:0px;pad=
ding:16px 0px;border-top:none"><div id=3D"gmail-:19o"><table class=3D"gmail=
-cf gmail-wS" role=3D"presentation" style=3D"border-collapse:collapse"><tbo=
dy><tr><td class=3D"gmail-amq" style=3D"padding:0px 16px;vertical-align:top=
;width:44px"><img id=3D"gmail-:45_5" name=3D"gmail-:45" src=3D"https://lh3.=
googleusercontent.com/a/ACg8ocIKVvPVQGvSmqfNFnAMC1m3JsnLxjOKwP1VSlmS9rHJaqQ=
=3Ds40-p-mo" class=3D"gmail-ajn gmail-bofPge" style=3D"width: 40px; height:=
40px; display: block; border-radius: 50%;"></td><td class=3D"gmail-amr" st=
yle=3D"padding:0px;width:566.664px"><div class=3D"gmail-nr gmail-wR" style=
=3D"box-sizing:border-box;border-radius:1px;padding:0px;border:none;margin:=
0px"><div class=3D"gmail-amn" style=3D"color:inherit;height:auto;padding:0p=
x;display:flex;line-height:20px"><span id=3D"gmail-:19d" role=3D"link" tabi=
ndex=3D"0" class=3D"gmail-ams gmail-bkI" style=3D"border:1px solid rgb(116,=
119,117);display:inline-flex;font-size:0.875rem;background:none;border-radi=
us:18px;box-sizing:border-box;color:rgb(68,71,70);height:36px;outline:none;=
padding:0px 16px 0px 12px;min-width:104px;margin-right:8px">Reply all</span=
><span id=3D"gmail-:19f" role=3D"link" tabindex=3D"0" class=3D"gmail-ams gm=
ail-bkH" style=3D"border:1px solid rgb(116,119,117);display:inline-flex;fon=
t-size:0.875rem;background:none;border-radius:18px;box-sizing:border-box;co=
lor:rgb(68,71,70);height:36px;outline:none;padding:0px 16px 0px 12px;min-wi=
dth:104px;margin-right:8px">Reply</span><span id=3D"gmail-:19c" role=3D"lin=
k" tabindex=3D"0" class=3D"gmail-ams gmail-bkG" style=3D"border:1px solid r=
gb(116,119,117);display:inline-flex;font-size:0.875rem;background:none;bord=
er-radius:18px;box-sizing:border-box;color:rgb(68,71,70);height:36px;outlin=
e:none;padding:0px 16px 0px 12px;min-width:104px;margin-right:8px">Forward<=
/span><div class=3D"gmail-wrsVRe"><button class=3D"gmail-jWOS7-JX-I gmail-j=
WOS7-JX-I-ql-ay5-ays gmail-LS5phe" aria-label=3D"Add reaction" style=3D"mar=
gin-top:0px;background-image:initial;background-position:initial;background=
-size:initial;background-repeat:initial;background-origin:initial;backgroun=
d-clip:initial;border-width:initial;border-style:none;border-color:initial;=
display:inline-flex;line-height:inherit;outline:none"><span class=3D"gmail-=
bHC-Q" style=3D"overflow:hidden;outline:none;width:35.9953px;height:35.9953=
px"></span><span class=3D"gmail-jWOS7-JX-ank-Rtc0Jf" aria-hidden=3D"true" s=
tyle=3D"display:inline-block;line-height:0"><span class=3D"gmail-" aria-hid=
den=3D"true"></span></span><div class=3D"gmail-jWOS7-JX-ano" style=3D"left:=
auto; top: 17.9916px; transform: translateY(-50%); z-index: 1;"></div></bu=
tton><div class=3D"gmail-ne2Ple-oshW8e-J9" id=3D"gmail-tt-c3" role=3D"toolt=
ip" aria-hidden=3D"true" style=3D"height:1px;overflow:hidden">Add reaction<=
/div></div></div></div></td></tr></tbody></table></div></div></div></div></=
div></div></div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gm=
ail_attr">On Sun, Feb 18, 2024 at 5:32=E2=80=AFPM Stefan Monnier <<a hre=
f=3D"mailto:monnier@HIDDEN">monnier@HIDDEN</a>> wrot=
e:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0=
.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> ;; Howev=
er, (native-compile "compile-bug.el") results in the following<br=
>
> error message:<br>
><br>
> ;; Compiling file<br>
> /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri =
Feb<br>
> 16 08:25:19 2024<br>
> ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98fixnu=
m=E2=80=99 in foo<br>
> ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98vecto=
r=E2=80=99 in foo<br>
<br>
First thing: these are not error messages!=C2=A0 They're *warnings*!<br=
>
<br>
`batch-byte-compile` also gives those warnings, because ELisp does not<br>
know those declarations.=C2=A0 The native compiler does support some type<b=
r>
annotations, but they do not take this shape.<br>
<br>
I presume you took those from some other Lisp dialect, but that won't d=
o<br>
you much good.=C2=A0 Scheme is not Clojure is not Common Lisp is not ELisp =
...<br>
<br>
BTW, A more recent Emacs would give you an additional warning:<br>
<br>
=C2=A0 =C2=A0 Warning: file has no =E2=80=98lexical-binding=E2=80=99 direct=
ive on its first line<br>
<br>
So, I see no bug.=C2=A0 Did the resulting native-compile misbehave in<br>
any way?=C2=A0 I presume you're worried about its performance.<br>
If so, do you have concrete code where you measured the performance and<br>
were disappointed and where you have good reasons to believe that type<br>
annotations would make a difference?=C2=A0 If so, we'd be interested to=
see<br>
your code to try and improve our compiler.<br>
<br>
<br>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 Stefan<br>
<br>
</blockquote></div><br clear=3D"all"><div><br></div><span class=3D"gmail_si=
gnature_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature"><d=
iv dir=3D"ltr">Anything I seem to state should be taken as a question.=C2=
=A0 I am at least 77 and feeble.</div></div>
--00000000000072bfb80611b088e2--
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.Received: (at 69249) by debbugs.gnu.org; 19 Feb 2024 03:19:31 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 22:19:31 2024 Received: from localhost ([127.0.0.1]:40086 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rbuBm-0008Jg-BE for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 22:19:31 -0500 Received: from mail-ej1-f44.google.com ([209.85.218.44]:58804) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <robertstephenboyer@HIDDEN>) id 1rbpqj-0000rn-VQ for 69249 <at> debbugs.gnu.org; Sun, 18 Feb 2024 17:41:31 -0500 Received: by mail-ej1-f44.google.com with SMTP id a640c23a62f3a-a293f2280c7so510346166b.1 for <69249 <at> debbugs.gnu.org>; Sun, 18 Feb 2024 14:41:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708296003; x=1708900803; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=KM0t2xwF00gYvLHb1oKUrdqKpfoIEkAt83PwUon7KNg=; b=Lg/bu6hOC/nKevFLmetiDMlBCut/tpz4U+wOUC/I+yyef+IgEjDnHnIsa43mzj6dAL YZsiSZp2DtJPTpBVme+pMpRJYz5apxWb+JUc4qEd6smbMoSuy/gW1WEjfZOG3RcGOLhu NEv3uTKnK2SBg+EqFIEEKXhMoPb/VzD7f8s+4JpefgzKWAZ6SOQkARDGSAArlDWsaKNJ HULYQYDsFosXTWch/ipco/5WGmjeHoB7JoJ/hF5HaIHVA/SbMd3DNT3Bg1Z2dRbwgntH ACOEvNzOdilGFfI6iaHsMiQwyt7L+RGtyY9rHMVEucFRli5whmk2VPCO09GdLrxuB3au bD6A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708296003; x=1708900803; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=KM0t2xwF00gYvLHb1oKUrdqKpfoIEkAt83PwUon7KNg=; b=Ngs8DWWGFyMJWj0ykziCvqeL84S78DHGR/LTLYWhrlD3abv9uFw2vQAZ5nlUAVO1/H mLLSQfcrv/hqb2hyd/YZECHPv2ivlyaEtVEVtvzSs+WvjQ7t0+XYA7xWrlD9fMQND7yK NuMjlnUEhousYMO1Tex6LYn2NtwnRrm2rXCn/sJpKuUVUW+Ab/1J+Sejn6aqE+OaMcVF eZbwu39NdNe6qPrPuU8O++bSC77qk2SmjG9xTNC+fLBbS9damrXEFuhYBtorI52dd802 C2ItorBZcq8UoA/49D5vAxDnXF04Aj3EZJTp3twjKdtcbgVe8PL2ZLTtz7aSgmpsg4ch VDqw== X-Forwarded-Encrypted: i=1; AJvYcCVp4fgPk04stz54GD+puTsuVXsmKMCnzMb8ljZpvXGwtbrZf1/XDhuoWFElsbObD+k9jFtws8RcGuamenF0o4ajYfueXfs= X-Gm-Message-State: AOJu0YyP3G/d05W2Haj6BZuGLsOerYcdont+pew7z84S2mWWFs0ApyiK Wd2nC6FivRQAwUAc+NslBikLt86wmpLa7Lv6mB1ntScFm/1IHxwDWtJl23Avl7eMWKN9t0c5xRB WxNUd7ZED+c18at5L6Btl+Zks2ws= X-Google-Smtp-Source: AGHT+IFlm5rg7KLfzV9FP/EaArozt2aVFy3tNpP3ZQwoqq2+HLl2DX8JunR6JfwAEvyVhM3bjW6J4myJCWP4tVPFA8I= X-Received: by 2002:a17:906:288b:b0:a3e:8333:d0b2 with SMTP id o11-20020a170906288b00b00a3e8333d0b2mr881755ejd.23.1708296003184; Sun, 18 Feb 2024 14:40:03 -0800 (PST) MIME-Version: 1.0 References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> <86h6i5r20h.fsf@HIDDEN> <CAP9n0TP1HEuSBG1BXVptOr2ZX06E_eTpAxsvnRuPX+FNo397Jg@HIDDEN> <8734tp5uoq.fsf@HIDDEN> <CAP9n0TMaXJvRdA3m+J4fyxMuTWmT07TOMwKt+noCR3c=XfzGhg@HIDDEN> <CAP9n0TPj5EuELx5qtiCMzvtHFLmnNxjMsr3s1aY_KhUQnVc-Ag@HIDDEN> In-Reply-To: <CAP9n0TPj5EuELx5qtiCMzvtHFLmnNxjMsr3s1aY_KhUQnVc-Ag@HIDDEN> From: Robert Boyer <robertstephenboyer@HIDDEN> Date: Sun, 18 Feb 2024 16:39:25 -0600 Message-ID: <CAP9n0TM7EvpG=exC6ixGNbjTT40YzRegnD9cDJG39jq_oz62HQ@HIDDEN> Subject: Re: bug#69249: bug in native-compile? To: Andreas Schwab <schwab@HIDDEN> Content-Type: multipart/alternative; boundary="00000000000070ebd70611afa81d" X-Spam-Score: -1.9 (-) X-Debbugs-Envelope-To: 69249 X-Mailman-Approved-At: Sun, 18 Feb 2024 22:19:27 -0500 Cc: 69249 <at> debbugs.gnu.org, Eli Zaretskii <eliz@HIDDEN>, Andrea Corallo <acorallo@HIDDEN>, Stefan Monnier <monnier@HIDDEN>, rms@HIDDEN X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.9 (--) --00000000000070ebd70611afa81d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Look out, here it comes, as Tracy Schwarz says. The following DISASSEMBLE might tell you what you need to do for native-compile. Speaking with the utmost sincerity, I know less about the following than I do about what Proust called the greatest painting in the world, the View of Delft by Vermmer. Check it out. https://www.mauritshuis.nl/en/our-collection/artworks/92-view-of-delft/ Again, this is in SBCL on my $100 Lenovo Chromebook. * (disassemble 'foo-with-declare) ; disassembly for FOO-WITH-DECLARE ; Size: 60 bytes. Origin: #x52A4AF19 ; FOO-WITH-DECLARE ; 19: 4883EC10 SUB RSP, 16 ; 1D: BA14000000 MOV EDX, 20 ; 22: B904000000 MOV ECX, 4 ; 27: 48892C24 MOV [RSP], RBP ; 2B: 488BEC MOV RBP, RSP ; 2E: B842BD3550 MOV EAX, #x5035BD42 ; #<FDEFN EXPT> ; 33: FFD0 CALL RAX ; 35: 31C0 XOR EAX, EAX ; 37: 31C9 XOR ECX, ECX ; 39: EB0C JMP L1 ; 3B: 0F1F440000 NOP ; 40: L0: 4801C1 ADD RCX, RAX ; 43: 4883C002 ADD RAX, 2 ; 47: L1: 4839D0 CMP RAX, RDX ; 4A: 7EF4 JLE L0 ; 4C: 488BD1 MOV RDX, RCX ; 4F: 488BE5 MOV RSP, RBP ; 52: F8 CLC ; 53: 5D POP RBP ; 54: C3 RET NIL * Bob On Sun, Feb 18, 2024 at 4:25=E2=80=AFPM Robert Boyer <robertstephenboyer@gm= ail.com> wrote: > 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=E2=80=AFPM 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 ((<=3D 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 ((<=3D 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=3Dw6r4E514nJg >> >> Bob >> >> >> Bob >> >> >> On Sun, Feb 18, 2024 at 3:28=E2=80=AFPM Andreas Schwab <schwab@linux-m68= k.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@HIDDEN >>> GPG Key fingerprint =3D 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA A= EC1 >>> "And now for something completely different." >>> >> >> >> -- >> Anything I seem to state should be taken as a question. I am at least 7= 7 >> and feeble. >> > > > -- > Anything I seem to state should be taken as a question. I am at least 77 > and feeble. > --=20 Anything I seem to state should be taken as a question. I am at least 77 and feeble. --00000000000070ebd70611afa81d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div dir=3D"ltr"><font face=3D"monospace">Look out, here i= t comes, as Tracy Schwarz says.</font><div><font face=3D"monospace"><br></f= ont></div><div><font face=3D"monospace">The=C2=A0following DISASSEMBLE migh= t tell you what you need to do for native-compile.=C2=A0</font></div><div><= span style=3D"font-family:monospace"><br></span></div><div><span style=3D"f= ont-family:monospace">Speaking with the utmost sincerity, I know less about= the following than I do about what=C2=A0Proust called the greatest paintin= g in the world, the View of Delft=C2=A0by Vermmer.=C2=A0 Check it out.</spa= n></div><div><br></div><div><a href=3D"https://www.mauritshuis.nl/en/our-co= llection/artworks/92-view-of-delft/">https://www.mauritshuis.nl/en/our-coll= ection/artworks/92-view-of-delft/</a><font face=3D"monospace"><br></font><d= iv><font face=3D"monospace"><br></font></div><div><span style=3D"font-famil= y:monospace">Again, this is in SBCL on my $100 Lenovo Chromebook.</span></d= iv><div><font face=3D"monospace"><br></font></div><div><font face=3D"monosp= ace">* (disassemble 'foo-with-declare)<br>; disassembly for FOO-WITH-DE= CLARE<br>; Size: 60 bytes. Origin: #x52A4AF19 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0; FOO-WITH-DE= CLARE<br>; 19: =C2=A0 =C2=A0 =C2=A0 4883EC10 =C2=A0 =C2=A0 =C2=A0 =C2=A0 SU= B RSP, 16<br>; 1D: =C2=A0 =C2=A0 =C2=A0 BA14000000 =C2=A0 =C2=A0 =C2=A0 MOV= EDX, 20<br>; 22: =C2=A0 =C2=A0 =C2=A0 B904000000 =C2=A0 =C2=A0 =C2=A0 MOV = ECX, 4<br>; 27: =C2=A0 =C2=A0 =C2=A0 48892C24 =C2=A0 =C2=A0 =C2=A0 =C2=A0 M= OV [RSP], RBP<br>; 2B: =C2=A0 =C2=A0 =C2=A0 488BEC =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 MOV RBP, RSP<br>; 2E: =C2=A0 =C2=A0 =C2=A0 B842BD3550 =C2=A0 =C2= =A0 =C2=A0 MOV EAX, #x5035BD42 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0; #<FDEFN EXPT><br>; 33: =C2=A0 =C2=A0 =C2=A0 FFD0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 CALL RAX<br>; 35: =C2=A0 =C2=A0 =C2=A0 31C0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 XOR EAX, EAX<br>; 37: =C2=A0 =C2= =A0 =C2=A0 31C9 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 XOR ECX, ECX<br>;= 39: =C2=A0 =C2=A0 =C2=A0 EB0C =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 JM= P L1<br>; 3B: =C2=A0 =C2=A0 =C2=A0 0F1F440000 =C2=A0 =C2=A0 =C2=A0 NOP<br>;= 40: L0: =C2=A0 4801C1 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ADD RCX, RAX<br>;= 43: =C2=A0 =C2=A0 =C2=A0 4883C002 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ADD RAX, 2<b= r>; 47: L1: =C2=A0 4839D0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 CMP RAX, RDX<b= r>; 4A: =C2=A0 =C2=A0 =C2=A0 7EF4 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= JLE L0<br>; 4C: =C2=A0 =C2=A0 =C2=A0 488BD1 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 MOV RDX, RCX<br>; 4F: =C2=A0 =C2=A0 =C2=A0 488BE5 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 MOV RSP, RBP<br>; 52: =C2=A0 =C2=A0 =C2=A0 F8 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 CLC<br>; 53: =C2=A0 =C2=A0 =C2=A0 5D= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 POP RBP<br>; 54: =C2=A0 = =C2=A0 =C2=A0 C3 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 RET<br>NI= L<br>*=C2=A0<br></font></div></div><div><font face=3D"monospace"><br></font= ></div><div><font face=3D"monospace">Bob</font></div><div><font face=3D"mon= ospace"><br></font></div></div><font face=3D"monospace"><br></font><div cla= ss=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr"><font face=3D"mono= space">On Sun, Feb 18, 2024 at 4:25=E2=80=AFPM Robert Boyer <<a href=3D"= mailto:robertstephenboyer@HIDDEN">robertstephenboyer@HIDDEN</a>> w= rote:<br></font></div><blockquote class=3D"gmail_quote" style=3D"margin:0px= 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><di= v dir=3D"ltr"><font face=3D"monospace">And you should know what DECLARE and= THE do for AREF.=C2=A0 All the difference in the world, and I will give yo= u a simple demo if you wish.</font><div><font face=3D"monospace"><br></font= ></div><div><font face=3D"monospace">Bob</font></div></div><font face=3D"mo= nospace"><br></font><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gm= ail_attr"><font face=3D"monospace">On Sun, Feb 18, 2024 at 4:19=E2=80=AFPM = Robert Boyer <<a href=3D"mailto:robertstephenboyer@HIDDEN" target=3D"= _blank">robertstephenboyer@HIDDEN</a>> wrote:<br></font></div><blockq= uote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1p= x solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr"><div dir=3D"ltr= "><div><font face=3D"monospace">This message is about how important DECLARE= and THE are.=C2=A0 If you do not</font></div><div><font face=3D"monospace"= >handle DECLARE and THE right, people will laugh=C2=A0at native-compile.</f= ont></div><div><font face=3D"monospace"><br></font></div><div><font face=3D= "monospace">Here is=C2=A0an SBCL transcript.=C2=A0 I am running on a $100 L= enovo Chromebook.</font></div><div><font face=3D"monospace"><br></font></di= v><div><font face=3D"monospace">I got SBCL with the command=C2=A0sudo apt-g= et install sbcl.</font></div><div><font face=3D"monospace"><br></font></div= ><font face=3D"monospace">* (declaim (optimize (safety 0) (speed 3) (debug = 0)))<br>NIL<br>* (defun foo-with-declare (n)<br>=C2=A0 (let ((i 0)<br>=C2= =A0 =C2=A0 =C2=A0 =C2=A0 (sum 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (max (expt = 10 n)))<br>=C2=A0 =C2=A0 (declare (fixnum i sum max))<br>=C2=A0 =C2=A0 (loo= p (cond ((<=3D i max) <br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0(setq sum (the fixnum (+ sum i))))<br>=C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (t (return sum)))<br>=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 (incf i))))<br>FOO-WITH-DECLARE<br>* (time (foo-with-decl= are 8))<br>Evaluation took:<br>=C2=A0 0.125 seconds of real time<br>=C2=A0 = 0.123203 seconds of total run time (0.123193 user, 0.000010 system)<br>=C2= =A0 98.40% CPU<br>=C2=A0 135,905,516 processor cycles<br>=C2=A0 0 bytes con= sed<br>5000000050000000<br>* (defun foo-without-declare (n)<br>=C2=A0 (let = ((i 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (sum 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2= =A0 (max (expt 10 n)))<br>=C2=A0 =C2=A0 (loop (cond ((<=3D i max) <br>= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(setq sum (+ = sum i)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (t (ret= urn sum)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (incf i))))<br>WARNING: re= defining COMMON-LISP-USER::FOO-WITHOUT-DECLARE in DEFUN<br>FOO-WITHOUT-DECL= ARE<br>* (time (foo-without-declare 8))<br>Evaluation took:<br>=C2=A0 1.080= seconds of real time<br>=C2=A0 1.072932 seconds of total run time (1.07293= 2 user, 0.000000 system)<br>=C2=A0 99.35% CPU<br>=C2=A0 1,181,369,303 proce= ssor cycles<br>=C2=A0 0 bytes consed<br>5000000050000000<br></font></div><d= iv dir=3D"ltr"><font face=3D"monospace"><br></font></div><div><font face=3D= "monospace">People go wow about 8X.=C2=A0 How does native-compile do?</font= ></div><div><font face=3D"monospace"><br></font></div><div><font face=3D"mo= nospace">There is a great song by Alabama 'If you gonna=C2=A0play in Te= xas, you gotta have a fiddle in the band'. Check it out!</font></div><d= iv><font face=3D"monospace"><br></font></div><div><a href=3D"https://www.yo= utube.com/watch?v=3Dw6r4E514nJg" target=3D"_blank"><font face=3D"monospace"= >https://www.youtube.com/watch?v=3Dw6r4E514nJg</font></a></div><div><font f= ace=3D"monospace"><br></font></div><div><font face=3D"monospace">Bob</font>= </div><div><font face=3D"monospace"><br></font></div><div><font face=3D"mon= ospace"><br></font></div><div><font face=3D"monospace">Bob</font></div><div= ><font face=3D"monospace"><br></font></div><font face=3D"monospace"><br></f= ont><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr"><font = face=3D"monospace">On Sun, Feb 18, 2024 at 3:28=E2=80=AFPM Andreas Schwab &= lt;<a href=3D"mailto:schwab@HIDDEN" target=3D"_blank">schwab@linux-= m68k.org</a>> wrote:<br></font></div><blockquote class=3D"gmail_quote" s= tyle=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);pad= ding-left:1ex"><font face=3D"monospace">On Feb 18 2024, Robert Boyer wrote:= <br> <br> > Furthermore, such declare forms are necessary for life as we know it<b= r> > in the free world, so that fixnum arithmetic can be used where<br> > appropriate!<br> <br> If you are programming in Emacs Lisp, you need to follow the rules of<br> Emacs Lisp.<br> <br> -- <br> Andreas Schwab, <a href=3D"mailto:schwab@HIDDEN" target=3D"_blank">= schwab@HIDDEN</a><br> GPG Key fingerprint =3D 7578 EB47 D4E5 4D69 2510=C2=A0 2552 DF73 E780 A9DA = AEC1<br> "And now for something completely different."<br> </font></blockquote></div><font face=3D"monospace"><br clear=3D"all"></font= ><div><font face=3D"monospace"><br></font></div><font face=3D"monospace"><s= pan class=3D"gmail_signature_prefix">-- </span><br></font><div dir=3D"ltr" = class=3D"gmail_signature"><div dir=3D"ltr"><font face=3D"monospace">Anythin= g I seem to state should be taken as a question.=C2=A0 I am at least 77 and= feeble.</font></div></div></div> </blockquote></div><font face=3D"monospace"><br clear=3D"all"></font><div><= font face=3D"monospace"><br></font></div><font face=3D"monospace"><span cla= ss=3D"gmail_signature_prefix">-- </span><br></font><div dir=3D"ltr" class= =3D"gmail_signature"><div dir=3D"ltr"><font face=3D"monospace">Anything I s= eem to state should be taken as a question.=C2=A0 I am at least 77 and feeb= le.</font></div></div> </blockquote></div><font face=3D"monospace"><br clear=3D"all"></font><div><= font face=3D"monospace"><br></font></div><font face=3D"monospace"><span cla= ss=3D"gmail_signature_prefix">-- </span><br></font><div dir=3D"ltr" class= =3D"gmail_signature"><div dir=3D"ltr"><font face=3D"monospace">Anything I s= eem to state should be taken as a question.=C2=A0 I am at least 77 and feeb= le.</font></div></div></div> --00000000000070ebd70611afa81d--
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.Received: (at 69249) by debbugs.gnu.org; 19 Feb 2024 03:19:30 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 22:19:30 2024 Received: from localhost ([127.0.0.1]:40084 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rbuBl-0008JY-Gi for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 22:19:30 -0500 Received: from mail-ej1-f48.google.com ([209.85.218.48]:57495) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <robertstephenboyer@HIDDEN>) id 1rbpdG-0000T3-Pg for 69249 <at> debbugs.gnu.org; Sun, 18 Feb 2024 17:27:36 -0500 Received: by mail-ej1-f48.google.com with SMTP id a640c23a62f3a-a36126ee41eso485080366b.2 for <69249 <at> debbugs.gnu.org>; Sun, 18 Feb 2024 14:27:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708295168; x=1708899968; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=JVdrSZWiXpdkLEIz5FNze6XQ/Cp5BuPH9EMA/lBhJxY=; b=i1sWXtC5au5yaNuhUNu0FpYZx2aHRApiT47Z10KnHHaL4e3jHC0YMvxTbxz0iodYVT KnxtId6znHXWLJhbB9q4OvzQT5Omzk7Gktpg11gDfzp0AClOI6a0A+IjvBcL8hdt38NH nQ+qdf13dxxzn7BrOenR0CfOYd79RP+i1NnoFzKztwO8lIYFxc1vhVg4dQGSAywCSggL 4hOtp8asUavY8Irjkb7VLtx8pbcGzKFmWPMNSHFrIV7bWXLwcrV564xBXzopmtIw38LT 9NJQPdUmy9fy89lLMuhUxIymraoBypS6Ed12hDpIvwU3kXFByMtv4strpfB2Q4S1oFyO 7sfg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708295168; x=1708899968; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=JVdrSZWiXpdkLEIz5FNze6XQ/Cp5BuPH9EMA/lBhJxY=; b=obUlhFU4P92Ohq9Aw1b2Z3dO2aLu3T+QrZbR5wCUt169hXJv+0RMO1knyguJZ4FIds p0eRd3gByrO3qf9hrhS5GpqkQe9FPFflanQHMMKmnXctE1FdwoS6ybIQo84uGq2cZDNC /XUl1zs9fqK1ALhdR7NK9vL6XaigZecmuNlB7paY166KHXAgOrreQPCoIwvDYBqZoRsB 9/cT56JumSJTH9IlQd8rjTIfi2Lv+1urLa8m98YhCZdLnOBCXBJ2SZhcnmdFAH129Fsu tJFfBToCNto07QYPg7cSVo7du4H9CfiCEJ+XHWltyh8WMNva/b1WSoe7fmV+/CRosRrC yIxQ== X-Forwarded-Encrypted: i=1; AJvYcCWFWpWLYDUWiFvo32z2TVMyQ9EFS0p+1LaJMKnZoWMryxeeSl33Rlp6YkSZ8AheUAKvYeaqsSqEaxzfpqrivzsvffZDt/g= X-Gm-Message-State: AOJu0Yx8YBRuyFABMj6op65s6OHyf+lRiYIQs9pw63AfhePVxdqoW/jw iuoLRMRIa7YSGvwt9oYK5PXL4X9Va+gxl49sNlLhrRMu0i/q8tk0L2ze/MJNl+b4dzxwatCkDiM B3feZBS4NniM9aiCKTzwaYJiUxUM= X-Google-Smtp-Source: AGHT+IGY4v2Q0AjgzihFWwHvba+mkYK03kt/JqmmAq54RXcHukSN0P1HbI/TApLFNpEHxX6gPRHscOFDlbAGvNu9sAU= X-Received: by 2002:a17:906:2b53:b0:a3e:5adb:cb21 with SMTP id b19-20020a1709062b5300b00a3e5adbcb21mr1847449ejg.59.1708295167880; Sun, 18 Feb 2024 14:26:07 -0800 (PST) MIME-Version: 1.0 References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> <86h6i5r20h.fsf@HIDDEN> <CAP9n0TP1HEuSBG1BXVptOr2ZX06E_eTpAxsvnRuPX+FNo397Jg@HIDDEN> <8734tp5uoq.fsf@HIDDEN> <CAP9n0TMaXJvRdA3m+J4fyxMuTWmT07TOMwKt+noCR3c=XfzGhg@HIDDEN> In-Reply-To: <CAP9n0TMaXJvRdA3m+J4fyxMuTWmT07TOMwKt+noCR3c=XfzGhg@HIDDEN> From: Robert Boyer <robertstephenboyer@HIDDEN> Date: Sun, 18 Feb 2024 16:25:30 -0600 Message-ID: <CAP9n0TPj5EuELx5qtiCMzvtHFLmnNxjMsr3s1aY_KhUQnVc-Ag@HIDDEN> Subject: Re: bug#69249: bug in native-compile? To: Andreas Schwab <schwab@HIDDEN> Content-Type: multipart/alternative; boundary="000000000000a733240611af761f" X-Spam-Score: -1.9 (-) X-Debbugs-Envelope-To: 69249 X-Mailman-Approved-At: Sun, 18 Feb 2024 22:19:27 -0500 Cc: 69249 <at> debbugs.gnu.org, Eli Zaretskii <eliz@HIDDEN>, Andrea Corallo <acorallo@HIDDEN>, Stefan Monnier <monnier@HIDDEN>, rms@HIDDEN X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.9 (--) --000000000000a733240611af761f Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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=E2=80=AFPM Robert Boyer <robertstephenboyer@gm= ail.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 ((<=3D 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 ((<=3D 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=3Dw6r4E514nJg > > Bob > > > Bob > > > On Sun, Feb 18, 2024 at 3:28=E2=80=AFPM 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@HIDDEN >> GPG Key fingerprint =3D 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AE= C1 >> "And now for something completely different." >> > > > -- > Anything I seem to state should be taken as a question. I am at least 77 > and feeble. > --=20 Anything I seem to state should be taken as a question. I am at least 77 and feeble. --000000000000a733240611af761f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr">And you should know what DECLARE and THE do for AREF.=C2= =A0 All the difference in the world, and I will give you a simple demo if y= ou wish.<div><br></div><div>Bob</div></div><br><div class=3D"gmail_quote"><= div dir=3D"ltr" class=3D"gmail_attr">On Sun, Feb 18, 2024 at 4:19=E2=80=AFP= M Robert Boyer <<a href=3D"mailto:robertstephenboyer@HIDDEN">robertst= ephenboyer@HIDDEN</a>> wrote:<br></div><blockquote class=3D"gmail_quo= te" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204= );padding-left:1ex"><div dir=3D"ltr"><div dir=3D"ltr"><div><font face=3D"mo= nospace">This message is about how important DECLARE and THE are.=C2=A0 If = you do not</font></div><div><font face=3D"monospace">handle DECLARE and THE= right, people will laugh=C2=A0at native-compile.</font></div><div><font fa= ce=3D"monospace"><br></font></div><div><font face=3D"monospace">Here is</fo= nt><span style=3D"font-family:monospace">=C2=A0an SBCL transcript.=C2=A0 I = am running on a $100 Lenovo Chromebook.</span></div><div><span style=3D"fon= t-family:monospace"><br></span></div><div><font face=3D"monospace">I got SB= CL with the command=C2=A0</font>sudo apt-get install sbcl.</div><div><font = face=3D"monospace"><br></font></div><font face=3D"monospace">* (declaim (op= timize (safety 0) (speed 3) (debug 0)))<br>NIL<br>* (defun foo-with-declare= (n)<br>=C2=A0 (let ((i 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (sum 0)<br>=C2=A0= =C2=A0 =C2=A0 =C2=A0 (max (expt 10 n)))<br>=C2=A0 =C2=A0 (declare (fixnum = i sum max))<br>=C2=A0 =C2=A0 (loop (cond ((<=3D i max) <br>=C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(setq sum (the fixnum (+ s= um i))))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (t (ret= urn sum)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (incf i))))<br>FOO-WITH-DE= CLARE<br>* (time (foo-with-declare 8))<br>Evaluation took:<br>=C2=A0 0.125 = seconds of real time<br>=C2=A0 0.123203 seconds of total run time (0.123193= user, 0.000010 system)<br>=C2=A0 98.40% CPU<br>=C2=A0 135,905,516 processo= r cycles<br>=C2=A0 0 bytes consed<br>5000000050000000<br>* (defun foo-witho= ut-declare (n)<br>=C2=A0 (let ((i 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (sum 0)= <br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (max (expt 10 n)))<br>=C2=A0 =C2=A0 (loop (= cond ((<=3D i max) <br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0(setq sum (+ sum i)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 (t (return sum)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 (incf i))))<br>WARNING: redefining COMMON-LISP-USER::FOO-WITHOUT-DECLAR= E in DEFUN<br>FOO-WITHOUT-DECLARE<br>* (time (foo-without-declare 8))<br>Ev= aluation took:<br>=C2=A0 1.080 seconds of real time<br>=C2=A0 1.072932 seco= nds of total run time (1.072932 user, 0.000000 system)<br>=C2=A0 99.35% CPU= <br>=C2=A0 1,181,369,303 processor cycles<br>=C2=A0 0 bytes consed<br>50000= 00050000000<br></font></div><div dir=3D"ltr"><font face=3D"monospace"><br><= /font></div><div><font face=3D"monospace">People go wow about 8X.=C2=A0 How= does native-compile do?</font></div><div><font face=3D"monospace"><br></fo= nt></div><div><font face=3D"monospace">There is a great song by Alabama = 9;If you gonna=C2=A0play in Texas, you gotta have a fiddle in the band'= . Check it out!</font></div><div><br></div><div><a href=3D"https://www.yout= ube.com/watch?v=3Dw6r4E514nJg" target=3D"_blank">https://www.youtube.com/wa= tch?v=3Dw6r4E514nJg</a></div><div><br></div><div>Bob</div><div><br></div><d= iv><font face=3D"monospace"><br></font></div><div><font face=3D"monospace">= Bob</font></div><div><font face=3D"monospace"><br></font></div><font face= =3D"monospace"><br></font><div class=3D"gmail_quote"><div dir=3D"ltr" class= =3D"gmail_attr"><font face=3D"monospace">On Sun, Feb 18, 2024 at 3:28=E2=80= =AFPM Andreas Schwab <<a href=3D"mailto:schwab@HIDDEN" target=3D= "_blank">schwab@HIDDEN</a>> wrote:<br></font></div><blockquote c= lass=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px soli= d rgb(204,204,204);padding-left:1ex"><font face=3D"monospace">On Feb 18 202= 4, Robert Boyer wrote:<br> <br> > Furthermore, such declare forms are necessary for life as we know it<b= r> > in the free world, so that fixnum arithmetic can be used where<br> > appropriate!<br> <br> If you are programming in Emacs Lisp, you need to follow the rules of<br> Emacs Lisp.<br> <br> -- <br> Andreas Schwab, <a href=3D"mailto:schwab@HIDDEN" target=3D"_blank">= schwab@HIDDEN</a><br> GPG Key fingerprint =3D 7578 EB47 D4E5 4D69 2510=C2=A0 2552 DF73 E780 A9DA = AEC1<br> "And now for something completely different."<br> </font></blockquote></div><font face=3D"monospace"><br clear=3D"all"></font= ><div><font face=3D"monospace"><br></font></div><font face=3D"monospace"><s= pan class=3D"gmail_signature_prefix">-- </span><br></font><div dir=3D"ltr" = class=3D"gmail_signature"><div dir=3D"ltr"><font face=3D"monospace">Anythin= g I seem to state should be taken as a question.=C2=A0 I am at least 77 and= feeble.</font></div></div></div> </blockquote></div><br clear=3D"all"><div><br></div><span class=3D"gmail_si= gnature_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature"><d= iv dir=3D"ltr">Anything I seem to state should be taken as a question.=C2= =A0 I am at least 77 and feeble.</div></div> --000000000000a733240611af761f--
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.
Received: (at 69249) by debbugs.gnu.org; 19 Feb 2024 03:19:29 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 22:19:29 2024
Received: from localhost ([127.0.0.1]:40082 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1rbuBk-0008JV-7i
for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 22:19:29 -0500
Received: from mail-ed1-f53.google.com ([209.85.208.53]:48507)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <robertstephenboyer@HIDDEN>) id 1rbpXl-0000IJ-M3
for 69249 <at> debbugs.gnu.org; Sun, 18 Feb 2024 17:21:56 -0500
Received: by mail-ed1-f53.google.com with SMTP id
4fb4d7f45d1cf-5643eccad0bso1266587a12.1
for <69249 <at> debbugs.gnu.org>; Sun, 18 Feb 2024 14:21:32 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1708294827; x=1708899627; darn=debbugs.gnu.org;
h=cc:to:subject:message-id:date:from:in-reply-to:references
:mime-version:from:to:cc:subject:date:message-id:reply-to;
bh=sV0SqdJSztKxs8Vg7sqv+s0Pfe2DlMoq7jYUye2Kh/0=;
b=IeO20xHBLMZnMYZ/7a0pKtTc76HTY/Wl2d516FQO1FUfX6dpKq6LXQ3UqJCdIqCyxd
hh6CODFuwQgtTQ1zf9eR7APlDXwm3oD47ny0TYkPengGpC6LUnCs/d2/fkLIawMjUU5u
qoOtPe3CXIxvkeGMLKBoR1nNTyj5CCcG8K7ViC/YlApBxLwC4yJgHD1zloORfICji4r2
I0YYSx2noBrS9F2G/Gbn99X0EyEQnTYyl2x7LWATxUB/ZgDyVTuOw4AmuhiKRa9PanPU
VtQYdKRig29mk3i2homYMuo7FoHlMuVTyiAomWkm93Lt9p02+mKAKeVOFsRfbNn3i4Vd
8+Dw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1708294827; x=1708899627;
h=cc:to:subject:message-id:date:from:in-reply-to:references
:mime-version:x-gm-message-state:from:to:cc:subject:date:message-id
:reply-to;
bh=sV0SqdJSztKxs8Vg7sqv+s0Pfe2DlMoq7jYUye2Kh/0=;
b=mG5nQPwPkt5z3vIanckpbHiefBdraewSMYi4WayS1/WhEQlPKwUacaxAx1a6K8NV51
c1IYMv8JZra9LTbgBCkksGdU6kDbYnTLQu4nUoMfHeQG+7dEsiumUbHc8LA8SGL+NwcC
thjyJyPnQ0XL9151uu5Nn/a8Nb1dKfgzlrW1znr79LrMeSlHHM3kz/YeawrA52rfM5pu
h2IvCKSJPdL2mfOoVn5n0Ur7hm0iIz0PEg/124pIIHs8rGeeZ45P1FXxdiDmnjrvdIq4
5vXyS4qMyPk786TpatBS+y3Na6VHGWDUfz15JphEpyXf9ERrdvxtAlo1RLQY0dGiPbED
6Agg==
X-Forwarded-Encrypted: i=1;
AJvYcCVjAr5X5+jES7sIhmCsf8CALvajjhg8CPX1+g1nNkjgZzJTCNVc4CCViamnDstUc9yChT4AvrhtlFzWMfFVvROxRyBZ1Ho=
X-Gm-Message-State: AOJu0Yy7k6MB+RxHAIRx8cROqyOaMv10ZwDKdokWfM1dfggfzUQh2fFk
AjJEd64aknePrNaH+JunaMy3Go/lgOxygIkHwF0N22AO3KZZxlhgc3rLPnOQmlorTrSbG/ewlWY
FA+pBP+SDd5VD04UaZc8fvgs8+lU=
X-Google-Smtp-Source: AGHT+IEt0aE7Bzvhe3lab0m718DNXeNO5LU1g3W2KukWUp1n0iMBj7DbEr6vlnB9lU9mIAwByEH1Yyldv2FqGXJeafs=
X-Received: by 2002:a17:906:7103:b0:a3e:7e1f:449e with SMTP id
x3-20020a170906710300b00a3e7e1f449emr1104058ejj.16.1708294826737; Sun, 18 Feb
2024 14:20:26 -0800 (PST)
MIME-Version: 1.0
References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN>
<86h6i5r20h.fsf@HIDDEN>
<CAP9n0TP1HEuSBG1BXVptOr2ZX06E_eTpAxsvnRuPX+FNo397Jg@HIDDEN>
<8734tp5uoq.fsf@HIDDEN>
In-Reply-To: <8734tp5uoq.fsf@HIDDEN>
From: Robert Boyer <robertstephenboyer@HIDDEN>
Date: Sun, 18 Feb 2024 16:19:49 -0600
Message-ID: <CAP9n0TMaXJvRdA3m+J4fyxMuTWmT07TOMwKt+noCR3c=XfzGhg@HIDDEN>
Subject: Re: bug#69249: bug in native-compile?
To: Andreas Schwab <schwab@HIDDEN>
Content-Type: multipart/alternative; boundary="00000000000051c6630611af62b7"
X-Spam-Score: -1.9 (-)
X-Debbugs-Envelope-To: 69249
X-Mailman-Approved-At: Sun, 18 Feb 2024 22:19:27 -0500
Cc: 69249 <at> debbugs.gnu.org, Eli Zaretskii <eliz@HIDDEN>,
Andrea Corallo <acorallo@HIDDEN>, Stefan Monnier <monnier@HIDDEN>,
rms@HIDDEN
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.9 (--)
--00000000000051c6630611af62b7
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
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 ((<=3D 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 ((<=3D 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=3Dw6r4E514nJg
Bob
Bob
On Sun, Feb 18, 2024 at 3:28=E2=80=AFPM Andreas Schwab <schwab@HIDDEN=
rg>
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@HIDDEN
> GPG Key fingerprint =3D 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC=
1
> "And now for something completely different."
>
--=20
Anything I seem to state should be taken as a question. I am at least 77
and feeble.
--00000000000051c6630611af62b7
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><div dir=3D"ltr"><div><font face=3D"monospace">This messag=
e is about how important DECLARE and THE are.=C2=A0 If you do not</font></d=
iv><div><font face=3D"monospace">handle DECLARE and THE right, people will =
laugh=C2=A0at native-compile.</font></div><div><font face=3D"monospace"><br=
></font></div><div><font face=3D"monospace">Here is</font><span style=3D"fo=
nt-family:monospace">=C2=A0an SBCL transcript.=C2=A0 I am running on a $100=
Lenovo Chromebook.</span></div><div><span style=3D"font-family:monospace">=
<br></span></div><div><font face=3D"monospace">I got SBCL with the command=
=C2=A0</font>sudo apt-get install sbcl.</div><div><font face=3D"monospace">=
<br></font></div><font face=3D"monospace">* (declaim (optimize (safety 0) (=
speed 3) (debug 0)))<br>NIL<br>* (defun foo-with-declare (n)<br>=C2=A0 (let=
((i 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (sum 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=
=A0 (max (expt 10 n)))<br>=C2=A0 =C2=A0 (declare (fixnum i sum max))<br>=C2=
=A0 =C2=A0 (loop (cond ((<=3D i max) <br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(setq sum (the fixnum (+ sum i))))<br>=C2=A0=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (t (return sum)))<br>=C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (incf i))))<br>FOO-WITH-DECLARE<br>* (time =
(foo-with-declare 8))<br>Evaluation took:<br>=C2=A0 0.125 seconds of real t=
ime<br>=C2=A0 0.123203 seconds of total run time (0.123193 user, 0.000010 s=
ystem)<br>=C2=A0 98.40% CPU<br>=C2=A0 135,905,516 processor cycles<br>=C2=
=A0 0 bytes consed<br>5000000050000000<br>* (defun foo-without-declare (n)<=
br>=C2=A0 (let ((i 0)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 (sum 0)<br>=C2=A0 =C2=
=A0 =C2=A0 =C2=A0 (max (expt 10 n)))<br>=C2=A0 =C2=A0 (loop (cond ((<=3D=
i max) <br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(=
setq sum (+ sum i)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 (t (return sum)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (incf i))))<=
br>WARNING: redefining COMMON-LISP-USER::FOO-WITHOUT-DECLARE in DEFUN<br>FO=
O-WITHOUT-DECLARE<br>* (time (foo-without-declare 8))<br>Evaluation took:<b=
r>=C2=A0 1.080 seconds of real time<br>=C2=A0 1.072932 seconds of total run=
time (1.072932 user, 0.000000 system)<br>=C2=A0 99.35% CPU<br>=C2=A0 1,181=
,369,303 processor cycles<br>=C2=A0 0 bytes consed<br>5000000050000000<br><=
/font></div><div dir=3D"ltr"><font face=3D"monospace"><br></font></div><div=
><font face=3D"monospace">People go wow about 8X.=C2=A0 How does native-com=
pile do?</font></div><div><font face=3D"monospace"><br></font></div><div><f=
ont face=3D"monospace">There is a great song by Alabama 'If you gonna=
=C2=A0play in Texas, you gotta have a fiddle in the band'. Check it out=
!</font></div><div><br></div><div><a href=3D"https://www.youtube.com/watch?=
v=3Dw6r4E514nJg" target=3D"_blank">https://www.youtube.com/watch?v=3Dw6r4E5=
14nJg</a></div><div><br></div><div>Bob</div><div><br></div><div><font face=
=3D"monospace"><br></font></div><div><font face=3D"monospace">Bob</font></d=
iv><div><font face=3D"monospace"><br></font></div><font face=3D"monospace">=
<br></font><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr"=
><font face=3D"monospace">On Sun, Feb 18, 2024 at 3:28=E2=80=AFPM Andreas S=
chwab <<a href=3D"mailto:schwab@HIDDEN" target=3D"_blank">schwab=
@linux-m68k.org</a>> wrote:<br></font></div><blockquote class=3D"gmail_q=
uote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,2=
04);padding-left:1ex"><font face=3D"monospace">On Feb 18 2024, Robert Boyer=
wrote:<br>
<br>
> Furthermore, such declare forms are necessary for life as we know it<b=
r>
> in the free world, so that fixnum arithmetic can be used where<br>
> appropriate!<br>
<br>
If you are programming in Emacs Lisp, you need to follow the rules of<br>
Emacs Lisp.<br>
<br>
-- <br>
Andreas Schwab, <a href=3D"mailto:schwab@HIDDEN" target=3D"_blank">=
schwab@HIDDEN</a><br>
GPG Key fingerprint =3D 7578 EB47 D4E5 4D69 2510=C2=A0 2552 DF73 E780 A9DA =
AEC1<br>
"And now for something completely different."<br>
</font></blockquote></div><font face=3D"monospace"><br clear=3D"all"></font=
><div><font face=3D"monospace"><br></font></div><font face=3D"monospace"><s=
pan class=3D"gmail_signature_prefix">-- </span><br></font><div dir=3D"ltr" =
class=3D"gmail_signature"><div dir=3D"ltr"><font face=3D"monospace">Anythin=
g I seem to state should be taken as a question.=C2=A0 I am at least 77 and=
feeble.</font></div></div></div>
--00000000000051c6630611af62b7--
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.
Received: (at 69249) by debbugs.gnu.org; 18 Feb 2024 23:33:16 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 18:33:16 2024
Received: from localhost ([127.0.0.1]:39957 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1rbqei-0002Py-DO
for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 18:33:16 -0500
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:14074)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <monnier@HIDDEN>) id 1rbqef-0002PU-6Y
for 69249 <at> debbugs.gnu.org; Sun, 18 Feb 2024 18:33:07 -0500
Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1])
by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 838D280672;
Sun, 18 Feb 2024 18:32:38 -0500 (EST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
s=mail; t=1708299153;
bh=rDSoU/kDWwvcyhtVZd3pZFAhEG8bhVCEzrD4RUF712E=;
h=From:To:Cc:Subject:In-Reply-To:References:Date:From;
b=bUGB4/R67myColz2tDHdm2vbpex/aXW2h2svuvCBZtOvI8RJlbBjpwBsdxnXq+Xk8
057WPUEh4N2a73KdZ5yrj1Aeh8BmuTdXNvlp1gH56Y42HXrGrX0jjhW2aFRfJ+NJeu
w7o1r7g6ZMKXzXZwaBPETdCCyp3g8YnlcuTOxjPOWmzVBNpVvNMmNw8OrmmNxkU8uG
t2eN9lVzq0z7zPtj9004F+aeuiShcWrHzLxFsfuY/m78GvLx5c7g8eao2zDK67AHDn
IAW9H0W1leHowVpfSktIlBdJXVSCRI2lo8+XEE1Cu/xR77TcanIOe4HntXW44bVhuz
ckhH6KUufXg0Q==
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 4D22B80603;
Sun, 18 Feb 2024 18:32:33 -0500 (EST)
Received: from milanesa (unknown [45.72.205.238])
by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 15E691202D7;
Sun, 18 Feb 2024 18:32:33 -0500 (EST)
From: Stefan Monnier <monnier@HIDDEN>
To: Robert Boyer <robertstephenboyer@HIDDEN>
Subject: Re: bug#69249: bug in native-compile?
In-Reply-To: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN>
(Robert Boyer's message of "Sat, 17 Feb 2024 22:26:27 -0600")
Message-ID: <jwv4je5xsla.fsf-monnier+emacs@HIDDEN>
References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN>
Date: Sun, 18 Feb 2024 18:32:30 -0500
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-SPAM-INFO: Spam detection results: 0
ALL_TRUSTED -1 Passed through trusted hosts only via SMTP
AWL -0.064 Adjusted score from AWL reputation of From: address
BAYES_00 -1.9 Bayes spam probability is 0 to 1%
DKIM_SIGNED 0.1 Message has a DKIM or DK signature,
not necessarily valid
DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
domain
DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from
domain T_SCC_BODY_TEXT_LINE -0.01 -
X-SPAM-LEVEL:
X-Spam-Score: -4.2 (----)
X-Debbugs-Envelope-To: 69249
Cc: 69249 <at> debbugs.gnu.org, rms@HIDDEN
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.9 (--)
> ;; However, (native-compile "compile-bug.el") results in the following
> error message:
>
> ;; Compiling file
> /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri Feb
> 16 08:25:19 2024
> ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98fixnum=
=E2=80=99 in foo
> ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98vector=
=E2=80=99 in foo
First thing: these are not error messages! They're *warnings*!
`batch-byte-compile` also gives those warnings, because ELisp does not
know those declarations. The native compiler does support some type
annotations, but they do not take this shape.
I presume you took those from some other Lisp dialect, but that won't do
you much good. Scheme is not Clojure is not Common Lisp is not ELisp ...
BTW, A more recent Emacs would give you an additional warning:
Warning: file has no =E2=80=98lexical-binding=E2=80=99 directive on its=
first line
So, I see no bug. Did the resulting native-compile misbehave in
any way? I presume you're worried about its performance.
If so, do you have concrete code where you measured the performance and
were disappointed and where you have good reasons to believe that type
annotations would make a difference? If so, we'd be interested to see
your code to try and improve our compiler.
Stefan
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.Received: (at 69249) by debbugs.gnu.org; 18 Feb 2024 22:45:03 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 17:45:02 2024 Received: from localhost ([127.0.0.1]:39914 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rbpuA-0000yL-Jn for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 17:45:02 -0500 Received: from mout.web.de ([212.227.17.12]:37729) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <michael_heerdegen@HIDDEN>) id 1rbpu8-0000xW-CS for 69249 <at> debbugs.gnu.org; Sun, 18 Feb 2024 17:45:01 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=s29768273; t=1708296272; x=1708901072; i=michael_heerdegen@HIDDEN; bh=CYvdru7QklPYVd5m8/OnZluCfYcIEncb5w+Vomq3fP4=; h=X-UI-Sender-Class:From:To:Cc:Subject:In-Reply-To:References: Date; b=M03oNDSyZKmUSmSWNZ9XysBEcFta5OTD4IuESYsHm9e5w5+8r0HRzoxt33TMu/jc qZBJzTM41N8BcX5GGMufUaCIicZHURWCm8pH53TFvprdtWWB5/IVsGD+Q5x64wzxu e76lSnYlasYDd22mIzZUVnSmYgp4rRXkE8WB3x+k7LQQsnDCZi0NwUJEtmv6pQbcR wYr9XGYOXQoIeb3UfhpHIX5koDgbv8c5sXq4sPIvuHxwboPzKlGu/cuqjRcQlGAUx kbOF61AlzYDm1qy9UQxe+YsGc73KSYk7dz6V+aUwJDtBNU0yKmehtsMx7FV/NFs26 53GR8LgZ4dErTCJKAw== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Received: from drachen.dragon ([88.66.201.224]) by smtp.web.de (mrweb106 [213.165.67.124]) with ESMTPSA (Nemesis) id 1Mmymz-1rCASt3Cy7-00k7Zv; Sun, 18 Feb 2024 23:44:32 +0100 From: Michael Heerdegen <michael_heerdegen@HIDDEN> To: Robert Boyer <robertstephenboyer@HIDDEN> Subject: Re: bug#69249: bug in native-compile? In-Reply-To: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> (Robert Boyer's message of "Sat, 17 Feb 2024 22:26:27 -0600") References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> Date: Sun, 18 Feb 2024 23:45:00 +0100 Message-ID: <87plwtpf2r.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V03:K1:YE4Y33szrqiCCu69elW0T3Lzn7UBCulGR0MQ4tao19MsV40MQVU Yi0J7UMLrzOC1foz3Zs4GoB7PPfP4FpflfTvLyGlJ16dHkqIqVe2pHPbAM0V66ZgYOIikhX QHF6oirya4EWzreFjmB2UP28x37ACT9RA97iXm/ejRnJzTOAYCRAXFdNWD2xO9ulEVZ77ac mkvhG91pTPbHj2TjWAhTA== X-Spam-Flag: NO UI-OutboundReport: notjunk:1;M01:P0:nKvWRjINGzc=;2e0bhcFkMuKe4fmTCUZa0L4j4RX xva4neyJYqknivH5OlSiASZIRMmZA0hIXR99OOQcUY0Rx6HRd/B7YLADnH7OpgLZVk2wJQu6t 2t8LAnAnnd8oQF9hpaSHuBIKNxdZtc0couiK/6Fyq6HS8ZgnM2pGgg7OOZ3d7xah+ZUoJyPTb Vi0NredmhGWA/3O1UHqtbnomIyR9Z9SPQqVic63nPMRegTaCY9UFtXM1lWniLi6ZbcnT0VllD 9Eua+12bul8+l0GPVt/2ne6zQWEg5/x0MRTwCaZIKoiirN+0H+4NISXX38kEkTpfrVqFIZL/A tOtwVP2uvQLvKHbomvJOpbWBo3bUiBmbllcc2DuvPUG0SlFg5YKBcj0OBqmw58THKs0KMtp5s DXSXeBRKWpBqzvZo8yv1/VKaLrMAxi6g65WkCq4HCQDTPDJ8w0H0FtdYk6TEhc3Wu7k62B8eX 7nQVX6ddh+5moqCiaqkeP5ZaYEtSWLqATGVRZ/36t1p3WdydWkGTe3HLysP4T/y9+KYLbBW18 jT17XSGWcW5QdN1OZqIFxBU9m50FNbXdGE/1GmNhsQrGh6k+7KhOaB2s+8DBBDO7pzPgn5qHz mmtAiNKjUqJH8u2fCW5Rvjtzf2ySyt8lKpK1EVz5h1+Dnt9sTiILli7QxSM4a3Dz1DyWvospu txA1bVytAjgpQhBOiCjDzlDFEYuU7L1BmbwFVU4NKOmOP3F0ThPXoFgdGZuwZJaEPh4XCa7pA Dlsbd7Oeo46UytSF43l4Gzp5x0ErJsTMUV0Z9wMSMIQSLZVnuxBmuTZx6bKj6R6mKv5WLaBIz 6GH1jXZIwRSv1lolqOns0n2XaeyN7Ju90b2zwL2XbTcWU= X-Spam-Score: -1.9 (-) X-Debbugs-Envelope-To: 69249 Cc: 69249 <at> debbugs.gnu.org, rms@HIDDEN X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.9 (--) Robert Boyer <robertstephenboyer@HIDDEN> writes: > ;; (byte-compile 'foo) runs ok. This is only because the function `byte-compile' disables the display of compiler warnings. Sorry, but the feature you expect doesn't exist. Michael.
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.Received: (at 69249) by debbugs.gnu.org; 18 Feb 2024 21:28:38 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 16:28:38 2024 Received: from localhost ([127.0.0.1]:39399 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rboiD-000459-7A for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 16:28:38 -0500 Received: from mail-out.m-online.net ([212.18.0.10]:59672) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <whitebox@HIDDEN>) id 1rboi7-00044u-Bn for 69249 <at> debbugs.gnu.org; Sun, 18 Feb 2024 16:28:36 -0500 Received: from frontend01.mail.m-online.net (unknown [192.168.8.182]) by mail-out.m-online.net (Postfix) with ESMTP id 4TdJgD143mz1s94j; Sun, 18 Feb 2024 22:28:07 +0100 (CET) Received: from localhost (dynscan1.mnet-online.de [192.168.6.68]) by mail.m-online.net (Postfix) with ESMTP id 4TdJgC5X6Cz1qqlS; Sun, 18 Feb 2024 22:28:07 +0100 (CET) X-Virus-Scanned: amavis at mnet-online.de Received: from mail.mnet-online.de ([192.168.8.182]) by localhost (dynscan1.mail.m-online.net [192.168.6.68]) (amavis, port 10024) with ESMTP id PBTr02ysmR8C; Sun, 18 Feb 2024 22:28:06 +0100 (CET) X-Auth-Info: E4C/ntgHbHx7dmpXvRCxNxAmy+d5Yj1xnpif4qCexPg/aVIen7HfZGINRGzEDWeV Received: from igel.home (aftr-62-216-202-108.dynamic.mnet-online.de [62.216.202.108]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail.mnet-online.de (Postfix) with ESMTPSA; Sun, 18 Feb 2024 22:28:06 +0100 (CET) Received: by igel.home (Postfix, from userid 1000) id CD6F52C1B73; Sun, 18 Feb 2024 22:28:05 +0100 (CET) From: Andreas Schwab <schwab@HIDDEN> To: Robert Boyer <robertstephenboyer@HIDDEN> Subject: Re: bug#69249: bug in native-compile? In-Reply-To: <CAP9n0TP1HEuSBG1BXVptOr2ZX06E_eTpAxsvnRuPX+FNo397Jg@HIDDEN> (Robert Boyer's message of "Sun, 18 Feb 2024 14:14:27 -0600") References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> <86h6i5r20h.fsf@HIDDEN> <CAP9n0TP1HEuSBG1BXVptOr2ZX06E_eTpAxsvnRuPX+FNo397Jg@HIDDEN> X-Yow: We are now enjoying total mutual interaction in an imaginary hot tub... Date: Sun, 18 Feb 2024 22:28:05 +0100 Message-ID: <8734tp5uoq.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.4 (--) X-Debbugs-Envelope-To: 69249 Cc: 69249 <at> debbugs.gnu.org, Eli Zaretskii <eliz@HIDDEN>, Andrea Corallo <acorallo@HIDDEN>, Stefan Monnier <monnier@HIDDEN>, rms@HIDDEN X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -3.4 (---) 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@HIDDEN GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.Received: (at 69249) by debbugs.gnu.org; 18 Feb 2024 20:19:11 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 15:19:10 2024 Received: from localhost ([127.0.0.1]:38437 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rbnd0-00078y-BK for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 15:19:10 -0500 Received: from mail-lj1-f174.google.com ([209.85.208.174]:54589) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <robertstephenboyer@HIDDEN>) id 1rbnaR-00074H-9q for 69249 <at> debbugs.gnu.org; Sun, 18 Feb 2024 15:16:34 -0500 Received: by mail-lj1-f174.google.com with SMTP id 38308e7fff4ca-2d23d301452so532371fa.1 for <69249 <at> debbugs.gnu.org>; Sun, 18 Feb 2024 12:16:10 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708287304; x=1708892104; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=rAhokrWnqcbhm9YoqBNvcHS7fk+qwYKg6Zy7J7rwu7s=; b=QJc1ENx9RSukfSxzq2zp4HtZknu2V4BSwiyeiRXkNz3SLAsyV0aM9cMdmsXBn1XQG+ rOfT05L0I+y80tnOrhHBUjWCnguYdjuKlGEmHvciI+N/msxsVvTICTMtSv/mBAn+7+e6 p9/4pbcruWI9EQa9cUGZdxsKg7BtB6twh3ZbSr8XIHX2Aq2HqdGzyK6gw142H/12aK29 cdrmiZBsQl5sE6+hPbe8xYp4u5j51hmHI9QNarF0jFaS3o6jJ/ASH6rJGTtOd/ggnyxh KI0E13ouOKxhOmYu4Ztz/mI7Aws5mstP9g5ShoLXAzTdGkVlyu5Gq8x3ipVwMLT38TOU qJQQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708287304; x=1708892104; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=rAhokrWnqcbhm9YoqBNvcHS7fk+qwYKg6Zy7J7rwu7s=; b=cwpHLQ4HDc7zeau//qtDmu9p5T2uiMC1wUKZqFvB72uauppHIIGsU0aJbAnOZEZ8FX 6/ehME4U9M3T4cXGOhE7p1QwaE5ZdfL2RBiicnwc8s2wZGSWwehURpSVYfz79RiNgGS/ x2g5nthoE3JE9oiBi3yFpHmrd2VJ72+qOvJ1mAc7CqqEQVFHkk9uksuUhcsGwnWJkpe5 gcYZlHjOq8DAmcJ4g+FPhsXMV5gINZaYLdU9P+ppz0FD0l6a55z7P1OQrJQtVbCOOGqI N0aZlXo4VjNpxgul+pO27hXHmWrTULvG8BbGs20BvLp8vE3F6gXKzsKOXc03E6ZbKTCi 4hDA== X-Forwarded-Encrypted: i=1; AJvYcCXN2Y+dxA4wHkwrkuf5p6wLliF0g9ViV1HZS2abuQsARxB6SpQi2P4WeiazRbTdVFh7/XKSGEccC5cfHKAYj3qrvD1p10M= X-Gm-Message-State: AOJu0Yx1ITqOqVBN165oXkKuq0G2P3XotTO6j+S6x6jj3KlcEgAvEO0g VqlrlyElaYSHWCP7KCidSv1E+0m6Q+3c8osqolPoeQfUJR7WonBy4J52o14CDlvLDwgBRS0N2sb It5dv4NIZPFTEvq2zqm/CZjaV8bQKeOvOtOAzmA== X-Google-Smtp-Source: AGHT+IG8LBj7VelX684QpyzwHtX+qjt+5XZU7w3VLtfHx2WZcT1mCSH8WBgye0Fi2lOlZaNgi1djWvuOZZkQQEuaYcU= X-Received: by 2002:ac2:5e3a:0:b0:512:ab05:cddb with SMTP id o26-20020ac25e3a000000b00512ab05cddbmr1632098lfg.45.1708287304384; Sun, 18 Feb 2024 12:15:04 -0800 (PST) MIME-Version: 1.0 References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> <86h6i5r20h.fsf@HIDDEN> In-Reply-To: <86h6i5r20h.fsf@HIDDEN> From: Robert Boyer <robertstephenboyer@HIDDEN> Date: Sun, 18 Feb 2024 14:14:27 -0600 Message-ID: <CAP9n0TP1HEuSBG1BXVptOr2ZX06E_eTpAxsvnRuPX+FNo397Jg@HIDDEN> Subject: Re: bug#69249: bug in native-compile? To: Eli Zaretskii <eliz@HIDDEN> Content-Type: multipart/alternative; boundary="000000000000f3c44c0611ada1fc" X-Spam-Score: -1.9 (-) X-Debbugs-Envelope-To: 69249 X-Mailman-Approved-At: Sun, 18 Feb 2024 15:19:08 -0500 Cc: 69249 <at> debbugs.gnu.org, Andrea Corallo <acorallo@HIDDEN>, Stefan Monnier <monnier@HIDDEN>, rms@HIDDEN X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.9 (--) --000000000000f3c44c0611ada1fc Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable > am I right? Nope. As my message points out, those declare forms are certainly accepted when Emacs interprets them and when byte-compile sees them. 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! Bob On Sun, Feb 18, 2024 at 1:44=E2=80=AFPM Eli Zaretskii <eliz@HIDDEN> wrote: > > Cc: rms@HIDDEN > > From: Robert Boyer <robertstephenboyer@HIDDEN> > > Date: Sat, 17 Feb 2024 22:26:27 -0600 > > > > Here is a report on what seems to me to be a bug in native-compile. > > > > ---------------------------------------------------------------------- > > > > ;; Let us suppose that this is the file "compile-bug.el" > > > > ;; Invoking (native-compile "compile-bug.el") should work, I do believe= . > > ;; However it fails and the error message is printed below. > > > > ;; It cannot be emphasized enough how serious this problem seems to me, > Bob > > ;; Boyer, robertstephenboyer@HIDDEN > > > > ;; The reason it is so SERIOUS is that ANY Lisp compiler would need to = be > > ;; delighted to see such a typing expression as > > > > ;; (declare (fixnum start end) (vector input scratch)) > > > > ;; Why? BECAUSE it means that the compiler does not have to lay down > code to > > ;; type check the type of start, end, input, and scratch!!!! > > > > ;; However, (native-compile "compile-bug.el") results in the following > error message: > > > > ;; Compiling file > /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri Feb > 16 08:25:19 > > 2024 > > ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98fixnum= =E2=80=99 in foo > > ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98vector= =E2=80=99 in foo > > > > (defun foo (start end input scratch) > > (declare (fixnum start end) (vector input scratch)) > > (list start end input scratch)) > > > > ;; foo works fine > > > > ;; Here is an example form for the invocation of foo: > > > > ;; (foo 1 2 (make-vector 3 4) (make-vector 5 6)) > > > > ;; That form runs ok if it is running with foo interpreted. > > > > ;; (byte-compile 'foo) runs ok. > > > > ;; One can run the same form after byte-compiling and it runs ok. > > > > ;; However, (native-compile "compile-bug.el") fails with > > ;; the error report: > > > > ;; Compiling file > /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri Feb > 16 08:35:04 > > 2024 > > ;; compile-bug.el:12:45: Warning: Unknown defun property =E2=80=98fixnu= m=E2=80=99 in foo > > ;; compile-bug.el:12:45: Warning: Unknown defun property =E2=80=98vecto= r=E2=80=99 in foo > > Where did you see these declare forms documented? I don't see them in > the ELisp Reference manual. I think you copied them from some other > Lisp. In which case Emacs is correct telling you that these declare > forms are unknown. > > Andrea, Stefan: am I right? > --=20 Anything I seem to state should be taken as a question. I am at least 77 and feeble. --000000000000f3c44c0611ada1fc Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div>> am I right?</div><div><br></div><div>Nope.</div>= <div><br></div><div>As my message points out, those declare forms are certa= inly accepted when Emacs interprets them and when byte-compile=C2=A0sees th= em.=C2=A0 Furthermore, such declare forms are necessary for life as we know= it in the free world, so that fixnum arithmetic can be used where appropri= ate!</div><div><br></div><div>Bob</div></div><br><div class=3D"gmail_quote"= ><div dir=3D"ltr" class=3D"gmail_attr">On Sun, Feb 18, 2024 at 1:44=E2=80= =AFPM Eli Zaretskii <<a href=3D"mailto:eliz@HIDDEN">eliz@HIDDEN</a>>= ; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px= 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> Cc= : <a href=3D"mailto:rms@HIDDEN" target=3D"_blank">rms@HIDDEN</a><br> > From: Robert Boyer <<a href=3D"mailto:robertstephenboyer@HIDDEN"= target=3D"_blank">robertstephenboyer@HIDDEN</a>><br> > Date: Sat, 17 Feb 2024 22:26:27 -0600<br> > <br> > Here is a report on what seems to me to be a bug in native-compile.<br= > > <br> > ----------------------------------------------------------------------= <br> > <br> > ;; Let us suppose that this is the file "compile-bug.el"<br> > <br> > ;; Invoking (native-compile "compile-bug.el") should work, I= do believe.<br> > ;; However it fails and the error message is printed below.<br> > <br> > ;; It cannot be emphasized enough how serious this problem seems to me= , Bob<br> > ;; Boyer, <a href=3D"mailto:robertstephenboyer@HIDDEN" target=3D"_b= lank">robertstephenboyer@HIDDEN</a>.<br> > <br> > ;; The reason it is so SERIOUS is that ANY Lisp compiler would need to= be<br> > ;; delighted to see such a typing expression as<br> > <br> > ;;=C2=A0 =C2=A0(declare (fixnum start end) (vector input scratch))<br> > <br> > ;; Why? BECAUSE it means that the compiler does not have to lay down c= ode to<br> > ;; type check the type of start, end, input, and scratch!!!!<br> > <br> > ;; However, (native-compile "compile-bug.el") results in the= following error message:<br> > <br> > ;; Compiling file /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/comp= ile-bug.el at Fri Feb 16 08:25:19<br> > 2024<br> > ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98fixnu= m=E2=80=99 in foo<br> > ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98vecto= r=E2=80=99 in foo<br> > <br> > (defun foo (start end input scratch)<br> >=C2=A0 =C2=A0(declare (fixnum start end) (vector input scratch))<br> >=C2=A0 =C2=A0(list start end input scratch))<br> > <br> > ;; foo works fine<br> > <br> > ;; Here is an example form for the invocation of foo:<br> > <br> > ;; (foo 1 2 (make-vector 3 4) (make-vector 5 6))<br> > <br> > ;; That form runs ok if it is running with foo interpreted.<br> > <br> > ;; (byte-compile 'foo) runs ok.<br> > <br> > ;; One can run the same form after byte-compiling and it runs ok.<br> > <br> > ;; However, (native-compile "compile-bug.el") fails with<br> > ;; the error report:<br> > <br> > ;; Compiling file /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/comp= ile-bug.el at Fri Feb 16 08:35:04<br> > 2024<br> > ;; compile-bug.el:12:45: Warning: Unknown defun property =E2=80=98fixn= um=E2=80=99 in foo<br> > ;; compile-bug.el:12:45: Warning: Unknown defun property =E2=80=98vect= or=E2=80=99 in foo<br> <br> Where did you see these declare forms documented?=C2=A0 I don't see the= m in<br> the ELisp Reference manual.=C2=A0 I think you copied them from some other<b= r> Lisp.=C2=A0 In which case Emacs is correct telling you that these declare<b= r> forms are unknown.<br> <br> Andrea, Stefan: am I right?<br> </blockquote></div><br clear=3D"all"><div><br></div><span class=3D"gmail_si= gnature_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature"><d= iv dir=3D"ltr">Anything I seem to state should be taken as a question.=C2= =A0 I am at least 77 and feeble.</div></div> --000000000000f3c44c0611ada1fc--
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.Received: (at 69249) by debbugs.gnu.org; 18 Feb 2024 19:45:02 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 14:45:01 2024 Received: from localhost ([127.0.0.1]:38373 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rbn5x-0003N4-G3 for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 14:45:01 -0500 Received: from eggs.gnu.org ([209.51.188.92]:34456) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <eliz@HIDDEN>) id 1rbn5v-0003Ms-Ih for 69249 <at> debbugs.gnu.org; Sun, 18 Feb 2024 14:45:00 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <eliz@HIDDEN>) id 1rbn5V-0000k1-5V; Sun, 18 Feb 2024 14:44:33 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-version:References:Subject:In-Reply-To:To:From: Date; bh=6ylm49TQJEq/OJU6EVkHufFYKHSoIUtLuV1N2OTUcB0=; b=lit2cw+rXI+TLO9lvS8z MvCMClbDTVYCLHKpLS8+RbToJccJq9OIuu5gpDHPr1XQHVZ4ed0XiOxRjilbstefbijyMQAYCf86O qd2+fY3xliBxo3xjHbn1qFwsWXqXCkM1inguAi+6S9TqXV7QPvzTH0qny4N5nsp3EvQzcJjVBMk3v lNrvDLgkIngzZ9hVsMt/fV6CgvfCL+w20o+EO7Nu75tgEc+JV7q0tG+sg0AXivyvHWqwm5QVJt/i2 PLgm0a348EGX12M7o9+nh6EZlzdVkoQgI1/j+wfhrifBTdvVJHZEtgmYX7MkiDw29hQQa2ThLB3Te Bv1F4FkGVqSTaQ==; Date: Sun, 18 Feb 2024 21:44:14 +0200 Message-Id: <86h6i5r20h.fsf@HIDDEN> From: Eli Zaretskii <eliz@HIDDEN> To: Robert Boyer <robertstephenboyer@HIDDEN>, Andrea Corallo <acorallo@HIDDEN>, Stefan Monnier <monnier@HIDDEN> In-Reply-To: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> (message from Robert Boyer on Sat, 17 Feb 2024 22:26:27 -0600) Subject: Re: bug#69249: bug in native-compile? References: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -4.2 (----) X-Debbugs-Envelope-To: 69249 Cc: 69249 <at> debbugs.gnu.org, rms@HIDDEN X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -5.2 (-----) > Cc: rms@HIDDEN > From: Robert Boyer <robertstephenboyer@HIDDEN> > Date: Sat, 17 Feb 2024 22:26:27 -0600 > > Here is a report on what seems to me to be a bug in native-compile. > > ---------------------------------------------------------------------- > > ;; Let us suppose that this is the file "compile-bug.el" > > ;; Invoking (native-compile "compile-bug.el") should work, I do believe. > ;; However it fails and the error message is printed below. > > ;; It cannot be emphasized enough how serious this problem seems to me, Bob > ;; Boyer, robertstephenboyer@HIDDEN > > ;; The reason it is so SERIOUS is that ANY Lisp compiler would need to be > ;; delighted to see such a typing expression as > > ;; (declare (fixnum start end) (vector input scratch)) > > ;; Why? BECAUSE it means that the compiler does not have to lay down code to > ;; type check the type of start, end, input, and scratch!!!! > > ;; However, (native-compile "compile-bug.el") results in the following error message: > > ;; Compiling file /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri Feb 16 08:25:19 > 2024 > ;; compile-bug.el:2:45: Warning: Unknown defun property ‘fixnum’ in foo > ;; compile-bug.el:2:45: Warning: Unknown defun property ‘vector’ in foo > > (defun foo (start end input scratch) > (declare (fixnum start end) (vector input scratch)) > (list start end input scratch)) > > ;; foo works fine > > ;; Here is an example form for the invocation of foo: > > ;; (foo 1 2 (make-vector 3 4) (make-vector 5 6)) > > ;; That form runs ok if it is running with foo interpreted. > > ;; (byte-compile 'foo) runs ok. > > ;; One can run the same form after byte-compiling and it runs ok. > > ;; However, (native-compile "compile-bug.el") fails with > ;; the error report: > > ;; Compiling file /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri Feb 16 08:35:04 > 2024 > ;; compile-bug.el:12:45: Warning: Unknown defun property ‘fixnum’ in foo > ;; compile-bug.el:12:45: Warning: Unknown defun property ‘vector’ in foo Where did you see these declare forms documented? I don't see them in the ELisp Reference manual. I think you copied them from some other Lisp. In which case Emacs is correct telling you that these declare forms are unknown. Andrea, Stefan: am I right?
bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.Received: (at submit) by debbugs.gnu.org; 18 Feb 2024 18:30:47 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 18 13:30:47 2024 Received: from localhost ([127.0.0.1]:37941 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rblvt-0003sR-Su for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 13:30:47 -0500 Received: from lists.gnu.org ([209.51.188.17]:44974) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <robertstephenboyer@HIDDEN>) id 1rblNc-0001bb-5F for submit <at> debbugs.gnu.org; Sun, 18 Feb 2024 12:55:09 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <robertstephenboyer@HIDDEN>) id 1rbYlh-0005FR-BD for bug-gnu-emacs@HIDDEN; Sat, 17 Feb 2024 23:27:09 -0500 Received: from mail-ej1-x629.google.com ([2a00:1450:4864:20::629]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from <robertstephenboyer@HIDDEN>) id 1rbYle-00078u-SB; Sat, 17 Feb 2024 23:27:09 -0500 Received: by mail-ej1-x629.google.com with SMTP id a640c23a62f3a-a34c5ca2537so412019566b.0; Sat, 17 Feb 2024 20:27:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708230425; x=1708835225; darn=gnu.org; h=cc:to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=btQFchg6tj1VvYvTEWqY71Thfv/5awX6if7raZJjpOA=; b=ZdqKiDG3uWVaWJ143lePX+Zizh4JauLLadcdkOm3UBUqgkrAcXNvPNha8iRDYXeI1L UnEQIQu2CX9FskwfGrYsKfIFV9/OkzDcpOJAIXdzaGMrewTx5chJWm9dadhLDf4GzbcG g7CJKMgmV9FGvtErfNkNdmZM6mkamNLbcJ11MRt7e20f1L3IT9eWGn5ZdU5MTrtWNhMx 1pxnMVF8LT5zoSoG5KoPV0J8R+BdL9ND9GmU54StgJ0rlgc3ynOmDyhKGgeHKclU2p9Z kWYBK5jChsgFqdFnrehk9k23g6yPDZFHdig2DrB4Dcsg/oc2pApSwdH6oM1Vcs1Ad+v0 6XLQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708230425; x=1708835225; h=cc:to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=btQFchg6tj1VvYvTEWqY71Thfv/5awX6if7raZJjpOA=; b=YTcN4TICIQ2rFEl8xC15Me2shbKXshMA8WwWukQJqc6V+D3hk44bCvxRQKmid0cy8h KpqR4eAHMCCT/AEuYyuz7xid/b4GkWaN/Z9qHn0KvMgc/qkFhe8V4ZxRmNou1Q063IvC rqAo2aeisR9pFm99wa5OHeuQwlDYRrWb0psP35WhAzcXyks7RDudTyDl5i8gCdviekeH xUXdXPb3d/T0hMHMLXPEjy8cNZhK62ycAhYK7P4T8/Q5phzpnvTWaltpGBg5/4HkATh/ RJAti8rbWqLZIAnCv8pOTM+n5XQGrXMawZ2dvSE5DSHgOm2LYh6qcR947fDqAgUmRnvm QY8A== X-Gm-Message-State: AOJu0YxuIc4JQegQ2G5aG4ZBKh+PLz46YGytlSK8AmtKW0mb1AFIA2aH EEcHwP+P5x2EKCHNDLgQ7o9cjJguHq6Z8KuKAmWPsgok8/8jDxdRmfSo4TmpXC/kfa2P5MuDJaW E2IOE85qCzu72xBAQTJmGD8e4vAXtySMM X-Google-Smtp-Source: AGHT+IEYpAUA/2dEOxU3JdVP+4xiSzEMlVJEdtY/Sx1C6DKxmuFtCdukQxSscLu0eh6zBTzujheGJCt0+Zcm83fy/GA= X-Received: by 2002:a17:906:e0d1:b0:a3c:d134:5e15 with SMTP id gl17-20020a170906e0d100b00a3cd1345e15mr6075315ejb.33.1708230424309; Sat, 17 Feb 2024 20:27:04 -0800 (PST) MIME-Version: 1.0 From: Robert Boyer <robertstephenboyer@HIDDEN> Date: Sat, 17 Feb 2024 22:26:27 -0600 Message-ID: <CAP9n0TMU__grxzD505CHWUA_5M95aZOY5jpHHf_QP7_McUepRg@HIDDEN> Subject: bug in native-compile? To: bug-gnu-emacs@HIDDEN Content-Type: multipart/alternative; boundary="000000000000a2b2730611a0632c" Received-SPF: pass client-ip=2a00:1450:4864:20::629; envelope-from=robertstephenboyer@HIDDEN; helo=mail-ej1-x629.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_KAM_HTML_FONT_INVALID=0.01, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -3.5 (---) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Sun, 18 Feb 2024 13:30:25 -0500 Cc: rms@HIDDEN X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://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: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.2 (--) --000000000000a2b2730611a0632c Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear Emacs bug fixers, Here is a report on what seems to me to be a bug in native-compile. ---------------------------------------------------------------------- ;; Let us suppose that this is the file "compile-bug.el" ;; Invoking (native-compile "compile-bug.el") should work, I do believe. ;; However it fails and the error message is printed below. ;; It cannot be emphasized enough how serious this problem seems to me, Bob ;; Boyer, robertstephenboyer@HIDDEN ;; The reason it is so SERIOUS is that ANY Lisp compiler would need to be ;; delighted to see such a typing expression as ;; (declare (fixnum start end) (vector input scratch)) ;; Why? BECAUSE it means that the compiler does not have to lay down code t= o ;; type check the type of start, end, input, and scratch!!!! ;; However, (native-compile "compile-bug.el") results in the following error message: ;; Compiling file /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri Feb 16 08:25:19 2024 ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98fixnum=E2= =80=99 in foo ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98vector=E2= =80=99 in foo (defun foo (start end input scratch) (declare (fixnum start end) (vector input scratch)) (list start end input scratch)) ;; foo works fine ;; Here is an example form for the invocation of foo: ;; (foo 1 2 (make-vector 3 4) (make-vector 5 6)) ;; That form runs ok if it is running with foo interpreted. ;; (byte-compile 'foo) runs ok. ;; One can run the same form after byte-compiling and it runs ok. ;; However, (native-compile "compile-bug.el") fails with ;; the error report: ;; Compiling file /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri Feb 16 08:35:04 2024 ;; compile-bug.el:12:45: Warning: Unknown defun property =E2=80=98fixnum=E2= =80=99 in foo ;; compile-bug.el:12:45: Warning: Unknown defun property =E2=80=98vector=E2= =80=99 in foo ;; Let us suppose that this is the end of the file "compile-bug.el" ---------------------------------------------------------------------- Here is the rest of the info that I think that m-x report-emacs-bug was trying to enclose in my failed attempt to use m-x report-emacs-bug. Configured using: 'configure --build x86_64-linux-gnu --prefix=3D/usr --sharedstatedir=3D/var/lib --libexecdir=3D/usr/libexec --localstatedir=3D/var/lib --infodir=3D/usr/share/info --mandir=3D/usr/share/man --with-libsystemd --with-pop=3Dyes --enable-locallisppath=3D/etc/emacs:/usr/local/share/emacs/28.2/site-lisp:= /usr/local/share/emacs/site-lisp:/usr/share/emacs/28.2/site-lisp:/usr/share= /emacs/site-lisp --with-sound=3Dalsa --without-gconf --with-mailutils --with-native-compilation --build x86_64-linux-gnu --prefix=3D/usr --sharedstatedir=3D/var/lib --libexecdir=3D/usr/libexec --localstatedir=3D/var/lib --infodir=3D/usr/share/info --mandir=3D/usr/share/man --with-libsystemd --with-pop=3Dyes --enable-locallisppath=3D/etc/emacs:/usr/local/share/emacs/28.2/site-lisp:= /usr/local/share/emacs/site-lisp:/usr/share/emacs/28.2/site-lisp:/usr/share= /emacs/site-lisp --with-sound=3Dalsa --without-gconf --with-mailutils --with-native-compilation --with-cairo --with-x=3Dyes --with-x-toolkit=3Dgtk3 --with-toolkit-scroll-bars 'CFLAGS=3D-g -O2 -ffile-prefix-map=3D/build/emacs-mPr7Vr/emacs-28.2+1=3D. -fstack-protector-strong -Wformat -Werror=3Dformat-security -Wall' 'CPPFLAGS=3D-Wdate-time -D_FORTIFY_SOURCE=3D2' LDFLAGS=3D-Wl,-z,relro' Configured features: ACL CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS GPM GSETTINGS HARFBUZZ JPEG JSON LCMS2 LIBOTF LIBSELINUX LIBSYSTEMD LIBXML2 M17N_FLT MODULES NATIVE_COMP NOTIFY INOTIFY PDUMPER PNG RSVG SECCOMP SOUND THREADS TIFF TOOLKIT_SCROLL_BARS X11 XDBE XIM XPM GTK3 ZLIB Important settings: value of $LANG: en_US.UTF-8 locale-coding-system: utf-8-unix Major mode: ELisp/d Minor modes in effect: shell-dirtrack-mode: t display-time-mode: t tooltip-mode: t global-eldoc-mode: t eldoc-mode: t show-paren-mode: t electric-indent-mode: t mouse-wheel-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t blink-cursor-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t line-number-mode: t transient-mark-mode: t Load-path shadows: None found. Features: (shadow sort mail-extr emacsbug message rmc puny rfc822 mml mml-sec epa derived epg rfc6068 epg-config gnus-util rmail rmail-loaddefs mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils mode-local autorevert filenotify descr-text eieio-opt speedbar ezimage dframe shortdoc lpr apropos compile text-property-search comp comp-cstr warnings rx cl-extra cl-print debug backtrace find-func help-fns radix-tree help-mode thingatpt misearch multi-isearch time-date cus-start etags fileloop generator xref project dired-aux cus-edit pp cus-load wid-edit trace sh-script smie executable dired dired-loaddefs cal-menu calendar cal-loaddefs ange-ftp shell pcomplete comint ansi-color ring benchmark time face-remap finder-inf package browse-url url url-proxy url-privacy url-expand url-methods url-history url-cookie url-domsuf url-util mailcap url-handlers url-parse auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs password-cache json subr-x map url-vars seq byte-opt gv bytecomp byte-compile cconv cl-loaddefs cl-lib iso-transl tooltip eldoc paren electric uniquify ediff-hook vc-hooks lisp-float-type elisp-mode mwheel term/x-win x-win term/common-win x-dnd tool-bar dnd fontset image regexp-opt fringe tabulated-list replace newcomment text-mode lisp-mode prog-mode register page tab-bar menu-bar rfn-eshadow isearch easymenu timer select scroll-bar mouse jit-lock font-lock syntax font-core term/tty-colors frame minibuffer cl-generic cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese composite emoji-zwj charscript charprop case-table epa-hook jka-cmpr-hook help simple abbrev obarray cl-preloaded nadvice button loaddefs faces cus-face macroexp files window text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote threads dbusbind inotify lcms2 dynamic-setting system-font-setting font-render-setting cairo move-toolbar gtk x-toolkit x multi-tty make-network-process native-compile emacs) Memory information: ((conses 16 440800 29368) (symbols 48 15229 0) (strings 32 57747 2517) (string-bytes 1 4555170) (vectors 16 31666) (vector-slots 8 931977 74485) (floats 8 118 370) (intervals 56 88945 28) (buffers 992 36)) ReplyForward Add reaction --000000000000a2b2730611a0632c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div style=3D"color:rgb(32,33,36);font-family:"Google= Sans",Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:medium;= min-height:100%"><div style=3D"width:1050px"><div style=3D"display:flex;bac= kground-color:transparent"><div style=3D"overflow:hidden"><div style=3D"bor= der-radius:16px;margin-bottom:16px;overflow-y:hidden"><div id=3D"m_-5399064= 851799512510gmail-:3" style=3D"background-image:initial;background-position= :initial;background-size:initial;background-repeat:initial;background-origi= n:initial;background-clip:initial;overflow-y:scroll;padding-right:0px;heigh= t:342px"><div id=3D"m_-5399064851799512510gmail-:1" style=3D"padding:0px;ve= rtical-align:bottom;min-height:151.671px"><div role=3D"main"><div style=3D"= background-image:initial;background-position:initial;background-size:initia= l;background-repeat:initial;background-origin:initial;background-clip:initi= al;min-height:64ex;min-width:502px;margin:0px;padding-right:16px"><div><div= style=3D"background-color:transparent;color:rgb(34,34,34);min-width:502px;= padding:0px"><div role=3D"list"><div role=3D"listitem" aria-expanded=3D"tru= e" style=3D"padding-bottom:0px;max-width:100000px;clear:both;outline:none">= <div style=3D"margin-bottom:0px;border-width:0px;border-top-style:solid;bor= der-right-style:initial;border-bottom-style:initial;border-left-style:initi= al;border-top-color:rgb(239,239,239);border-right-color:initial;border-left= -color:initial;border-bottom-color:initial;border-radius:0px;float:left;wid= th:638.655px"><div style=3D"border-top:none;padding-top:0px;background-colo= r:transparent;border-right:0px;border-bottom:0px rgba(100,121,143,0.12);bor= der-left:0px;border-radius:0px;margin-bottom:0px;margin-left:0px;margin-rig= ht:0px"><div id=3D"m_-5399064851799512510gmail-:ai"><div style=3D"border-le= ft:none;padding:0px;display:flex"><div style=3D"margin:0px;min-width:0px;pa= dding:0px 0px 20px;width:initial"><div id=3D"m_-5399064851799512510gmail-:j= v" style=3D"direction:ltr;margin:8px 0px 0px;padding:0px;font-size:0.875rem= ;overflow-x:hidden"><div id=3D"m_-5399064851799512510gmail-:ag" style=3D"di= rection:initial;font-variant-numeric:normal;font-variant-east-asian:normal;= font-variant-alternates:normal;font-kerning:auto;font-feature-settings:norm= al;font-stretch:normal;font-size:small;line-height:1.5;font-family:Arial,He= lvetica,sans-serif;overflow:auto hidden"><div>Dear Emacs bug fixers,</div><= div><br></div><div>Here is a report on what seems to me to be a bug in nati= ve-compile.</div><div dir=3D"ltr"><br></div><div dir=3D"ltr">--------------= --------------------------------------------------------<br><br>;; Let us s= uppose that this is the file "compile-bug.el"<br><br>;; Invoking = (native-compile "compile-bug.el") should work, I do believe.<br>;= ; However it fails and the error message is printed below.<br><br>;; It can= not be emphasized enough how serious this problem seems to me, Bob<br>;; Bo= yer,=C2=A0<a href=3D"mailto:robertstephenboyer@HIDDEN" target=3D"_blank"= >robertstephenboyer@HIDDEN</a>.<br><br>;; The reason it is so SERIOUS is= that ANY Lisp compiler would need to be<br>;; delighted to see such a typi= ng expression as<br><br>;; =C2=A0 (declare (fixnum start end) (vector input= scratch))<br><br>;; Why? BECAUSE it means that the compiler does not have = to lay down code to<br>;; type check the type of start, end, input, and scr= atch!!!!<br><br>;; However, (native-compile "compile-bug.el") res= ults in the following error message:<br><br>;; Compiling file /mnt/chromeos= /GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri Feb 16 08:25:19 20= 24<br>;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98fixn= um=E2=80=99 in foo<br>;; compile-bug.el:2:45: Warning: Unknown defun proper= ty =E2=80=98vector=E2=80=99 in foo<br><br>(defun foo (start end input scrat= ch)<br>=C2=A0 (declare (fixnum start end) (vector input scratch))<br>=C2=A0= (list start end input scratch))<br><br>;; foo works fine<br><br>;; Here is= an example form for the invocation of foo:<br><br>;; (foo 1 2 (make-vector= 3 4) (make-vector 5 6))<br><br>;; That form runs ok if it is running with = foo interpreted.<br><br>;; (byte-compile 'foo) runs ok.<br><br>;; One c= an run the same form after byte-compiling and it runs ok.<br><br>;; However= , (native-compile "compile-bug.el") fails with<br>;; the error re= port:<br><br>;; Compiling file /mnt/chromeos/GoogleDrive/MyDrive/Linux/work= ing/compile-bug.el at Fri Feb 16 08:35:04 2024<br>;; compile-bug.el:12:45: = Warning: Unknown defun property =E2=80=98fixnum=E2=80=99 in foo<br>;; compi= le-bug.el:12:45: Warning: Unknown defun property =E2=80=98vector=E2=80=99 i= n foo<br><br>;; Let us suppose that this is the end of the file "compi= le-bug.el"<br><div>---------------------------------------------------= -------------------<br><br>Here is the rest of the info that I think that m= -x report-emacs-bug was trying<br>to enclose in my failed attempt to use m-= x report-emacs-bug.<br><br><br>Configured using:<br>=C2=A0'configure --= build x86_64-linux-gnu --prefix=3D/usr<br>=C2=A0--sharedstatedir=3D/var/lib= --libexecdir=3D/usr/libexec<br>=C2=A0--localstatedir=3D/var/lib --infodir= =3D/usr/share/info<br>=C2=A0--mandir=3D/usr/share/man --with-libsystemd --w= ith-pop=3Dyes<br>=C2=A0--enable-locallisppath=3D/etc/emacs:/usr/local/share= /emacs/28.2/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/28.= 2/site-lisp:/usr/share/emacs/site-lisp<br>=C2=A0--with-sound=3Dalsa --witho= ut-gconf --with-mailutils<br>=C2=A0--with-native-compilation --build x86_64= -linux-gnu --prefix=3D/usr<br>=C2=A0--sharedstatedir=3D/var/lib --libexecdi= r=3D/usr/libexec<br>=C2=A0--localstatedir=3D/var/lib --infodir=3D/usr/share= /info<br>=C2=A0--mandir=3D/usr/share/man --with-libsystemd --with-pop=3Dyes= <br>=C2=A0--enable-locallisppath=3D/etc/emacs:/usr/local/share/emacs/28.2/s= ite-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/28.2/site-lisp:/= usr/share/emacs/site-lisp<br>=C2=A0--with-sound=3Dalsa --without-gconf --wi= th-mailutils<br>=C2=A0--with-native-compilation --with-cairo --with-x=3Dyes= <br>=C2=A0--with-x-toolkit=3Dgtk3 --with-toolkit-scroll-bars 'CFLAGS=3D= -g -O2<br>=C2=A0-ffile-prefix-map=3D/build/emacs-mPr7Vr/emacs-28.2+1=3D.<br= >=C2=A0-fstack-protector-strong -Wformat -Werror=3Dformat-security -Wall= 9;<br>=C2=A0'CPPFLAGS=3D-Wdate-time -D_FORTIFY_SOURCE=3D2' LDFLAGS= =3D-Wl,-z,relro'<br><br>Configured features:<br>ACL CAIRO DBUS FREETYPE= GIF GLIB GMP GNUTLS GPM GSETTINGS HARFBUZZ JPEG<br>JSON LCMS2 LIBOTF LIBSE= LINUX LIBSYSTEMD LIBXML2 M17N_FLT MODULES<br>NATIVE_COMP NOTIFY INOTIFY PDU= MPER PNG RSVG SECCOMP SOUND THREADS TIFF<br>TOOLKIT_SCROLL_BARS X11 XDBE XI= M XPM GTK3 ZLIB<br><br>Important settings:<br>=C2=A0 value of $LANG: en_US.= UTF-8<br>=C2=A0 locale-coding-system: utf-8-unix<br><br>Major mode: ELisp/d= <br><br>Minor modes in effect:<br>=C2=A0 shell-dirtrack-mode: t<br>=C2=A0 d= isplay-time-mode: t<br>=C2=A0 tooltip-mode: t<br>=C2=A0 global-eldoc-mode: = t<br>=C2=A0 eldoc-mode: t<br>=C2=A0 show-paren-mode: t<br>=C2=A0 electric-i= ndent-mode: t<br>=C2=A0 mouse-wheel-mode: t<br>=C2=A0 file-name-shadow-mode= : t<br>=C2=A0 global-font-lock-mode: t<br>=C2=A0 font-lock-mode: t<br>=C2= =A0 blink-cursor-mode: t<br>=C2=A0 auto-composition-mode: t<br>=C2=A0 auto-= encryption-mode: t<br>=C2=A0 auto-compression-mode: t<br>=C2=A0 line-number= -mode: t<br>=C2=A0 transient-mark-mode: t<br><br>Load-path shadows:<br>None= found.<br><br>Features:<br>(shadow sort mail-extr emacsbug message rmc pun= y rfc822 mml mml-sec epa<br>derived epg rfc6068 epg-config gnus-util rmail = rmail-loaddefs mm-decode<br>mm-bodies mm-encode mail-parse rfc2231 mailabbr= ev gmm-utils mailheader<br>sendmail rfc2047 rfc2045 ietf-drums mm-util mail= -prsvr mail-utils<br>mode-local autorevert filenotify descr-text eieio-opt = speedbar ezimage<br>dframe shortdoc lpr apropos compile text-property-searc= h comp comp-cstr<br>warnings rx cl-extra cl-print debug backtrace find-func= help-fns<br>radix-tree help-mode thingatpt misearch multi-isearch time-dat= e<br>cus-start etags fileloop generator xref project dired-aux cus-edit pp<= br>cus-load wid-edit trace sh-script smie executable dired dired-loaddefs<b= r>cal-menu calendar cal-loaddefs ange-ftp shell pcomplete comint<br>ansi-co= lor ring benchmark time face-remap finder-inf package browse-url<br>url url= -proxy url-privacy url-expand url-methods url-history url-cookie<br>url-dom= suf url-util mailcap url-handlers url-parse auth-source cl-seq<br>eieio eie= io-core cl-macs eieio-loaddefs password-cache json subr-x map<br>url-vars s= eq byte-opt gv bytecomp byte-compile cconv cl-loaddefs cl-lib<br>iso-transl= tooltip eldoc paren electric uniquify ediff-hook vc-hooks<br>lisp-float-ty= pe elisp-mode mwheel term/x-win x-win term/common-win x-dnd<br>tool-bar dnd= fontset image regexp-opt fringe tabulated-list replace<br>newcomment text-= mode lisp-mode prog-mode register page tab-bar menu-bar<br>rfn-eshadow isea= rch easymenu timer select scroll-bar mouse jit-lock<br>font-lock syntax fon= t-core term/tty-colors frame minibuffer cl-generic<br>cham georgian utf-8-l= ang misc-lang vietnamese tibetan thai tai-viet lao<br>korean japanese eucjp= -ms cp51932 hebrew greek romanian slovak czech<br>european ethiopic indian = cyrillic chinese composite emoji-zwj charscript<br>charprop case-table epa-= hook jka-cmpr-hook help simple abbrev obarray<br>cl-preloaded nadvice butto= n loaddefs faces cus-face macroexp files<br>window text-properties overlay = sha1 md5 base64 format env code-pages<br>mule custom widget hashtable-print= -readable backquote threads dbusbind<br>inotify lcms2 dynamic-setting syste= m-font-setting font-render-setting<br>cairo move-toolbar gtk x-toolkit x mu= lti-tty make-network-process<br>native-compile emacs)<br><br>Memory informa= tion:<br>((conses 16 440800 29368)<br>=C2=A0(symbols 48 15229 0)<br>=C2=A0(= strings 32 57747 2517)<br>=C2=A0(string-bytes 1 4555170)<br>=C2=A0(vectors = 16 31666)<br>=C2=A0(vector-slots 8 931977 74485)<br>=C2=A0(floats 8 118 370= )<br>=C2=A0(intervals 56 88945 28)<br>=C2=A0(buffers 992 36))<div></div><di= v><br></div></div></div><div></div></div></div><div style=3D"padding:0px;wi= dth:auto;background:rgb(242,242,242);margin:0px;border-bottom-left-radius:1= px;border-bottom-right-radius:1px"></div><div style=3D"clear:both"></div></= div><div style=3D"clear:both"></div></div><div style=3D"font-size:0.875rem;= padding:0px;width:auto;border-bottom-left-radius:0px;border-bottom-right-ra= dius:0px;border-top:none;margin:0px;background:transparent"><div style=3D"b= order-top:0px;padding:0px"><div style=3D"clear:both;margin:0px;padding:16px= 0px;border-top:none"><div id=3D"m_-5399064851799512510gmail-:ju"><table ro= le=3D"presentation" style=3D"border-collapse:collapse"><tbody><tr><td style= =3D"padding:0px 16px;vertical-align:top;width:44px"><img id=3D"m_-539906485= 1799512510gmail-:45_17" name=3D"m_-5399064851799512510_gmail-:45" src=3D"ht= tps://lh3.googleusercontent.com/a/ACg8ocIKVvPVQGvSmqfNFnAMC1m3JsnLxjOKwP1VS= lmS9rHJaqQ=3Ds40-p-mo" style=3D"width:40px;height:40px;display:block;border= -radius:50%"></td><td style=3D"padding:0px;width:566.664px"><div style=3D"b= ox-sizing:border-box;border-radius:1px;padding:0px;border:none;margin:0px">= <div style=3D"color:inherit;height:auto;padding:0px;display:flex;line-heigh= t:20px"><span id=3D"m_-5399064851799512510gmail-:al" role=3D"link" style=3D= "border:1px solid rgb(116,119,117);display:inline-flex;font-size:0.875rem;b= ackground:none;border-radius:18px;box-sizing:border-box;color:rgb(68,71,70)= ;height:36px;outline:none;padding:0px 16px 0px 12px;min-width:104px;margin-= right:8px">Reply</span><span id=3D"m_-5399064851799512510gmail-:aj" role=3D= "link" style=3D"border:1px solid rgb(116,119,117);display:inline-flex;font-= size:0.875rem;background:none;border-radius:18px;box-sizing:border-box;colo= r:rgb(68,71,70);height:36px;outline:none;padding:0px 16px 0px 12px;min-widt= h:104px;margin-right:8px">Forward</span><div><button aria-label=3D"Add reac= tion" style=3D"margin-top:0px;background-image:initial;background-position:= initial;background-size:initial;background-repeat:initial;background-origin= :initial;background-clip:initial;border-width:initial;border-style:none;bor= der-color:initial;display:inline-flex;line-height:inherit;outline:none"><sp= an style=3D"overflow:hidden;outline:none;width:35.9953px;height:35.9953px">= </span><span aria-hidden=3D"true" style=3D"display:inline-block;line-height= :0"><span aria-hidden=3D"true"></span></span><div></div></button><div id=3D= "m_-5399064851799512510gmail-tt-c847" role=3D"tooltip" aria-hidden=3D"true"= style=3D"height:1px;overflow:hidden">Add reaction</div></div></div></div><= /td></tr></tbody></table></div></div></div></div></div></div></div></div></= div><div></div></div></div><div><div style=3D"margin:0px 0px 16px;padding:0= px 16px;text-align:center;background-image:url("");background-pos= ition:50% 50%;background-repeat:no-repeat;background-size:20px;min-height:5= 6px"></div></div></div></div></div></div></div></div><div><div style=3D"dis= play:flex;height:389.664px"><div style=3D"height:389.654px;min-width:56px;w= idth:56px"><div role=3D"complementary" aria-label=3D"Side panel" style=3D"b= ackground:rgb(246,248,252);border:none;box-sizing:border-box;display:flex;h= eight:389.654px;width:56px"><div style=3D"display:flex;margin-bottom:56px">= <div role=3D"tablist" style=3D"height:100px;outline:none;overflow:hidden"><= div id=3D"m_-5399064851799512510gmail-gsc-gab-6" role=3D"tab" aria-label=3D= "Calendar" aria-disabled=3D"false" aria-selected=3D"false" style=3D"height:= 56px;outline:none;width:56px"><div style=3D"border-radius:50%;display:flex;= height:40px;width:40px;border-color:rgb(232,240,254)"></div><div style=3D"b= order-radius:50%;display:flex;height:40px;width:40px"></div><div style=3D"b= ackground-color:transparent;background-repeat:no-repeat;background-position= :50% 50%;background-size:20px 20px;border-radius:50%;display:flex;height:40= px;width:40px;background-image:url("https://www.gstatic.com/companion/= icon_assets/calendar_2020q4_2x.png")"></div></div><div id=3D"m_-539906= 4851799512510gmail-gsc-gab-2" role=3D"tab" aria-label=3D"Keep" aria-disable= d=3D"false" aria-selected=3D"false" style=3D"height:56px;outline:none;width= :56px"><div style=3D"border-radius:50%;display:flex;height:40px;width:40px;= border-color:rgb(254,247,224)"></div><div style=3D"border-radius:50%;displa= y:flex;height:40px;width:40px"></div><div style=3D"background-color:transpa= rent;background-repeat:no-repeat;background-position:50% 50%;background-siz= e:20px 20px;border-radius:50%;display:flex;height:40px;width:40px;backgroun= d-image:url("https://www.gstatic.com/companion/icon_assets/keep_2020q4= v3_2x.png")"></div></div><div id=3D"m_-5399064851799512510gmail-gsc-ga= b-4" role=3D"tab" aria-label=3D"Tasks" aria-disabled=3D"false" aria-selecte= d=3D"false" style=3D"height:56px;outline:none;width:56px"><div style=3D"bor= der-radius:50%;display:flex;height:40px;width:40px;border-color:rgb(232,240= ,254)"></div><div style=3D"border-radius:50%;display:flex;height:40px;width= :40px"></div><div style=3D"background-color:transparent;background-repeat:n= o-repeat;background-position:50% 50%;background-size:20px 20px;border-radiu= s:50%;display:flex;height:40px;width:40px;background-image:url("https:= //www.gstatic.com/companion/icon_assets/tasks_2021_2x.png")"></div></d= iv><div id=3D"m_-5399064851799512510gmail-gsc-gab-9" role=3D"tab" aria-labe= l=3D"Contacts" aria-disabled=3D"false" aria-selected=3D"false" style=3D"hei= ght:56px;outline:none;width:56px"><div style=3D"border-radius:50%;display:f= lex;height:40px;width:40px;border-color:rgb(232,240,254)"></div><div style= =3D"border-radius:50%;display:flex;height:40px;width:40px"></div><div style= =3D"background-color:transparent;background-repeat:no-repeat;background-pos= ition:50% 50%;background-size:20px 20px;border-radius:50%;display:flex;heig= ht:40px;width:40px;background-image:url("https://www.gstatic.com/compa= nion/icon_assets/contacts_2022_2x.png")"></div></div><div role=3D"sepa= rator" aria-hidden=3D"false" aria-disabled=3D"true" id=3D"m_-53990648517995= 12510gmail-:ba" style=3D"border-top:1px solid rgb(225,227,225);margin:16px = auto 0px;padding-bottom:16px;width:20px;border-right-color:rgb(225,227,225)= ;border-bottom-color:rgb(225,227,225);border-left-color:rgb(225,227,225)"><= /div><div role=3D"tab" aria-label=3D"More Add-ons" aria-selected=3D"false" = aria-expanded=3D"false" aria-haspopup=3D"true" id=3D"m_-5399064851799512510= gmail-:bm" aria-hidden=3D"false" style=3D"height:56px;outline:none;width:56= px"><div style=3D"border-radius:50%;display:flex;height:40px;width:40px;bor= der-color:rgb(232,240,254)"></div><div style=3D"border-radius:50%;display:f= lex;height:40px;width:40px"></div><div style=3D"background-color:transparen= t;background-repeat:no-repeat;background-position:50% 50%;background-size:2= 0px 20px;border-radius:50%;display:flex;height:40px;width:40px;background-i= mage:url("")"></div></div></div></div></div><div style=3D"display= :flex;height:56px;overflow:hidden;width:56px"><div role=3D"button" aria-lab= el=3D"Hide side panel" style=3D"height:56px;outline:none;width:56px"><div s= tyle=3D"display:flex;height:40px;width:40px"></div><div style=3D"background= -color:transparent;background-repeat:no-repeat;background-position:50% 50%;= background-size:20px 20px;display:flex;height:40px;width:40px"></div></div>= </div></div></div></div></div></div></div><div style=3D"width:1050px;height= :469.656px;color:rgb(32,33,36);font-family:"Google Sans",Roboto,R= obotoDraft,Helvetica,Arial,sans-serif;font-size:medium"></div><div style=3D= "color:rgb(32,33,36);font-family:"Google Sans",Roboto,RobotoDraft= ,Helvetica,Arial,sans-serif;font-size:medium"><div></div></div><div style= =3D"width:1050px;height:469.656px;overflow:hidden;color:rgb(32,33,36);font-= family:"Google Sans",Roboto,RobotoDraft,Helvetica,Arial,sans-seri= f;font-size:medium"><div><div style=3D"width:1050px"><div style=3D"height:4= 69.656px"><div style=3D"float:right;display:flex"><div style=3D"min-height:= 1px;float:left;width:56px"></div><div style=3D"min-height:1px;float:left;wi= dth:66px"></div></div><div style=3D"height:0px;overflow:hidden;clear:both">= </div></div></div></div></div><div style=3D"background-color:rgba(0,0,0,0.5= );height:469.656px;width:1050px;color:rgb(32,33,36);font-family:"Googl= e Sans",Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:medium= "><div style=3D"background-color:transparent;width:750px;height:390px"></di= v></div><div style=3D"color:rgb(32,33,36);font-family:"Google Sans&quo= t;,Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:medium"></div><d= iv role=3D"tooltip" style=3D"border-radius:0px;background:transparent;borde= r-width:10px 0px;border-style:solid;border-color:transparent;color:rgb(255,= 255,255);font-size:0.75rem;opacity:0;padding:0px;word-break:break-word;font= -family:"Google Sans",Roboto,RobotoDraft,Helvetica,Arial,sans-ser= if;line-height:16px"><div style=3D"background:rgb(60,64,67);border-radius:4= px;padding:4px 8px"></div></div><br></div> --000000000000a2b2730611a0632c--
Robert Boyer <robertstephenboyer@HIDDEN>:bug-gnu-emacs@HIDDEN.
Full text available.bug-gnu-emacs@HIDDEN:bug#69249; Package emacs.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.