The intermediate representation can be thought of as a universal assembly language, or at least a language general enough to execute the Prolog virtual machine if assisted by a runtime system. In this chapter, we list its instructions as well as their expansion into native instructions.
[PERM: It would be nice with some description of the abstract CPU. In particular the condition codes and how they are maintained.]
• IR Instruction Set: | ||
• Targets: | ||
• Offsets: | ||
• Constants: | ||
• Instructions: |