SICStus Prolog JIT compiler

Question

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?

Answer 1

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.