SICStus Prolog 4.3 added a JIT compiler for x86-64 processors.
I have two questions regarding the JIT compiler.
First, where can I find some documentation (papers, notes, or memos) on the capabilities (and limitations, design, and techniques) of the JIT compiler?
And second, can SICStus be directed to emit the x86-64 assembly code produced by the JIT compiler?
There is no public information available about the SICStus Prolog JIT implementation.
You can get some information from perf in Linux if you follow the instructions in library/perf/sp_jit_objdump in the SICStus installation. Among other things perf can show the disassembly of the jitted code.