Java SE7 虚拟机指令操作码助记符

发表于   |   分类于

在Class文件中，Java方法里的方法体，也就是代表着一个Java源码程序中程序的部分存储在方法表集合的Code属性中。存储在Code属性中的是字节码，也就是编译后的程序。Java虚拟机的指令由两部分组成，首先是一个字节长度、代表某种含义的数字（即操作码），在操作码后面跟着零个或多个代表这个操作所需的参数（即操作数）。由于Java虚拟机采用的是面向操作数栈而不是寄存器的架构，所以大多数指令不包含操作数，只有一个操作码。

操作码的长度只有一个字节，这就限制了操作码的个数不超过256个。同时，Class文件格式放弃了编译后代码的操作数长度对齐，这就意味着虚拟机处理那些超过一个字节的数据时，不得不在运行时从字节中重建出具体数据的结构。比如，如果要将一个两个字节长的无符号整数使用两个无符号字节存储起来分别是byte1和byte2，那么就需要这样构造出原始的无符号整数：

(byte1<<8) | byte2

这样会在某种程度上导致执行字节码时损失一些性能。但这样做也有好处，那就是由于不需要对齐，省去了中间的填充与间隔符号；用一个字节来表示操作码，也是为了获得短小的编译代码。这样就尽可能的减少了编译后的代码的长度，非常适合网络传输。

如果不考虑异常处理的话，那么Java虚拟机的解释器可以使用下面的伪代码作为基本的执行模型来理解：

1
2
3
4
5
6
do{
    自动计算PC寄存器的值加1;
    根据PC寄存器的指示位置，从字节码流中取出操作码;
    if(字节码存在操作数) 从字节码流中取出操作数;
    执行操作码所定义的操作;
}while(字节码长度>0);

