all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Basile Starynkevitch <basile@starynkevitch.net>
To: help-gnu-emacs@gnu.org
Subject: Re: inline function expansion
Date: Sun, 7 May 2023 19:51:42 +0200	[thread overview]
Message-ID: <0124b692-5ab1-d6c9-6a1d-33e55c0407bb@starynkevitch.net> (raw)
In-Reply-To: <CAM=F=bATpCf2jR+YrxsJ7ftx6LbH-rMhc5+3cA3S7_3ovwyspA@mail.gmail.com>


On 5/7/23 16:32, Lynn Winebarger wrote:
> Hi,
>
> Is there a function that will let us see the result of inline function
> expansion at the source level?   I see "byte-compile-preprocess" and
> "byte-compile-inline-expand" as possibilities, but neither has a
> docstring.
>
> If I use define-inline, I would like to be able to verify that the
> result is what I expect, or vice versa, that I understand what the
> result will be well enough to have the correct expectation.
>
> Thanks,
> Lynn



My understand of the current trunk, updated and compiled daily from git, 
on Linux x86-64/64 Debian or Linux Ubuntu 12.2.0)GNU Emacs 30.0.50
Development version d5ab8b6f2459 on master branch; build date 2023-05-07 
is that such a function cannot exist.


On recent GNU emacs, the internal fonctions are JIT compiled (using 
gcclibjit from GCC 13) by the gccasmjit library, and we get:

