JVM指令

字节码

助记符

指令含义

0x00

nop

什么都不做

0x01

aconst_null

将null推送至栈顶

0x092

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

is

将栈顶两int型数值相减并将结果压入栈顶

0x65

ls

将栈顶两long型数值相减并将结果压入栈顶

0x66

fs

将栈顶两float型数值相减并将结果压入栈顶

0x67

ds

将栈顶两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型变量增加指定值（i++, i–, i+=2）

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

返回至本地变量

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

–

无此指令

0xbb

new

创建一个对象，并将其引用值压入栈顶

0xbc

newarray

创建一个指定原始类型（如int, float, char…）的数组，并将其引用值压入栈顶

0xbd

anewarray

创建一个引用型（如类，接口，数组）的数组，并将其引用值压入栈顶

0xbe

arraylength

获得数组的长度值并压入栈顶

0xbf

athrow

将栈顶的异常抛出

0xc0

checkcast

检验类型转换，检验未通过将抛出ClassCastException

0xc1

instanceof

检验对象是否是指定的类的实例，如果是将1压入栈顶，否则将0压入栈顶

0xc2

monitorenter

获得对象的锁，用于同步方法或同步块

0xc3

monitorexit

释放对象的锁，用于同步方法或同步块

0xc4

wide

Wide指令用于扩展其它指令的行为，通过附加的字节来扩展局部变量表索引

0xc5

multianewarray

创建指定类型和指定维度的多维数组（执行该指令时，操作栈中必须包含各维度的长度值），并将其引用值压入栈顶

0xc6

ifnull

为null时跳转

0xc7

ifnonnull

不为null时跳转

0xc8

goto_w

无条件跳转（宽索引）

0xc9

jsr_w

跳转至指定32位offset位置，并将jsr_w下一条指令地址压入栈顶

JVM指令助记符

变量到操作数栈：iload,iload_,lload,lload_,fload,fload_,dload,dload_,aload,aload_
操作数栈到变量：istore,istore_,lstore,lstore_,fstore,fstore_,dstore,dstor_,astore,astore_
常数到操作数栈：bipush,sipush,ldc,ldc_w,ldc2_w,aconst_null,iconst_ml,iconst_,lconst_,fconst_,dconst_
加：iadd,ladd,fadd,dadd
减：is ,ls ,fs ,ds
乘：imul,lmul,fmul,dmul
除：idiv,ldiv,fdiv,ddiv
余数：irem,lrem,frem,drem
取负：ineg,lneg,fneg,dneg
移位：ishl,lshr,iushr,lshl,lshr,lushr
按位或：ior,lor
按位与：iand,land
按位异或：ixor,lxor
类型转换：i2l,i2f,i2d,l2f,l2d,f2d(放宽数值转换)
i2b,i2c,i2s,l2i,f2i,f2l,d2i,d2l,d2f(缩窄数值转换)

创建类实便：new
创建新数组：newarray,anewarray,multianwarray
访问类的域和类实例域：getfield,putfield,getstatic,putstatic
把数据装载到操作数栈：baload,caload,saload,iaload,laload,faload,daload,aaload
从操作数栈存存储到数组：bastore,castore,sastore,iastore,lastore,fastore,dastore,aastore
获取数组长度：arraylength
检相类实例或数组属性：instanceof,checkcast
操作数栈管理：pop,pop2,dup,dup2,dup_xl,dup2_xl,dup_x2,dup2_x2,swap
有条件转移：ifeq,iflt,ifle,ifne,ifgt,ifge,ifnull,ifnonnull,if_icmpeq,if_icmpene,
if_icmplt,if_icmpgt,if_icmple,if_icmpge,if_acmpeq,if_acmpne,lcmp,fcmpl
fcmpg,dcmpl,dcmpg
复合条件转移：tableswitch,lookupswitch
无条件转移：goto,goto_w,jsr,jsr_w,ret
调度对象的实便方法：invokevirt l
调用由接口实现的方法：invokeinterface
调用需要特殊处理的实例方法：invokespecial
调用命名类中的静态方法：invokestatic
方法返回：ireturn,lreturn,freturn,dreturn,areturn,return
异常：athrow
finally关键字的实现使用：jsr,jsr_w,ret

 

 