操作码，助记符表

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
字节码 助记符 指令含义   
0x00 nop 什么都不做。   
0x01 aconst_null 将null推送至栈顶。   
0x02 iconst_m1 将int型-1推送至栈顶。   
0x03 iconst_0 将int型0推送至栈顶。   
0x04 iconst_1 将int型1推送至栈顶。   
0x05 iconst_2 将int型2推送至栈顶。   
0x06 iconst_3 将int型3推送至栈顶。   
0x07 iconst_4 将int型4推送至栈顶。   
0x08 iconst_5 将int型5推送至栈顶。   
0x09 lconst_0 将long型0推送至栈顶。   
0x0a lconst_1 将long型1推送至栈顶。   
0x0b fconst_0 将float型0推送至栈顶。   
0x0c fconst_1 将float型1推送至栈顶。   
0x0d fconst_2 将float型2推送至栈顶。   
0x0e dconst_0 将double型0推送至栈顶。   
0x0f dconst_1 将double型1推送至栈顶。
0x10 bipush 将单字节的常量值（-128~127）推送至栈顶。   
0x11 sipush 将一个短整型常量值（-32768~32767）推送至栈顶。   
0x12 ldc 将int，float或String型常量值从常量池中推送至栈顶。   
0x13 ldc_w 将int，float或String型常量值从常量池中推送至栈顶（宽索引）。  
0x14 ldc2_w 将long或double型常量值从常量池中推送至栈顶（宽索引）。   
0x15 iload 将指定的int型局部变量推送至栈顶。   
0x16 lload 将指定的long型局部变量推送至栈顶。   
0x17 fload 将指定的float型局部变量推送至栈顶。   
0x18 dload 将指定的double型局部变量推送至栈顶。   
0x19 aload 将指定的引用类型局部变量推送至栈顶。   
0x1a iload_0 将第一个int型局部变量推送至栈顶。   
0x1b iload_1 将第二个int型局部变量推送至栈顶。   
0x1c iload_2 将第三个int型局部变量推送至栈顶。   
0x1d iload_3 将第四个int型局部变量推送至栈顶。   
0x1e lload_0 将第一个long型局部变量推送至栈顶。   
0x1f lload_1 将第二个long型局部变量推送至栈顶。   
0x20 lload_2 将第三个long型局部变量推送至栈顶。   
0x21 lload_3 将第四个long型局部变量推送至栈顶。   
0x22 fload_0 将第一个float型局部变量推送至栈顶。   
0x23 fload_1 将第二个float型局部变量推送至栈顶。   
0x24 fload_2 将第三个float型局部变量推送至栈顶   
0x25 fload_3 将第四个float型局部变量推送至栈顶。   
0x26 dload_0 将第一个double型局部变量推送至栈顶。   
0x27 dload_1 将第二个double型局部变量推送至栈顶。   
0x28 dload_2 将第三个double型局部变量推送至栈顶。   
0x29 dload_3 将第四个double型局部变量推送至栈顶。   
0x2a aload_0 将第一个引用类型局部变量推送至栈顶。   
0x2b aload_1 将第二个引用类型局部变量推送至栈顶。   
0x2c aload_2 将第三个引用类型局部变量推送至栈顶。   
0x2d aload_3 将第四个引用类型局部变量推送至栈顶。   
0x2e iaload 将int型数组指定索引的值推送至栈顶。   
0x2f laload 将long型数组指定索引的值推送至栈顶。  
0x30 faload 将float型数组指定索引的值推送至栈顶。   
0x31 daload 将double型数组指定索引的值推送至栈顶。   
0x32 aaload 将引用型数组指定索引的值推送至栈顶。   
0x33 baload 将boolean或byte型数组指定索引的值推送至栈顶。   
0x34 caload 将char型数组指定索引的值推送至栈顶。   
0x35 saload 将short型数组指定索引的值推送至栈顶。   
0x36 istore 将栈顶int型数值存入指定局部变量。   
0x37 lstore 将栈顶long型数值存入指定局部变量。   
0x38 fstore 将栈顶float型数值存入指定局部变量。   
0x39 dstore 将栈顶double型数值存入指定局部变量。   
0x3a astore 将栈顶引用型数值存入指定局部变量。   
0x3b istore_0 将栈顶int型数值存入第一个局部变量。   
0x3c istore_1 将栈顶int型数值存入第二个局部变量。   
0x3d istore_2 将栈顶int型数值存入第三个局部变量。   
0x3e istore_3 将栈顶int型数值存入第四个局部变量。   
0x3f lstore_0 将栈顶long型数值存入第一个局部变量。   
0x40 lstore_1 将栈顶long型数值存入第二个局部变量。   
0x41 lstore_2 将栈顶long型数值存入第三个局部变量。   
0x42 lstore_3 将栈顶long型数值存入第四个局部变量。   
0x43 fstore_0 将栈顶float型数值存入第一个局部变量。   
0x44 fstore_1 将栈顶float型数值存入第二个局部变量。   
0x45 fstore_2 将栈顶float型数值存入第三个局部变量。   
0x46 fstore_3 将栈顶float型数值存入第四个局部变量。   
0x47 dstore_0 将栈顶double型数值存入第一个局部变量。   
0x48 dstore_1 将栈顶double型数值存入第二个局部变量。   
0x49 dstore_2 将栈顶double型数值存入第三个局部变量。   
0x4a dstore_3 将栈顶double型数值存入第四个局部变量。   
0x4b astore_0 将栈顶引用型数值存入第一个局部变量。  
0x4c astore_1 将栈顶引用型数值存入第二个局部变量。   
0x4d astore_2 将栈顶引用型数值存入第三个局部变量   
0x4e astore_3 将栈顶引用型数值存入第四个局部变量。   
0x4f iastore 将栈顶int型数值存入指定数组的指定索引位置   
0x50 lastore 将栈顶long型数值存入指定数组的指定索引位置。   
0x51 fastore 将栈顶float型数值存入指定数组的指定索引位置。   
0x52 dastore 将栈顶double型数值存入指定数组的指定索引位置。   
0x53 aastore 将栈顶引用型数值存入指定数组的指定索引位置。   
0x54 bastore 将栈顶boolean或byte型数值存入指定数组的指定索引位置。   
0x55 castore 将栈顶char型数值存入指定数组的指定索引位置   
0x56 sastore 将栈顶short型数值存入指定数组的指定索引位置。   
0x57 pop 将栈顶数值弹出（数值不能是long或double类型的）。   
0x58 pop2 将栈顶的一个（long或double类型的）或两个数值弹出（其它）。   
0x59 dup 复制栈顶数值并将复制值压入栈顶。   
0x5a dup_x1 复制栈顶数值并将两个复制值压入栈顶。   
0x5b dup_x2 复制栈顶数值并将三个（或两个）复制值压入栈顶。   
0x5c dup2 复制栈顶一个（long或double类型的)或两个（其它）数值并将复制值压入栈顶。   
0x5d dup2_x1 dup_x1指令的双倍版本。   
0x5e dup2_x2 dup_x2指令的双倍版本。   
0x5f swap 将栈最顶端的两个数值互换（数值不能是long或double类型的）。   
0x60 iadd 将栈顶两int型数值相加并将结果压入栈顶。   
0x61 ladd 将栈顶两long型数值相加并将结果压入栈顶。   
0x62 fadd 将栈顶两float型数值相加并将结果压入栈顶。   
0x63 dadd 将栈顶两double型数值相加并将结果压入栈顶。   
0x64 isub 将栈顶两int型数值相减并将结果压入栈顶。  
0x65 lsub 将栈顶两long型数值相减并将结果压入栈顶。   
0x66 fsub 将栈顶两float型数值相减并将结果压入栈顶。   
0x67 dsub 将栈顶两double型数值相减并将结果压入栈顶。   
0x68 imul 将栈顶两int型数值相乘并将结果压入栈顶。。   
0x69 lmul 将栈顶两long型数值相乘并将结果压入栈顶。   
0x6a fmul 将栈顶两float型数值相乘并将结果压入栈顶。   
0x6b dmul 将栈顶两double型数值相乘并将结果压入栈顶。   
0x6c idiv 将栈顶两int型数值相除并将结果压入栈顶。   
0x6d ldiv 将栈顶两long型数值相除并将结果压入栈顶。   
0x6e fdiv 将栈顶两float型数值相除并将结果压入栈顶。   
0x6f ddiv 将栈顶两double型数值相除并将结果压入栈顶。   
0x70 irem 将栈顶两int型数值作取模运算并将结果压入栈顶。   
0x71 lrem 将栈顶两long型数值作取模运算并将结果压入栈顶。   
0x72 frem 将栈顶两float型数值作取模运算并将结果压入栈顶。   
0x73 drem 将栈顶两double型数值作取模运算并将结果压入栈顶。   
0x74 ineg 将栈顶int型数值取负并将结果压入栈顶。   
0x75 lneg 将栈顶long型数值取负并将结果压入栈顶。   
0x76 fneg 将栈顶float型数值取负并将结果压入栈顶。   
0x77 dneg 将栈顶double型数值取负并将结果压入栈顶。   
0x78 ishl 将int型数值左移位指定位数并将结果压入栈顶。   
0x79 lshl 将long型数值左移位指定位数并将结果压入栈顶。   
0x7a ishr 将int型数值右（有符号）移位指定位数并将结果压入栈顶。   
0x7b lshr 将long型数值右（有符号）移位指定位数并将结果压入栈顶。   
0x7c iushr 将int型数值右（无符号）移位指定位数并将结果压入栈顶。   
0x7d lushr 将long型数值右（无符号）移位指定位数并将结果压入栈顶。   
0x7e iand 将栈顶两int型数值作“按位与”并将结果压入栈顶。   
0x7f land 将栈顶两long型数值作“按位与”并将结果压入栈顶。   
0x80 ior 将栈顶两int型数值作“按位或”并将结果压入栈顶。  
0x81 lor 将栈顶两long型数值作“按位或”并将结果压入栈顶。   
0x82 ixor 将栈顶两int型数值作“按位异或”并将结果压入栈顶。   
0x83 lxor 将栈顶两long型数值作“按位异或”并将结果压入栈顶。   
0x84 iinc 将指定int型变量增加指定值。   
0x85 i2l 将栈顶int型数值强制转换成long型数值并将结果压入栈顶。   
0x86 i2f 将栈顶int型数值强制转换成float型数值并将结果压入栈顶。   
0x87 i2d 将栈顶int型数值强制转换成double型数值并将结果压入栈顶。   
0x88 l2i 将栈顶long型数值强制转换成int型数值并将结果压入栈顶。   
0x89 l2f 将栈顶long型数值强制转换成float型数值并将结果压入栈顶。   
0x8a l2d 将栈顶long型数值强制转换成double型数值并将结果压入栈顶。   
0x8b f2i 将栈顶float型数值强制转换成int型数值并将结果压入栈顶。   
0x8c f2l 将栈顶float型数值强制转换成long型数值并将结果压入栈顶。   
0x8d f2d 将栈顶float型数值强制转换成double型数值并将结果压入栈顶。   
0x8e d2i 将栈顶double型数值强制转换成int型数值并将结果压入栈顶。   
0x8f d2l 将栈顶double型数值强制转换成long型数值并将结果压入栈顶。   
0x90 d2f 将栈顶double型数值强制转换成float型数值并将结果压入栈顶。   
0x91 i2b 将栈顶int型数值强制转换成byte型数值并将结果压入栈顶。   
0x92 i2c 将栈顶int型数值强制转换成char型数值并将结果压入栈顶。   
0x93 i2s 将栈顶int型数值强制转换成short型数值并将结果压入栈顶。   
0x94 lcmp 比较栈顶两long型数值大小，并将结果（1，0，-1）压入栈顶。  
0x95 fcmpl 比较栈顶两float型数值大小，并将结果（1，0，-1）压入栈顶；当其中一个数值为“NaN”时，将-1压入栈顶。   
0x96 fcmpg 比较栈顶两float型数值大小，并将结果（1，0，-1）压入栈顶；当其中一个数值为“NaN”时，将1压入栈顶。   
0x97 dcmpl 比较栈顶两double型数值大小，并将结果（1，0，-1）压入栈顶；当其中一个数值为“NaN”时，将-1压入栈顶。   
0x98 dcmpg 比较栈顶两double型数值大小，并将结果（1，0，-1）压入栈顶；当其中一个数值为“NaN”时，将1压入栈顶。   
0x99 ifeq 当栈顶int型数值等于0时跳转。   
0x9a ifne 当栈顶int型数值不等于0时跳转。   
0x9b iflt 当栈顶int型数值小于0时跳转。   
0x9c ifge 当栈顶int型数值大于等于0时跳转。   
0x9d ifgt 当栈顶int型数值大于0时跳转。   
0x9e ifle 当栈顶int型数值小于等于0时跳转。   
0x9f if_icmpeq 比较栈顶两int型数值大小，当结果等于0时跳转。   
0xa0 if_icmpne 比较栈顶两int型数值大小，当结果不等于0时跳转。   
0xa1 if_icmplt 比较栈顶两int型数值大小，当结果小于0时跳转。   
0xa2 if_icmpge 比较栈顶两int型数值大小，当结果大于等于0时跳转。   
0xa3 if_icmpgt 比较栈顶两int型数值大小，当结果大于0时跳转   
0xa4 if_icmple 比较栈顶两int型数值大小，当结果小于等于0时跳转。   
0xa5 if_acmpeq 比较栈顶两引用型数值，当结果相等时跳转。   
0xa6 if_acmpne 比较栈顶两引用型数值，当结果不相等时跳转。   
0xa7 goto 无条件跳转。   
0xa8 jsr 跳转至指定16位offset位置，并将jsr下一条指令地址压入栈顶。   
0xa9 ret 返回至局部变量指定的index的指令位置（一般与jsr，jsr_w联合使用）。   
0xaa tableswitch 用于switch条件跳转，case值连续（可变长度指令）。  
0xab lookupswitch 用于switch条件跳转，case值不连续（可变长度指令）。   
0xac ireturn 从当前方法返回int。   
0xad lreturn 从当前方法返回long。   
0xae freturn 从当前方法返回float。   
0xaf dreturn 从当前方法返回double。   
0xb0 areturn 从当前方法返回对象引用。   
0xb1 return 从当前方法返回void。   
0xb2 getstatic 获取指定类的静态域，并将其值压入栈顶。   
0xb3 putstatic 为指定的类的静态域赋值。   
0xb4 getfield 获取指定类的实例域，并将其值压入栈顶。   
0xb5 putfield 为指定的类的实例域赋值。   
0xb6 invokevirtual 调用实例方法。   
0xb7 invokespecial 调用超类构造方法，实例初始化方法，私有方法。   
0xb8 invokestatic 调用静态方法。   
0xb9 invokeinterface 调用接口方法。   
0xba invokedynamic 调用动态链接方法①。   
0xbb new 创建一个对象，并将其引用值压入栈顶。   
0xbc newarray 创建一个指定原始类型（如int、float、char??）的数组，并将其引用值压入栈顶。   
0xbd anewarray 创建一个引用型（如类，接口，数组）的数组，并将其引用值压入栈顶。   
0xbe arraylength 获得数组的长度值并压入栈顶。   
0xbf athrow 将栈顶的异常抛出。   
0xc0 checkcast 检验类型转换，检验未通过将抛出ClassCastException。   
0xc1 instanceof 检验对象是否是指定的类的实例，如果是将1压入栈顶，否则将0压入栈顶。  
0xc2 monitorenter 获得对象的monitor，用于同步方法或同步块。   
0xc3 monitorexit 释放对象的monitor，用于同步方法或同步块。   
0xc4 wide 扩展访问局部变量表的索引宽度。   
0xc5 multianewarray 创建指定类型和指定维度的多维数组（执行该指令时，操作栈中必须包含各维度的长度值），并将其引用值压入栈顶。   
0xc6 ifnull 为null时跳转。   
0xc7 ifnonnull 不为null时跳转。   
0xc8 goto_w 无条件跳转（宽索引）。   
0xc9 jsr_w 跳转至指定32位地址偏移量位置，并将jsr_w下一条指令地址压入栈顶。  
  
保留指令   
0xca breakpoint 调试时的断点标志。   
0xfe impdep1 用于在特定硬件中使用的语言后门。   
0xff impdep1 用于在特定硬件中使用的语言后门。