JVM 之 (11)字节码指令

加载和内存指令
记载和内存指令是用于将数据在栈帧中的局部变量表和操做数栈之间来回传输
将局部变量表加载到操做数栈:iload lload fload dload aload
将一个数值从操做数占存储到局部变量表: istore lfda
将一个常量加载到操做数栈: bipush sipush ldc ldc_w ldc2_w aconst_null iconst_m1 iconst_m1
扩充局部变量表的访问索引的指令: wide

运算指令
运算或算术指令用于对两个操做数栈上的值进行某种特定的运算,并把结果存储到操做数栈顶
加法指令: add
减法指令: sub
乘法指令: mul
除法指令: div
取余指令: rem
取反指令: neg


类型转化指令
类型转化指令能够将两种不一样的数值类型进行相互转换,这些转换操做通常用户实现用户代码中的显示类型转换操做以及用来处理字节码指令集中数据类型相关指令没法与数据类型一一对应的问题
宽化类型处理和窄化类型处理
l2b i2c i2s l2i ....


对象建立与访问指令
建立类实例指令: new
建立数组的指令: newarray anewarray multianewarray
把数组元素加载到操做数栈的指令: baload c s I l f d a
将操做数栈的值存储到数组元素: astore
取数组长度指令: arraylength
检查实例类型的指令: instanceof checkcast


操做树栈管理指令
操做数栈指令用于直接操做操做数栈
将操做数栈的一个或两个元素出栈: pop pop2
复制栈顶一个或两个数值并将复制或双份复制值从新压入栈顶: dup dup2 dup_x1 dup_x2
将栈顶的两个数值替换: swap


控制转移指令
控制转移指令可让Java虚拟机有条件或无条件的从指定的位置指令而不是控制转移指令的下一条指令继续执行程序。能够认为控制转移指令就是在修改pc寄存器的值。
条件分支: ifeq iflt ifle ifne ifgt ifnull ifcmple
复合条件分支: tableswitch lookupswitch 
无条件分支Lgoto goto_w jsr jsr_w ret


方法调用指令
invokevitual指令用于调用对象的实例方法,根据对象的实际类型进行分派(虚方法分派),这也是Java语言中最多见的方法分派方式
invokeinterface指令用于调用接口方法,它会在运行时搜索一个实现了这个接口方法的对象,找出适合的方法进行调用
invokespecial指令用于调用一些须要特殊处理的实例方法,包括实例初始化方法、私有方法和父类方法
invokestatic指令用于调用类方法(static方法)


异常处理指令
在程序中显示抛出异常的操做会由athrow指令实现,除了这种状况,还有别的异常会在其余的Java虚拟机指令检测到异常情况时由虚拟机自动抛出


同步指令
Java虚拟机能够支持方法级的同步和方法内部一段指令序列的同步,这两种同步结构都是使用管程(Monitor)来支持的。
方法级的同步是隐式,即无需经过字节码指令来控制的,它实如今方法调用和返回操做之中。虚拟机能够从方法常量池中的方法表结构(method info Structure)中的ACC_SYNCHRONIZED访问标志区分一个方法是不是同步方法。当方法调用时,调用指令将会检查方法的SCC_SYNCHRONIZED访问标志是否被设置,若是设置了,执行线程将先持有管程,而后再执行方法,最后再方法完成(不管是正常完成仍是非正常完成)时释放管程。在方法执行期间,执行线程持有了管程,其余任何线程都没法再得到同一个管程。若是一个同步方法执行期间抛出了异常,而且在方法内部没法处理此异常,那这个同步方法所持有的管程将在异常跑到同步方法以外时自动释放。
同步一段指令集序列一般是由Java语言中的synchronized块来表示的,Java虚拟机的指令集中有monitorenter和monitorexit两条指令来支持synchronized关键字语义,争取实现synchronized关键字须要编译器与Java虚拟机两者写做支持




 JVM指令集(指令码、助记符、功能描述)数组

指令码ide

助记符spa

功能描述线程

0x00code

nop对象

无操做索引

 

0x01接口

aconst_nullip

 

指令格式:  aconst_null内存

 

功能描述:  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的引用型局部变量进栈

 

指令执行前

指令执行后

栈底

...

...

 

objectref

栈顶

 

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。

 

指令执行前

指令执行后

栈底

...

...

arrayref

value

index

 

栈顶

 

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)处的变量中,栈顶数值出栈。

 

指令执行前

指令执行后

栈底

...

...

objectref

 

栈顶

 

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

 

value

 

栈顶

 

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

 

功能描述:  从方法中返回一个对象的引用。

 

抛出异常:  若是当前方法是synchronized方法,

           而且当前线程不是改方法的锁的拥有者,

           会抛出

           IllegalMonitorStateException。

          

指令执行前

指令执行后

栈底

...

 

objectref

 

栈顶

 

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

arrayref

栈顶

 

count      :  int类型。

arrayref   :  对所建立的数组的引用。

 

0xBE

arraylength

 

指令格式:  arraylength

 

功能描述:  栈顶的数组引用(arrayref)出栈,该

           数组的长度进栈。

 

抛出异常:  若是arrayref的值为null,会抛出

           NullPointerException。

 

指令执行前

指令执行后

栈底

...

...

arrayref

length

栈顶

 

arrayref   :  数组引用

length     :  数组长度

 

 

0xBF

athrow

 

指令格式:  athrow

 

功能描述:  将栈顶的数值做为异常或错误抛出

 

抛出异常:  若是栈顶数值为null,则使用

           NullPointerException代替栈顶数

           值抛出。

           若是方法是的,则有可能抛出

           IllegalMonitorStateException。

 

指令执行前

指令执行后

栈底

...

objectref

objectref

 

栈顶

 

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

 






 JVM指令集(指令码、助记符、功能描述)

指令码

助记符

功能描述

0x00

nop

无操做

 

0x01

aconst_null

 

指令格式:  aconst_null

 

功能描述:  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的引用型局部变量进栈

 

指令执行前

指令执行后

栈底

...

...

 

objectref

栈顶

 

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。

 

指令执行前

指令执行后

栈底

...

...

arrayref

value

index

 

栈顶

 

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)处的变量中,栈顶数值出栈。

 

指令执行前

指令执行后

栈底

...

...

objectref

 

栈顶

 

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

 

value

 

栈顶

 

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

 

功能描述:  从方法中返回一个对象的引用。

 

抛出异常:  若是当前方法是synchronized方法,

           而且当前线程不是改方法的锁的拥有者,

           会抛出

           IllegalMonitorStateException。

          

指令执行前

指令执行后

栈底

...

 

objectref

 

栈顶

 

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

arrayref

栈顶

 

count      :  int类型。

arrayref   :  对所建立的数组的引用。

 

0xBE

arraylength

 

指令格式:  arraylength

 

功能描述:  栈顶的数组引用(arrayref)出栈,该

           数组的长度进栈。

 

抛出异常:  若是arrayref的值为null,会抛出

           NullPointerException。

 

指令执行前

指令执行后

栈底

...

...

arrayref

length

栈顶

 

arrayref   :  数组引用

length     :  数组长度

 

 

0xBF

athrow

 

指令格式:  athrow

 

功能描述:  将栈顶的数值做为异常或错误抛出

 

抛出异常:  若是栈顶数值为null,则使用

           NullPointerException代替栈顶数

           值抛出。

           若是方法是的,则有可能抛出

           IllegalMonitorStateException。

 

指令执行前

指令执行后

栈底

...

objectref

objectref

 

栈顶

 

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

相关文章
相关标签/搜索