归纳

JVM指令助记符

助记符前缀、后缀、中间量

含义

i

int

l

long

f

float

b

byte

d

double

a

reference

cmp

compare

const

常量

push

入栈操作

dup

复制操作数栈栈顶的值并掺入栈顶

xa

将x类型数组操作，a表示数组

xxx_<n>

指令_，<n>代表当前栈帧中局部变量表的索引值

x2y

将x类型数据转换为y类型，如d2f

xreturn

x表示返回值类型，无表示void

load或load_n

对应变量加载到操作数栈

store或store_n

保存到本地变量表中

ldc

从运行时常量池中提取数据并压入操作数栈

x_w

x指令的宽索引

static

类静态域

field

类实例域

new

创建类实例

运算符

 

add

相加

div

除法

mul

乘法

neg

取负

rem

求余

sub

减法

shl或shr

左右移位运算，u无符号

iinc

以常理为增量的局部变量自增

xor

异或运算

if_xx

对应英文字母缩写

eq

等于

ne

不等于

le

小于等于

ge

大于等于

gt

大于

lt

小于

 

 

其它重要的助记符，这些助记符都对应16进制字节码。（这个说法不知准确否）

java异常相关指令

jsr

跳转至指定16位offset位置，并将jsr下一条指令地址压入栈顶

ret

返回至本地变量

athrow

抛出异常

jsr和ret指令在较早的jdk版本就不使用，JDK1.7之后禁止使用采用分支条件处理。每个异常生产一个分支。

java switch语句对应指令

tableswitch

用于switch条件跳转，case值连续（可变长度指令）

lookupswitch

用于switch条件跳转，case值不连续（可变长度指令）

java虚拟机只支持int类型的条件值。因为byte、char和short在虚拟机中是以int类型处理。字符串的支持是个语法糖。

虽然开发人员在Java源代码的switch语句中使用了字符串类型，但是在编译的过程中，编译器会根据源代码的含义进行转换，将字符串类型转换成与整数类型兼容的格式。不同的Java编译器可能采用不同的方式来转换，并采用不同的优化策略。比如：如果switch语句中只包含一个case语句，那么就可以简单的将其转换成一个if语句。如果包含一个case和一个default语句，就可以转换成if-else语句。而对于复杂的情况（多个case语句），也可以转换成Java 7 之前的switch语句，只不过使用字符串的哈希值作为switch语句表达式的值。经过转换，Java 虚拟机看到的仍然是与整数类型兼容的类型。这里要注意的是，在case字句中对应的语句块中仍然需要使用String的equals方法来进行字符串比较，这是因为哈希函数在映射的时候可能存在冲突，这样更加保险了。

当case分支条件连续时，使用tableswitch指令，性能优于lookupswitch指令。当case分支条件值稀疏时，tableswitch指令空间使用率偏低，使用lookupswitch。

 

java虚拟机执行方法调用指令

invokevirtual

调用实例方法，跟下面的invokespecial指令区别

invokespecial

调用实例方法，专门用来调用父类方法、私有方法和实例初始化方法

invokestatic

调用类方法

invokeinterface

调用接口方法

invokedynamic

调用动态方法，

• 指向java.lang.invoke.MethodHandle实例的引用
• 指向java.lang.invoke.MethodType实例的引用
• 指向锁设计的静态参数的引用

Java7一项重要的改进是JVM中增加了invokedynamic指令，用于支持非Java语言，尤其是动态语言。java8中对lambda表达式的支持，详细阅读知乎。

java虚拟机同步指令

monitorenter

获得对象的锁，用于同步方法或同步块

monitorexit

释放对象的锁，用于同步方法或同步块

java虚拟机中的同步进入和退出是用monitor来实现的，而方法同步是调用指令读取运行时常量池中方法的ACC_SYNCHRONIZED标志来隐式实现的。但都是通过monitorenter和monitorexit指令实现同步。