Editando Bytecode Java (sección)

== Estructura ==
El [[opcode]] de cada instrucción es de un byte de largo, aunque algunas requieren parámetros resultando en instrucciones multibyte. No todos los 256 posibles opcodes son utilizados. De hecho, [[Sun Microsystems]], el creador original de la plataforma Java, separó tres valores para que queden permanentemente sin implementar.<ref name="reserved_opcodes">[https://java.sun.com/docs/books/jvms/second_edition/html/Instructions.doc.html#60105 VM Spec - Reserved Opcodes]</ref>

Las instrucciones caen en las siguientes categorías:
* Mover de memoria a registros y viceversa (ej. aload_0, istore)
* Aritmética y lógica (ej. ladd, fcmpl)
* Conversión de tipos (ej. i2b, d2i)
* Creación y manipulación de objetos (ej. new, putfield)
* Manipulación de la pila de operandos (ej. swap, dup2)
* Control de flujo (ej. ifeq, goto)
* Invocación de métodos y retorno de los mismos (ej. invokespecial, areturn)

También hay algunas pocas instrucciones para operaciones más especializadas, tales como [[manejo de excepciones]], sincronización, etc.

El estilo del bytecode Java es análogo al de un [[lenguaje de programación orientado a pila]]. Por ejemplo, el código ensamblador para sumar dos registros y mover el resultado a un tercero para un [[Unidad central de procesamiento|CPU]] de la familia [[x86]] se ve así:

<syntaxhighlight lang="asm">
 add eax, edx
 mov ecx, eax</syntaxhighlight>

mientras que el código comparable en [[lenguaje ensamblador]] de Java se vería así:

<code>
 iload_1
 iload_2
 iadd
 istore_3</code>

Los dos valores a ser sumados son colocados en una pila, de la que serán tomados por la instrucción de suma. El resultado de la suma es vuelto a poner en la pila y recuperado por la última instrucción, que lo mueve al registro.