CBMC
bytecode_info.h File Reference
#include <cstdint>
+ Include dependency graph for bytecode_info.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  bytecode_infot
 

Macros

#define BC_nop   0x00
 
#define BC_aconst_null   0x01
 
#define BC_iconst_m1   0x02
 
#define BC_iconst_0   0x03
 
#define BC_iconst_1   0x04
 
#define BC_iconst_2   0x05
 
#define BC_iconst_3   0x06
 
#define BC_iconst_4   0x07
 
#define BC_iconst_5   0x08
 
#define BC_lconst_0   0x09
 
#define BC_lconst_1   0x0a
 
#define BC_fconst_0   0x0b
 
#define BC_fconst_1   0x0c
 
#define BC_fconst_2   0x0d
 
#define BC_dconst_0   0x0e
 
#define BC_dconst_1   0x0f
 
#define BC_bipush   0x10
 
#define BC_sipush   0x11
 
#define BC_ldc   0x12
 
#define BC_ldc_w   0x13
 
#define BC_ldc2_w   0x14
 
#define BC_iload   0x15
 
#define BC_lload   0x16
 
#define BC_fload   0x17
 
#define BC_dload   0x18
 
#define BC_aload   0x19
 
#define BC_iload_0   0x1a
 
#define BC_iload_1   0x1b
 
#define BC_iload_2   0x1c
 
#define BC_iload_3   0x1d
 
#define BC_lload_0   0x1e
 
#define BC_lload_1   0x1f
 
#define BC_lload_2   0x20
 
#define BC_lload_3   0x21
 
#define BC_fload_0   0x22
 
#define BC_fload_1   0x23
 
#define BC_fload_2   0x24
 
#define BC_fload_3   0x25
 
#define BC_dload_0   0x26
 
#define BC_dload_1   0x27
 
#define BC_dload_2   0x28
 
#define BC_dload_3   0x29
 
#define BC_aload_0   0x2a
 
#define BC_aload_1   0x2b
 
#define BC_aload_2   0x2c
 
#define BC_aload_3   0x2d
 
#define BC_iaload   0x2e
 
#define BC_laload   0x2f
 
#define BC_faload   0x30
 
#define BC_daload   0x31
 
#define BC_aaload   0x32
 
#define BC_baload   0x33
 
#define BC_caload   0x34
 
#define BC_saload   0x35
 
#define BC_istore   0x36
 
#define BC_lstore   0x37
 
#define BC_fstore   0x38
 
#define BC_dstore   0x39
 
#define BC_astore   0x3a
 
#define BC_istore_0   0x3b
 
#define BC_istore_1   0x3c
 
#define BC_istore_2   0x3d
 
#define BC_istore_3   0x3e
 
#define BC_lstore_0   0x3f
 
#define BC_lstore_1   0x40
 
#define BC_lstore_2   0x41
 
#define BC_lstore_3   0x42
 
#define BC_fstore_0   0x43
 
#define BC_fstore_1   0x44
 
#define BC_fstore_2   0x45
 
#define BC_fstore_3   0x46
 
#define BC_dstore_0   0x47
 
#define BC_dstore_1   0x48
 
#define BC_dstore_2   0x49
 
#define BC_dstore_3   0x4a
 
#define BC_astore_0   0x4b
 
#define BC_astore_1   0x4c
 
#define BC_astore_2   0x4d
 
#define BC_astore_3   0x4e
 
#define BC_iastore   0x4f
 
#define BC_lastore   0x50
 
#define BC_fastore   0x51
 
#define BC_dastore   0x52
 
#define BC_aastore   0x53
 
#define BC_bastore   0x54
 
#define BC_castore   0x55
 
#define BC_sastore   0x56
 
#define BC_pop   0x57
 
#define BC_pop2   0x58
 
#define BC_dup   0x59
 
#define BC_dup_x1   0x5a
 
#define BC_dup_x2   0x5b
 
#define BC_dup2   0x5c
 
#define BC_dup2_x1   0x5d
 
#define BC_dup2_x2   0x5e
 
#define BC_swap   0x5f
 
#define BC_iadd   0x60
 