> rimski.x86_64 ~ 19:38 .0 % ldd /usr/local/bin/emacs-30.0.50-trunk
>     linux-vdso.so.1 (0x00007ffea99f2000)
>     libtiff.so.6 => /lib/x86_64-linux-gnu/libtiff.so.6 
> (0x00007f84ce7d6000)
>     libjpeg.so.8 => /lib/x86_64-linux-gnu/libjpeg.so.8 
> (0x00007f84ce753000)
>     libpng16.so.16 => /lib/x86_64-linux-gnu/libpng16.so.16 
> (0x00007f84ce71b000)
>     libgif.so.7 => /lib/x86_64-linux-gnu/libgif.so.7 (0x00007f84ce710000)
>     libwebpdemux.so.2 => /lib/x86_64-linux-gnu/libwebpdemux.so.2 
> (0x00007f84ce70a000)
>     libwebp.so.7 => /lib/x86_64-linux-gnu/libwebp.so.7 
> (0x00007f84cdd91000)
>     libgtk-3.so.0 => /lib/x86_64-linux-gnu/libgtk-3.so.0 
> (0x00007f84cd400000)
>     libgdk-3.so.0 => /lib/x86_64-linux-gnu/libgdk-3.so.0 
> (0x00007f84cdc95000)
>     libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007f84ce6ea000)
>     libpango-1.0.so.0 => /lib/x86_64-linux-gnu/libpango-1.0.so.0 
> (0x00007f84cdc2b000)
>     libharfbuzz.so.0 => /lib/x86_64-linux-gnu/libharfbuzz.so.0 
> (0x00007f84cd318000)
>     libcairo.so.2 => /lib/x86_64-linux-gnu/libcairo.so.2 
> (0x00007f84cd1f1000)
>     libgdk_pixbuf-2.0.so.0 => 
> /lib/x86_64-linux-gnu/libgdk_pixbuf-2.0.so.0 (0x00007f84ce6b9000)
>     libgio-2.0.so.0 => /lib/x86_64-linux-gnu/libgio-2.0.so.0 
> (0x00007f84cd01f000)
>     libgobject-2.0.so.0 => /lib/x86_64-linux-gnu/libgobject-2.0.so.0 
> (0x00007f84ccfbe000)
>     libglib-2.0.so.0 => /lib/x86_64-linux-gnu/libglib-2.0.so.0 
> (0x00007f84cce77000)
>     libSM.so.6 => /lib/x86_64-linux-gnu/libSM.so.6 (0x00007f84ce6ae000)
>     libICE.so.6 => /lib/x86_64-linux-gnu/libICE.so.6 (0x00007f84cdc0c000)
>     libX11.so.6 => /lib/x86_64-linux-gnu/libX11.so.6 (0x00007f84ccd39000)
>     libdbus-1.so.3 => /lib/x86_64-linux-gnu/libdbus-1.so.3 
> (0x00007f84ccceb000)
>     libXrandr.so.2 => /lib/x86_64-linux-gnu/libXrandr.so.2 
> (0x00007f84cdbff000)
>     libXinerama.so.1 => /lib/x86_64-linux-gnu/libXinerama.so.1 
> (0x00007f84cdbfa000)
>     libXfixes.so.3 => /lib/x86_64-linux-gnu/libXfixes.so.3 
> (0x00007f84cdbf2000)
>     libXext.so.6 => /lib/x86_64-linux-gnu/libXext.so.6 
> (0x00007f84cdbdb000)
>     libxml2.so.2 => /lib/x86_64-linux-gnu/libxml2.so.2 
> (0x00007f84ccb01000)
>     libtinfo.so.6 => /lib/x86_64-linux-gnu/libtinfo.so.6 
> (0x00007f84ccacf000)
>     libselinux.so.1 => /lib/x86_64-linux-gnu/libselinux.so.1 
> (0x00007f84ccaa2000)
>     libfreetype.so.6 => /lib/x86_64-linux-gnu/libfreetype.so.6 
> (0x00007f84cc9d8000)
>     libfontconfig.so.1 => /lib/x86_64-linux-gnu/libfontconfig.so.1 
> (0x00007f84cc98a000)
>     libgnutls.so.30 => /lib/x86_64-linux-gnu/libgnutls.so.30 
> (0x00007f84cc78f000)
>     libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f84cc6a6000)
>     libjansson.so.4 => /lib/x86_64-linux-gnu/libjansson.so.4 
> (0x00007f84cc696000)
>     libgmp.so.10 => /lib/x86_64-linux-gnu/libgmp.so.10 
> (0x00007f84cc613000)
>     libgccjit.so.0 => /lib/x86_64-linux-gnu/libgccjit.so.0 
> (0x00007f84ca400000)
>     libXi.so.6 => /lib/x86_64-linux-gnu/libXi.so.6 (0x00007f84cc5ff000)
>     libXcomposite.so.1 => /lib/x86_64-linux-gnu/libXcomposite.so.1 
> (0x00007f84cdbd2000)
>     libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f84ca000000)
>     libzstd.so.1 => /lib/x86_64-linux-gnu/libzstd.so.1 
> (0x00007f84ca34c000)
>     liblzma.so.5 => /lib/x86_64-linux-gnu/liblzma.so.5 
> (0x00007f84ca31a000)
>     libLerc.so.4 => /lib/x86_64-linux-gnu/libLerc.so.4 
> (0x00007f84ca295000)
>     libjbig.so.0 => /lib/x86_64-linux-gnu/libjbig.so.0 
> (0x00007f84ca284000)
>     libdeflate.so.0 => /lib/x86_64-linux-gnu/libdeflate.so.0 
> (0x00007f84ca271000)
>     /lib64/ld-linux-x86-64.so.2 (0x00007f84ce87c000)
>     libgmodule-2.0.so.0 => /lib/x86_64-linux-gnu/libgmodule-2.0.so.0 
> (0x00007f84ca26a000)
>     libpangocairo-1.0.so.0 => 
> /lib/x86_64-linux-gnu/libpangocairo-1.0.so.0 (0x00007f84ca259000)
>     libpangoft2-1.0.so.0 => /lib/x86_64-linux-gnu/libpangoft2-1.0.so.0 
> (0x00007f84ca23f000)
>     libfribidi.so.0 => /lib/x86_64-linux-gnu/libfribidi.so.0 
> (0x00007f84ca222000)
>     libcairo-gobject.so.2 => 
> /lib/x86_64-linux-gnu/libcairo-gobject.so.2 (0x00007f84ca217000)
>     libatk-1.0.so.0 => /lib/x86_64-linux-gnu/libatk-1.0.so.0 
> (0x00007f84c9fd8000)
>     libepoxy.so.0 => /lib/x86_64-linux-gnu/libepoxy.so.0 
> (0x00007f84c9ea3000)
>     libatk-bridge-2.0.so.0 => 
> /lib/x86_64-linux-gnu/libatk-bridge-2.0.so.0 (0x00007f84c9e67000)
>     libxkbcommon.so.0 => /lib/x86_64-linux-gnu/libxkbcommon.so.0 
> (0x00007f84c9e21000)
>     libwayland-client.so.0 => 
> /lib/x86_64-linux-gnu/libwayland-client.so.0 (0x00007f84c9e10000)
>     libwayland-cursor.so.0 => 
> /lib/x86_64-linux-gnu/libwayland-cursor.so.0 (0x00007f84ca20b000)
>     libwayland-egl.so.1 => /lib/x86_64-linux-gnu/libwayland-egl.so.1 
> (0x00007f84ca206000)
>     libXcursor.so.1 => /lib/x86_64-linux-gnu/libXcursor.so.1 
> (0x00007f84c9e04000)
>     libXdamage.so.1 => /lib/x86_64-linux-gnu/libXdamage.so.1 
> (0x00007f84c9dff000)
>     libthai.so.0 => /lib/x86_64-linux-gnu/libthai.so.0 
> (0x00007f84c9df2000)
>     libgraphite2.so.3 => /lib/x86_64-linux-gnu/libgraphite2.so.3 
> (0x00007f84c9dcb000)
>     libpixman-1.so.0 => /lib/x86_64-linux-gnu/libpixman-1.so.0 
> (0x00007f84c9d1f000)
>     libxcb-shm.so.0 => /lib/x86_64-linux-gnu/libxcb-shm.so.0 
> (0x00007f84c9d1a000)
>     libxcb.so.1 => /lib/x86_64-linux-gnu/libxcb.so.1 (0x00007f84c9cf0000)
>     libxcb-render.so.0 => /lib/x86_64-linux-gnu/libxcb-render.so.0 
> (0x00007f84c9ce0000)
>     libXrender.so.1 => /lib/x86_64-linux-gnu/libXrender.so.1 
> (0x00007f84c9cd3000)
>     libmount.so.1 => /lib/x86_64-linux-gnu/libmount.so.1 
> (0x00007f84c9c8f000)
>     libffi.so.8 => /lib/x86_64-linux-gnu/libffi.so.8 (0x00007f84c9c84000)
>     libpcre2-8.so.0 => /lib/x86_64-linux-gnu/libpcre2-8.so.0 
> (0x00007f84c9bea000)
>     libuuid.so.1 => /lib/x86_64-linux-gnu/libuuid.so.1 
> (0x00007f84c9be1000)
>     libbsd.so.0 => /lib/x86_64-linux-gnu/libbsd.so.0 (0x00007f84c9bca000)
>     libsystemd.so.0 => /lib/x86_64-linux-gnu/libsystemd.so.0 
> (0x00007f84c9afa000)
>     libicuuc.so.72 => /lib/x86_64-linux-gnu/libicuuc.so.72 
> (0x00007f84c98fb000)
>     libbrotlidec.so.1 => /lib/x86_64-linux-gnu/libbrotlidec.so.1 
> (0x00007f84c98ee000)
>     libexpat.so.1 => /lib/x86_64-linux-gnu/libexpat.so.1 
> (0x00007f84c98c3000)
>     libp11-kit.so.0 => /lib/x86_64-linux-gnu/libp11-kit.so.0 
> (0x00007f84c9784000)
>     libidn2.so.0 => /lib/x86_64-linux-gnu/libidn2.so.0 
> (0x00007f84c9763000)
>     libunistring.so.2 => /lib/x86_64-linux-gnu/libunistring.so.2 
> (0x00007f84c95af000)
>     libtasn1.so.6 => /lib/x86_64-linux-gnu/libtasn1.so.6 
> (0x00007f84c9598000)
>     libnettle.so.8 => /lib/x86_64-linux-gnu/libnettle.so.8 
> (0x00007f84c9548000)
>     libhogweed.so.6 => /lib/x86_64-linux-gnu/libhogweed.so.6 
> (0x00007f84c9500000)
>     libisl.so.23 => /lib/x86_64-linux-gnu/libisl.so.23 
> (0x00007f84c9200000)
>     libmpc.so.3 => /lib/x86_64-linux-gnu/libmpc.so.3 (0x00007f84c94dc000)
>     libmpfr.so.6 => /lib/x86_64-linux-gnu/libmpfr.so.6 
> (0x00007f84c9423000)
>     libstdc++.so.6 => /lib/x86_64-linux-gnu/libstdc++.so.6 
> (0x00007f84c8e00000)
>     libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 
> (0x00007f84c91dc000)
>     libatspi.so.0 => /lib/x86_64-linux-gnu/libatspi.so.0 
> (0x00007f84c91a3000)
>     libdatrie.so.1 => /lib/x86_64-linux-gnu/libdatrie.so.1 
> (0x00007f84c9418000)
>     libXau.so.6 => /lib/x86_64-linux-gnu/libXau.so.6 (0x00007f84c9412000)
>     libXdmcp.so.6 => /lib/x86_64-linux-gnu/libXdmcp.so.6 
> (0x00007f84c940a000)
>     libblkid.so.1 => /lib/x86_64-linux-gnu/libblkid.so.1 
> (0x00007f84c916c000)
>     libmd.so.0 => /lib/x86_64-linux-gnu/libmd.so.0 (0x00007f84c915f000)
>     libcap.so.2 => /lib/x86_64-linux-gnu/libcap.so.2 (0x00007f84c9153000)
>     libgcrypt.so.20 => /lib/x86_64-linux-gnu/libgcrypt.so.20 
> (0x00007f84c8cb8000)
>     liblz4.so.1 => /lib/x86_64-linux-gnu/liblz4.so.1 (0x00007f84c9130000)
>     libicudata.so.72 => /lib/x86_64-linux-gnu/libicudata.so.72 
> (0x00007f84c6e00000)
>     libbrotlicommon.so.1 => /lib/x86_64-linux-gnu/libbrotlicommon.so.1 
> (0x00007f84c910d000)
>     libgpg-error.so.0 => /lib/x86_64-linux-gnu/libgpg-error.so.0 
> (0x00007f84c90e7000)


