java虚拟机规范(se8)——java虚拟机的编译(二)

3.3 算术运算

　　java虚拟机通常在操作数栈上进行算术运算（例外情况是iinc指令，它直接增加一个局部变量的值）。例如下面的align2grain()方法，它的作用是将int值对齐到2的指定次幂：

int align2grain(int i, int grain) {
    return ((i + grain-1) & ~(grain-1));
}

　　算术运算的操作数是从操作数栈中弹出的，运算结果会压回操作数栈。因此，算术子计算的结果可以作为嵌套计算的操作数。例如。~(grain-1)的计算结果就是被这样使用的：

   iload_2        // Push grain
   iconst_1       // Push int constant
   isub           // Subtract; push result
   iconst_m1      // Push int constant -
   ixor           // Do XOR; push result

　　首先使用局部变量2的值和一个int类型的立即数1来计算grain-1的值。这些操作数被操作数栈弹出，然后他们的差值压回操作数栈，这个差值可以立即作为一个操作数被ixor指令使用（回想，~x == -1 ^ x）。同样的，ixor指令的计算结果成为接下来iand指令的一个操作数。

　　这个方法的代码如下：

Method int align2grain(int,int)
   iload_1
   iload_2
   iadd
   iconst_1
   isub
   iload_2
   iconst_1
   isub
   iconst_m1
   ixor
  iand
  ireturn

3.4 访问运行时常量池

　　许多数值类型常量，以及对象，字段和方法是通过当前类的运行时常量池来访问的。对象的访问在3.8节讨论。数据类型为int，long，float和double以及String类示例的引用通过ldc，ldc_w和ldc2_w来管理。

　　ldc和ldc_w指令用于访问运行时常量池中除了double和long类型的值（但是包括String类型实例）。当使用的运行时常量池的项目过多时（多余256个，一个字节能表示的范围），需要使用ldc_w来代替。ldc2_w用于访问所有double和long类型的值，它没有对应的非宽版本，即没有ldc2指令。

　　整型常量类型byte，char，short，以及小的int值，可能使用bipush，sipush或者iconst_<i>指令来编译。某些小的浮点型常量也可以使用fconst_<f>和dconst_<d>指令来编译。

　　在所有这些情况下，编译都是非常直观的，例如，下面这些常量：

void useManyNumeric() {
    int i = 100;
    int j = 1000000;
    long l1 = 1;
    long l2 = 0xffffffff;
    double d = 2.2;
    ...do some calculations...
}

　　编译后：

Method void useManyNumeric()
   bipush    // Push small int constant with bipush
   istore_1
   ldc #       // Push large int constant () with ldc
   istore_2
   lconst_1     // A tiny long value uses small fast lconst_1
   lstore_3
   ldc2_w #    // Push long 0xffffffff (that is, an int -)
        // Any long constant value can be pushed with ldc2_w
  lstore
  ldc2_w #    // Push double constant .
        // Uncommon double values are also pushed with ldc2_w
  dstore
...do those calculations...

3.5 更多控制结构的示例

　　for语句的编译已经在前面的3.2节中展示过了。绝大多数java编程语言的其他控制结构(if-then-else,do,while,break和continue)也同样使用明细的方式来编译。switch语句的编译在单独的章节（3.10）介绍，异常的编译（3.12），finally从句的编译（3.13）。

　　作为进一步的示例，while循环以一种明显的方式编译，尽管Java虚拟机提供的特定控制传输指令因数据类型的不同而不同。像往常一样，对int类型的数据有更多的支持，例如:

void whileInt() {
    int i = 0;
    while (i < 100) {
        i++;
    }
}

　　编译为：

Method void whileInt()
   iconst_0
   istore_1
   goto
   iinc
   iload_1
   bipush
  if_icmplt
  return

　　注意，while语句的条件判断(使用if_icmplt指令实现)位于Java虚拟机代码循环的的底部。(在前面的spin例子中也是如此)。位于循环底部的条件判断强制使用goto指令，以便在循环的第一次迭代之前进行条件判断。如果不满足条件，并且循环体从未进入，那么这个额外的指令就被浪费了。不过while循环通常用于期望循环体会执行的场景中。对于后续的迭代，将判断条件放在循环的底部每次循环时都会节省一条Java虚拟机指令:如果判断条件位于循环的顶部，则循环体将需要一条尾随的goto指令才能回到顶部。

　　使用其他数据类型的控制结构都使用相同的方式来编译，但是必须使用对应数据类型的指令。这会导致一些效率不高的代码，因为需要更多的java虚拟机指令，例如：

void whileDouble() {
    double i = 0.0;
    while (i < 100.1) {
        i++;
    }
}

　　编译成：

Method void whileDouble()
   dconst_0
   dstore_1
   goto
   dload_1
   dconst_1
   dadd
   dstore_1
   dload_1
  ldc2_w #      // Push double constant .
  dcmpg          // To compare and branch we have to use...
  iflt          // ...two instructions
  return

　　每一种浮点类型有两个比较指令：float的fcmpl和fcmpg，double的dcmpl和dcmpg。这些指令语义相似，仅仅在对待NaN变量时有所区别。NaN是无序的，所以只要有一个操作数是NaN，浮点指令的比较结果都会失败。无论比较操作是否会因为遇到NaN值而失败，编译器都会根据不用的操作类型来选择不同的比较指令。