#define BC_ladd   0x61
 
#define BC_fadd   0x62
 
#define BC_dadd   0x63
 
#define BC_isub   0x64
 
#define BC_lsub   0x65
 
#define BC_fsub   0x66
 
#define BC_dsub   0x67
 
#define BC_imul   0x68
 
#define BC_lmul   0x69
 
#define BC_fmul   0x6a
 
#define BC_dmul   0x6b
 
#define BC_idiv   0x6c
 
#define BC_ldiv   0x6d
 
#define BC_fdiv   0x6e
 
#define BC_ddiv   0x6f
 
#define BC_irem   0x70
 
#define BC_lrem   0x71
 
#define BC_frem   0x72
 
#define BC_drem   0x73
 
#define BC_ineg   0x74
 
#define BC_lneg   0x75
 
#define BC_fneg   0x76
 
#define BC_dneg   0x77
 
#define BC_ishl   0x78
 
#define BC_lshl   0x79
 
#define BC_ishr   0x7a
 
#define BC_lshr   0x7b
 
#define BC_iushr   0x7c
 
#define BC_lushr   0x7d
 
#define BC_iand   0x7e
 
#define BC_land   0x7f
 
#define BC_ior   0x80
 
#define BC_lor   0x81
 
#define BC_ixor   0x82
 
#define BC_lxor   0x83
 
#define BC_iinc   0x84
 
#define BC_i2l   0x85
 
#define BC_i2f   0x86
 
#define BC_i2d   0x87
 
#define BC_l2i   0x88
 
#define BC_l2f   0x89
 
#define BC_l2d   0x8a
 
#define BC_f2i   0x8b
 
#define BC_f2l   0x8c
 
#define BC_f2d   0x8d
 
#define BC_d2i   0x8e
 
#define BC_d2l   0x8f
 
#define BC_d2f   0x90
 
#define BC_i2b   0x91
 
#define BC_i2c   0x92
 
#define BC_i2s   0x93
 
#define BC_lcmp   0x94
 
#define BC_fcmpl   0x95
 
#define BC_fcmpg   0x96
 
#define BC_dcmpl   0x97
 
#define BC_dcmpg   0x98
 
#define BC_ifeq   0x99
 
#define BC_ifne   0x9a
 
#define BC_iflt   0x9b
 
#define BC_ifge   0x9c
 
#define BC_ifgt   0x9d
 
#define BC_ifle   0x9e
 
#define BC_if_icmpeq   0x9f
 
#define BC_if_icmpne   0xa0
 
#define BC_if_icmplt   0xa1
 
#define BC_if_icmpge   0xa2
 
#define BC_if_icmpgt   0xa3
 
#define BC_if_icmple   0xa4
 
#define BC_if_acmpeq   0xa5
 
#define BC_if_acmpne   0xa6
 
#define BC_goto   0xa7
 
#define BC_jsr   0xa8
 
#define BC_ret   0xa9
 
#define BC_tableswitch   0xaa
 
#define BC_lookupswitch   0xab
 
#define BC_ireturn   0xac
 
#define BC_lreturn   0xad
 
#define BC_freturn   0xae
 
#define BC_dreturn   0xaf
 
#define BC_areturn   0xb0
 
#define BC_return   0xb1
 
#define BC_getstatic   0xb2
 
#define BC_putstatic   0xb3
 
#define BC_getfield   0xb4
 
#define BC_putfield   0xb5
 
#define BC_invokevirtual   0xb6
 
#define BC_invokespecial   0xb7
 
#define BC_invokestatic   0xb8
 
#define BC_invokeinterface   0xb9
 
#define BC_invokedynamic   0xba
 
#define BC_new   0xbb
 
#define BC_newarray   0xbc
 
#define BC_anewarray   0xbd
 
#define BC_arraylength   0xbe
 
#define BC_athrow   0xbf
 
#define BC_checkcast   0xc0
 
#define BC_instanceof   0xc1
 
#define BC_monitorenter   0xc2
 
#define BC_monitorexit   0xc3
 
#define BC_wide   0xc4
 
#define BC_multianewarray   0xc5
 
#define BC_ifnull   0xc6
 
