From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Po Lu Newsgroups: gmane.emacs.devel Subject: Re: Shrinking the C core Date: Mon, 21 Aug 2023 12:15:48 +0800 Message-ID: <87zg2lav4b.fsf@yahoo.com> References: <20230809094655.793FC18A4654@snark.thyrsus.com> <87jztvnuyb.fsf@localhost> <875y5bdutt.fsf@dataswamp.org> <87y1i6e1uh.fsf@localhost> <874jkub40o.fsf@dataswamp.org> <87jztqdw2l.fsf@localhost> <87msym9i4r.fsf@dataswamp.org> <877cpp914t.fsf@localhost> <83fs4dwwdo.fsf@gnu.org> <874jkt90a5.fsf@localhost> <87y1i57jqi.fsf@localhost> <87pm3h7h8k.fsf@localhost> <87h6ot7cf3.fsf@localhost> <87edjx7c0b.fsf@localhost> <831qfxw2cx.fsf@gnu.org> <87v8d95918.fsf@localhost> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="17192"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Eli Zaretskii , ams@gnu.org, incal@dataswamp.org, emacs-devel@gnu.org To: Ihor Radchenko Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon Aug 21 06:16:33 2023 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1qXwLB-0004JO-0h for ged-emacs-devel@m.gmane-mx.org; Mon, 21 Aug 2023 06:16:33 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qXwKi-0003zb-Fs; Mon, 21 Aug 2023 00:16:04 -0400 Original-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 ) id 1qXwKh-0003zE-3U for emacs-devel@gnu.org; Mon, 21 Aug 2023 00:16:03 -0400 Original-Received: from sonic302-20.consmr.mail.ne1.yahoo.com ([66.163.186.146]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qXwKe-0007TF-Vl for emacs-devel@gnu.org; Mon, 21 Aug 2023 00:16:02 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1692591358; bh=uqNuhvZj7BFS/gi7TfHSxoo2kbzDKURAY6VEWTMPN+o=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From:Subject:Reply-To; b=gjy5olQG7VXBdWRnQxkMceRP0hUV/X1i1x9UMDRkUGGZB8gMe2irLalCSasXdXrNHpQrSjH2jegxofssqL4IJDI5pFGwqtiBzijDmh/7B/n6rfrCvcDo+1YyMonXJSmtWESpmZAUaMfHNnhw+B3qid/lTyOJsLRWP6HtdJNep6WO1G80JfG7WY2JYqmfIvGj/Ha17SzxboxTQIzYrlXmt3zCvlLqhKHKCZKplqfpfWhxuE197cYT8dN+ChX/33xMm9F8WMM0/A4wmGRydt2cBWASS7mZ6mdsmYaoQ2BWG/LXd5u8+NneUOHM/4Ic5EwWv6k9fH25bDg9a60APK5Fnw== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1692591358; bh=Vv/68Z/PXP3jWlLOPRJ0OAM+uwb8uR2JT0CjFFnMVYE=; h=X-Sonic-MF:From:To:Subject:Date:From:Subject; b=ljtHo0PDNdG/byQPEbWxth0SogTebNOmYqCx0cQPfhoErmywwf6qPcplyDIsFpIPV1AqHZ1T4rIGw92fqY0CL9HAXXo3ysAk9okQKOZ9J3ysr6xhU9CCF35slYxUiO+j2g+k2qCPngGbjbkTua/vLJEsBw+q0nAlB+3ZVp43tESHJPSSNdxIoV50VQmgZjhSAw3WaR5S+ob7hlihp/VXHJ2c9adjZtL0eEgEHXcIAKVLHtk71xmUBI+DpmDyShzSZ9rX+gXhSr+wwS238qobRrChONWfzjN7ivbKQFi5gMDi52w61sZa+cR6y5OPlO3+VuLr3QgAuw3Im04DTpmJOw== X-YMail-OSG: WLlYS.UVM1m0J.UiWSvpgG23LT4des5eWZFfRRojz3K2Hwv0lC.Yy5FuQsLcGuS GX2nJ8ejMrsd8zDL_0XoYwwl5wqTz7Jgcmj3F6_ylsVcPvsgadyXPtm.FdFFWxwdL3vSZJ8ibwjv cg4QpZg2cTxig6XtS4hLVHHokhHpGjCDeIlX28ChU.zku5Ol_OPTJsU49M8rOSq96Us.qiiSwX_H BtueuuMh3MLc9eI4GIrr_X.bUzPS6aKcTbM3Nae8fP5_SvIpgJOPA3ajBxZ70rxHmWVEtDQNgMgm LkaPMR4WZywBt5qJZBWeivU9sdM8UfQvZBWP9gI6tRM_XVy6PKxorxfuAFr4hfe3j4TwGQCe3iXK nvN1WxwyNdySLDocWilUFE06VN3mHeU4XENduVSS1Kgzp5uMm4DhmQ_ehBvRTMCMAVFg9jJuSI.8 UsEqHmMeHznnQjSDKNWKziv8dcEWOBD9Pa.RrDya45zS9DfErzzabyYglvhpvJK.49XpxokarhDy mkWAkz9aiWeWbzLOF.IZeYCr85fSvy1OiePA6yI2ThsXwxxaEEQuL8snU1ZpMCDQMnVIvZS3j1sY Tvy5IMPTL5bFbjTFpBpSWHgu7OIwqXY26xr4QH01_5r1jM96Nyz_mtGH_h8d53CYnjGP0Doryy5c H.GW9VJGr8VVpeO2gbvU7eQBtL81xgFNtSYAppLiDiVCnG4jw8YZRshx6_Ux7ZPtNwelT2B0cKWv kGNzbqGY1fsmT_QfaT.ClFKM9qf.DfwWtRc12.xXep3PKbob.coi_2d_wtrXioAhCZQPNIJXmEdn I9XJUaVnBalbVA4Huo_aeSHjQhHKu3jCVe3Bze57n4 X-Sonic-MF: X-Sonic-ID: ef46f8f1-e8fd-4424-b09e-6ff21b03e681 Original-Received: from sonic.gate.mail.ne1.yahoo.com by sonic302.consmr.mail.ne1.yahoo.com with HTTP; Mon, 21 Aug 2023 04:15:58 +0000 Original-Received: by hermes--production-sg3-69654d8bd-xs829 (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID 06f86d8240039d0db161fb8a7881cfbf; Mon, 21 Aug 2023 04:15:54 +0000 (UTC) In-Reply-To: <87v8d95918.fsf@localhost> (Ihor Radchenko's message of "Mon, 21 Aug 2023 04:11:47 +0000") X-Mailer: WebService/1.1.21732 mail.backend.jedi.jws.acl:role.jedi.acl.token.atz.jws.hermes.yahoo Received-SPF: pass client-ip=66.163.186.146; envelope-from=luangruo@yahoo.com; helo=sonic302-20.consmr.mail.ne1.yahoo.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, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=unavailable autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:309016 Archived-At: Ihor Radchenko writes: > (let ((a 10)) > (setq a (+ a 100)) > (floor a nil)) > > During compilation of the above code, the compiler will know that a is a > positive integer. Therefore, CHECK_NUMBER, NILP, and FLOATP are not > necessary and can be omitted in the call to `floor': > > (let ((a 10)) > (setq a (+ a 100)) > a) > > However, GCC JIT has no information about the internal structure of the > `floor' subr. Hence, it is currently unable to perform such > optimization. > > It could, if it were somehow given an information about `floor' > implementation. This should thus be implemented in the native compiler, without affecting the code of Ffloor itself.