tree 3c0636c57e01fda90f96ebed451337651fd1ee2d
parent 37e4746364c7fd00df985526ddc488903ac1bc42
author Shawn Pearce <sop@google.com> 1426213771 -0700
committer Shawn Pearce <sop@google.com> 1426213824 -0700

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