转载自：http://glutinit.iteye.com/blog/1263446
延伸参考 JVM接收参数和方法调用
void spin() {
int i;
for (i = 0; i < 100; i++) {
; // Loop body is empty
}
}
编译后的代码如下 (与《Java虚拟机规范(java SE 7)》上看到的不一样，不知道是不是JDK版本的问题)
void spin();
Code:
0: iconst_0
1: istore_1
2: iload_1
3: bipush 100
5: if_icmpge 14
8: iinc 1, 1
11: goto 2
14: return
调用一个新的方法，就产生一个新的帧栈(Frame)，如下图，在一个帧栈中，含有操作数栈(Operand Stack)和局部变量表(Local Variables)，注意，此图只是用来表示在此期间发生的操作，并不直观的表示内存中的实际状态。
STEP1--> 0: iconst_0 
Code[]数组的第0行，表示把int型的0值压入操作数栈，注意，在局部变量表中，索引为0的位置存放的局部变量是指向调用当前方法的类实例的指针，即this指针
指令iconst_<i> 中的i表示的int 常量 −1、0、1、2、3、4、5
STEP2--> 1: istore_1 
从操作数栈中弹出一个int型的操作数(即常量0),然后将其放置在局部变量1号位置(0号位置已被this占据)
注意：物理上讲出栈后原来的数还在，只是程序告诉用户这个格子可以用了，我们就拿它当空格子用，下次入栈的时候写个新的数就把原来的数覆盖掉。凡是可以随便写的格子，不管里面原来有什么，都被认为是空格子。
STEP3--> 2: iload_1 
从局部变量表中获得1号位置变量的值，将其压入操作数栈
STEP4--> 3： bipush 100 
在操作数栈中加入int型的常量100
STEP5--> 5: if_icmpge 14 
该命令和《Java虚拟机规范》得到的不太一样，但起到的功能是一样的，可以查一下JVM 的在线文档，发现此命令的介绍如下：
if_icmpge pops the top two ints off the stack and compares them. If value2 is greater than or equal to value1, execution branches to the address (pc + branchoffset), where pc is the address of the if_icmpge opcode in the bytecode and branchoffset is a 16-bit signed integer parameter following the if_icmpge opcode in the bytecode. If value2 is less than value1, execution continues at the next instruction.
即将操作数栈中的两个int值弹出栈，然后比较它们，如果value2（即这里的0）大于或等于value1（即这里的100），则跳转至14行执行，否则就继续执行。很显然，这里0<100，所以继续执行下面的代码。
STEP6--> 8: iinc 1, 1 
该命令给局部变量表的1号位置的int值增加1，如图，原来的0变成了1
STEP7--> 11: goto 2
很显然，这一条的命令就是让下一条执行语句跳至2，即 iload_1，然后便继
续执行…
STEP8--> 14: return
当局部变量1号位置的值（即程序中的i）大于100后，便满足了5: if_icmpge 14这条语句的条件，程序跳到14，遇到了return命令，该方法完成