#define BC_ifnonnull   0xc7
 
#define BC_goto_w   0xc8
 
#define BC_jsr_w   0xc9
 
#define BC_breakpoint   0xca
 
#define BC_impdep1   0xfe
 
#define BC_impdep2   0xff
 

Typedefs

typedef uint8_t u1
 
typedef uint16_t u2
 
typedef uint32_t u4
 
typedef uint64_t u8
 
typedef int8_t s1
 
typedef int16_t s2
 
typedef int32_t s4
 
typedef int64_t s8
 

Variables

struct bytecode_infot const bytecode_info []
 

Macro Definition Documentation

◆ BC_aaload

#define BC_aaload   0x32

Definition at line 115 of file bytecode_info.h.

◆ BC_aastore

#define BC_aastore   0x53

Definition at line 148 of file bytecode_info.h.

◆ BC_aconst_null

#define BC_aconst_null   0x01

Definition at line 66 of file bytecode_info.h.

◆ BC_aload

#define BC_aload   0x19

Definition at line 90 of file bytecode_info.h.

◆ BC_aload_0

#define BC_aload_0   0x2a

Definition at line 107 of file bytecode_info.h.

◆ BC_aload_1

#define BC_aload_1   0x2b

Definition at line 108 of file bytecode_info.h.

◆ BC_aload_2

#define BC_aload_2   0x2c

Definition at line 109 of file bytecode_info.h.

◆ BC_aload_3

#define BC_aload_3   0x2d

Definition at line 110 of file bytecode_info.h.

◆ BC_anewarray

#define BC_anewarray   0xbd

Definition at line 254 of file bytecode_info.h.

◆ BC_areturn

#define BC_areturn   0xb0

Definition at line 241 of file bytecode_info.h.

◆ BC_arraylength

#define BC_arraylength   0xbe

Definition at line 255 of file bytecode_info.h.

◆ BC_astore

#define BC_astore   0x3a

Definition at line 123 of file bytecode_info.h.

◆ BC_astore_0

#define BC_astore_0   0x4b

Definition at line 140 of file bytecode_info.h.

◆ BC_astore_1

#define BC_astore_1   0x4c

Definition at line 141 of file bytecode_info.h.

◆ BC_astore_2

#define BC_astore_2   0x4d

Definition at line 142 of file bytecode_info.h.

◆ BC_astore_3

#define BC_astore_3   0x4e

Definition at line 143 of file bytecode_info.h.

◆ BC_athrow

#define BC_athrow   0xbf

Definition at line 256 of file bytecode_info.h.

◆ BC_baload

#define BC_baload   0x33

Definition at line 116 of file bytecode_info.h.

◆ BC_bastore

#define BC_bastore   0x54

Definition at line 149 of file bytecode_info.h.

◆ BC_bipush

#define BC_bipush   0x10

Definition at line 81 of file bytecode_info.h.

◆ BC_breakpoint

#define BC_breakpoint   0xca

Definition at line 267 of file bytecode_info.h.

◆ BC_caload

#define BC_caload   0x34

Definition at line 117 of file bytecode_info.h.

◆ BC_castore

#define BC_castore   0x55

Definition at line 150 of file bytecode_info.h.

◆ BC_checkcast

#define BC_checkcast   0xc0

Definition at line 257 of file bytecode_info.h.

◆ BC_d2f

#define BC_d2f   0x90

Definition at line 209 of file bytecode_info.h.

◆ BC_d2i

#define BC_d2i   0x8e

Definition at line 207 of file bytecode_info.h.

◆ BC_d2l

#define BC_d2l   0x8f

Definition at line 208 of file bytecode_info.h.

◆ BC_dadd

#define BC_dadd   0x63

Definition at line 164 of file bytecode_info.h.

◆ BC_daload

#define BC_daload   0x31

Definition at line 114 of file bytecode_info.h.

◆ BC_dastore

#define BC_dastore   0x52

Definition at line 147 of file bytecode_info.h.

◆ BC_dcmpg

#define BC_dcmpg   0x98

Definition at line 217 of file bytecode_info.h.

◆ BC_dcmpl

