cprover
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 
16 {
17 { "aaload", 0x32, ' ', 2, 1, ' ' }, // arrayref, index → value; load onto the stack a reference from an array NOLINT(*)
18 { "aastore", 0x53, ' ', 3, 0, ' ' }, // arrayref, index, value →; store into a reference in an array NOLINT(*)
19 { "aconst_null", 0x01, ' ', 0, 1, 'a' }, // → null; push a null reference onto the stack NOLINT(*)
20 { "aload", 0x19, 'v', 0, 1, 'a' }, // → objectref; load a reference onto the stack from a local variable #index NOLINT(*)
21 { "aload_0", 0x2a, ' ', 0, 1, 'a' }, // → objectref; load a reference onto the stack from local variable 0 NOLINT(*)
22 { "aload_1", 0x2b, ' ', 0, 1, 'a' }, // → objectref; load a reference onto the stack from local variable 1 NOLINT(*)
23 { "aload_2", 0x2c, ' ', 0, 1, 'a' }, // → objectref; load a reference onto the stack from local variable 2 NOLINT(*)
24 { "aload_3", 0x2d, ' ', 0, 1, 'a' }, // → objectref; load a reference onto the stack from local variable 3 NOLINT(*)
25 { "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(*)
26 { "areturn", 0xb0, ' ', 1, 0, ' ' }, // objectref → [empty]; return a reference from a method NOLINT(*)
27 { "arraylength", 0xbe, ' ', 1, 1, 'i' }, // arrayref → length; get the length of an array NOLINT(*)
28 { "astore", 0x3a, 'v', 1, 0, ' ' }, // objectref →; store a reference into a local variable #index NOLINT(*)
29 { "astore_0", 0x4b, ' ', 1, 0, ' ' }, // objectref →; store a reference into local variable 0 NOLINT(*)
30 { "astore_1", 0x4c, ' ', 1, 0, ' ' }, // objectref →; store a reference into local variable 1 NOLINT(*)
31 { "astore_2", 0x4d, ' ', 1, 0, ' ' }, // objectref →; store a reference into local variable 2 NOLINT(*)
32 { "astore_3", 0x4e, ' ', 1, 0, ' ' }, // objectref →; store a reference into local variable 3 NOLINT(*)
33 { "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(*)
34 { "baload", 0x33, ' ', 2, 1, 'b' }, // arrayref, index → value; load a byte or Boolean value from an array NOLINT(*)
35 { "bastore", 0x54, ' ', 3, 0, ' ' }, // arrayref, index, value →; store a byte or Boolean value into an array NOLINT(*)
36 { "bipush", 0x10, 'b', 0, 1, 'i' }, // → value; push a byte onto the stack as an integer value NOLINT(*)
37 { "caload", 0x34, ' ', 2, 1, 'c' }, // arrayref, index → value; load a char from an array NOLINT(*)
38 { "castore", 0x55, ' ', 3, 0, ' ' }, // arrayref, index, value →; store a char into an array NOLINT(*)
39 { "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(*)
40 { "dadd", 0x63, ' ', 2, 1, 'd' }, // value1, value2 → result; add two doubles NOLINT(*)
41 { "daload", 0x31, ' ', 2, 1, 'd' }, // arrayref, index → value; load a double from an array NOLINT(*)
42 { "dastore", 0x52, ' ', 3, 0, ' ' }, // arrayref, index, value →; store a double into an array NOLINT(*)
43 { "dcmpg", 0x98, ' ', 2, 1, 'i' }, // value1, value2 → result; compare two doubles NOLINT(*)
44 { "dcmpl", 0x97, ' ', 2, 1, 'i' }, // value1, value2 → result; compare two doubles NOLINT(*)
45 { "dconst_0", 0x0e, ' ', 0, 1, 'd' }, // → 0.0; push the constant 0.0 onto the stack NOLINT(*)
46 { "dconst_1", 0x0f, ' ', 0, 1, 'd' }, // → 1.0; push the constant 1.0 onto the stack NOLINT(*)
47 { "ddiv", 0x6f, ' ', 2, 1, 'd' }, // value1, value2 → result; divide two doubles NOLINT(*)
48 { "dload", 0x18, 'v', 0, 1, 'd' }, // → value; load a double value from a local variable #index NOLINT(*)
49 { "dload_0", 0x26, ' ', 0, 1, 'd' }, // → value; load a double from local variable 0 NOLINT(*)
50 { "dload_1", 0x27, ' ', 0, 1, 'd' }, // → value; load a double from local variable 1 NOLINT(*)
51 { "dload_2", 0x28, ' ', 0, 1, 'd' }, // → value; load a double from local variable 2 NOLINT(*)
52 { "dload_3", 0x29, ' ', 0, 1, 'd' }, // → value; load a double from local variable 3 NOLINT(*)
53 { "dmul", 0x6b, ' ', 2, 1, 'd' }, // value1, value2 → result; multiply two doubles NOLINT(*)
54 { "dneg", 0x77, ' ', 1, 1, 'd' }, // value → result; negate a double NOLINT(*)
55 { "drem", 0x73, ' ', 2, 1, 'd' }, // value1, value2 → result; get the remainder from a division between two doubles NOLINT(*)
56 { "dreturn", 0xaf, ' ', 1, 0, ' ' }, // value → [empty]; return a double from a method NOLINT(*)
57 { "dstore", 0x39, 'v', 1, 0, ' ' }, // value →; store a double value into a local variable #index NOLINT(*)
58 { "dstore_0", 0x47, ' ', 1, 0, ' ' }, // value →; store a double into local variable 0 NOLINT(*)
59 { "dstore_1", 0x48, ' ', 1, 0, ' ' }, // value →; store a double into local variable 1 NOLINT(*)
60 { "dstore_2", 0x49, ' ', 1, 0, ' ' }, // value →; store a double into local variable 2 NOLINT(*)
61 { "dstore_3", 0x4a, ' ', 1, 0, ' ' }, // value →; store a double into local variable 3 NOLINT(*)
62 { "dsub", 0x67, ' ', 2, 1, 'd' }, // value1, value2 → result; subtract a double from another NOLINT(*)
63 { "dup", 0x59, ' ', 1, 2, ' ' }, // value → value, value; duplicate the value on top of the stack NOLINT(*)
64 { "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(*)
65 { "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(*)
66 { "dup2", 0x5c, ' ', 0, 0, ' ' }, // {value2, value1} → {value2, value; value2, value1} }, // duplicate top two stack words NOLINT(*)
67 { "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(*)
68 { "dup2_x2", 0x5e, ' ', 0, 0, ' ' }, // {value4, value; value2, value1} → {value2, value1}, {value4, value3}, {value2, value1} }, // duplicate two words and insert beneath fourth word NOLINT(*)
69 { "fadd", 0x62, ' ', 2, 1, 'f' }, // value1, value2 → result; add two floats NOLINT(*)
70 { "faload", 0x30, ' ', 2, 1, 'f' }, // arrayref, index → value; load a float from an array NOLINT(*)
71 { "fastore", 0x51, ' ', 3, 0, ' ' }, // arrayref, index, value →; store a float in an array NOLINT(*)
72 { "fcmpg", 0x96, ' ', 2, 1, 'i' }, // value1, value2 → result; compare two floats NOLINT(*)
73 { "fcmpl", 0x95, ' ', 2, 1, 'i' }, // value1, value2 → result; compare two floats NOLINT(*)
74 { "fconst_0", 0x0b, ' ', 0, 1, 'f' }, // → 0.0f; push 0.0f on the stack NOLINT(*)
75 { "fconst_1", 0x0c, ' ', 0, 1, 'f' }, // → 1.0f; push 1.0f on the stack NOLINT(*)
76 { "fconst_2", 0x0d, ' ', 0, 1, 'f' }, // → 2.0f; push 2.0f on the stack NOLINT(*)
77 { "fdiv", 0x6e, ' ', 2, 1, 'f' }, // value1, value2 → result; divide two floats NOLINT(*)
78 { "fload", 0x17, 'v', 0, 1, 'f' }, // → value; load a float value from a local variable #index NOLINT(*)
79 { "fload_0", 0x22, ' ', 0, 1, 'f' }, // → value; load a float value from local variable 0 NOLINT(*)
80 { "fload_1", 0x23, ' ', 0, 1, 'f' }, // → value; load a float value from local variable 1 NOLINT(*)
81 { "fload_2", 0x24, ' ', 0, 1, 'f' }, // → value; load a float value from local variable 2 NOLINT(*)
82 { "fload_3", 0x25, ' ', 0, 1, 'f' }, // → value; load a float value from local variable 3 NOLINT(*)
83 { "fmul", 0x6a, ' ', 2, 1, 'f' }, // value1, value2 → result; multiply two floats NOLINT(*)
84 { "fneg", 0x76, ' ', 1, 1, 'f' }, // value → result; negate a float NOLINT(*)
85 { "frem", 0x72, ' ', 2, 1, 'f' }, // value1, value2 → result; get the remainder from a division between two floats NOLINT(*)
86 { "freturn", 0xae, ' ', 1, 0, ' ' }, // value → [empty]; return a float NOLINT(*)
87 { "fstore", 0x38, 'v', 1, 0, ' ' }, // value →; store a float value into a local variable #index NOLINT(*)
88 { "fstore_0", 0x43, ' ', 1, 0, ' ' }, // value →; store a float value into local variable 0 NOLINT(*)
89 { "fstore_1", 0x44, ' ', 1, 0, ' ' }, // value →; store a float value into local variable 1 NOLINT(*)
90 { "fstore_2", 0x45, ' ', 1, 0, ' ' }, // value →; store a float value into local variable 2 NOLINT(*)
91 { "fstore_3", 0x46, ' ', 1, 0, ' ' }, // value →; store a float value into local variable 3 NOLINT(*)
92 { "fsub", 0x66, ' ', 2, 1, 'f' }, // value1, value2 → result; subtract two floats NOLINT(*)
93 { "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(*)
94 { "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(*)
95 { "goto", 0xa7, 'o', 0, 0, ' ' }, // [no change]; goes to another instruction at branchoffset (signed short constructed from unsigned bytes branchbyte1 << 8 + branchbyte2) NOLINT(*)
96 { "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(*)
97 { "i2l", 0x85, ' ', 1, 1, 'l' }, // value → result; convert an int into a long NOLINT(*)
98 { "i2f", 0x86, ' ', 1, 1, 'f' }, // value → result; convert an int into a float NOLINT(*)
99 { "i2d", 0x87, ' ', 1, 1, 'd' }, // value → result; convert an int into a double NOLINT(*)
100 { "l2i", 0x88, ' ', 1, 1, 'i' }, // value → result; convert a long to a int NOLINT(*)
101 { "l2f", 0x89, ' ', 1, 1, 'f' }, // value → result; convert a long to a float NOLINT(*)
102 { "l2d", 0x8a, ' ', 1, 1, 'd' }, // value → result; convert a long to a double NOLINT(*)
103 { "f2i", 0x8b, ' ', 1, 1, 'i' }, // value → result; convert a float to an int NOLINT(*)
104 { "f2l", 0x8c, ' ', 1, 1, 'l' }, // value → result; convert a float to a long NOLINT(*)
105 { "f2d", 0x8d, ' ', 1, 1, 'd' }, // value → result; convert a float to a double NOLINT(*)
106 { "d2i", 0x8e, ' ', 1, 1, 'i' }, // value → result; convert a double to an int NOLINT(*)
107 { "d2l", 0x8f, ' ', 1, 1, 'l' }, // value → result; convert a double to a long NOLINT(*)
108 { "d2f", 0x90, ' ', 1, 1, 'f' }, // value → result; convert a double to a float NOLINT(*)
109 { "i2b", 0x91, ' ', 1, 1, 'b' }, // value → result; convert an int into a byte NOLINT(*)
110 { "i2c", 0x92, ' ', 1, 1, 'c' }, // value → result; convert an int into a character NOLINT(*)
111 { "i2s", 0x93, ' ', 1, 1, 's' }, // value → result; convert an int into a short NOLINT(*)
112 { "iadd", 0x60, ' ', 2, 1, 'i' }, // value1, value2 → result; add two ints NOLINT(*)
113 { "iaload", 0x2e, ' ', 2, 1, 'i' }, // arrayref, index → value; load an int from an array NOLINT(*)
114 { "iand", 0x7e, ' ', 2, 1, 'i' }, // value1, value2 → result; perform a bitwise and on two integers NOLINT(*)
115 { "iastore", 0x4f, ' ', 3, 0, ' ' }, // arrayref, index, value →; store an int into an array NOLINT(*)
116 { "iconst_m1", 0x02, ' ', 0, 1, 'i' }, // → -1; load the int value -1 onto the stack NOLINT(*)
117 { "iconst_0", 0x03, ' ', 0, 1, 'i' }, // → 0; load the int value 0 onto the stack NOLINT(*)
118 { "iconst_1", 0x04, ' ', 0, 1, 'i' }, // → 1; load the int value 1 onto the stack NOLINT(*)
119 { "iconst_2", 0x05, ' ', 0, 1, 'i' }, // → 2; load the int value 2 onto the stack NOLINT(*)
120 { "iconst_3", 0x06, ' ', 0, 1, 'i' }, // → 3; load the int value 3 onto the stack NOLINT(*)
121 { "iconst_4", 0x07, ' ', 0, 1, 'i' }, // → 4; load the int value 4 onto the stack NOLINT(*)
122 { "iconst_5", 0x08, ' ', 0, 1, 'i' }, // → 5; load the int value 5 onto the stack NOLINT(*)
123 { "idiv", 0x6c, ' ', 2, 1, 'i' }, // value1, value2 → result; divide two integers NOLINT(*)
124 { "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(*)
125 { "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(*)
126 { "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(*)
127 { "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(*)
128 { "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(*)
129 { "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(*)
130 { "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(*)
131 { "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(*)
132 { "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(*)
133 { "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(*)
134 { "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(*)
135 { "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(*)
136 { "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(*)
137 { "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(*)
138 { "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(*)
139 { "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(*)
140 { "iinc", 0x84, 'V', 0, 0, ' ' }, // [No change]; increment local variable #index by signed byte const NOLINT(*)
141 { "iload", 0x15, 'v', 0, 1, 'i' }, // → value; load an int value from a local variable #index NOLINT(*)
142 { "iload_0", 0x1a, ' ', 0, 1, 'i' }, // → value; load an int value from local variable 0 NOLINT(*)
143 { "iload_1", 0x1b, ' ', 0, 1, 'i' }, // → value; load an int value from local variable 1 NOLINT(*)
144 { "iload_2", 0x1c, ' ', 0, 1, 'i' }, // → value; load an int value from local variable 2 NOLINT(*)
145 { "iload_3", 0x1d, ' ', 0, 1, 'i' }, // → value; load an int value from local variable 3 NOLINT(*)
146 { "imul", 0x68, ' ', 2, 1, 'i' }, // value1, value2 → result; multiply two integers NOLINT(*)
147 { "ineg", 0x74, ' ', 1, 1, 'i' }, // value → result; negate int NOLINT(*)
148 { "instanceof", 0xc1, 'C', 1, 1, ' ' }, // objectref → result; determines if an object objectref is of a given type, identified by class reference index in constant pool (indexbyte1 << 8 + indexbyte2) NOLINT(*)
149 { "invokedynamic", 0xba, 'I', 0, 0, ' ' }, // [arg1, [arg2 ...]] →; invokes a dynamic method identified by method reference index in constant pool (indexbyte1 << 8 + indexbyte2) NOLINT(*)
150 { "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(*)
151 { "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(*)
152 { "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(*)
153 { "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(*)
154 { "ior", 0x80, ' ', 2, 1, 'i' }, // value1, value2 → result; bitwise int or NOLINT(*)
155 { "irem", 0x70, ' ', 2, 1, 'i' }, // value1, value2 → result; logical int remainder NOLINT(*)
156 { "ireturn", 0xac, ' ', 1, 0, ' ' }, // value → [empty]; return an integer from a method NOLINT(*)
157 { "ishl", 0x78, ' ', 2, 1, 'i' }, // value1, value2 → result; int shift left NOLINT(*)
158 { "ishr", 0x7a, ' ', 2, 1, 'i' }, // value1, value2 → result; int arithmetic shift right NOLINT(*)
159 { "istore", 0x36, 'v', 1, 0, ' ' }, // value →; store int value into variable #index NOLINT(*)
160 { "istore_0", 0x3b, ' ', 1, 0, ' ' }, // value →; store int value into variable 0 NOLINT(*)
161 { "istore_1", 0x3c, ' ', 1, 0, ' ' }, // value →; store int value into variable 1 NOLINT(*)
162 { "istore_2", 0x3d, ' ', 1, 0, ' ' }, // value →; store int value into variable 2 NOLINT(*)
163 { "istore_3", 0x3e, ' ', 1, 0, ' ' }, // value →; store int value into variable 3 NOLINT(*)
164 { "isub", 0x64, ' ', 2, 1, 'i' }, // value1, value2 → result; int subtract NOLINT(*)
165 { "iushr", 0x7c, ' ', 2, 1, 'i' }, // value1, value2 → result; int logical shift right NOLINT(*)
166 { "ixor", 0x82, ' ', 2, 1, 'i' }, // value1, value2 → result; int xor NOLINT(*)
167 { "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(*)
168 { "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(*)
169 { "ladd", 0x61, ' ', 2, 1, 'l' }, // value1, value2 → result; add two longs NOLINT(*)
170 { "laload", 0x2f, ' ', 2, 1, 'l' }, // arrayref, index → value; load a long from an array NOLINT(*)
171 { "land", 0x7f, ' ', 2, 1, 'l' }, // value1, value2 → result; bitwise and of two longs NOLINT(*)
172 { "lastore", 0x50, ' ', 3, 0, ' ' }, // arrayref, index, value →; store a long to an array NOLINT(*)
173 { "lcmp", 0x94, ' ', 2, 1, 'i' }, // value1, value2 → result; compare two long values NOLINT(*)
174 { "lconst_0", 0x09, ' ', 0, 1, 'l' }, // → 0L; push the long 0 onto the stack NOLINT(*)
175 { "lconst_1", 0x0a, ' ', 0, 1, 'l' }, // → 1L; push the long 1 onto the stack NOLINT(*)
176 { "ldc", 0x12, 'c', 0, 1, ' ' }, // → value; push a constant #index from a constant pool (String, int or float) onto the stack NOLINT(*)
177 { "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(*)
178 { "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(*)
179 { "ldiv", 0x6d, ' ', 2, 1, 'l' }, // value1, value2 → result; divide two longs NOLINT(*)
180 { "lload", 0x16, 'v', 0, 1, 'l' }, // → value; load a long value from a local variable #index NOLINT(*)
181 { "lload_0", 0x1e, ' ', 0, 1, 'l' }, // → value; load a long value from a local variable 0 NOLINT(*)
182 { "lload_1", 0x1f, ' ', 0, 1, 'l' }, // → value; load a long value from a local variable 1 NOLINT(*)
183 { "lload_2", 0x20, ' ', 0, 1, 'l' }, // → value; load a long value from a local variable 2 NOLINT(*)
184 { "lload_3", 0x21, ' ', 0, 1, 'l' }, // → value; load a long value from a local variable 3 NOLINT(*)
185 { "lmul", 0x69, ' ', 2, 1, 'l' }, // value1, value2 → result; multiply two longs NOLINT(*)
186 { "lneg", 0x75, ' ', 1, 1, 'l' }, // value → result; negate a long NOLINT(*)
187 { "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(*)
188 { "lor", 0x81, ' ', 2, 1, 'l' }, // value1, value2 → result; bitwise or of two longs NOLINT(*)
189 { "lrem", 0x71, ' ', 2, 1, 'l' }, // value1, value2 → result; remainder of division of two longs NOLINT(*)
190 { "lreturn", 0xad, ' ', 1, 0, ' ' }, // value → [empty]; return a long value NOLINT(*)
191 { "lshl", 0x79, ' ', 2, 1, 'l' }, // value1, value2 → result; bitwise shift left of a long value1 by value2 positions NOLINT(*)
192 { "lshr", 0x7b, ' ', 2, 1, 'l' }, // value1, value2 → result; bitwise shift right of a long value1 by value2 positions NOLINT(*)
193 { "lstore", 0x37, 'v', 1, 0, ' ' }, // value →; store a long value in a local variable #index NOLINT(*)
194 { "lstore_0", 0x3f, ' ', 1, 0, ' ' }, // value →; store a long value in a local variable 0 NOLINT(*)
195 { "lstore_1", 0x40, ' ', 1, 0, ' ' }, // value →; store a long value in a local variable 1 NOLINT(*)
196 { "lstore_2", 0x41, ' ', 1, 0, ' ' }, // value →; store a long value in a local variable 2 NOLINT(*)
197 { "lstore_3", 0x42, ' ', 1, 0, ' ' }, // value →; store a long value in a local variable 3 NOLINT(*)
198 { "lsub", 0x65, ' ', 2, 1, 'l' }, // value1, value2 → result; subtract two longs NOLINT(*)
199 { "lushr", 0x7d, ' ', 2, 1, 'l' }, // value1, value2 → result; bitwise shift right of a long value1 by value2 positions, unsigned NOLINT(*)
200 { "lxor", 0x83, ' ', 2, 1, 'l' }, // value1, value2 → result; bitwise exclusive or of two longs NOLINT(*)
201 { "monitorenter", 0xc2, ' ', 1, 0, ' ' }, // objectref →; enter monitor for object ("grab the lock" - start of synchronized() section) NOLINT(*)
202 { "monitorexit", 0xc3, ' ', 1, 0, ' ' }, // objectref →; exit monitor for object ("release the lock" - end of synchronized() section) NOLINT(*)
203 { "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(*)
204 { "new", 0xbb, 'C', 0, 1, 'a' }, // → objectref; create new object of type identified by class reference in constant pool index (indexbyte1 << 8 + indexbyte2) NOLINT(*)
205 { "newarray", 0xbc, 't', 1, 1, 'a' }, // count → arrayref; create new array with count elements of primitive type identified by atype NOLINT(*)
206 { "nop", 0x00, ' ', 0, 0, ' ' }, // [No change]; perform no operation NOLINT(*)
207 { "pop", 0x57, ' ', 1, 0, ' ' }, // value →; discard the top value on the stack NOLINT(*)
208 { "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(*)
209 { "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(*)
210 { "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(*)
211 { "ret", 0xa9, 'v', 0, 0, ' ' }, // [No change]; continue execution from address taken from a local variable #index (the asymmetry with jsr is intentional) NOLINT(*)
212 { "return", 0xb1, ' ', 0, 0, ' ' }, // → [empty]; return void from method NOLINT(*)
213 { "saload", 0x35, ' ', 2, 1, 's' }, // arrayref, index → value; load short from array NOLINT(*)
214 { "sastore", 0x56, ' ', 3, 0, 's' }, // arrayref, index, value →; store short to array NOLINT(*)
215 { "sipush", 0x11, 's', 0, 1, 'i' }, // → value; push a short onto the stack as an integer value NOLINT(*)
216 { "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(*)
217 { "tableswitch", 0xaa, 'T', 1, 0, ' ' }, // index →; continue execution from an address in the table at offset index NOLINT(*)
218 { "breakpoint", 0xca, ' ', 0, 0, ' ' }, // ; reserved for breakpoints in Java debuggers; should not appear in any class file NOLINT(*)
219 { "impdep1", 0xfe, ' ', 0, 0, ' ' }, // ; reserved for implementation-dependent operations within debuggers; should not appear in any class file NOLINT(*)
220 { "impdep2", 0xff, ' ', 0, 0, ' ' }, // ; reserved for implementation-dependent operations within debuggers; should not appear in any class file NOLINT(*)
221 { "wide", 0xc4, ' ', 0, 0, ' ' }, // modifier for others NOLINT(*)
222 { nullptr, 0x00, '\0',0, 0, '\0'}, // zero-initialized NOLINT (*)
223 };
struct bytecode_infot const bytecode_info[]