weinzierl 3 hours ago

I think this technique also lies at the heart of the Cranelift project.

https://cranelift.dev/

  • aw1621107 11 minutes ago

    IIRC Cranelift doesn't use copy-and-patch. It uses e-graphs [0] as part of its optimization pipeline, though.

    Closest thing in (relatively) recent news that uses copy-and-patch I can think of is CPython's new JIT.

    [0]: https://github.com/bytecodealliance/rfcs/pull/27

    • weinzierl 2 minutes ago

      My understanding is that e-graphs take care of selecting the best patch (by examining many options in parallel) but fundamentally it is still copy-and-patch.