#define BC_dcmpl   0x97

Definition at line 216 of file bytecode_info.h.

◆ BC_dconst_0

#define BC_dconst_0   0x0e

Definition at line 79 of file bytecode_info.h.

◆ BC_dconst_1

#define BC_dconst_1   0x0f

Definition at line 80 of file bytecode_info.h.

◆ BC_ddiv

#define BC_ddiv   0x6f

Definition at line 176 of file bytecode_info.h.

◆ BC_dload

#define BC_dload   0x18

Definition at line 89 of file bytecode_info.h.

◆ BC_dload_0

#define BC_dload_0   0x26

Definition at line 103 of file bytecode_info.h.

◆ BC_dload_1

#define BC_dload_1   0x27

Definition at line 104 of file bytecode_info.h.

◆ BC_dload_2

#define BC_dload_2   0x28

Definition at line 105 of file bytecode_info.h.

◆ BC_dload_3

#define BC_dload_3   0x29

Definition at line 106 of file bytecode_info.h.

◆ BC_dmul

#define BC_dmul   0x6b

Definition at line 172 of file bytecode_info.h.

◆ BC_dneg

#define BC_dneg   0x77

Definition at line 184 of file bytecode_info.h.

◆ BC_drem

#define BC_drem   0x73

Definition at line 180 of file bytecode_info.h.

◆ BC_dreturn

#define BC_dreturn   0xaf

Definition at line 240 of file bytecode_info.h.

◆ BC_dstore

#define BC_dstore   0x39

Definition at line 122 of file bytecode_info.h.

◆ BC_dstore_0

#define BC_dstore_0   0x47

Definition at line 136 of file bytecode_info.h.

◆ BC_dstore_1

#define BC_dstore_1   0x48

Definition at line 137 of file bytecode_info.h.

◆ BC_dstore_2

#define BC_dstore_2   0x49

Definition at line 138 of file bytecode_info.h.

◆ BC_dstore_3

#define BC_dstore_3   0x4a

Definition at line 139 of file bytecode_info.h.

◆ BC_dsub

#define BC_dsub   0x67

Definition at line 168 of file bytecode_info.h.

◆ BC_dup

#define BC_dup   0x59

Definition at line 154 of file bytecode_info.h.

◆ BC_dup2

#define BC_dup2   0x5c

Definition at line 157 of file bytecode_info.h.

◆ BC_dup2_x1

#define BC_dup2_x1   0x5d

Definition at line 158 of file bytecode_info.h.

◆ BC_dup2_x2

#define BC_dup2_x2   0x5e

Definition at line 159 of file bytecode_info.h.

◆ BC_dup_x1

#define BC_dup_x1   0x5a

Definition at line 155 of file bytecode_info.h.

◆ BC_dup_x2

#define BC_dup_x2   0x5b

Definition at line 156 of file bytecode_info.h.

◆ BC_f2d

#define BC_f2d   0x8d

Definition at line 206 of file bytecode_info.h.

◆ BC_f2i

#define BC_f2i   0x8b

Definition at line 204 of file bytecode_info.h.

◆ BC_f2l

#define BC_f2l   0x8c

Definition at line 205 of file bytecode_info.h.

◆ BC_fadd

#define BC_fadd   0x62

Definition at line 163 of file bytecode_info.h.

◆ BC_faload

#define BC_faload   0x30

Definition at line 113 of file bytecode_info.h.

◆ BC_fastore

#define BC_fastore   0x51

Definition at line 146 of file bytecode_info.h.

◆ BC_fcmpg

#define BC_fcmpg   0x96

Definition at line 215 of file bytecode_info.h.

◆ BC_fcmpl

#define BC_fcmpl   0x95

Definition at line 214 of file bytecode_info.h.

◆ BC_fconst_0

#define BC_fconst_0   0x0b

Definition at line 76 of file bytecode_info.h.

◆ BC_fconst_1

#define BC_fconst_1   0x0c

Definition at line 77 of file bytecode_info.h.

◆ BC_fconst_2

#define BC_fconst_2   0x0d

Definition at line 78 of file bytecode_info.h.

◆ BC_fdiv

