Pin maximum functor arity to 10

The compiler needs an arity of 10 to compile itself into Java.
Gerrit Code Review pins the arity to 8 to ensure an optimized
code path is always used.

Simplify the virtual machine code by pinning the arity to 10 and
extending the choice point saving optimization for all ranges.
This eliminates some weird code paths using an array for extra
registers beyond the optimized 8.

Simplify register naming by using r1...r10 instead of areg1...areg10.

Change-Id: I6ffdc8c8ab1cb94886f9a303021d210c263892b0
7 files changed
tree: fb066b78a4c9a336ea7fcd410c418bdd32ededef
  1. .settings/
  2. bin/
  3. examples/
  4. java/
  5. src/
  6. .buckconfig
  7. .classpath
  8. .gitignore
  9. .gitmodules
  10. .project
  11. bootstrap.defs
  12. BUCK
  13. fake_pom_install.xml
  14. LICENSE
  15. LICENSE.EPL
  16. LICENSE.GPL
  17. README.md
README.md

Prolog Cafe

A fork of Mutsunori BANBARA‘s PrologCafe to support Gerrit Code Review’s customizable project rules.

Build

To bootstrap Buck and SWI-Prolog >= 6.6.4 must be installed and then build the runtime and compiler with:

buck build all

To package for Maven into the local ~/.m2/repository directory:

buck build install

To publish to the gerrit-maven storage bucket:

buck build deploy