| commit | 1c9873c188465564acb6d93d10eb5aa033905ed8 | [log] [tgz] |
|---|---|---|
| author | Shawn Pearce <sop@google.com> | Thu Mar 12 19:29:31 2015 -0700 |
| committer | Shawn Pearce <sop@google.com> | Thu Mar 12 19:30:24 2015 -0700 |
| tree | 3c0636c57e01fda90f96ebed451337651fd1ee2d | |
| parent | 37e4746364c7fd00df985526ddc488903ac1bc42 [diff] |
Use Java based table-switch for type switches Predicates that use different clauses for different types of terms use a type switch on the first argument/register. Rewrite this as a proper table switch in Java so the JVM can emit an efficient switch statement. Use a virtual method and lightweight ints enumerated from 0 to N in the order the switch was previously written in to get an efficient implementation for the JIT. Change-Id: If7274ec8776479afe70bbec0882768d7a28b4c64
A fork of Mutsunori BANBARA‘s PrologCafe to support Gerrit Code Review’s customizable project rules.
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