#define BC_fdiv   0x6e

Definition at line 175 of file bytecode_info.h.

◆ BC_fload

#define BC_fload   0x17

Definition at line 88 of file bytecode_info.h.

◆ BC_fload_0

#define BC_fload_0   0x22

Definition at line 99 of file bytecode_info.h.

◆ BC_fload_1

#define BC_fload_1   0x23

Definition at line 100 of file bytecode_info.h.

◆ BC_fload_2

#define BC_fload_2   0x24

Definition at line 101 of file bytecode_info.h.

◆ BC_fload_3

#define BC_fload_3   0x25

Definition at line 102 of file bytecode_info.h.

◆ BC_fmul

#define BC_fmul   0x6a

Definition at line 171 of file bytecode_info.h.

◆ BC_fneg

#define BC_fneg   0x76

Definition at line 183 of file bytecode_info.h.

◆ BC_frem

#define BC_frem   0x72

Definition at line 179 of file bytecode_info.h.

◆ BC_freturn

#define BC_freturn   0xae

Definition at line 239 of file bytecode_info.h.

◆ BC_fstore

#define BC_fstore   0x38

Definition at line 121 of file bytecode_info.h.

◆ BC_fstore_0

#define BC_fstore_0   0x43

Definition at line 132 of file bytecode_info.h.

◆ BC_fstore_1

#define BC_fstore_1   0x44

Definition at line 133 of file bytecode_info.h.

◆ BC_fstore_2

#define BC_fstore_2   0x45

Definition at line 134 of file bytecode_info.h.

◆ BC_fstore_3

#define BC_fstore_3   0x46

Definition at line 135 of file bytecode_info.h.

◆ BC_fsub

#define BC_fsub   0x66

Definition at line 167 of file bytecode_info.h.

◆ BC_getfield

#define BC_getfield   0xb4

Definition at line 245 of file bytecode_info.h.

◆ BC_getstatic

#define BC_getstatic   0xb2

Definition at line 243 of file bytecode_info.h.

◆ BC_goto

#define BC_goto   0xa7

Definition at line 232 of file bytecode_info.h.

◆ BC_goto_w

#define BC_goto_w   0xc8

Definition at line 265 of file bytecode_info.h.

◆ BC_i2b

#define BC_i2b   0x91

Definition at line 210 of file bytecode_info.h.

◆ BC_i2c

#define BC_i2c   0x92

Definition at line 211 of file bytecode_info.h.

◆ BC_i2d

#define BC_i2d   0x87

Definition at line 200 of file bytecode_info.h.

◆ BC_i2f

#define BC_i2f   0x86

Definition at line 199 of file bytecode_info.h.

◆ BC_i2l

#define BC_i2l   0x85

Definition at line 198 of file bytecode_info.h.

◆ BC_i2s

#define BC_i2s   0x93

Definition at line 212 of file bytecode_info.h.

◆ BC_iadd

#define BC_iadd   0x60

Definition at line 161 of file bytecode_info.h.

◆ BC_iaload

#define BC_iaload   0x2e

Definition at line 111 of file bytecode_info.h.

◆ BC_iand

#define BC_iand   0x7e

Definition at line 191 of file bytecode_info.h.

◆ BC_iastore

#define BC_iastore   0x4f

Definition at line 144 of file bytecode_info.h.

◆ BC_iconst_0

#define BC_iconst_0   0x03

Definition at line 68 of file bytecode_info.h.

◆ BC_iconst_1

#define BC_iconst_1   0x04

Definition at line 69 of file bytecode_info.h.

◆ BC_iconst_2

#define BC_iconst_2   0x05

Definition at line 70 of file bytecode_info.h.

◆ BC_iconst_3

#define BC_iconst_3   0x06

Definition at line 71 of file bytecode_info.h.

◆ BC_iconst_4

#define BC_iconst_4   0x07

Definition at line 72 of file bytecode_info.h.

◆ BC_iconst_5

#define BC_iconst_5   0x08

Definition at line 73 of file bytecode_info.h.

◆ BC_iconst_m1

#define BC_iconst_m1   0x02

Definition at line 67 of file bytecode_info.h.

