A.1 字节代码指令

本节对字节代码指令进行简要描述。如需全面描述，请参阅 Java 虚拟机规范。

约定：a 和 b 表示 int, float, long 或 double 值（比如，它们对于 IADD 表示 int，而对于 LADD 则表示 long），o 和 p 表示对象引用，v 表示任意值（或者，对于栈指令，表示大小为 1 的值），w 表示 long 或 double，i、j 和 n 表示 int 值。

局部变量

指令	之前的栈	之后的栈
ILOAD, LLOAD, FLOAD, DLOAD var	...	... , a
ALOAD var	...	... , o
ISTORE, LSTORE, FSTORE, DSTORE var	... , a	...
ASTORE var	... , o	...
IINC var incr	...	...

栈

指令	之前的栈	之后的栈
POP	... , v	...
POP2	... , v1 , v2	...
POP2	... , w	...
DUP	... , v	... , v , v
DUP2	... , v1 , v2	... , v1 , v2 , v1 , v2
DUP2	... , w	... , w, w
SWAP	... , v1 , v2	... , v2 , v1
DUP_X1	... , v1 , v2	... , v2 , v1 , v2
DUP_X2	... , v1 , v2 , v3	... , v3 , v1 , v2 , v3
DUP_X2	... , w , v	... , v , w , v
DUP2_X1	... , v1 , v2 , v3	... , v2 , v3 , v1 , v2 , v3
DUP2_X1	... , v , w	... , w , v , w
DUP2_X2	... , v1 , v2 , v3 , v4	... , v3 , v4 , v1 , v2 , v3 , v4
DUP2_X2	... , w , v1 , v2	... , v1 , v2 , w , v1 , v2
DUP2_X2	.... , v1 , v2 , w	... , w , v1 , v2 , w
DUP2_X2	... , w1 , w2	... , w2 , w1 , w2

常量

指令	之前的栈	之后的栈
ICONST_n (−1 _ n _ 5)	...	... , n
LCONST_n (0 _ n _ 1)	...	... , nL
FCONST_n (0 _ n _ 2)	...	... , nF
DCONST_n (0 _ n _ 1)	...	... , nD
BIPUSH b, −128 _ b < 127	...	... , b
SIPUSH s, −32768 _ s < 32767	...	... , s
LDC cst (int, float, long, double, String 或 Type)	...	... , cst
ACONST_NULL	...	... , null

算数与逻辑

指令	之前的栈	之后的栈
IADD, LADD, FADD, DADD	... , a , b	... , a + b
ISUB, LSUB, FSUB, DSUB	... , a , b	... , a - b
IMUL, LMUL, FMUL, DMUL	... , a , b	... , a * b
IDIV, LDIV, FDIV, DDIV	... , a , b	... , a / b
IREM, LREM, FREM, DREM	... , a , b	... , a % b
INEG, LNEG, FNEG, DNEG	... , a	... , -a
ISHL, LSHL	... , a , n	... , a <_< n
ISHR, LSHR	... , a , n	... , a >_> n
IUSHR, LUSHR	... , a , n	... , a >>> n
IAND, LAND	... , a , b	... , a & b
IOR, LOR	... , a , b	... , a
IXOR, LXOR	... , a , b	... , a ^ b
LCMP	... , a , b	... , a == b ? 0 : (a < b ? -1 : 1)
FCMPL, FCMPG	... , a , b	... , a == b ? 0 : (a < b ? -1 : 1)
DCMPL, DCMPG	... , a , b	... , a == b ? 0 : (a < b ? -1 : 1)

类型转换

指令	之前的栈	之后的栈
I2B	... , i	... , (byte) i
I2C	... , i	... , (char) i
I2S	... , i	... , (short) i
L2I, F2I, D2I	... , a	... , (int) a
I2L, F2L, D2L	... , a	... , (long) a
I2F, L2F, D2F	... , a	... , (float) a
I2D, L2D, F2D	... , a	... , (double) a
CHECKCAST class	... , o	... , (class) o

对象、字段和方法

指令	之前的栈	之后的栈
NEW class …	…,new class
GETFIELD c f t	... , o	... , o.f
PUTFIELD c f t	... , o , v	...
GETSTATIC c f t	...	... , c.f
PUTSTATIC c f t	... , v	...
INVOKEVIRTUAL c m t	... , o , v1 , ... , vn	... , o.m(v1, ... vn)
INVOKESPECIAL c m t	... , o , v1 , ... , vn	... , o.m(v1, ... vn)
INVOKESTATIC c m t	... , v1 , ... , vn	... , c.m(v1, ... vn)
INVOKEINTERFACE c m t	... , o , v1 , ... , vn	... , o.m(v1, ... vn)
INVOKEDYNAMIC m t bsm	... , o , v1 , ... , vn	... , o.m(v1, ... vn)
INSTANCEOF class	... , o	... , o instanceof class
MONITORENTER	... , o	...
MONITOREXIT	... , o	...

数组

指令	之前的栈	之后的栈
NEWARRAY type （用于任意基元类型）	... , n	... , new type[n]
ANEWARRAY class	... , n	... , new class[n]
MULTIANEWARRAY [...[t n	... , i1 ,... , in	... , new t[i1]...[in]…
BALOAD, CALOAD, SALOAD	... , o , i	... , o[i]
IALOAD, LALOAD,FALOAD, DALOAD	... , o , i	... , o[i]
AALOAD	... , o , i	... , o[i]
BASTORE, CASTORE, SASTORE	... , o , i , j	...
IASTORE, LASTORE, FASTORE, DASTORE	... , o , i , a	...
AASTORE	... , o , i , p	...
ARRAYLENGTH	... , o	... , o.length

跳转

指令	之前的栈	之后的栈
IFEQ	... , i	... i == 0 时跳转
IFNE	... , i	... i != 0 时跳转
IFLT	... , i	... i < 0 时跳转
IFGE	... , i	... i >= 0 时跳转
IFGT	... , i	... i > 0 时跳转
IFLE	... , i	... i <= 0 时跳转
IF_ICMPEQ	... , i , j	... i == j 时跳转
IF_ICMPNE	... , i , j	... i != j 时跳转
IF_ICMPLT	... , i , j	... i < j 时跳转
IF_ICMPGE	... , i , j	... i >= j 时跳转
IF_ICMPGT	... , i , j	... i > j 时跳转
IF_ICMPLE	... , i , j	... i <= j 时跳转
IF_ACMPEQ	... , o , p	... o == p 时跳转
IF_ACMPNE	... , o , p	... o != p 时跳转
IFNULL	... , o	... o == null 时跳转
IFNONNULL	... , o	... o != null 时跳转
GOTO	...	... 总是跳转
TABLESWITCH	... , i	... 总是跳转
LOOKUPSWITCH	... , i	... 总是跳转

返回

指令	之前的栈
IRETURN, LRETURN, FRETURN, DRETURN	... , a
ARETURN	... , o
RETURN	...
ATHROW	... , o