004-JVM指令集(指令码、助记符、功能描述)
一、JVM指令助记符
1)操作数栈
变量到操作数栈: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_
把数据装载到操作数栈:baload,caload,saload,iaload,laload,faload,daload,aaload
从操作数栈存存储到数组:bastore,castore,sastore,iastore,lastore,fastore,dastore,aastore
操作数栈管理:pop,pop2,dup,dup2,dup_xl,dup2_xl,dup_x2,dup2_x2,swap
2)运算与转换
加: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(缩窄数值转换)
3)条件转移
有条件转移: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
4)类与数组
创建类实便:new
创建新数组:newarray,anewarray,multianwarray
访问类的域和类实例域:getfield,putfield,getstatic,putstatic
获取数组长度:arraylength
检相类实例或数组属性:instanceof,checkcast
5)调度与返回加finally
调度对象的实便方法:invokevirt l
调用由接口实现的方法:invokeinterface
调用需要特殊处理的实例方法:invokespecial
调用命名类中的静态方法:invokestatic
方法返回:ireturn,lreturn,freturn,dreturn,areturn,return
异常:athrow
finally关键字的实现使用:jsr,jsr_w,ret
二、JVM指令集
原文地址:https://en.wikipedia.org/wiki/Java_bytecode_instruction_listings
Mnemonic | Opcode (in hex) |
Opcode (in binary) | Other bytes [count]: [operand labels] |
Stack [before]→[after] |
Description |
---|---|---|---|---|---|
nop | 00 | 0000 0000 | [No change] | perform no operation | |
aconst_null | 01 | 0000 0001 | → null | push a null reference onto the stack | |
iconst_m1 | 02 | 0000 0010 | → -1 | load the int value −1 onto the stack | |
iconst_0 | 03 | 0000 0011 | → 0 | load the int value 0 onto the stack | |
iconst_1 | 04 | 0000 0100 | → 1 | load the int value 1 onto the stack | |
iconst_2 | 05 | 0000 0101 | → 2 | load the int value 2 onto the stack | |
iconst_3 | 06 | 0000 0110 | → 3 | load the int value 3 onto the stack | |
iconst_4 | 07 | 0000 0111 | → 4 | load the int value 4 onto the stack | |
iconst_5 | 08 | 0000 1000 | → 5 | load the int value 5 onto the stack | |
lconst_0 | 09 | 0000 1001 | → 0L | push 0L (the number zero with type long) onto the stack | |
lconst_1 | 0a | 0000 1010 | → 1L | push 1L (the number one with type long) onto the stack | |
fconst_0 | 0b | 0000 1011 | → 0.0f | push 0.0f on the stack | |
fconst_1 | 0c | 0000 1100 | → 1.0f | push 1.0f on the stack | |
fconst_2 | 0d | 0000 1101 | → 2.0f | push 2.0f on the stack | |
dconst_0 | 0e | 0000 1110 | → 0.0 | push the constant 0.0 (a double) onto the stack | |
dconst_1 | 0f | 0000 1111 | → 1.0 | push the constant 1.0 (a double) onto the stack | |
bipush | 10 | 0001 0000 | 1: byte | → value | push a byte onto the stack as an integer value |
sipush | 11 | 0001 0001 | 2: byte1, byte2 | → value | push a short onto the stack as an integer value |
ldc | 12 | 0001 0010 | 1: index | → value | push a constant #index from a constant pool (String, int, float, Class, java.lang.invoke.MethodType, or java.lang.invoke.MethodHandle) onto the stack |
ldc_w | 13 | 0001 0011 | 2: indexbyte1, indexbyte2 | → value | push a constant #index from a constant pool (String, int, float, Class, java.lang.invoke.MethodType, or java.lang.invoke.MethodHandle) onto the stack (wide index is constructed as indexbyte1 << 8 + indexbyte2) |
ldc2_w | 14 | 0001 0100 | 2: indexbyte1, indexbyte2 | → value | push a constant #index from a constant pool (double or long) onto the stack (wide index is constructed as indexbyte1 << 8 + indexbyte2) |
iload | 15 | 0001 0101 | 1: index | → value | load an int value from a local variable #index |
lload | 16 | 0001 0110 | 1: index | → value | load a long value from a local variable #index |
fload | 17 | 0001 0111 | 1: index | → value | load a float value from a local variable #index |
dload | 18 | 0001 1000 | 1: index | → value | load a double value from a local variable #index |
aload | 19 | 0001 1001 | 1: index | → objectref | load a reference onto the stack from a local variable #index |
iload_0 | 1a | 0001 1010 | → value | load an int value from local variable 0 | |
iload_1 | 1b | 0001 1011 | → value | load an int value from local variable 1 | |
iload_2 | 1c | 0001 1100 | → value | load an int value from local variable 2 | |
iload_3 | 1d | 0001 1101 | → value | load an int value from local variable 3 | |
lload_0 | 1e | 0001 1110 | → value | load a long value from a local variable 0 | |
lload_1 | 1f | 0001 1111 | → value | load a long value from a local variable 1 | |
lload_2 | 20 | 0010 0000 | → value | load a long value from a local variable 2 | |
lload_3 | 21 | 0010 0001 | → value | load a long value from a local variable 3 | |
fload_0 | 22 | 0010 0010 | → value | load a float value from local variable 0 | |
fload_1 | 23 | 0010 0011 | → value | load a float value from local variable 1 | |
fload_2 | 24 | 0010 0100 | → value | load a float value from local variable 2 | |
fload_3 | 25 | 0010 0101 | → value | load a float value from local variable 3 | |
dload_0 | 26 | 0010 0110 | → value | load a double from local variable 0 | |
dload_1 | 27 | 0010 0111 | → value | load a double from local variable 1 | |
dload_2 | 28 | 0010 1000 | → value | load a double from local variable 2 | |
dload_3 | 29 | 0010 1001 | → value | load a double from local variable 3 | |
aload_0 | 2a | 0010 1010 | → objectref | load a reference onto the stack from local variable 0 | |
aload_1 | 2b | 0010 1011 | → objectref | load a reference onto the stack from local variable 1 | |
aload_2 | 2c | 0010 1100 | → objectref | load a reference onto the stack from local variable 2 | |
aload_3 | 2d | 0010 1101 | → objectref | load a reference onto the stack from local variable 3 | |
iaload | 2e | 0010 1110 | arrayref, index → value | load an int from an array | |
laload | 2f | 0010 1111 | arrayref, index → value | load a long from an array | |
faload | 30 | 0011 0000 | arrayref, index → value | load a float from an array | |
daload | 31 | 0011 0001 | arrayref, index → value | load a double from an array | |
aaload | 32 | 0011 0010 | arrayref, index → value | load onto the stack a reference from an array | |
baload | 33 | 0011 0011 | arrayref, index → value | load a byte or Boolean value from an array | |
caload | 34 | 0011 0100 | arrayref, index → value | load a char from an array | |
saload | 35 | 0011 0101 | arrayref, index → value | load short from array | |
istore | 36 | 0011 0110 | 1: index | value → | store int value into variable #index |
lstore | 37 | 0011 0111 | 1: index | value → | store a long value in a local variable #index |
fstore | 38 | 0011 1000 | 1: index | value → | store a float value into a local variable #index |
dstore | 39 | 0011 1001 | 1: index | value → | store a double value into a local variable #index |
astore | 3a | 0011 1010 | 1: index | objectref → | store a reference into a local variable #index |
istore_0 | 3b | 0011 1011 | value → | store int value into variable 0 | |
istore_1 | 3c | 0011 1100 | value → | store int value into variable 1 | |
istore_2 | 3d | 0011 1101 | value → | store int value into variable 2 | |
istore_3 | 3e | 0011 1110 | value → | store int value into variable 3 | |
lstore_0 | 3f | 0011 1111 | value → | store a long value in a local variable 0 | |
lstore_1 | 40 | 0100 0000 | value → | store a long value in a local variable 1 | |
lstore_2 | 41 | 0100 0001 | value → | store a long value in a local variable 2 | |
lstore_3 | 42 | 0100 0010 | value → | store a long value in a local variable 3 | |
fstore_0 | 43 | 0100 0011 | value → | store a float value into local variable 0 | |
fstore_1 | 44 | 0100 0100 | value → | store a float value into local variable 1 | |
fstore_2 | 45 | 0100 0101 | value → | store a float value into local variable 2 | |
fstore_3 | 46 | 0100 0110 | value → | store a float value into local variable 3 | |
dstore_0 | 47 | 0100 0111 | value → | store a double into local variable 0 | |
dstore_1 | 48 | 0100 1000 | value → | store a double into local variable 1 | |
dstore_2 | 49 | 0100 1001 | value → | store a double into local variable 2 | |
dstore_3 | 4a | 0100 1010 | value → | store a double into local variable 3 | |
astore_0 | 4b | 0100 1011 | objectref → | store a reference into local variable 0 | |
astore_1 | 4c | 0100 1100 | objectref → | store a reference into local variable 1 | |
astore_2 | 4d | 0100 1101 | objectref → | store a reference into local variable 2 | |
astore_3 | 4e | 0100 1110 | objectref → | store a reference into local variable 3 | |
iastore | 4f | 0100 1111 | arrayref, index, value → | store an int into an array | |
lastore | 50 | 0101 0000 | arrayref, index, value → | store a long to an array | |
fastore | 51 | 0101 0001 | arrayref, index, value → | store a float in an array | |
dastore | 52 | 0101 0010 | arrayref, index, value → | store a double into an array | |
aastore | 53 | 0101 0011 | arrayref, index, value → | store into a reference in an array | |
bastore | 54 | 0101 0100 | arrayref, index, value → | store a byte or Boolean value into an array | |
castore | 55 | 0101 0101 | arrayref, index, value → | store a char into an array | |
sastore | 56 | 0101 0110 | arrayref, index, value → | store short to array | |
pop | 57 | 0101 0111 | value → | discard the top value on the stack | |
pop2 | 58 | 0101 1000 | {value2, value1} → | discard the top two values on the stack (or one value, if it is a double or long) | |
dup | 59 | 0101 1001 | value → value, value | duplicate the value on top of the stack | |
dup_x1 | 5a | 0101 1010 | value2, value1 → value1, value2, value1 | insert a copy of the top value into the stack two values from the top. value1 and value2 must not be of the type double or long. | |
dup_x2 | 5b | 0101 1011 | value3, value2, value1 → value1, value3, value2, value1 | insert a copy of the top value into the stack two (if value2 is double or long it takes up the entry of value3, too) or three values (if value2 is neither double nor long) from the top | |
dup2 | 5c | 0101 1100 | {value2, value1} → {value2, value1}, {value2, value1} | duplicate top two stack words (two values, if value1 is not double nor long; a single value, if value1 is double or long) | |
dup2_x1 | 5d | 0101 1101 | value3, {value2, value1} → {value2, value1}, value3, {value2, value1} | duplicate two words and insert beneath third word (see explanation above) | |
dup2_x2 | 5e | 0101 1110 | {value4, value3}, {value2, value1} → {value2, value1}, {value4, value3}, {value2, value1} | duplicate two words and insert beneath fourth word | |
swap | 5f | 0101 1111 | value2, value1 → value1, value2 | swaps two top words on the stack (note that value1 and value2 must not be double or long) | |
iadd | 60 | 0110 0000 | value1, value2 → result | add two ints | |
ladd | 61 | 0110 0001 | value1, value2 → result | add two longs | |
fadd | 62 | 0110 0010 | value1, value2 → result | add two floats | |
dadd | 63 | 0110 0011 | value1, value2 → result | add two doubles | |
isub | 64 | 0110 0100 | value1, value2 → result | int subtract | |
lsub | 65 | 0110 0101 | value1, value2 → result | subtract two longs | |
fsub | 66 | 0110 0110 | value1, value2 → result | subtract two floats | |
dsub | 67 | 0110 0111 | value1, value2 → result | subtract a double from another | |
imul | 68 | 0110 1000 | value1, value2 → result | multiply two integers | |
lmul | 69 | 0110 1001 | value1, value2 → result | multiply two longs | |
fmul | 6a | 0110 1010 | value1, value2 → result | multiply two floats | |
dmul | 6b | 0110 1011 | value1, value2 → result | multiply two doubles | |
idiv | 6c | 0110 1100 | value1, value2 → result | divide two integers | |
ldiv | 6d | 0110 1101 | value1, value2 → result | divide two longs | |
fdiv | 6e | 0110 1110 | value1, value2 → result | divide two floats | |
ddiv | 6f | 0110 1111 | value1, value2 → result | divide two doubles | |
irem | 70 | 0111 0000 | value1, value2 → result | logical int remainder | |
lrem | 71 | 0111 0001 | value1, value2 → result | remainder of division of two longs | |
frem | 72 | 0111 0010 | value1, value2 → result | get the remainder from a division between two floats | |
drem | 73 | 0111 0011 | value1, value2 → result | get the remainder from a division between two doubles | |
ineg | 74 | 0111 0100 | value → result | negate int | |
lneg | 75 | 0111 0101 | value → result | negate a long | |
fneg | 76 | 0111 0110 | value → result | negate a float | |
dneg | 77 | 0111 0111 | value → result | negate a double | |
ishl | 78 | 0111 1000 | value1, value2 → result | int shift left | |
lshl | 79 | 0111 1001 | value1, value2 → result | bitwise shift left of a long value1 by int value2 positions | |
ishr | 7a | 0111 1010 | value1, value2 → result | int arithmetic shift right | |
lshr | 7b | 0111 1011 | value1, value2 → result | bitwise shift right of a long value1 by int value2 positions | |
iushr | 7c | 0111 1100 | value1, value2 → result | int logical shift right | |
lushr | 7d | 0111 1101 | value1, value2 → result | bitwise shift right of a long value1 by int value2 positions, unsigned | |
iand | 7e | 0111 1110 | value1, value2 → result | perform a bitwise AND on two integers | |
land | 7f | 0111 1111 | value1, value2 → result | bitwise AND of two longs | |
ior | 80 | 1000 0000 | value1, value2 → result | bitwise int OR | |
lor | 81 | 1000 0001 | value1, value2 → result | bitwise OR of two longs | |
ixor | 82 | 1000 0010 | value1, value2 → result | int xor | |
lxor | 83 | 1000 0011 | value1, value2 → result | bitwise XOR of two longs | |
iinc | 84 | 1000 0100 | 2: index, const | [No change] | increment local variable #index by signed byte const |
i2l | 85 | 1000 0101 | value → result | convert an int into a long | |
i2f | 86 | 1000 0110 | value → result | convert an int into a float | |
i2d | 87 | 1000 0111 | value → result | convert an int into a double | |
l2i | 88 | 1000 1000 | value → result | convert a long to a int | |
l2f | 89 | 1000 1001 | value → result | convert a long to a float | |
l2d | 8a | 1000 1010 | value → result | convert a long to a double | |
f2i | 8b | 1000 1011 | value → result | convert a float to an int | |
f2l | 8c | 1000 1100 | value → result | convert a float to a long | |
f2d | 8d | 1000 1101 | value → result | convert a float to a double | |
d2i | 8e | 1000 1110 | value → result | convert a double to an int | |
d2l | 8f | 1000 1111 | value → result | convert a double to a long | |
d2f | 90 | 1001 0000 | value → result | convert a double to a float | |
i2b | 91 | 1001 0001 | value → result | convert an int into a byte | |
i2c | 92 | 1001 0010 | value → result | convert an int into a character | |
i2s | 93 | 1001 0011 | value → result | convert an int into a short | |
lcmp | 94 | 1001 0100 | value1, value2 → result | push 0 if the two longs are the same, 1 if value1 is greater than value2, -1 otherwise | |
fcmpl | 95 | 1001 0101 | value1, value2 → result | compare two floats | |
fcmpg | 96 | 1001 0110 | value1, value2 → result | compare two floats | |
dcmpl | 97 | 1001 0111 | value1, value2 → result | compare two doubles | |
dcmpg | 98 | 1001 1000 | value1, value2 → result | compare two doubles | |
ifeq | 99 | 1001 1001 | 2: branchbyte1, branchbyte2 | value → | if value is 0, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
ifne | 9a | 1001 1010 | 2: branchbyte1, branchbyte2 | value → | if value is not 0, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
iflt | 9b | 1001 1011 | 2: branchbyte1, branchbyte2 | value → | if value is less than 0, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
ifge | 9c | 1001 1100 | 2: branchbyte1, branchbyte2 | value → | if value is greater than or equal to 0, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
ifgt | 9d | 1001 1101 | 2: branchbyte1, branchbyte2 | value → | if value is greater than 0, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
ifle | 9e | 1001 1110 | 2: branchbyte1, branchbyte2 | value → | if value is less than or equal to 0, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
if_icmpeq | 9f | 1001 1111 | 2: branchbyte1, branchbyte2 | value1, value2 → | if ints are equal, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
if_icmpne | a0 | 1010 0000 | 2: branchbyte1, branchbyte2 | value1, value2 → | if ints are not equal, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
if_icmplt | a1 | 1010 0001 | 2: branchbyte1, branchbyte2 | value1, value2 → | if value1 is less than value2, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
if_icmpge | a2 | 1010 0010 | 2: branchbyte1, branchbyte2 | value1, value2 → | if value1 is greater than or equal to value2, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
if_icmpgt | a3 | 1010 0011 | 2: branchbyte1, branchbyte2 | value1, value2 → | if value1 is greater than value2, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
if_icmple | a4 | 1010 0100 | 2: branchbyte1, branchbyte2 | value1, value2 → | if value1 is less than or equal to value2, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
if_acmpeq | a5 | 1010 0101 | 2: branchbyte1, branchbyte2 | value1, value2 → | if references are equal, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
if_acmpne | a6 | 1010 0110 | 2: branchbyte1, branchbyte2 | value1, value2 → | if references are not equal, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
goto | a7 | 1010 0111 | 2: branchbyte1, branchbyte2 | [no change] | goes to another instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
jsr | a8 | 1010 1000 | 2: branchbyte1, branchbyte2 | → address | jump to subroutine at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) and place the return address on the stack |
ret | a9 | 1010 1001 | 1: index | [No change] | continue execution from address taken from a local variable #index (the asymmetry with jsr is intentional) |
tableswitch | aa | 1010 1010 | 16+: [0–3 bytes padding], defaultbyte1, defaultbyte2, defaultbyte3, defaultbyte4, lowbyte1, lowbyte2, lowbyte3, lowbyte4, highbyte1, highbyte2, highbyte3, highbyte4, jump offsets... | index → | continue execution from an address in the table at offset index |
lookupswitch | ab | 1010 1011 | 8+: <0–3 bytes padding>, defaultbyte1, defaultbyte2, defaultbyte3, defaultbyte4, npairs1, npairs2, npairs3, npairs4, match-offset pairs... | key → | a target address is looked up from a table using a key and execution continues from the instruction at that address |
ireturn | ac | 1010 1100 | value → [empty] | return an integer from a method | |
lreturn | ad | 1010 1101 | value → [empty] | return a long value | |
freturn | ae | 1010 1110 | value → [empty] | return a float | |
dreturn | af | 1010 1111 | value → [empty] | return a double from a method | |
areturn | b0 | 1011 0000 | objectref → [empty] | return a reference from a method | |
return | b1 | 1011 0001 | → [empty] | return void from method | |
getstatic | b2 | 1011 0010 | 2: indexbyte1, indexbyte2 | → value | get a static field value of a class, where the field is identified by field reference in the constant pool index (indexbyte1 << 8 + indexbyte2) |
putstatic | b3 | 1011 0011 | 2: indexbyte1, indexbyte2 | value → | set static field to value in a class, where the field is identified by a field reference index in constant pool (indexbyte1 << 8 + indexbyte2) |
getfield | b4 | 1011 0100 | 2: indexbyte1, indexbyte2 | objectref → value | get a field value of an object objectref, where the field is identified by field reference in the constant pool index (indexbyte1 << 8 + indexbyte2) |
putfield | b5 | 1011 0101 | 2: indexbyte1, indexbyte2 | objectref, value → | set field to value in an object objectref, where the field is identified by a field reference index in constant pool (indexbyte1 << 8 + indexbyte2) |
invokevirtual | b6 | 1011 0110 | 2: indexbyte1, indexbyte2 | objectref, [arg1, arg2, ...] → result | invoke virtual method on object objectref and puts the result on the stack (might be void); the method is identified by method reference index in constant pool (indexbyte1 << 8 + indexbyte2) |
invokespecial | b7 | 1011 0111 | 2: indexbyte1, indexbyte2 | objectref, [arg1, arg2, ...] → result | invoke instance method on object objectref and puts the result on the stack (might be void); the method is identified by method reference index in constant pool (indexbyte1 << 8 + indexbyte2) |
invokestatic | b8 | 1011 1000 | 2: indexbyte1, indexbyte2 | [arg1, arg2, ...] → result | invoke a static method and puts the result on the stack (might be void); the method is identified by method reference index in constant pool (indexbyte1 << 8 + indexbyte2) |
invokeinterface | b9 | 1011 1001 | 4: indexbyte1, indexbyte2, count, 0 | objectref, [arg1, arg2, ...] → result | invokes an interface method on object objectref and puts the result on the stack (might be void); the interface method is identified by method reference index in constant pool (indexbyte1 << 8 + indexbyte2) |
invokedynamic | ba | 1011 1010 | 4: indexbyte1, indexbyte2, 0, 0 | [arg1, [arg2 ...]] → result | invokes a dynamic method and puts the result on the stack (might be void); the method is identified by method reference index in constant pool (indexbyte1 << 8 + indexbyte2) |
new | bb | 1011 1011 | 2: indexbyte1, indexbyte2 | → objectref | create new object of type identified by class reference in constant pool index (indexbyte1 << 8 + indexbyte2) |
newarray | bc | 1011 1100 | 1: atype | count → arrayref | create new array with count elements of primitive type identified by atype |
anewarray | bd | 1011 1101 | 2: indexbyte1, indexbyte2 | count → arrayref | create a new array of references of length count and component type identified by the class reference index (indexbyte1 << 8 + indexbyte2) in the constant pool |
arraylength | be | 1011 1110 | arrayref → length | get the length of an array | |
athrow | bf | 1011 1111 | objectref → [empty], objectref | throws an error or exception (notice that the rest of the stack is cleared, leaving only a reference to the Throwable) | |
checkcast | c0 | 1100 0000 | 2: indexbyte1, indexbyte2 | objectref → objectref | checks whether an objectref is of a certain type, the class reference of which is in the constant pool at index (indexbyte1 << 8 + indexbyte2) |
instanceof | c1 | 1100 0001 | 2: indexbyte1, indexbyte2 | objectref → result | determines if an object objectref is of a given type, identified by class reference index in constant pool (indexbyte1 << 8 + indexbyte2) |
monitorenter | c2 | 1100 0010 | objectref → | enter monitor for object ("grab the lock" – start of synchronized() section) | |
monitorexit | c3 | 1100 0011 | objectref → | exit monitor for object ("release the lock" – end of synchronized() section) | |
wide | c4 | 1100 0100 | 3/5: opcode, indexbyte1, indexbyte2 or iinc, indexbyte1, indexbyte2, countbyte1, countbyte2 |
[same as for corresponding instructions] | execute opcode, where opcode is either iload, fload, aload, lload, dload, istore, fstore, astore, lstore, dstore, or ret, but assume the index is 16 bit; or execute iinc, where the index is 16 bits and the constant to increment by is a signed 16 bit short |
multianewarray | c5 | 1100 0101 | 3: indexbyte1, indexbyte2, dimensions | count1, [count2,...] → arrayref | create a new array of dimensions dimensions of type identified by class reference in constant pool index (indexbyte1 << 8 + indexbyte2); the sizes of each dimension is identified by count1, [count2, etc.] |
ifnull | c6 | 1100 0110 | 2: branchbyte1, branchbyte2 | value → | if value is null, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
ifnonnull | c7 | 1100 0111 | 2: branchbyte1, branchbyte2 | value → | if value is not null, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) |
goto_w | c8 | 1100 1000 | 4: branchbyte1, branchbyte2, branchbyte3, branchbyte4 | [no change] | goes to another instruction at branchoffset (signed int constructed from unsigned bytes branchbyte1 << 24 + branchbyte2 << 16 + branchbyte3 << 8 + branchbyte4) |
jsr_w | c9 | 1100 1001 | 4: branchbyte1, branchbyte2, branchbyte3, branchbyte4 | → address | jump to subroutine at branchoffset (signed int constructed from unsigned bytes branchbyte1 << 24 + branchbyte2 << 16 + branchbyte3 << 8 + branchbyte4) and place the return address on the stack |
breakpoint | ca | 1100 1010 | reserved for breakpoints in Java debuggers; should not appear in any class file | ||
(no name) | cb-fd | these values are currently unassigned for opcodes and are reserved for future use | |||
impdep1 | fe | 1111 1110 | reserved for implementation-dependent operations within debuggers; should not appear in any class file | ||
impdep2 | ff | 1111 1111 | reserved for implementation-dependent operations within debuggers; should not appear in any class file |
004-JVM指令集(指令码、助记符、功能描述)的更多相关文章
- jvm字节码助记符
反编译指令 javap -c xxxx.class JVM参数设置 -xx:+<option> 开启option -xx: -<option> ...
- JVM指令集(指令码、助记符、功能描述)(转)
JVM指令集(指令码.助记符.功能描述) 指令码 助记符 功能描述 0x00 nop 无操作 0x01 aconst_null 指令格式: aconst_null 功能描述: null进栈. 指令 ...
- JVM指令集(指令码、助记符、功能描述)
JVM指令集(指令码.助记符.功能描述) 指令码 助记符 功能描述 0x00 nop 无操作 0x01 aconst_null 指令格式: aconst_null 功能描述: null进栈. 指令 ...
- [三] java虚拟机 JVM字节码 指令集 bytecode 操作码 指令分类用法 助记符
说明,本文的目的在于从宏观逻辑上介绍清楚绝大多数的字节码指令的含义以及分类 只要认真阅读本文必然能够对字节码指令集有所了解 如果需要了解清楚每一个指令的具体详尽用法,请参阅虚拟机规范 指令简介 计算机 ...
- JVM指令助记符
以下只是JVM指令助记符,关于JVM指令的详细内容请阅读<JVM指令详解> 变量到操作数栈:iload,iload_,lload,lload_,fload,fload_,dload,dlo ...
- JAVA JVM助记符
ldc:将int/float/String类型的常量值从常量池中推送至栈顶(栈顶的值是即将要用的) bipush:将单字节(-128 ~ 127)的常量值从常量池中推至栈顶 sipush:将一个短整型 ...
- JVM常量的含义与反编译助记符详解
1.定义一个常量 public class MyTest2 { public static void main(String[] args) { System.out.println(MyParent ...
- Java SE7虚拟机指令操作码助记符
本文转载自Java SE7 虚拟机指令操作码助记符 导语 在Class文件中,Java方法里的方法体,也就是代表着一个Java源码程序中程序的部分存储在方法表集合的Code属性中.存储在Code属性中 ...
- JVM-操作码助记符
整理如下,用于以后查找: Opcode Mnemonics Note Constants 0x00 nop 无动作 0x01 aconst_null 把 null 推到操作数栈 0x02 iconst ...
随机推荐
- C语言 指向结构体变量的指针
一个指向变量的指针表示的是占内存中起始位置 一个指向结构体的变量的指针表示的是这个结构体变量占内存中的起始位置,同样它也可以指向结构体变量数组 定义结构体变量的指针: //假设已有一个结构体名为Stu ...
- atitit.MIZIAN 陕北方言 特有词汇 大词典 attilax 整理 a--g v1 q31.xlsx
atitit.MIZIAN 陕北方言 特有词汇 大词典 attilax 整理 a--g v1 q31.xlsx 1 Mizian陕北方言 english英语 spain西班牙语 cantonese粤 ...
- DSP6455的cmd文件
DSP6455的cmd文件 CMD 的专业名称叫链接器配置文件,存放链接器的配置信息,DSP编译器的编译结果是未定位的,DSP也没有操作系统来定位执行代码,DSP系统的配置需求也不尽相同,因此需要定义 ...
- mysql创建数据库时设置编码方式
CREATE DATABASE procedure_function DEFAULT CHARACTER SET utf8 COLLATE utf8_general_ci;
- openresty+lua在反向代理服务中的玩法
openresty+lua在反向代理服务中的玩法 phith0n · 2015/06/02 10:35 0x01 起因 几天前学弟给我介绍他用nginx搭建的反代,代理了谷歌和维基百科. 由此我想到了 ...
- java - day14 - InnerClass
内部类使用 package com.InnerClass; public class Mama { String name; Baby baby; Mama(String name){ this.na ...
- 5 月 35 日临近,Google 无法访问,可以使用 Google IP 来解决。
每年都会有几天那啥,你懂的. 直接使用 Google 的域名访问经常会打不开,而使用 Google 的 IP 就会很顺畅. 使用 Chrome 浏览器我们经常都会在地址栏直接搜索,所以我们只要添加一个 ...
- 推荐个强大的任务管理器-Process Hacker
软件主页及下载: http://processhacker.sourceforge.net/index.php 之前一直用process explorer 功能一样强大,但是process hacke ...
- Java 十进制和十六制之间的转化(负数的处理)
原文: http://www.cnblogs.com/literoad/archive/2013/01/25/2875908.html 在一些情况下,我们需要将数字在十进制和十六制下互相转化. 在Ja ...
- java获取真实的ip地址
直接上代码,获取请求主机的IP地址,如果通过代理进来,则透过防火墙获取真实IP地址 public class IPUtil { private static final Logger logger = ...