◆ BC_idiv

#define BC_idiv   0x6c

Definition at line 173 of file bytecode_info.h.

◆ BC_if_acmpeq

#define BC_if_acmpeq   0xa5

Definition at line 230 of file bytecode_info.h.

◆ BC_if_acmpne

#define BC_if_acmpne   0xa6

Definition at line 231 of file bytecode_info.h.

◆ BC_if_icmpeq

#define BC_if_icmpeq   0x9f

Definition at line 224 of file bytecode_info.h.

◆ BC_if_icmpge

#define BC_if_icmpge   0xa2

Definition at line 227 of file bytecode_info.h.

◆ BC_if_icmpgt

#define BC_if_icmpgt   0xa3

Definition at line 228 of file bytecode_info.h.

◆ BC_if_icmple

#define BC_if_icmple   0xa4

Definition at line 229 of file bytecode_info.h.

◆ BC_if_icmplt

#define BC_if_icmplt   0xa1

Definition at line 226 of file bytecode_info.h.

◆ BC_if_icmpne

#define BC_if_icmpne   0xa0

Definition at line 225 of file bytecode_info.h.

◆ BC_ifeq

#define BC_ifeq   0x99

Definition at line 218 of file bytecode_info.h.

◆ BC_ifge

#define BC_ifge   0x9c

Definition at line 221 of file bytecode_info.h.

◆ BC_ifgt

#define BC_ifgt   0x9d

Definition at line 222 of file bytecode_info.h.

◆ BC_ifle

#define BC_ifle   0x9e

Definition at line 223 of file bytecode_info.h.

◆ BC_iflt

#define BC_iflt   0x9b

Definition at line 220 of file bytecode_info.h.

◆ BC_ifne

#define BC_ifne   0x9a

Definition at line 219 of file bytecode_info.h.

◆ BC_ifnonnull

#define BC_ifnonnull   0xc7

Definition at line 264 of file bytecode_info.h.

◆ BC_ifnull

#define BC_ifnull   0xc6

Definition at line 263 of file bytecode_info.h.

◆ BC_iinc

#define BC_iinc   0x84

Definition at line 197 of file bytecode_info.h.

◆ BC_iload

#define BC_iload   0x15

Definition at line 86 of file bytecode_info.h.

◆ BC_iload_0

#define BC_iload_0   0x1a

Definition at line 91 of file bytecode_info.h.

◆ BC_iload_1

#define BC_iload_1   0x1b

Definition at line 92 of file bytecode_info.h.

◆ BC_iload_2

#define BC_iload_2   0x1c

Definition at line 93 of file bytecode_info.h.

◆ BC_iload_3

#define BC_iload_3   0x1d

Definition at line 94 of file bytecode_info.h.

◆ BC_impdep1

#define BC_impdep1   0xfe

Definition at line 268 of file bytecode_info.h.

◆ BC_impdep2

#define BC_impdep2   0xff

Definition at line 269 of file bytecode_info.h.

◆ BC_imul

#define BC_imul   0x68

Definition at line 169 of file bytecode_info.h.

◆ BC_ineg

#define BC_ineg   0x74

Definition at line 181 of file bytecode_info.h.

◆ BC_instanceof

#define BC_instanceof   0xc1

Definition at line 258 of file bytecode_info.h.

◆ BC_invokedynamic

#define BC_invokedynamic   0xba

Definition at line 251 of file bytecode_info.h.

◆ BC_invokeinterface

#define BC_invokeinterface   0xb9

Definition at line 250 of file bytecode_info.h.

◆ BC_invokespecial

#define BC_invokespecial   0xb7

Definition at line 248 of file bytecode_info.h.

◆ BC_invokestatic

#define BC_invokestatic   0xb8

Definition at line 249 of file bytecode_info.h.

◆ BC_invokevirtual

#define BC_invokevirtual   0xb6

Definition at line 247 of file bytecode_info.h.

◆ BC_ior

#define BC_ior   0x80

Definition at line 193 of file bytecode_info.h.

◆ BC_irem

#define BC_irem   0x70

Definition at line 177 of file bytecode_info.h.

◆ BC_ireturn

