Java指令集（按功能分类）
|
常量入栈指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
aconst_null |
|
null值入栈。 |
|
iconst_m1 |
|
-1(int)值入栈。 |
|
iconst_0 |
|
0(int)值入栈。 |
|
iconst_1 |
|
1(int)值入栈。 |
|
iconst_2 |
|
2(int)值入栈。 |
|
iconst_3 |
|
3(int)值入栈。 |
|
iconst_4 |
|
4(int)值入栈。 |
|
iconst_5 |
|
5(int)值入栈。 |
|
lconst_0 |
|
0(long)值入栈。 |
|
lconst_1 |
|
1(long)值入栈。 |
|
fconst_0 |
|
0(float)值入栈。 |
|
fconst_1 |
|
1(float)值入栈。 |
|
fconst_2 |
|
2(float)值入栈。 |
|
dconst_0 |
|
0(double)值入栈。 |
|
dconst_1 |
|
1(double)值入栈。 |
|
bipush |
valuebyte |
valuebyte值带符号扩展成int值入栈。 |
|
sipush |
valuebyte1 valuebyte2 |
(valuebyte1 << 8) | valuebyte2 值带符号扩展成int值入栈。 |
|
ldc |
indexbyte1 |
常量池中的常量值（int, float, string reference, object reference）入栈。 |
|
ldc_w |
indexbyte1 indexbyte2 |
常量池中常量（int, float, string reference, object reference）入栈。 |
|
ldc2_w |
indexbyte1 indexbyte2 |
常量池中常量（long, double）入栈。 |
|
| ||
|
局部变量值转载到栈中指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
(wide)aload |
indexbyte |
从局部变量indexbyte中装载引用类型值入栈。 |
|
aload_0 |
|
从局部变量0中装载引用类型值入栈。 |
|
aload_1 |
|
从局部变量1中装载引用类型值入栈。 |
|
aload_2 |
|
从局部变量2中装载引用类型值入栈。 |
|
aload_3 |
|
从局部变量3中装载引用类型值入栈。 |
|
(wide)iload |
indexbyte |
从局部变量indexbyte中装载int类型值入栈。 |
|
iload_0 |
|
从局部变量0中装载int类型值入栈。 |
|
iload_1 |
|
从局部变量1中装载int类型值入栈。 |
|
iload_2 |
|
从局部变量2中装载int类型值入栈。 |
|
iload_3 |
|
从局部变量3中装载int类型值入栈。 |
|
(wide)lload |
indexbyte |
从局部变量indexbyte中装载long类型值入栈。 |
|
lload_0 |
|
从局部变量0中装载int类型值入栈。 |
|
lload_1 |
|
从局部变量1中装载int类型值入栈。 |
|
lload_2 |
|
从局部变量2中装载int类型值入栈。 |
|
lload_3 |
|
从局部变量3中装载int类型值入栈。 |
|
(wide)fload |
indexbyte |
从局部变量indexbyte中装载float类型值入栈。 |
|
fload_0 |
|
从局部变量0中装载float类型值入栈。 |
|
fload_1 |
|
从局部变量1中装载float类型值入栈。 |
|
fload_2 |
|
从局部变量2中装载float类型值入栈。 |
|
fload_3 |
|
从局部变量3中装载float类型值入栈。 |
|
(wide)dload |
indexbyte |
从局部变量indexbyte中装载double类型值入栈。 |
|
dload_0 |
|
从局部变量0中装载double类型值入栈。 |
|
dload_1 |
|
从局部变量1中装载double类型值入栈。 |
|
dload_2 |
|
从局部变量2中装载double类型值入栈。 |
|
dload_3 |
|
从局部变量3中装载double类型值入栈。 |
|
aaload |
|
从引用类型数组中装载指定项的值。 |
|
iaload |
|
从int类型数组中装载指定项的值。 |
|
laload |
|
从long类型数组中装载指定项的值。 |
|
faload |
|
从float类型数组中装载指定项的值。 |
|
daload |
|
从double类型数组中装载指定项的值。 |
|
baload |
|
从boolean类型数组或byte类型数组中装载指定项的值（先转换为int类型值，后压栈）。 |
|
caload |
|
从char类型数组中装载指定项的值（先转换为int类型值，后压栈）。 |
|
saload |
|
从short类型数组中装载指定项的值（先转换为int类型值，后压栈）。 |
|
| ||
|
将栈顶值保存到局部变量中指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
(wide)astore |
indexbyte |
将栈顶引用类型值保存到局部变量indexbyte中。 |
|
astroe_0 |
|
将栈顶引用类型值保存到局部变量0中。 |
|
astore_1 |
|
将栈顶引用类型值保存到局部变量1中。 |
|
astore_2 |
|
将栈顶引用类型值保存到局部变量2中。 |
|
astore_3 |
|
将栈顶引用类型值保存到局部变量3中。 |
|
(wide)istore |
indexbyte |
将栈顶int类型值保存到局部变量indexbyte中。 |
|
istore_0 |
|
将栈顶int类型值保存到局部变量0中。 |
|
istore_1 |
|
将栈顶int类型值保存到局部变量1中。 |
|
istore_2 |
|
将栈顶int类型值保存到局部变量2中。 |
|
istore_3 |
|
将栈顶int类型值保存到局部变量3中。 |
|
(wide)lstore |
indexbyte |
将栈顶long类型值保存到局部变量indexbyte中。 |
|
lstore_0 |
|
将栈顶long类型值保存到局部变量0中。 |
|
lstore_1 |
|
将栈顶long类型值保存到局部变量1中。 |
|
lstore_2 |
|
将栈顶long类型值保存到局部变量2中。 |
|
lstroe_3 |
|
将栈顶long类型值保存到局部变量3中。 |
|
(wide)fstore |
indexbyte |
将栈顶float类型值保存到局部变量indexbyte中。 |
|
fstore_0 |
|
将栈顶float类型值保存到局部变量0中。 |
|
fstore_1 |
|
将栈顶float类型值保存到局部变量1中。 |
|
fstore_2 |
|
将栈顶float类型值保存到局部变量2中。 |
|
fstore_3 |
|
将栈顶float类型值保存到局部变量3中。 |
|
(wide)dstore |
indexbyte |
将栈顶double类型值保存到局部变量indexbyte中。 |
|
dstore_0 |
|
将栈顶double类型值保存到局部变量0中。 |
|
dstore_1 |
|
将栈顶double类型值保存到局部变量1中。 |
|
dstore_2 |
|
将栈顶double类型值保存到局部变量2中。 |
|
dstore_3 |
|
将栈顶double类型值保存到局部变量3中。 |
|
aastore |
|
将栈顶引用类型值保存到指定引用类型数组的指定项。 |
|
iastore |
|
将栈顶int类型值保存到指定int类型数组的指定项。 |
|
lastore |
|
将栈顶long类型值保存到指定long类型数组的指定项。 |
|
fastore |
|
将栈顶float类型值保存到指定float类型数组的指定项。 |
|
dastore |
|
将栈顶double类型值保存到指定double类型数组的指定项。 |
|
bastroe |
|
将栈顶boolean类型值或byte类型值保存到指定boolean类型数组或byte类型数组的指定项。 |
|
castore |
|
将栈顶char类型值保存到指定char类型数组的指定项。 |
|
sastore |
|
将栈顶short类型值保存到指定short类型数组的指定项。 |
|
| ||
|
wide指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
wide |
|
使用附加字节扩展局部变量索引（iinc指令特殊）。 |
|
| ||
|
通用（无类型）栈操作指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
nop |
|
空操作。 |
|
pop |
|
从栈顶弹出一个字长的数据。 |
|
pop2 |
|
从栈顶弹出两个字长的数据。 |
|
dup |
|
复制栈顶一个字长的数据，将复制后的数据压栈。 |
|
dup_x1 |
|
复制栈顶一个字长的数据，弹出栈顶两个字长数据，先将复制后的数据压栈，再将弹出的两个字长数据压栈。 |
|
dup_x2 |
|
复制栈顶一个字长的数据，弹出栈顶三个字长的数据，将复制后的数据压栈，再将弹出的三个字长的数据压栈。 |
|
dup2 |
|
复制栈顶两个字长的数据，将复制后的两个字长的数据压栈。 |
|
dup2_x1 |
|
复制栈顶两个字长的数据，弹出栈顶三个字长的数据，将复制后的两个字长的数据压栈，再将弹出的三个字长的数据压栈。 |
|
dup2_x2 |
|
复制栈顶两个字长的数据，弹出栈顶四个字长的数据，将复制后的两个字长的数据压栈，再将弹出的四个字长的数据压栈。 |
|
swap |
|
交换栈顶两个字长的数据的位置。Java指令中没有提供以两个字长为单位的交换指令。 |
|
| ||
|
类型转换指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
i2f |
|
将栈顶int类型值转换为float类型值。 |
|
i2l |
|
将栈顶int类型值转换为long类型值。 |
|
i2d |
|
将栈顶int类型值转换为double类型值。 |
|
f2i |
|
将栈顶float类型值转换为int类型值。 |
|
f2l |
|
将栈顶float类型值转换为long类型值。 |
|
f2d |
|
将栈顶float类型值转换为double类型值。 |
|
l2i |
|
将栈顶long类型值转换为int类型值。 |
|
l2f |
|
将栈顶long类型值转换为float类型值。 |
|
l2d |
|
将栈顶long类型值转换double类型值。 |
|
d2i |
|
将栈顶double类型值转换为int类型值。 |
|
d2f |
|
将栈顶double类型值转换为float类型值。 |
|
d2l |
|
将栈顶double类型值转换为long类型值。 |
|
i2b |
|
将栈顶int类型值截断成byte类型，后带符号扩展成int类型值入栈。 |
|
i2c |
|
将栈顶int类型值截断成char类型值，后带符号扩展成int类型值入栈。 |
|
i2s |
|
将栈顶int类型值截断成short类型值，后带符号扩展成int类型值入栈。 |
|
| ||
|
整数运算 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
iadd |
|
将栈顶两int类型数相加，结果入栈。 |
|
isub |
|
将栈顶两int类型数相减，结果入栈。 |
|
imul |
|
将栈顶两int类型数相乘，结果入栈。 |
|
idiv |
|
将栈顶两int类型数相除，结果入栈。 |
|
irem |
|
将栈顶两int类型数取模，结果入栈。 |
|
ineg |
|
将栈顶int类型值取负，结果入栈。 |
|
ladd |
|
将栈顶两long类型数相加，结果入栈。 |
|
lsub |
|
将栈顶两long类型数相减，结果入栈。 |
|
lmul |
|
将栈顶两long类型数相乘，结果入栈。 |
|
ldiv |
|
将栈顶两long类型数相除，结果入栈。 |
|
lrem |
|
将栈顶两long类型数取模，结果入栈。 |
|
lneg |
|
将栈顶long类型值取负，结果入栈。 |
|
(wide)iinc |
indexbyte constbyte |
将整数值constbyte加到indexbyte指定的int类型的局部变量中。 |
|
| ||
|
浮点运算 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
fadd |
|
将栈顶两float类型数相加，结果入栈。 |
|
fsub |
|
将栈顶两float类型数相减，结果入栈。 |
|
fmul |
|
将栈顶两float类型数相乘，结果入栈。 |
|
fdiv |
|
将栈顶两float类型数相除，结果入栈。 |
|
frem |
|
将栈顶两float类型数取模，结果入栈。 |
|
fneg |
|
将栈顶float类型值取反，结果入栈。 |
|
dadd |
|
将栈顶两double类型数相加，结果入栈。 |
|
dsub |
|
将栈顶两double类型数相减，结果入栈。 |
|
dmul |
|
将栈顶两double类型数相乘，结果入栈。 |
|
ddiv |
|
将栈顶两double类型数相除，结果入栈。 |
|
drem |
|
将栈顶两double类型数取模，结果入栈。 |
|
dneg |
|
将栈顶double类型值取负，结果入栈。 |
|
| ||
|
逻辑运算——移位运算 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
ishl |
|
左移int类型值。 |
|
lshl |
|
左移long类型值。 |
|
ishr |
|
算术右移int类型值。 |
|
lshr |
|
算术右移long类型值。 |
|
iushr |
|
逻辑右移int类型值。 |
|
lushr |
|
逻辑右移long类型值。 |
|
| ||
|
逻辑运算——按位布尔运算 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
iand |
|
对int类型按位与运算。 |
|
land |
|
对long类型的按位与运算。 |
|
ior |
|
对int类型的按位或运算。 |
|
lor |
|
对long类型的按位或运算。 |
|
ixor |
|
对int类型的按位异或运算。 |
|
lxor |
|
对long类型的按位异或运算。 |
|
| ||
|
控制流指令——条件跳转指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
ifeq |
branchbyte1 branchbyte2 |
若栈顶int类型值为0则跳转。 |
|
ifne |
branchbyte1 branchbyte2 |
若栈顶int类型值不为0则跳转。 |
|
iflt |
branchbyte1 branchbyte2 |
若栈顶int类型值小于0则跳转。 |
|
ifle |
branchbyte1 branchbyte2 |
若栈顶int类型值小于等于0则跳转。 |
|
ifgt |
branchbyte1 branchbyte2 |
若栈顶int类型值大于0则跳转。 |
|
ifge |
branchbyte1 branchbyte2 |
若栈顶int类型值大于等于0则跳转。 |
|
if_icmpeq |
branchbyte1 branchbyte2 |
若栈顶两int类型值相等则跳转。 |
|
if_icmpne |
branchbyte1 branchbyte2 |
若栈顶两int类型值不相等则跳转。 |
|
if_icmplt |
branchbyte1 branchbyte2 |
若栈顶两int类型值前小于后则跳转。 |
|
if_icmple |
branchbyte1 branchbyte2 |
若栈顶两int类型值前小于等于后则跳转。 |
|
if_icmpgt |
branchbyte1 branchbyte2 |
若栈顶两int类型值前大于后则跳转。 |
|
if_icmpge |
branchbyte1 branchbyte2 |
若栈顶两int类型值前大于等于后则跳转。 |
|
ifnull |
branchbyte1 branchbyte2 |
若栈顶引用值为null则跳转。 |
|
ifnonnull |
branchbyte1 branchbyte2 |
若栈顶引用值不为null则跳转。 |
|
if_acmpeq |
branchbyte1 branchbyte2 |
若栈顶两引用类型值相等则跳转。 |
|
if_acmpne |
branchbyte1 branchbyte2 |
若栈顶两引用类型值不相等则跳转。 |
|
| ||
|
控制流指令——比较指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
lcmp |
|
比较栈顶两long类型值，前者大，1入栈；相等，0入栈；后者大，-1入栈。 |
|
fcmpl |
|
比较栈顶两float类型值，前者大，1入栈；相等，0入栈；后者大，-1入栈；有NaN存在，-1入栈。 |
|
fcmpg |
|
比较栈顶两float类型值，前者大，1入栈；相等，0入栈；后者大，-1入栈；有NaN存在，-1入栈。 |
|
dcmpl |
|
比较栈顶两double类型值，前者大，1入栈；相等，0入栈；后者大，-1入栈；有NaN存在，-1入栈。 |
|
dcmpg |
|
比较栈顶两double类型值，前者大，1入栈；相等，0入栈；后者大，-1入栈；有NaN存在，-1入栈。 |
|
| ||
|
控制流指令——无条件跳转指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
goto |
branchbyte1 branchbyte2 |
无条件跳转到指定位置。 |
|
goto_w |
branchbyte1 branchbyte2 branchbyte3 branchbyte4 |
无条件跳转到指定位置（宽索引）。 |
|
| ||
|
控制流指令——表跳转指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
tableswitch |
<0-3bytepad> defaultbyte1 defaultbyte2 defaultbyte3 defaultbyte4 lowbyte1 lowbyte2 lowbyte3 lowbyte4 highbyte1 highbyte2 highbyte3 highbyte4 jump offsets... |
通过索引访问跳转表，并跳转。 |
|
lookupswitch |
<0-3bytepad> defaultbyte1 defaultbyte2 defaultbyte3 defaultbyte4 npairs1 npairs2 npairs3 npairs4 match offsets |
通过键值访问跳转表，并跳转。 |
|
| ||
|
控制流指令——异常和finally | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
athrow |
|
抛出异常。 |
|
jsr |
branchbyte1 branchbyte2 |
跳转到子例程序。 |
|
jsr_w |
branchbyte1 branchbyte2 branchbyte3 branchbyte4 |
跳转到子例程序（宽索引）。 |
|
(wide)ret |
indexbyte |
返回子例程序。 |
|
| ||
|
对象操作指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
new |
indexbyte1 indexbyte2 |
创建新的对象实例。 |
|
checkcast |
indexbyte1 indexbyte |
类型强转。 |
|
instanceof |
indexbyte1 indexbyte2 |
判断类型。 |
|
getfield |
indexbyte1 indexbyte2 |
获取对象字段的值。 |
|
putfield |
indexbyte1 indexbyte2 |
给对象字段赋值。 |
|
getstatic |
indexbyte1 indexbyte2 |
获取静态字段的值。 |
|
putstatic |
indexbyte1 indexbyte2 |
给静态字段赋值。 |
|
| ||
|
数组操作指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
newarray |
atype |
创建type类型的数组。 |
|
anewarray |
indexbyte1 indexbyte2 |
创建引用类型的数组。 |
|
arraylength |
|
获取一维数组的长度。 |
|
multianewarray |
indexbyte1 indexbyte2 dimension |
创建dimension维度的数组。 |
|
| ||
|
方法调用指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
invokespecial |
indexbyte1 indexbyte2 |
编译时方法绑定调用方法。 |
|
invokevirtual |
indexbyte1 indexbyte2 |
运行时方法绑定调用方法。 |
|
invokestatic |
indexbyte1 indexbyte2 |
调用静态方法。 |
|
invokeinterface |
indexbyte1 indexbyte2 count 0 |
调用接口方法。 |
|
| ||
|
方法返回指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
ireturn |
|
返回int类型值。 |
|
lreturn |
|
返回long类型值。 |
|
freturn |
|
返回float类型值。 |
|
dreturn |
|
返回double类型值。 |
|
areturn |
|
返回引用类型值。 |
|
return |
|
void函数返回。 |
|
| ||
|
线程同步指令 | ||
|
操作码（助记符） |
操作数 |
描述（栈指操作数栈） |
|
monitorenter |
|
进入并获得对象监视器。 |
|
monitorexit |
|
释放并退出对象监视器。 |