Thanks for all your explanation!
Is the IR keeping the design of LIMPLE described in the slide? Maybe Guile AOT can be inspired from it.
> From: Nala Ginrut <nalaginrut-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
> Date: Sun, 15 Dec 2024 19:49:59 +0900
> Cc: guile-user-mXXj517/zsQ@public.gmane.org, maximedevos-CNXmb7IdZIWZIoH1IeqzKA@public.gmane.org, team@refpersys.org,
> jit-/MQLu3FmUzdAfugRpC6u6w@public.gmane.org, dmalcolm-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org, basile-VdE74OAlGqnvXjIo7pOF+l6hYfS7NtTn@public.gmane.org
>
> Was it merged to upstream or abandoned?
It was merged to upstream Emacs 3 years ago, and is part of the
released Emacs versions since Apr 2022.