#define BC_ireturn   0xac

Definition at line 237 of file bytecode_info.h.

◆ BC_ishl

#define BC_ishl   0x78

Definition at line 185 of file bytecode_info.h.

◆ BC_ishr

#define BC_ishr   0x7a

Definition at line 187 of file bytecode_info.h.

◆ BC_istore

#define BC_istore   0x36

Definition at line 119 of file bytecode_info.h.

◆ BC_istore_0

#define BC_istore_0   0x3b

Definition at line 124 of file bytecode_info.h.

◆ BC_istore_1

#define BC_istore_1   0x3c

Definition at line 125 of file bytecode_info.h.

◆ BC_istore_2

#define BC_istore_2   0x3d

Definition at line 126 of file bytecode_info.h.

◆ BC_istore_3

#define BC_istore_3   0x3e

Definition at line 127 of file bytecode_info.h.

◆ BC_isub

#define BC_isub   0x64

Definition at line 165 of file bytecode_info.h.

◆ BC_iushr

#define BC_iushr   0x7c

Definition at line 189 of file bytecode_info.h.

◆ BC_ixor

#define BC_ixor   0x82

Definition at line 195 of file bytecode_info.h.

◆ BC_jsr

#define BC_jsr   0xa8

Definition at line 233 of file bytecode_info.h.

◆ BC_jsr_w

#define BC_jsr_w   0xc9

Definition at line 266 of file bytecode_info.h.

◆ BC_l2d

#define BC_l2d   0x8a

Definition at line 203 of file bytecode_info.h.

◆ BC_l2f

#define BC_l2f   0x89

Definition at line 202 of file bytecode_info.h.

◆ BC_l2i

#define BC_l2i   0x88

Definition at line 201 of file bytecode_info.h.

◆ BC_ladd

#define BC_ladd   0x61

Definition at line 162 of file bytecode_info.h.

◆ BC_laload

#define BC_laload   0x2f

Definition at line 112 of file bytecode_info.h.

◆ BC_land

#define BC_land   0x7f

Definition at line 192 of file bytecode_info.h.

◆ BC_lastore

#define BC_lastore   0x50

Definition at line 145 of file bytecode_info.h.

◆ BC_lcmp

#define BC_lcmp   0x94

Definition at line 213 of file bytecode_info.h.

◆ BC_lconst_0

#define BC_lconst_0   0x09

Definition at line 74 of file bytecode_info.h.

◆ BC_lconst_1

#define BC_lconst_1   0x0a

Definition at line 75 of file bytecode_info.h.

◆ BC_ldc

#define BC_ldc   0x12

Definition at line 83 of file bytecode_info.h.

◆ BC_ldc2_w

#define BC_ldc2_w   0x14

Definition at line 85 of file bytecode_info.h.

◆ BC_ldc_w

#define BC_ldc_w   0x13

Definition at line 84 of file bytecode_info.h.

◆ BC_ldiv

#define BC_ldiv   0x6d

Definition at line 174 of file bytecode_info.h.

◆ BC_lload

#define BC_lload   0x16

Definition at line 87 of file bytecode_info.h.

◆ BC_lload_0

#define BC_lload_0   0x1e

Definition at line 95 of file bytecode_info.h.

◆ BC_lload_1

#define BC_lload_1   0x1f

Definition at line 96 of file bytecode_info.h.

◆ BC_lload_2

#define BC_lload_2   0x20

Definition at line 97 of file bytecode_info.h.

◆ BC_lload_3

#define BC_lload_3   0x21

Definition at line 98 of file bytecode_info.h.

◆ BC_lmul

#define BC_lmul   0x69

Definition at line 170 of file bytecode_info.h.

◆ BC_lneg

#define BC_lneg   0x75

Definition at line 182 of file bytecode_info.h.

◆ BC_lookupswitch

#define BC_lookupswitch   0xab

Definition at line 236 of file bytecode_info.h.

◆ BC_lor

#define BC_lor   0x81

Definition at line 194 of file bytecode_info.h.

◆ BC_lrem

#define BC_lrem   0x71

Definition at line 178 of file bytecode_info.h.

