10#ifndef CPROVER_JAVA_BYTECODE_BYTECODE_INFO_H
11#define CPROVER_JAVA_BYTECODE_BYTECODE_INFO_H
66#define BC_aconst_null 0x01
67#define BC_iconst_m1 0x02
68#define BC_iconst_0 0x03
69#define BC_iconst_1 0x04
70#define BC_iconst_2 0x05
71#define BC_iconst_3 0x06
72#define BC_iconst_4 0x07
73#define BC_iconst_5 0x08
74#define BC_lconst_0 0x09
75#define BC_lconst_1 0x0a
76#define BC_fconst_0 0x0b
77#define BC_fconst_1 0x0c
78#define BC_fconst_2 0x0d
79#define BC_dconst_0 0x0e
80#define BC_dconst_1 0x0f
91#define BC_iload_0 0x1a
92#define BC_iload_1 0x1b
93#define BC_iload_2 0x1c
94#define BC_iload_3 0x1d
95#define BC_lload_0 0x1e
96#define BC_lload_1 0x1f
97#define BC_lload_2 0x20
98#define BC_lload_3 0x21
99#define BC_fload_0 0x22
100#define BC_fload_1 0x23
101#define BC_fload_2 0x24
102#define BC_fload_3 0x25
103#define BC_dload_0 0x26
104#define BC_dload_1 0x27
105#define BC_dload_2 0x28
106#define BC_dload_3 0x29
107#define BC_aload_0 0x2a
108#define BC_aload_1 0x2b
109#define BC_aload_2 0x2c
110#define BC_aload_3 0x2d
111#define BC_iaload 0x2e
112#define BC_laload 0x2f
113#define BC_faload 0x30
114#define BC_daload 0x31
115#define BC_aaload 0x32
116#define BC_baload 0x33
117#define BC_caload 0x34
118#define BC_saload 0x35
119#define BC_istore 0x36
120#define BC_lstore 0x37
121#define BC_fstore 0x38
122#define BC_dstore 0x39
123#define BC_astore 0x3a
124#define BC_istore_0 0x3b
125#define BC_istore_1 0x3c
126#define BC_istore_2 0x3d
127#define BC_istore_3 0x3e
128#define BC_lstore_0 0x3f
129#define BC_lstore_1 0x40
130#define BC_lstore_2 0x41
131#define BC_lstore_3 0x42
132#define BC_fstore_0 0x43
133#define BC_fstore_1 0x44
134#define BC_fstore_2 0x45
135#define BC_fstore_3 0x46
136#define BC_dstore_0 0x47
137#define BC_dstore_1 0x48
138#define BC_dstore_2 0x49
139#define BC_dstore_3 0x4a
140#define BC_astore_0 0x4b
141#define BC_astore_1 0x4c
142#define BC_astore_2 0x4d
143#define BC_astore_3 0x4e
144#define BC_iastore 0x4f
145#define BC_lastore 0x50
146#define BC_fastore 0x51
147#define BC_dastore 0x52
148#define BC_aastore 0x53
149#define BC_bastore 0x54
150#define BC_castore 0x55
151#define BC_sastore 0x56
155#define BC_dup_x1 0x5a
156#define BC_dup_x2 0x5b
158#define BC_dup2_x1 0x5d
159#define BC_dup2_x2 0x5e
224#define BC_if_icmpeq 0x9f
225#define BC_if_icmpne 0xa0
226#define BC_if_icmplt 0xa1
227#define BC_if_icmpge 0xa2
228#define BC_if_icmpgt 0xa3
229#define BC_if_icmple 0xa4
230#define BC_if_acmpeq 0xa5
231#define BC_if_acmpne 0xa6
235#define BC_tableswitch 0xaa
236#define BC_lookupswitch 0xab
237#define BC_ireturn 0xac
238#define BC_lreturn 0xad
239#define BC_freturn 0xae
240#define BC_dreturn 0xaf
241#define BC_areturn 0xb0
242#define BC_return 0xb1
243#define BC_getstatic 0xb2
244#define BC_putstatic 0xb3
245#define BC_getfield 0xb4
246#define BC_putfield 0xb5
247#define BC_invokevirtual 0xb6
248#define BC_invokespecial 0xb7
249#define BC_invokestatic 0xb8
250#define BC_invokeinterface 0xb9
251#define BC_invokedynamic 0xba
253#define BC_newarray 0xbc
254#define BC_anewarray 0xbd
255#define BC_arraylength 0xbe
256#define BC_athrow 0xbf
257#define BC_checkcast 0xc0
258#define BC_instanceof 0xc1
259#define BC_monitorenter 0xc2
260#define BC_monitorexit 0xc3
262#define BC_multianewarray 0xc5
263#define BC_ifnull 0xc6
264#define BC_ifnonnull 0xc7
265#define BC_goto_w 0xc8
267#define BC_breakpoint 0xca
268#define BC_impdep1 0xfe
269#define BC_impdep2 0xff
struct bytecode_infot const bytecode_info[]