大家好,又见面了,我是你们的朋友全栈君。
Jvm指令集个人理解
jvm结构
java代码
javap -c 反编译代码
指令集,其实就是一系列指令的集合。例如我们需要给一个局部变量赋予1这个值,即这个动作:int a = 1;
在我们看来,这很简单,但对于机器来说需要很多个动作。所以Java虚拟机指令集就是将这些常用的动作集中起来,定义成一系列指令,方便我么能使用。
Java语言和虚拟机规范:https://docs.oracle.com/javase/specs/index.html
反编译:javap -c .class文件
编译后如下图:
JVM指令集(指令码、助记符、功能描述)
指令码 |
助记符 |
功能描述 |
||||||||||||||
0x00 |
nop |
无操作 |
||||||||||||||
|
||||||||||||||||
0x01 |
aconst_null |
指令格式: aconst_null 功能描述: null进栈
注意:JVM并没有为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 |
将一个byte型常量值推送至栈顶 |
||||||||||||||
0x11 |
sipush |
将一个short型常量值推送至栈顶 |
||||||||||||||
|
||||||||||||||||
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 |
指令格式: aload index 功能描述: 当前frame的局部变量数组中下标为index的引用型局部变量进栈
index : 无符号一byte整型。和wide指令联用, 可以使index为两byte |
||||||||||||||
|
||||||||||||||||
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 |
指令格式:aload_0 该指令的行为类似于aload指令index为0的情况。 |
||||||||||||||
0x2B |
aload_1 |
同上 |
||||||||||||||
0x2C |
aload_2 |
同上 |
||||||||||||||
0x2D |
aload_3 |
同上 |
||||||||||||||
|
||||||||||||||||
0x2E |
iaload |
指定的int型数组的指定下标处的值进栈 |
||||||||||||||
0x2F |
laload |
指定的long型数组的指定下标处的值进栈 |
||||||||||||||
0x30 |
faload |
指定的float型数组的指定下标处的值进栈 |
||||||||||||||
0x31 |
daload |
指定的double型数组的指定下标处的值进栈 |
||||||||||||||
0x32 |
aaload |
指令格式: aaload 功能描述: 栈顶的数组下标(index)、数组引用(arrayref)出栈,并根据这两个数值取出对应的数组元素值(value)进栈。 抛出异常: 如果arrayref的值为null,会抛出NullPointerException。如果index造成数组越界,会抛出ArrayIndexOutOfBoundsException。
index: int类型 arrayref: 数组的引用 |
||||||||||||||
0x33 |
baload |
指定的boolean或byte型数组的指定下标处的值进栈 |
||||||||||||||
0x34 |
caload |
指定的char型数组的指定下标处的值进栈 |
||||||||||||||
0x35 |
saload |
指定的short型数组的指定下标处的值进栈 |
||||||||||||||
|
||||||||||||||||
0x36 |
istore |
将栈顶int型数值存入指定的局部变量 |
||||||||||||||
0x37 |
lstore |
将栈顶long型数值存入指定的局部变量 |
||||||||||||||
0x38 |
fstore |
将栈顶float型数值存入指定的局部变量 |
||||||||||||||
0x39 |
dstore |
将栈顶double型数值存入指定的局部变量 |
||||||||||||||
0x3A |
astore |
指令格式: astore index 功能描述: 将栈顶数值(objectref)存入当前frame的局部变量数组中指定下标(index)处的变量中,栈顶数值出栈。
index : 无符号一byte整数。该指令和wide联用,index可以为无符号两byte整数 |
||||||||||||||
|
||||||||||||||||
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 |
指令格式: astore_0 功能描述: 该指令的行为类似于astore指令index为0的情况。 |
||||||||||||||
0x4C |
astore_1 |
同上 |
||||||||||||||
0x4D |
astore_2 |
同上 |
||||||||||||||
0x4E |
astore_3 |
同上 |
||||||||||||||
|
||||||||||||||||
0x4F |
iastore |
将栈顶int型数值存入指定数组的指定下标处 |
||||||||||||||
0x50 |
lastore |
将栈顶long型数值存入指定数组的指定下标处 |
||||||||||||||
0x51 |
fastore |
将栈顶float型数值存入指定数组的指定下标处 |
||||||||||||||
0x52 |
dastore |
将栈顶double型数值存入指定数组的指定下标处 |
||||||||||||||
0x53 |
aastore |
指令格式: aastore 功能描述: 根据栈顶的引用型数值(value)、数组下标(index)、数组引用(arrayref)出栈,将数值存入对应的数组元素中 抛出异常: 如果value的类型和arrayref所引用的数组的元素类型不兼容,会抛出抛出ArrayStoreException。如果index造成数组越界,会抛出ArrayIndexOutOfBoundsException。 如果arrayref值为null,会抛出NullPointerException。
arrayref : 必须是对数组的引用 index : int类型 value : 引用类型 |
||||||||||||||
0x54 |
bastore |
将栈顶boolean或byte型数值存入指定数组的指定下标处 |
||||||||||||||
0x55 |
castore |
将栈顶char型数值存入指定数组的指定下标处 |
||||||||||||||
0x56 |
sastore |
将栈顶short型数值存入指定数组的指定下标处 |
||||||||||||||
|
||||||||||||||||
0x57 |
pop |
栈顶数值出栈 (该栈顶数值不能是long或double型) |
||||||||||||||
0x58 |
pop2 |
栈顶的一个(如果是long、double型的)或两个(其它类型的)数值出栈 |
||||||||||||||
|
||||||||||||||||
0x59 |
dup |
复制栈顶数值,并且复制值进栈 |
||||||||||||||
0x5A |
dup_x1 |
复制栈顶数值,并且复制值进栈2次 |
||||||||||||||
0x5B |
dup_x2 |
复制栈顶数值,并且复制值进栈2次或3次 |
||||||||||||||
0x5C |
dup2 |
复制栈顶一个(long、double型的)或两个(其它类型的)数值,并且复制值进栈 |
||||||||||||||
0x5D |
dup2_x1 |
|
||||||||||||||
0x5E |
dup2_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 |
指令格式: areturn 功能描述: 从方法中返回一个对象的引用。 抛出异常: 如果当前方法是
objectref : 被返回的对象引用 |
||||||||||||||
0xB1 |
return |
当前方法返回void |
||||||||||||||
|
||||||||||||||||
0xB2 |
getstatic |
获取指定类的静态域,并将其值压入栈顶 |
||||||||||||||
0xB3 |
putstatic |
为指定的类的静态域赋值 |
||||||||||||||
0xB4 |
getfield |
获取指定类的实例域,并将其值压入栈顶 |
||||||||||||||
0xB5 |
putfield |
为指定的类的实例域赋值 |
||||||||||||||
|
||||||||||||||||
0xB6 |
invokevirtual |
调用实例方法 |
||||||||||||||
0xB7 |
invokespecial |
调用超类构造方法、实例初始化方法、私有方法 |
||||||||||||||
0xB8 |
invokestatic |
调用静态方法 |
||||||||||||||
0xb9 |
invokeinterface |
调用接口方法 |
||||||||||||||
|
||||||||||||||||
0xBA |
— |
因为历史原因,该码点为未使用的保留码点 |
||||||||||||||
|
||||||||||||||||
0xBB |
new |
创建一个对象,并且其引用进栈 |
||||||||||||||
0xBC |
newarray |
创建一个基本类型数组,并且其引用进栈 |
||||||||||||||
0xBD |
anewarray |
指令格式: anewarray index1 index2 功能描述: 栈顶数值(count)作为数组长度,创建 一个引用 型数组。栈顶数值出栈,数组引用进栈。 抛出异常: 如果count小于0,会抛出 NegativeArraySizeException
count: int类型。 arrayref: 对所创建的数组的引用。 |
||||||||||||||
0xBE |
arraylength |
指令格式: arraylength 功能描述: 栈顶的数组引用(arrayref)出栈,该 数组的长度进栈。 抛出异常: 如果arrayref的值为null,会抛出NullPointerException。
arrayref: 数组引用 length: 数组长度 |
||||||||||||||
|
||||||||||||||||
0xBF |
athrow |
指令格式: athrow 功能描述: 将栈顶的数值作为异常或错误抛出 抛出异常: 如果栈顶数值为null,则使用NullPointerException代替栈顶数值抛出。如果方法是的,则有可能抛出 IllegalMonitorStateException。
objectref: Throwable或其子类的实例的引用。 |
||||||||||||||
0xC0 |
checkcast |
类型转换检查,如果该检查未通过将会抛出ClassCastException异常 |
||||||||||||||
0xc1 |
instanceof |
检查对象是否是指定的类的实例。如果是,1进栈;否则,0进栈 |
||||||||||||||
|
||||||||||||||||
0xC2 |
monitorenter |
获得对象锁 |
||||||||||||||
0xC3 |
monitorexit |
释放对象锁 |
||||||||||||||
|
||||||||||||||||
0xC4 |
wide |
用于修改其他指令的行为 |
||||||||||||||
|
||||||||||||||||
0xC5 |
multianewarray |
创建指定类型和维度的多维数组(执行该指令时,栈中必须包含各维度的长度值),并且其引用值进栈 |
||||||||||||||
|
||||||||||||||||
0xC6 |
ifnull |
为null时跳转 |
||||||||||||||
0xC7 |
ifnonnull |
不为null时跳转 |
||||||||||||||
0xC8 |
goto_w |
无条件跳转(宽索引) |
||||||||||||||
0xC9 |
jsr_w |
跳转至指定32位offset位置,并且jsr_w下一条指令地址进栈 |
||||||||||||||
|
||||||||||||||||
0xCA |
breakpoint |
|
||||||||||||||
|
||||||||||||||||
0xFE |
impdep1 |
|
||||||||||||||
0xFF |
impdep2 |
|
发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/106414.html原文链接:https://javaforall.cn
【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛
【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...