Notice the dependency on libgccjit.so.0, which is provided by GCC 12 or 
GCC 13 suitably configured


That thing is used in GNU emacs source code. Look into its ffile 
emacs/src/comp.c (line 553, etc... 4689)


On the same system the Ubuntu emacs don't use libgccjit.

But perhaps I misunderstood your question?


Regards.


NB. My pet open source project is http://refpersys.org/ (an inference 
engine project, GPLv3+) and source code on 
https://github.com/RefPerSys/RefPerSys .... feel free to contact me 
(Basile Starynkevitch) by email to basile@starynkevitch.net or 
basile.starynkevitch@cea.fr (both near Paris in France)  about it.

-- 
Basile Starynkevitch                  <basile@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/




  reply	other threads:[~2023-05-07 17:51 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-05-07 14:32 inline function expansion Lynn Winebarger
2023-05-07 17:51 ` Basile Starynkevitch [this message]
2023-05-07 19:48 ` Philip Kaludercic
2023-05-07 20:16   ` Lynn Winebarger
2023-05-08  0:21     ` Emanuel Berg
2023-05-08 11:12       ` Lynn Winebarger
2023-05-08  2:03   ` Lynn Winebarger
2023-05-11  7:11   ` Lynn Winebarger
2023-05-12  6:25     ` Emanuel Berg
2023-05-18 14:56     ` Lynn Winebarger
2023-05-19 13:31       ` Stefan Monnier
2023-05-20 14:18         ` Lynn Winebarger
2023-05-20 15:32           ` Stefan Monnier
2023-05-21 12:47             ` Lynn Winebarger
2023-05-18 18:29     ` Stefan Monnier
2023-05-19  0:22       ` Lynn Winebarger
2023-05-19 13:07         ` Stefan Monnier
2023-05-20 15:01           ` Lynn Winebarger
2023-05-20 15:48             ` Stefan Monnier
2023-05-27 14:34               ` Lynn Winebarger
2023-05-28 14:12                 ` Lynn Winebarger
2023-05-28 14:57                 ` Stefan Monnier
2023-05-28 22:42                   ` Lynn Winebarger
2023-05-29  2:59                     ` Stefan Monnier
2023-06-06 22:38                       ` Lynn Winebarger

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=0124b692-5ab1-d6c9-6a1d-33e55c0407bb@starynkevitch.net \
    --to=basile@starynkevitch.net \
    --cc=help-gnu-emacs@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.