ROSE 2.1.0
Loading...
Searching...
No Matches
InstructionEnumsJvm.h
1#ifndef ROSE_BinaryAnalysis_InstructionEnumsJvm_H
2#define ROSE_BinaryAnalysis_InstructionEnumsJvm_H
3#include <featureTests.h>
4#ifdef ROSE_ENABLE_BINARY_ANALYSIS
5
6/* References:
7 * [1] "The Java® Virtual Machine Specification Java SE 17 Edition"
8 * authors: Tim Lindholm Frank Yellin Gilad Bracha Alex Buckley Daniel Smith
9 * date: 2021-08-09
10 */
11
12namespace Rose {
13namespace BinaryAnalysis {
14
15// JVM major register numbers.
16enum JvmRegisterClass {
17 jvm_regclass_spr, // Special purpose registers. Minors are 0..3.
18};
19
20// The Java Virtual Machine (JVM) instruction set Chapter 6 [1]
21//
22// Format of JVM instruction opcode (kind) description
23//
24// mnemonic = opcode (decimal) , opcode (hex) : # operands : [operands] : "Short description of the instruction"
25// -------- ---------------- ------------ ---------- ---------- --------------------------------------
26// nop = 0 , 0x00 : 0 : : "Do nothing"
27// ...
28// bipush = 16 , 0x10 : 1 : byte : "Push byte"
29// ...
30//
31
32// JVM instruction types.
33enum class JvmInstructionKind {
34 nop = 0, // 0x00:0:: "Do nothing"
35 aconst_null = 1, // 0x01: "Push null"
36 iconst_m1 = 2, // 0x02: "Push int constant -1"
37 iconst_0 = 3, // 0x03: "Push int constant 0"
38 iconst_1 = 4, // 0x04: "Push int constant 1"
39 iconst_2 = 5, // 0x05: "Push int constant 2"
40 iconst_3 = 6, // 0x06: "Push int constant 3"
41 iconst_4 = 7, // 0x07: "Push int constant 4"
42 iconst_5 = 8, // 0x08: "Push int constant 5"
43 lconst_0 = 9, // 0x09: "Push long constant 0"
44 lconst_1 = 10, // 0x0a: "Push long constant 1"
45 fconst_0 = 11, // 0x0b: "Push float 0.0"
46 fconst_1 = 12, // 0x0c: "Push float 1.0"
47 fconst_2 = 13, // 0x0d: "Push float 2.0"
48 dconst_0 = 14, // 0x0e: "Push double 0.0"
49 dconst_1 = 15, // 0x0f: "Push double 1.0"
50 bipush = 16, // 0x10 1: byte: "Push byte"
51 sipush = 17, // 0x11 2: byte1, byte2: "Push short"
52 ldc = 18, // 0x12 1: index: "Push item from run-time constant pool"
53 ldc_w = 19, // 0x13 2: indexbyte1, indexbyte2: "Push item from run-time constant pool (wide index)"
54 ldc2_w = 20, // 0x14 2: indexbyte1, indexbyte2: "Push long or double from run-time constant pool (wide index)"
55 iload = 21, // 0x15 1: index: "Load int from local variable"
56 lload = 22, // 0x16 1: index: "Load long from local variable"
57 fload = 23, // 0x17 1: index: "Load float from local variable"
58 dload = 24, // 0x18 1: index: "Load double from local variable"
59 aload = 25, // 0x19 1: index: "Load reference from local variable"
60 iload_0 = 26, // 0x1a: "Load int from local variable 0"
61 iload_1 = 27, // 0x1b: "Load int from local variable 1"
62 iload_2 = 28, // 0x1c: "Load int from local variable 2"
63 iload_3 = 29, // 0x1d: "Load int from local variable 3"
64 lload_0 = 30, // 0x1e: "Load long from local variable 0"
65 lload_1 = 31, // 0x1f: "Load long from local variable 1"
66 lload_2 = 32, // 0x20: "Load long from local variable 2"
67 lload_3 = 33, // 0x21: "Load long from local variable 3"
68 fload_0 = 34, // 0x22: "Load float from local variable 0"
69 fload_1 = 35, // 0x23: "Load float from local variable 1"
70 fload_2 = 36, // 0x24: "Load float from local variable 2"
71 fload_3 = 37, // 0x25: "Load float from local variable 3"
72 dload_0 = 38, // 0x26: "Load double from local variable 0"
73 dload_1 = 39, // 0x27: "Load double from local variable 1"
74 dload_2 = 40, // 0x28: "Load double from local variable 2"
75 dload_3 = 41, // 0x29: "Load double from local variable 3"
76 aload_0 = 42, // 0x2a: "Load reference from local variable 0"
77 aload_1 = 43, // 0x2b: "Load reference from local variable 1"
78 aload_2 = 44, // 0x2c: "Load reference from local variable 2"
79 aload_3 = 45, // 0x2d: "Load reference from local variable 3"
80 iaload = 46, // 0x2e: "Load int from array"
81 laload = 47, // 0x2f: "Load long from array"
82 faload = 48, // 0x30: "Load float from array"
83 daload = 49, // 0x31: "Load double from array"
84 aaload = 50, // 0x32: "Load reference from array"
85 baload = 51, // 0x33: "Load byte or boolean from array"
86 caload = 52, // 0x34: "Load char from array"
87 saload = 53, // 0x35: "Load short from array"
88 istore = 54, // 0x36 1: index "Store int into local variable at index"
89 lstore = 55, // 0x37 1: index
90 fstore = 56, // 0x38 1: index
91 dstore = 57, // 0x39 1: index
92 astore = 58, // 0x3a 1: index
93 istore_0 = 59, // 0x3b: "Store int into local variable 0"
94 istore_1 = 60, // 0x3c: "Store int into local variable 1"
95 istore_2 = 61, // 0x3d: "Store int into local variable 2"
96 istore_3 = 62, // 0x3e: "Store int into local variable 3"
97 lstore_0 = 63, // 0x3f: "Store long into local variable 0"
98 lstore_1 = 64, // 0x40: "Store long into local variable 1"
99 lstore_2 = 65, // 0x41: "Store long into local variable 2"
100 lstore_3 = 66, // 0x42: "Store long into local variable 3"
101 fstore_0 = 67, // 0x43: "Store float into local variable 0"
102 fstore_1 = 68, // 0x44: "Store float into local variable 1"
103 fstore_2 = 69, // 0x45: "Store float into local variable 2"
104 fstore_3 = 70, // 0x46: "Store float into local variable 3"
105 dstore_0 = 71, // 0x47: "Store double into local variable 0"
106 dstore_1 = 72, // 0x48: "Store double into local variable 1"
107 dstore_2 = 73, // 0x49: "Store double into local variable 2"
108 dstore_3 = 74, // 0x4a: "Store double into local variable 3"
109 astore_0 = 75, // 0x4b: "Store reference into local variable 0"
110 astore_1 = 76, // 0x4c: "Store reference into local variable 1"
111 astore_2 = 77, // 0x4d: "Store reference into local variable 2"
112 astore_3 = 78, // 0x4e: "Store reference into local variable 3"
113 iastore = 79, // 0x4f: "Store into int array"
114 lastore = 80, // 0x50: "Store into long array"
115 fastore = 81, // 0x51: "Store into float array"
116 dastore = 82, // 0x52: "Store into double array"
117 aastore = 83, // 0x53: "Store into reference array"
118 bastore = 84, // 0x54: "Store into byte or boolean array"
119 castore = 85, // 0x55: "Store into char array"
120 sastore = 86, // 0x56: "Store into short array"
121 pop = 87, // 0x57: "Pop the top operand stack value"
122 pop2 = 88, // 0x58: "Pop the top one or two operand stack values"
123 dup = 89, // 0x59: "Duplicate the top operand stack value"
124 dup_x1 = 90, // 0x5a: "Duplicate the top operand stack value and insert two values down"
125 dup_x2 = 91, // 0x5b: "Duplicate the top operand stack value and insert two or three values down"
126 dup2 = 92, // 0x5c: "Duplicate the top one or two operand stack values"
127 dup2_x1 = 93, // 0x5d: "Duplicate the top one or two operand stack values and insert two or three values down"
128 dup2_x2 = 94, // 0x5e: "Duplicate the top one or two operand stack values and insert two, three, or four values down"
129 swap = 95, // 0x5f: "Swap the top two operand stack values"
130 iadd = 96, // 0x60: "Add int"
131 ladd = 97, // 0x61: "Add long"
132 fadd = 98, // 0x62: "Add float"
133 dadd = 99, // 0x63: "Add double"
134 isub = 100, // 0x64: "Subtract int"
135 lsub = 101, // 0x65: "Subtract long"
136 fsub = 102, // 0x66: "Subtract float"
137 dsub = 103, // 0x67: "Subtract double"
138 imul = 104, // 0x68: "Multiply int"
139 lmul = 105, // 0x69: "Multiply long"
140 fmul = 106, // 0x6a: "Multiply float"
141 dmul = 107, // 0x6b: "Multiply double"
142 idiv = 108, // 0x6c: "Divide int"
143 ldiv = 109, // 0x6d: "Divide long"
144 fdiv = 110, // 0x6e: "Divide float"
145 ddiv = 111, // 0x6f: "Divide double"
146 irem = 112, // 0x70: "Remainder int"
147 lrem = 113, // 0x71: "Remainder long"
148 frem = 114, // 0x72: "Remainder float"
149 drem = 115, // 0x73: "Remainder double"
150 ineg = 116, // 0x74: "Negate int"
151 lneg = 117, // 0x75: "Negate long"
152 fneg = 118, // 0x76: "Negate float"
153 dneg = 119, // 0x77: "Negate double"
154 ishl = 120, // 0x78: "Shift left int"
155 lshl = 121, // 0x79: "Shift left long"
156 ishr = 122, // 0x7a: "Shift right int"
157 lshr = 123, // 0x7b: "Shift right long"
158 iushr = 124, // 0x7c: "Logical shift right int"
159 lushr = 125, // 0x7d: "Logical shift right long"
160 iand = 126, // 0x7e: "Boolean AND int"
161 land = 127, // 0x7f: "Boolean AND long"
162 ior = 128, // 0x80: "Boolean OR int"
163 lor = 129, // 0x81: "Boolean OR long"
164 ixor = 130, // 0x82: "Boolean XOR int"
165 lxor = 131, // 0x83: "Boolean XOR long"
166 iinc = 132, // 0x84:2: index, const: "Increment local variable"
167 i2l = 133, // 0x85: "Convert int to long"
168 i2f = 134, // 0x86: "Convert int to float"
169 i2d = 135, // 0x87: "Convert int to double"
170 l2i = 136, // 0x88: "Convert long to int"
171 l2f = 137, // 0x89: "Convert long to float"
172 l2d = 138, // 0x8a: "Convert long to double"
173 f2i = 139, // 0x8b: "Convert float to int"
174 f2l = 140, // 0x8c: "Convert float to long"
175 f2d = 141, // 0x8d: "Convert float to double"
176 d2i = 142, // 0x8e: "Convert double to int"
177 d2l = 143, // 0x8f: "Convert double to long"
178 d2f = 144, // 0x90: "Convert double to float"
179 i2b = 145, // 0x91: "Convert int to byte"
180 i2c = 146, // 0x92: "Convert int to char"
181 i2s = 147, // 0x93: "Convert int to short"
182 lcmp = 148, // 0x94: "Compare long"
183 fcmpl = 149, // 0x95: "Compare float"
184 fcmpg = 150, // 0x96: "Compare float"
185 dcmpl = 151, // 0x97: "Compare double"
186 dcmpg = 152, // 0x98: "Compare double"
187 ifeq = 153, // 0x99 2: branchbyte1, branchbyte2: "Branch if int comparison .eq. with zero succeeds"
188 ifne = 154, // 0x9a 2: branchbyte1, branchbyte2
189 iflt = 155, // 0x9b 2: branchbyte1, branchbyte2
190 ifge = 156, // 0x9c 2: branchbyte1, branchbyte2
191 ifgt = 157, // 0x9d 2: branchbyte1, branchbyte2
192 ifle = 158, // 0x9e 2: branchbyte1, branchbyte2
193 if_icmpeq = 159, // 0x9f 2: branchbyte1, branchbyte2
194 if_icmpne = 160, // 0xa0 2: branchbyte1, branchbyte2
195 if_icmplt = 161, // 0xa1 2: branchbyte1, branchbyte2
196 if_icmpge = 162, // 0xa2 2: branchbyte1, branchbyte2
197 if_icmpgt = 163, // 0xa3 2: branchbyte1, branchbyte2
198 if_icmple = 164, // 0xa4 2: branchbyte1, branchbyte2: "Branch if int comparison .le. succeeds"
199 if_acmpeq = 165, // 0xa5 2: branchbyte1, branchbyte2
200 if_acmpne = 166, // 0xa6 2: branchbyte1, branchbyte2
201 goto_ = 167, // 0xa7 2: branchbyte1, branchbyte2
202 jsr = 168, // 0xa8 2: branchbyte1, branchbyte2
203 ret = 169, // 0xa9 1: index
204 tableswitch = 170, // 0xaa 16+: [0-3 bytes padding],defaultbyte1,defaultbyte2,defaultbyte3,defaultbyte4,lowbye1,lowbyte2,lowbyte3,lowbyte4,highbyte1,highbyte2,highbyte3,highbyte4,jump offsets...
205 lookupswitch = 171, // 0xab 8+: <0-3 bytes padding>,defaultbyte1,defaultbyte2,defaultbyte3,defaultbyte4,npairs,npairs2,npairs3,npairs4,match-offset pairs...
206 ireturn = 172, // 0xac: "Return int from method"
207 lreturn = 173, // 0xad: "Return long from method"
208 freturn = 174, // 0xae: "Return float from method"
209 dreturn = 175, // 0xaf: "Return double from method"
210 areturn = 176, // 0xb0: "Return reference from method"
211 return_ = 177, // 0xb1: "Return void from method"
212 getstatic = 178, // 0xb2 2: indexbyte1, indexbyte2: "Get static field in class"
213 putstatic = 179, // 0xb3 2: indexbyte1, indexbyte2: "Set static field in class"
214 getfield = 180, // 0xb4 2: indexbyte1, indexbyte2: "Fetch field from object"
215 putfield = 181, // 0xb5 2: indexbyte1, indexbyte2: "Set field in object"
216 invokevirtual = 182, // 0xb6 2: indexbyte1, indexbyte2
217 invokespecial = 183, // 0xb7 2: indexbyte1, indexbyte2: "Invoke instance method; direct invocation of instance initialization methods and methods of the current class and its supertypes"
218 invokestatic = 184, // 0xb8 2: indexbyte1, indexbyte2
219 invokeinterface = 185, // 0xb9 4: indexbyte1, indexbyte2, count, 0
220 invokedynamic = 186, // 0xba 4: indexbyte1, indexbyte2, 0, 0
221 new_ = 187, // 0xbb 2: indexbyte1, indexbyte2
222 newarray = 188, // 0xbc 1: atype: "Create new array"
223 anewarray = 189, // 0xbd 2: indexbyte1, indexbyte2: "Create new array of reference"
224 arraylength = 190, // 0xbe: "Get length of array"
225 athrow = 191, // 0xbf: "Throw exception or error"
226 checkcast = 192, // 0xc0 2: indexbyte1, indexbyte2: "Check whether object is of given type"
227 instanceof = 193, // 0xc1 2: indexbyte1, indexbyte2: "Determine if object is of given type"
228 monitorenter = 194, // 0xc2: "Enter monitor for object"
229 monitorexit = 195, // 0xc3: "Exit monitor for object"
230 wide = 196, // 0xc4 3/5: opcode,indexbyte1,indexbyte2 or iinc,indexbyte1,indexbyte2,countbyte1,countbye2
231 multianewarray = 197, // 0xc5 3: indexbyte1, indexbyte2, dimensions
232 ifnull = 198, // 0xc6 2: branchbyte1, branchbyte2: "Branch if reference is null"
233 ifnonnull = 199, // 0xc7 2: branchbyte1, branchbyte2
234 goto_w = 200, // 0xc8 4: branchbyte1, branchbyte2, branchbyte3, branchbyte4
235 jsr_w = 201, // 0xc9 4: branchbyte1, branchbyte2, branchbyte3, branchbyte4
236 breakpoint = 202, // 0xca
237 impdep1 = 254, // 0xfe
238 impdep2 = 255, // 0xff
239 unknown = 666 // unknown/illegal opcode
240};
241
242} // namespace
243} // namespace
244
245#endif
246#endif
Rose
The ROSE library.
Definition BinaryTutorial.dox:3
Generated on Mon May 25 2026 05:11:00 for ROSE by doxygen 1.9.8