◆ BC_lreturn

#define BC_lreturn   0xad

Definition at line 238 of file bytecode_info.h.

◆ BC_lshl

#define BC_lshl   0x79

Definition at line 186 of file bytecode_info.h.

◆ BC_lshr

#define BC_lshr   0x7b

Definition at line 188 of file bytecode_info.h.

◆ BC_lstore

#define BC_lstore   0x37

Definition at line 120 of file bytecode_info.h.

◆ BC_lstore_0

#define BC_lstore_0   0x3f

Definition at line 128 of file bytecode_info.h.

◆ BC_lstore_1

#define BC_lstore_1   0x40

Definition at line 129 of file bytecode_info.h.

◆ BC_lstore_2

#define BC_lstore_2   0x41

Definition at line 130 of file bytecode_info.h.

◆ BC_lstore_3

#define BC_lstore_3   0x42

Definition at line 131 of file bytecode_info.h.

◆ BC_lsub

#define BC_lsub   0x65

Definition at line 166 of file bytecode_info.h.

◆ BC_lushr

#define BC_lushr   0x7d

Definition at line 190 of file bytecode_info.h.

◆ BC_lxor

#define BC_lxor   0x83

Definition at line 196 of file bytecode_info.h.

◆ BC_monitorenter

#define BC_monitorenter   0xc2

Definition at line 259 of file bytecode_info.h.

◆ BC_monitorexit

#define BC_monitorexit   0xc3

Definition at line 260 of file bytecode_info.h.

◆ BC_multianewarray

#define BC_multianewarray   0xc5

Definition at line 262 of file bytecode_info.h.

◆ BC_new

#define BC_new   0xbb

Definition at line 252 of file bytecode_info.h.

◆ BC_newarray

#define BC_newarray   0xbc

Definition at line 253 of file bytecode_info.h.

◆ BC_nop

#define BC_nop   0x00

Definition at line 65 of file bytecode_info.h.

◆ BC_pop

#define BC_pop   0x57

Definition at line 152 of file bytecode_info.h.

◆ BC_pop2

#define BC_pop2   0x58

Definition at line 153 of file bytecode_info.h.

◆ BC_putfield

#define BC_putfield   0xb5

Definition at line 246 of file bytecode_info.h.

◆ BC_putstatic

#define BC_putstatic   0xb3

Definition at line 244 of file bytecode_info.h.

◆ BC_ret

#define BC_ret   0xa9

Definition at line 234 of file bytecode_info.h.

◆ BC_return

#define BC_return   0xb1

Definition at line 242 of file bytecode_info.h.

◆ BC_saload

#define BC_saload   0x35

Definition at line 118 of file bytecode_info.h.

◆ BC_sastore

#define BC_sastore   0x56

Definition at line 151 of file bytecode_info.h.

◆ BC_sipush

#define BC_sipush   0x11

Definition at line 82 of file bytecode_info.h.

◆ BC_swap

#define BC_swap   0x5f

Definition at line 160 of file bytecode_info.h.

◆ BC_tableswitch

#define BC_tableswitch   0xaa

Definition at line 235 of file bytecode_info.h.

◆ BC_wide

#define BC_wide   0xc4

Definition at line 261 of file bytecode_info.h.

Typedef Documentation

◆ s1

typedef int8_t s1

Definition at line 59 of file bytecode_info.h.

◆ s2

typedef int16_t s2

Definition at line 60 of file bytecode_info.h.

◆ s4

typedef int32_t s4

Definition at line 61 of file bytecode_info.h.

◆ s8

typedef int64_t s8

Definition at line 62 of file bytecode_info.h.

◆ u1

typedef uint8_t u1

Definition at line 55 of file bytecode_info.h.

◆ u2

typedef uint16_t u2

Definition at line 56 of file bytecode_info.h.

◆ u4

typedef uint32_t u4

Definition at line 57 of file bytecode_info.h.

◆ u8

typedef uint64_t u8

Definition at line 58 of file bytecode_info.h.

Variable Documentation

◆ bytecode_info

struct bytecode_infot const bytecode_info[]
extern

Definition at line 1 of file bytecode_info.cpp.