(Placeholder) SLJIT support

[stevefan1999-personal]

Just a very early heads up for my upcoming SLJIT integration...

I'm putting it up here because I find https://github.com/bnoordhuis/quickjit very intruging, but that embedded TCC as an intermediate representation would be so much of an overkill. I recently came across this (cross-platform btw) JIT library called https://github.com/zherczeg/sljit, which does a much better job than using TCC for IR.

The size for SLJIT is also tiny given if you strip all the guard check, verbose and debug code. A simple "Hello World" just take ~70KB in binary size, and that's considering the codegen and code allocator region creation as well...compared to 200KB+ with TCC. It is ton quicker than TCC because we don't have to go through the parsing phase, so we can just go straight into codegen.

While technically speaking, this PR should be cross-compatible to @bellard's https://github.com/bellard/quickjs, but he has clearly stated that he doesn't plan to add JIT in any time soon, so I decided to put the PR here since it should be more acceptable.

Progress: 5%. I just got SLJIT and Zydis slipped in as CMake subprojects and enabled the conditions. I can create the SLJIT compiler and generate x86 code (and use Zydis to see generated code body traces), but the absolute pain in the ass now is how to handle the ~230-ish opcode in the QuickJS virtual machine.

On the flip side, if I remembered correctly, I think SLJIT is also being used in PCRE2 as the JIT engine, as you can find a regex implementation in the SLJIT repo as well.

[saghul]

Nice! 👀

[bnoordhuis]

but the absolute pain in the ass now is how to handle the ~230-ish opcode in the QuickJS virtual machine

That's why I picked tcc, because it let me (for the most part) just copy-and-paste code from quickjs.c :)

[bnoordhuis]

By the way, you may want to read through the (very related) discussion in #659 if you haven't already, but to summarize:

A basic template JIT won't give huge speedups because it only removes opcode dispatch overhead (and that overhead is fairly small in quickjs.)

That doesn't mean it isn't worthwhile but one concern I have is duplicated logic between the interpreter and the JIT (another reason for picking tcc.)

[stevefan1999-personal]

By the way, you may want to read through the (very related) discussion in #659 if you haven't already, but to summarize:

A basic template JIT won't give huge speedups because it only removes opcode dispatch overhead (and that overhead is fairly small in quickjs.)

That doesn't mean it isn't worthwhile but one concern I have is duplicated logic between the interpreter and the JIT (another reason for picking tcc.)

Yeah that's exactly why i was also thinking about getting a lightweight SSA engine based on SLJIT first, I just didn't reveal the plan. Turns out I need to read a lot of papers first