CBMC
bytecode_info.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 // http://docs.oracle.com/javase/specs/jvms/se8/html/
11 // http://en.wikipedia.org/wiki/Java_bytecode_instruction_listings
12 
13 #include "bytecode_info.h"
14 
15 // clang-format off
16 struct bytecode_infot const bytecode_info[]=
17 {
18 { "nop", 0x00, ' ', 0, 0, ' ' }, // [No change]; perform no operation NOLINT(*)
19 { "aconst_null", 0x01, ' ', 0, 1, 'a' }, // → null; push a null reference onto the stack NOLINT(*)
20 { "iconst_m1", 0x02, ' ', 0, 1, 'i' }, // → -1; load the int value -1 onto the stack NOLINT(*)
21 { "iconst_0", 0x03, ' ', 0, 1, 'i' }, // → 0; load the int value 0 onto the stack NOLINT(*)
22 { "iconst_1", 0x04, ' ', 0, 1, 'i' }, // → 1; load the int value 1 onto the stack NOLINT(*)
23 { "iconst_2", 0x05, ' ', 0, 1, 'i' }, // → 2; load the int value 2 onto the stack NOLINT(*)
24 { "iconst_3", 0x06, ' ', 0, 1, 'i' }, // → 3; load the int value 3 onto the stack NOLINT(*)
25 { "iconst_4", 0x07, ' ', 0, 1, 'i' }, // → 4; load the int value 4 onto the stack NOLINT(*)
26 { "iconst_5", 0x08, ' ', 0, 1, 'i' }, // → 5; load the int value 5 onto the stack NOLINT(*)
27 { "lconst_0", 0x09, ' ', 0, 1, 'l' }, // → 0L; push the long 0 onto the stack NOLINT(*)
28 { "lconst_1", 0x0a, ' ', 0, 1, 'l' }, // → 1L; push the long 1 onto the stack NOLINT(*)
29 { "fconst_0", 0x0b, ' ', 0, 1, 'f' }, // → 0.0f; push 0.0f on the stack NOLINT(*)
30 { "fconst_1", 0x0c, ' ', 0, 1, 'f' }, // → 1.0f; push 1.0f on the stack NOLINT(*)
31 { "fconst_2", 0x0d, ' ', 0, 1, 'f' }, // → 2.0f; push 2.0f on the stack NOLINT(*)
32 { "dconst_0", 0x0e, ' ', 0, 1, 'd' }, // → 0.0; push the constant 0.0 onto the stack NOLINT(*)
33 { "dconst_1", 0x0f, ' ', 0, 1, 'd' }, // → 1.0; push the constant 1.0 onto the stack NOLINT(*)
34 { "bipush", 0x10, 'b', 0, 1, 'i' }, // → value; push a byte onto the stack as an integer value NOLINT(*)
35 { "sipush", 0x11, 's', 0, 1, 'i' }, // → value; push a short onto the stack as an integer value NOLINT(*)
36 { "ldc", 0x12, 'c', 0, 1, ' ' }, // → value; push a constant #index from a constant pool (String, int or float) onto the stack NOLINT(*)
37 { "ldc_w", 0x13, 'C', 0, 1, ' ' }, // → value; push a constant #index from a constant pool (String, int or float) onto the stack (wide index is constructed as indexbyte1 << 8 + indexbyte2) NOLINT(*)
38 { "ldc2_w", 0x14, 'C', 0, 1, ' ' }, // → value; push a constant #index from a constant pool (double or long) onto the stack (wide index is constructed as indexbyte1 << 8 + indexbyte2) NOLINT(*)
39 { "iload", 0x15, 'v', 0, 1, 'i' }, // → value; load an int value from a local variable #index NOLINT(*)
40 { "lload", 0x16, 'v', 0, 1, 'l' }, // → value; load a long value from a local variable #index NOLINT(*)
41 { "fload", 0x17, 'v', 0, 1, 'f' }, // → value; load a float value from a local variable #index NOLINT(*)
42 { "dload", 0x18, 'v', 0, 1, 'd' }, // → value; load a double value from a local variable #index NOLINT(*)
43 { "aload", 0x19, 'v', 0, 1, 'a' }, // → objectref; load a reference onto the stack from a local variable #index NOLINT(*)
44 { "iload_0", 0x1a, ' ', 0, 1, 'i' }, // → value; load an int value from local variable 0 NOLINT(*)
45 { "iload_1", 0x1b, ' ', 0, 1, 'i' }, // → value; load an int value from local variable 1 NOLINT(*)
46 { "iload_2", 0x1c, ' ', 0, 1, 'i' }, // → value; load an int value from local variable 2 NOLINT(*)
47 { "iload_3", 0x1d, ' ', 0, 1, 'i' }, // → value; load an int value from local variable 3 NOLINT(*)
48 { "lload_0", 0x1e, ' ', 0, 1, 'l' }, // → value; load a long value from a local variable 0 NOLINT(*)
49 { "lload_1", 0x1f, ' ', 0, 1, 'l' }, // → value; load a long value from a local variable 1 NOLINT(*)
50 { "lload_2", 0x20, ' ', 0, 1, 'l' }, // → value; load a long value from a local variable 2 NOLINT(*)
51 { "lload_3", 0x21, ' ', 0, 1, 'l' }, // → value; load a long value from a local variable 3 NOLINT(*)
52 { "fload_0", 0x22, ' ', 0, 1, 'f' }, // → value; load a float value from local variable 0 NOLINT(*)
53 { "fload_1", 0x23, ' ', 0, 1, 'f' }, // → value; load a float value from local variable 1 NOLINT(*)
54 { "fload_2", 0x24, ' ', 0, 1, 'f' }, // → value; load a float value from local variable 2 NOLINT(*)
55 { "fload_3", 0x25, ' ', 0, 1, 'f' }, // → value; load a float value from local variable 3 NOLINT(*)
56 { "dload_0", 0x26, ' ', 0, 1, 'd' }, // → value; load a double from local variable 0 NOLINT(*)
57 { "dload_1", 0x27, ' ', 0, 1, 'd' }, // → value; load a double from local variable 1 NOLINT(*)
58 { "dload_2", 0x28, ' ', 0, 1, 'd' }, // → value; load a double from local variable 2 NOLINT(*)
59 { "dload_3", 0x29, ' ', 0, 1, 'd' }, // → value; load a double from local variable 3 NOLINT(*)
60 { "aload_0", 0x2a, ' ', 0, 1, 'a' }, // → objectref; load a reference onto the stack from local variable 0 NOLINT(*)
61 { "aload_1", 0x2b, ' ', 0, 1, 'a' }, // → objectref; load a reference onto the stack from local variable 1 NOLINT(*)
62 { "aload_2", 0x2c, ' ', 0, 1, 'a' }, // → objectref; load a reference onto the stack from local variable 2 NOLINT(*)
63 { "aload_3", 0x2d, ' ', 0, 1, 'a' }, // → objectref; load a reference onto the stack from local variable 3 NOLINT(*)
64 { "iaload", 0x2e, ' ', 2, 1, 'i' }, // arrayref, index → value; load an int from an array NOLINT(*)
65 { "laload", 0x2f, ' ', 2, 1, 'l' }, // arrayref, index → value; load a long from an array NOLINT(*)
66 { "faload", 0x30, ' ', 2, 1, 'f' }, // arrayref, index → value; load a float from an array NOLINT(*)
67 { "daload", 0x31, ' ', 2, 1, 'd' }, // arrayref, index → value; load a double from an array NOLINT(*)
68 { "aaload", 0x32, ' ', 2, 1, 'a' }, // arrayref, index → value; load onto the stack a reference from an array NOLINT(*)
69 { "baload", 0x33, ' ', 2, 1, 'b' }, // arrayref, index → value; load a byte or Boolean value from an array NOLINT(*)
70 { "caload", 0x34, ' ', 2, 1, 'c' }, // arrayref, index → value; load a char from an array NOLINT(*)
71 { "saload", 0x35, ' ', 2, 1, 's' }, // arrayref, index → value; load short from array NOLINT(*)
72 { "istore", 0x36, 'v', 1, 0, ' ' }, // value →; store int value into variable #index NOLINT(*)
73 { "lstore", 0x37, 'v', 1, 0, ' ' }, // value →; store a long value in a local variable #index NOLINT(*)
74 { "fstore", 0x38, 'v', 1, 0, ' ' }, // value →; store a float value into a local variable #index NOLINT(*)
75 { "dstore", 0x39, 'v', 1, 0, ' ' }, // value →; store a double value into a local variable #index NOLINT(*)
76 { "astore", 0x3a, 'v', 1, 0, ' ' }, // objectref →; store a reference into a local variable #index NOLINT(*)
77 { "istore_0", 0x3b, ' ', 1, 0, ' ' }, // value →; store int value into variable 0 NOLINT(*)
78 { "istore_1", 0x3c, ' ', 1, 0, ' ' }, // value →; store int value into variable 1 NOLINT(*)
79 { "istore_2", 0x3d, ' ', 1, 0, ' ' }, // value →; store int value into variable 2 NOLINT(*)
80 { "istore_3", 0x3e, ' ', 1, 0, ' ' }, // value →; store int value into variable 3 NOLINT(*)
81 { "lstore_0", 0x3f, ' ', 1, 0, ' ' }, // value →; store a long value in a local variable 0 NOLINT(*)
82 { "lstore_1", 0x40, ' ', 1, 0, ' ' }, // value →; store a long value in a local variable 1 NOLINT(*)
83 { "lstore_2", 0x41, ' ', 1, 0, ' ' }, // value →; store a long value in a local variable 2 NOLINT(*)
84 { "lstore_3", 0x42, ' ', 1, 0, ' ' }, // value →; store a long value in a local variable 3 NOLINT(*)
85 { "fstore_0", 0x43, ' ', 1, 0, ' ' }, // value →; store a float value into local variable 0 NOLINT(*)
86 { "fstore_1", 0x44, ' ', 1, 0, ' ' }, // value →; store a float value into local variable 1 NOLINT(*)
87 { "fstore_2", 0x45, ' ', 1, 0, ' ' }, // value →; store a float value into local variable 2 NOLINT(*)
88 { "fstore_3", 0x46, ' ', 1, 0, ' ' }, // value →; store a float value into local variable 3 NOLINT(*)
89 { "dstore_0", 0x47, ' ', 1, 0, ' ' }, // value →; store a double into local variable 0 NOLINT(*)
90 { "dstore_1", 0x48, ' ', 1, 0, ' ' }, // value →; store a double into local variable 1 NOLINT(*)
91 { "dstore_2", 0x49, ' ', 1, 0, ' ' }, // value →; store a double into local variable 2 NOLINT(*)
92 { "dstore_3", 0x4a, ' ', 1, 0, ' ' }, // value →; store a double into local variable 3 NOLINT(*)
93 { "astore_0", 0x4b, ' ', 1, 0, ' ' }, // objectref →; store a reference into local variable 0 NOLINT(*)
94 { "astore_1", 0x4c, ' ', 1, 0, ' ' }, // objectref →; store a reference into local variable 1 NOLINT(*)
95 { "astore_2", 0x4d, ' ', 1, 0, ' ' }, // objectref →; store a reference into local variable 2 NOLINT(*)
96 { "astore_3", 0x4e, ' ', 1, 0, ' ' }, // objectref →; store a reference into local variable 3 NOLINT(*)
97 { "iastore", 0x4f, ' ', 3, 0, ' ' }, // arrayref, index, value →; store an int into an array NOLINT(*)
98 { "lastore", 0x50, ' ', 3, 0, ' ' }, // arrayref, index, value →; store a long to an array NOLINT(*)
99 { "fastore", 0x51, ' ', 3, 0, ' ' }, // arrayref, index, value →; store a float in an array NOLINT(*)
100 { "dastore", 0x52, ' ', 3, 0, ' ' }, // arrayref, index, value →; store a double into an array NOLINT(*)
101 { "aastore", 0x53, ' ', 3, 0, ' ' }, // arrayref, index, value →; store into a reference in an array NOLINT(*)
102 { "bastore", 0x54, ' ', 3, 0, ' ' }, // arrayref, index, value →; store a byte or Boolean value into an array NOLINT(*)
103 { "castore", 0x55, ' ', 3, 0, ' ' }, // arrayref, index, value →; store a char into an array NOLINT(*)
104 { "sastore", 0x56, ' ', 3, 0, 's' }, // arrayref, index, value →; store short to array NOLINT(*)
105 { "pop", 0x57, ' ', 1, 0, ' ' }, // value →; discard the top value on the stack NOLINT(*)
106 { "pop2", 0x58, ' ', 1, 0, ' ' }, // {value2, value1} →; discard the top two values on the stack (or one value, if it is a double or long) NOLINT(*)
107 { "dup", 0x59, ' ', 1, 2, ' ' }, // value → value, value; duplicate the value on top of the stack NOLINT(*)
108 { "dup_x1", 0x5a, ' ', 2, 3, ' ' }, // 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. NOLINT(*)
109 { "dup_x2", 0x5b, ' ', 3, 4, ' ' }, // 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 NOLINT(*)
110 { "dup2", 0x5c, ' ', 0, 0, ' ' }, // {value2, value1} → {value2, value; value2, value1} }, // duplicate top two stack words NOLINT(*)
111 { "dup2_x1", 0x5d, ' ', 0, 0, ' ' }, // value3, {value2, value1} → {value2, value; value3, {value2, value1} }, // duplicate two words and insert beneath third word (see explanation above) NOLINT(*)
112 { "dup2_x2", 0x5e, ' ', 0, 0, ' ' }, // {value4, value; value2, value1} → {value2, value1}, {value4, value3}, {value2, value1} }, // duplicate two words and insert beneath fourth word NOLINT(*)
113 { "swap", 0x5f, ' ', 2, 2, ' ' }, // value2, value1 → value1, value2; swaps two top words on the stack (note that value1 and value2 must not be double or long) NOLINT(*)
114 { "iadd", 0x60, ' ', 2, 1, 'i' }, // value1, value2 → result; add two ints NOLINT(*)
115 { "ladd", 0x61, ' ', 2, 1, 'l' }, // value1, value2 → result; add two longs NOLINT(*)
116 { "fadd", 0x62, ' ', 2, 1, 'f' }, // value1, value2 → result; add two floats NOLINT(*)
117 { "dadd", 0x63, ' ', 2, 1, 'd' }, // value1, value2 → result; add two doubles NOLINT(*)
118 { "isub", 0x64, ' ', 2, 1, 'i' }, // value1, value2 → result; int subtract NOLINT(*)
119 { "lsub", 0x65, ' ', 2, 1, 'l' }, // value1, value2 → result; subtract two longs NOLINT(*)
120 { "fsub", 0x66, ' ', 2, 1, 'f' }, // value1, value2 → result; subtract two floats NOLINT(*)
121 { "dsub", 0x67, ' ', 2, 1, 'd' }, // value1, value2 → result; subtract a double from another NOLINT(*)
122 { "imul", 0x68, ' ', 2, 1, 'i' }, // value1, value2 → result; multiply two integers NOLINT(*)
123 { "lmul", 0x69, ' ', 2, 1, 'l' }, // value1, value2 → result; multiply two longs NOLINT(*)
124 { "fmul", 0x6a, ' ', 2, 1, 'f' }, // value1, value2 → result; multiply two floats NOLINT(*)
125 { "dmul", 0x6b, ' ', 2, 1, 'd' }, // value1, value2 → result; multiply two doubles NOLINT(*)
126 { "idiv", 0x6c, ' ', 2, 1, 'i' }, // value1, value2 → result; divide two integers NOLINT(*)
127 { "ldiv", 0x6d, ' ', 2, 1, 'l' }, // value1, value2 → result; divide two longs NOLINT(*)
128 { "fdiv", 0x6e, ' ', 2, 1, 'f' }, // value1, value2 → result; divide two floats NOLINT(*)
129 { "ddiv", 0x6f, ' ', 2, 1, 'd' }, // value1, value2 → result; divide two doubles NOLINT(*)
130 { "irem", 0x70, ' ', 2, 1, 'i' }, // value1, value2 → result; logical int remainder NOLINT(*)
131 { "lrem", 0x71, ' ', 2, 1, 'l' }, // value1, value2 → result; remainder of division of two longs NOLINT(*)
132 { "frem", 0x72, ' ', 2, 1, 'f' }, // value1, value2 → result; get the remainder from a division between two floats NOLINT(*)
133 { "drem", 0x73, ' ', 2, 1, 'd' }, // value1, value2 → result; get the remainder from a division between two doubles NOLINT(*)
134 { "ineg", 0x74, ' ', 1, 1, 'i' }, // value → result; negate int NOLINT(*)
135 { "lneg", 0x75, ' ', 1, 1, 'l' }, // value → result; negate a long NOLINT(*)
136 { "fneg", 0x76, ' ', 1, 1, 'f' }, // value → result; negate a float NOLINT(*)
137 { "dneg", 0x77, ' ', 1, 1, 'd' }, // value → result; negate a double NOLINT(*)
138 { "ishl", 0x78, ' ', 2, 1, 'i' }, // value1, value2 → result; int shift left NOLINT(*)
139 { "lshl", 0x79, ' ', 2, 1, 'l' }, // value1, value2 → result; bitwise shift left of a long value1 by value2 positions NOLINT(*)
140 { "ishr", 0x7a, ' ', 2, 1, 'i' }, // value1, value2 → result; int arithmetic shift right NOLINT(*)
141 { "lshr", 0x7b, ' ', 2, 1, 'l' }, // value1, value2 → result; bitwise shift right of a long value1 by value2 positions NOLINT(*)
142 { "iushr", 0x7c, ' ', 2, 1, 'i' }, // value1, value2 → result; int logical shift right NOLINT(*)
143 { "lushr", 0x7d, ' ', 2, 1, 'l' }, // value1, value2 → result; bitwise shift right of a long value1 by value2 positions, unsigned NOLINT(*)
144 { "iand", 0x7e, ' ', 2, 1, 'i' }, // value1, value2 → result; perform a bitwise and on two integers NOLINT(*)
145 { "land", 0x7f, ' ', 2, 1, 'l' }, // value1, value2 → result; bitwise and of two longs NOLINT(*)
146 { "ior", 0x80, ' ', 2, 1, 'i' }, // value1, value2 → result; bitwise int or NOLINT(*)
147 { "lor", 0x81, ' ', 2, 1, 'l' }, // value1, value2 → result; bitwise or of two longs NOLINT(*)
148 { "ixor", 0x82, ' ', 2, 1, 'i' }, // value1, value2 → result; int xor NOLINT(*)
149 { "lxor", 0x83, ' ', 2, 1, 'l' }, // value1, value2 → result; bitwise exclusive or of two longs NOLINT(*)
150 { "iinc", 0x84, 'V', 0, 0, ' ' }, // [No change]; increment local variable #index by signed byte const NOLINT(*)
151 { "i2l", 0x85, ' ', 1, 1, 'l' }, // value → result; convert an int into a long NOLINT(*)
152 { "i2f", 0x86, ' ', 1, 1, 'f' }, // value → result; convert an int into a float NOLINT(*)
153 { "i2d", 0x87, ' ', 1, 1, 'd' }, // value → result; convert an int into a double NOLINT(*)
154 { "l2i", 0x88, ' ', 1, 1, 'i' }, // value → result; convert a long to a int NOLINT(*)
155 { "l2f", 0x89, ' ', 1, 1, 'f' }, // value → result; convert a long to a float NOLINT(*)
156 { "l2d", 0x8a, ' ', 1, 1, 'd' }, // value → result; convert a long to a double NOLINT(*)
157 { "f2i", 0x8b, ' ', 1, 1, 'i' }, // value → result; convert a float to an int NOLINT(*)
158 { "f2l", 0x8c, ' ', 1, 1, 'l' }, // value → result; convert a float to a long NOLINT(*)
159 { "f2d", 0x8d, ' ', 1, 1, 'd' }, // value → result; convert a float to a double NOLINT(*)
160 { "d2i", 0x8e, ' ', 1, 1, 'i' }, // value → result; convert a double to an int NOLINT(*)
161 { "d2l", 0x8f, ' ', 1, 1, 'l' }, // value → result; convert a double to a long NOLINT(*)
162 { "d2f", 0x90, ' ', 1, 1, 'f' }, // value → result; convert a double to a float NOLINT(*)
163 { "i2b", 0x91, ' ', 1, 1, 'b' }, // value → result; convert an int into a byte NOLINT(*)
164 { "i2c", 0x92, ' ', 1, 1, 'c' }, // value → result; convert an int into a character NOLINT(*)
165 { "i2s", 0x93, ' ', 1, 1, 's' }, // value → result; convert an int into a short NOLINT(*)
166 { "lcmp", 0x94, ' ', 2, 1, 'i' }, // value1, value2 → result; compare two long values NOLINT(*)
167 { "fcmpl", 0x95, ' ', 2, 1, 'i' }, // value1, value2 → result; compare two floats NOLINT(*)
168 { "fcmpg", 0x96, ' ', 2, 1, 'i' }, // value1, value2 → result; compare two floats NOLINT(*)
169 { "dcmpl", 0x97, ' ', 2, 1, 'i' }, // value1, value2 → result; compare two doubles NOLINT(*)
170 { "dcmpg", 0x98, ' ', 2, 1, 'i' }, // value1, value2 → result; compare two doubles NOLINT(*)
171 { "ifeq", 0x99, 'o', 1, 0, ' ' }, // value →; if value is 0, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
172 { "ifne", 0x9a, 'o', 1, 0, ' ' }, // value →; if value is not 0, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
173 { "iflt", 0x9b, 'o', 1, 0, ' ' }, // value →; if value is less than 0, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
174 { "ifge", 0x9c, 'o', 1, 0, ' ' }, // value →; if value is greater than or equal to 0, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
175 { "ifgt", 0x9d, 'o', 1, 0, ' ' }, // value →; if value is greater than 0, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
176 { "ifle", 0x9e, 'o', 1, 0, ' ' }, // value →; if value is less than or equal to 0, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
177 { "if_icmpeq", 0x9f, 'o', 2, 0, ' ' }, // value1, value2 →; if ints are equal, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
178 { "if_icmpne", 0xa0, 'o', 2, 0, ' ' }, // value1, value2 →; if ints are not equal, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
179 { "if_icmplt", 0xa1, 'o', 2, 0, ' ' }, // value1, value2 →; if value1 is less than value2, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
180 { "if_icmpge", 0xa2, 'o', 2, 0, ' ' }, // 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) NOLINT(*)
181 { "if_icmpgt", 0xa3, 'o', 2, 0, ' ' }, // value1, value2 →; if value1 is greater than value2, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
182 { "if_icmple", 0xa4, 'o', 2, 0, ' ' }, // 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) NOLINT(*)
183 { "if_acmpeq", 0xa5, 'o', 2, 0, ' ' }, // value1, value2 →; if references are equal, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
184 { "if_acmpne", 0xa6, 'o', 2, 0, ' ' }, // value1, value2 →; if references are not equal, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
185 { "goto", 0xa7, 'o', 0, 0, ' ' }, // [no change]; goes to another instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
186 { "jsr", 0xa8, 'o', 0, 1, 'a' }, // → address; jump to subroutine at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) and place the return address on the stack NOLINT(*)
187 { "ret", 0xa9, 'v', 0, 0, ' ' }, // [No change]; continue execution from address taken from a local variable #index (the asymmetry with jsr is intentional) NOLINT(*)
188 { "tableswitch", 0xaa, 'T', 1, 0, ' ' }, // index →; continue execution from an address in the table at offset index NOLINT(*)
189 { "lookupswitch", 0xab, 'L', 1, 0, ' ' }, // key →; a target address is looked up from a table using a key and execution continues from the instruction at that address NOLINT(*)
190 { "ireturn", 0xac, ' ', 1, 0, ' ' }, // value → [empty]; return an integer from a method NOLINT(*)
191 { "lreturn", 0xad, ' ', 1, 0, ' ' }, // value → [empty]; return a long value NOLINT(*)
192 { "freturn", 0xae, ' ', 1, 0, ' ' }, // value → [empty]; return a float NOLINT(*)
193 { "dreturn", 0xaf, ' ', 1, 0, ' ' }, // value → [empty]; return a double from a method NOLINT(*)
194 { "areturn", 0xb0, ' ', 1, 0, ' ' }, // objectref → [empty]; return a reference from a method NOLINT(*)
195 { "return", 0xb1, ' ', 0, 0, ' ' }, // → [empty]; return void from method NOLINT(*)
196 { "getstatic", 0xb2, 'C', 0, 1, ' ' }, // → value; get a static field value of a class, where the field is identified by field reference in the constant pool index (index1 << 8 + index2) NOLINT(*)
197 { "putstatic", 0xb3, 'C', 1, 0, ' ' }, // 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) NOLINT(*)
198 { "getfield", 0xb4, 'C', 1, 1, ' ' }, // objectref → value; get a field value of an object objectref, where the field is identified by field reference in the constant pool index (index1 << 8 + index2) NOLINT(*)
199 { "putfield", 0xb5, 'C', 2, 0, ' ' }, // 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) NOLINT(*)
200 { "invokevirtual", 0xb6, 'C', 0, 0, ' ' }, // objectref, [arg1, arg2, ...] →; invoke virtual method on object objectref, where the method is identified by method reference index in constant pool (indexbyte1 << 8 + indexbyte2) NOLINT(*)
201 { "invokespecial", 0xb7, 'C', 0, 0, ' ' }, // objectref, [arg1, arg2, ...] →; invoke instance method on object objectref, where the method is identified by method reference index in constant pool (indexbyte1 << 8 + indexbyte2) NOLINT(*)
202 { "invokestatic", 0xb8, 'C', 0, 0, ' ' }, // [arg1, arg2, ...] →; invoke a static method, where the method is identified by method reference index in constant pool (indexbyte1 << 8 + indexbyte2) NOLINT(*)
203 { "invokeinterface", 0xb9, 'I', 0, 0, ' ' }, // objectref, [arg1, arg2, ...] →; invokes an interface method on object objectref, where the interface method is identified by method reference index in constant pool (indexbyte1 << 8 + indexbyte2) NOLINT(*)
204 { "invokedynamic", 0xba, 'I', 0, 0, ' ' }, // [arg1, [arg2 ...]] →; invokes a dynamic method identified by method reference index in constant pool (indexbyte1 << 8 + indexbyte2) NOLINT(*)
205 { "new", 0xbb, 'C', 0, 1, 'a' }, // → objectref; create new object of type identified by class reference in constant pool index (indexbyte1 << 8 + indexbyte2) NOLINT(*)
206 { "newarray", 0xbc, 't', 1, 1, 'a' }, // count → arrayref; create new array with count elements of primitive type identified by atype NOLINT(*)
207 { "anewarray", 0xbd, 'C', 1, 1, 'a' }, // 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 NOLINT(*)
208 { "arraylength", 0xbe, ' ', 1, 1, 'i' }, // arrayref → length; get the length of an array NOLINT(*)
209 { "athrow", 0xbf, ' ', 1, 1, ' ' }, // objectref → [empty], objectref; throws an error or exception (notice that the rest of the stack is cleared, leaving only a reference to the Throwable) NOLINT(*)
210 { "checkcast", 0xc0, 'C', 1, 1, 'a' }, // 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) NOLINT(*)
211 { "instanceof", 0xc1, 'C', 1, 1, 'i' }, // objectref → result; determines if an object objectref is of a given type, identified by class reference index in constant pool (indexbyte1 << 8 + indexbyte2) NOLINT(*)
212 { "monitorenter", 0xc2, ' ', 1, 0, ' ' }, // objectref →; enter monitor for object ("grab the lock" - start of synchronized() section) NOLINT(*)
213 { "monitorexit", 0xc3, ' ', 1, 0, ' ' }, // objectref →; exit monitor for object ("release the lock" - end of synchronized() section) NOLINT(*)
214 { "wide", 0xc4, ' ', 0, 0, ' ' }, // modifier for others NOLINT(*)
215 { "multianewarray", 0xc5, 'm', 0, 1, 'a' }, // count1, [count2,...] → arrayref; create a new array of dimensions dimensions with elements of type identified by class reference in constant pool index (indexbyte1 << 8 + indexbyte2); the sizes of each dimension is identified by count1, [count2, etc.] NOLINT(*)
216 { "ifnull", 0xc6, 'o', 1, 0, ' ' }, // value →; if value is null, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
217 { "ifnonnull", 0xc7, 'o', 1, 0, ' ' }, // value →; if value is not null, branch to instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
218 { "goto_w", 0xc8, 'O', 0, 0, ' ' }, // [no change]; goes to another instruction at branchoffset (signed int constructed from unsigned bytes branchbyte1 << 24 + branchbyte2 << 16 + branchbyte3 << 8 + branchbyte4) NOLINT(*)
219 { "jsr_w", 0xc9, 'O', 0, 1, 'a' }, // → 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 NOLINT(*)
220 { "breakpoint", 0xca, ' ', 0, 0, ' ' }, // ; reserved for breakpoints in Java debuggers; should not appear in any class file NOLINT(*)
221 { nullptr, 0xcb, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
222 { nullptr, 0xcc, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
223 { nullptr, 0xcd, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
224 { nullptr, 0xce, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
225 { nullptr, 0xcf, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
226 { nullptr, 0xd0, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
227 { nullptr, 0xd1, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
228 { nullptr, 0xd2, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
229 { nullptr, 0xd3, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
230 { nullptr, 0xd4, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
231 { nullptr, 0xd5, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
232 { nullptr, 0xd6, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
233 { nullptr, 0xd7, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
234 { nullptr, 0xd8, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
235 { nullptr, 0xd9, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
236 { nullptr, 0xda, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
237 { nullptr, 0xdb, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
238 { nullptr, 0xdc, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
239 { nullptr, 0xdd, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
240 { nullptr, 0xde, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
241 { nullptr, 0xdf, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
242 { nullptr, 0xe0, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
243 { nullptr, 0xe1, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
244 { nullptr, 0xe2, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
245 { nullptr, 0xe3, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
246 { nullptr, 0xe4, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
247 { nullptr, 0xe5, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
248 { nullptr, 0xe6, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
249 { nullptr, 0xe7, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
250 { nullptr, 0xe8, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
251 { nullptr, 0xe9, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
252 { nullptr, 0xea, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
253 { nullptr, 0xeb, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
254 { nullptr, 0xec, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
255 { nullptr, 0xed, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
256 { nullptr, 0xee, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
257 { nullptr, 0xef, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
258 { nullptr, 0xf0, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
259 { nullptr, 0xf1, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
260 { nullptr, 0xf2, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
261 { nullptr, 0xf3, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
262 { nullptr, 0xf4, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
263 { nullptr, 0xf5, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
264 { nullptr, 0xf6, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
265 { nullptr, 0xf7, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
266 { nullptr, 0xf8, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
267 { nullptr, 0xf9, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
268 { nullptr, 0xfa, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
269 { nullptr, 0xfb, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
270 { nullptr, 0xfc, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
271 { nullptr, 0xfd, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
272 { "impdep1", 0xfe, ' ', 0, 0, ' ' }, // ; reserved for implementation-dependent operations within debuggers; should not appear in any class file NOLINT(*)
273 { "impdep2", 0xff, ' ', 0, 0, ' ' }, // ; reserved for implementation-dependent operations within debuggers; should not appear in any class file NOLINT(*)
274 };
275 // clang-format on
276 
277 static_assert(
278  sizeof(bytecode_info) == sizeof(bytecode_infot) * 256,
279  "bytecode table has right size");
struct bytecode_infot const bytecode_info[]