I think libgccjit uses this technique or can use it: it reminds me of things I read about the elisp JIT in newer versions of emacs