From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Manuel Giraud via "Emacs development discussions." Newsgroups: gmane.emacs.devel Subject: Re: Add more supported primitives in libgccjit IR Date: Mon, 21 Aug 2023 13:34:58 +0200 Message-ID: <877cpod3x9.fsf@ledu-giraud.fr> References: <20230809094655.793FC18A4654@snark.thyrsus.com> <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> <87zg2lav4b.fsf@yahoo.com> <87sf8d57wf.fsf@localhost> <87r0nxatu1.fsf@yahoo.com> <87pm3h56ig.fsf@localhost> <87edjxarhz.fsf@yahoo.com> <87edjw4uw4.fsf@localhost> <77daee02cf1ba0db70c1@heytings.org> <87v8d8fzr9.fsf@localhost> Reply-To: Manuel Giraud Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="21616"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Gregory Heytings , Po Lu , Andrea Corallo , 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 13:35:34 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 1qY3C1-0005M2-6U for ged-emacs-devel@m.gmane-mx.org; Mon, 21 Aug 2023 13:35:33 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qY3Bg-000640-0d; Mon, 21 Aug 2023 07:35:13 -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 1qY3Bc-00063b-5Y for emacs-devel@gnu.org; Mon, 21 Aug 2023 07:35:08 -0400 Original-Received: from ledu-giraud.fr ([51.159.28.247]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qY3BZ-0006oD-9R; Mon, 21 Aug 2023 07:35:07 -0400 DKIM-Signature: v=1; a=ed25519-sha256; c=simple/simple; s=ed25519; bh=IGKM2n+q 2cXgsrGKANNPay/17hjuEzn3+ENmrVgwWhs=; h=date:references:in-reply-to: subject:cc:to:from; d=ledu-giraud.fr; b=BRywLOFbVm5DblkwwPV0gGYqnij7oj Y/3WCTpxw6gnL+nbq394ZezTnV8XzawH3oHC/5OLjvmxC+hYrJjnFQBw== DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=rsa; bh=IGKM2n+q2cXgsrGK ANNPay/17hjuEzn3+ENmrVgwWhs=; h=date:references:in-reply-to:subject: cc:to:from; d=ledu-giraud.fr; b=xfEVKT8onjwd8apBOAZXU/chI/aSu87lHhCbO+ sWV0qzFaw3lTCr5yQOgRMOYq0DkRDb1Lq1bFKrqle/NG5+AUWKV+F+jnek5HZYvEm5PsJg kiHcNngJQO3JtJb/yW215NOjB8/Xae50adv+IbKrmcmfQUAGNv2m9j1DQbkVxxfvd3lQMk 0UMtyatUo2MGbvfso4sD6lkNXm8g/MGNpxTXndlkK8AgaxOXJyEp/AFOq6Fg4tHJvLwuxg UO/mbNTbapp68YqyKdCFZ0KBBSnxyJT5fqkP7oVSnFH4NIQhnM31agQwOeFVBFcwPQu+G0 ZWvKxVRFD1kyl6jFQefrTkYQ== Original-Received: from computer ( [10.1.1.1]) by ledu-giraud.fr (OpenSMTPD) with ESMTPSA id 83673a23 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Mon, 21 Aug 2023 13:34:59 +0200 (CEST) In-Reply-To: <87v8d8fzr9.fsf@localhost> (Ihor Radchenko's message of "Mon, 21 Aug 2023 10:36:42 +0000") Received-SPF: pass client-ip=51.159.28.247; envelope-from=manuel@ledu-giraud.fr; helo=ledu-giraud.fr 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, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham 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:309061 Archived-At: Ihor Radchenko writes: > Gregory Heytings writes: > >> I'm not sure elisp-benchmarks are representative enough of actual Elisp >> code... > > Any better ideas? > >> Look at data.c:arith_driver. You'll see that it's essentially a function >> which dispatches the handling of its arguments depending on their type... >> >> These integer/float/bignum types are not known at compilation time ... > > This is not correct. If you have something like > (progn (setq x 1) (> x 2)), compiler is actually able to determine the > type of X at compilation time. Yes this is called type inference. There is a full literature on the subject. Even a whole family of language based on this concept. AFAIK, the SBCL compiler does some type inference but, as others have said, I don't think there is such a thing for Emacs Lisp. -- Manuel Giraud