1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
==================================================
CPython C extension module produced by recompile()
==================================================
Global variable::
_cffi_opcode_t _cffi_types[];
Every ``_cffi_types`` entry is initially an odd integer. At runtime, it
is fixed to be a ``CTypeDescrObject *`` when the odd integer is
interpreted and turned into a real ``<ctype>`` object.
The generated C functions are listed in ``_cffi_globals``, a sorted array
of entries which get turned lazily into real ``<builtin function
objects>``. Each entry in this array has an index in the ``_cffi_types``
array, which describe the function type (``OP_FUNCTION`` opcode, see
below). We turn the odd integers describing argument and return types
into real CTypeDescrObjects at the point where the entry is turned
into a real builtin function object.
The odd integers are "opcodes" that contain a type info in the lowest
byte. The remaining high bytes of the integer is an "arg" that depends
on the type info:
OP_PRIMITIVE
the arg tells which primitive type it is (an index in some list)
OP_POINTER
the arg is the index of the item type in the ``_cffi_types`` array.
OP_ARRAY
the arg is the index of the item type in the ``_cffi_types`` array.
followed by another opcode that contains (uintptr_t)length_of_array.
OP_OPEN_ARRAY
for syntax like "int[]". same as OP_ARRAY but without the length
OP_STRUCT_UNION
the arg is the index of the struct/union in ``_cffi_structs_unions``
OP_ENUM
the arg is the index of the enum in ``_cffi_enums``
OP_TYPENAME
the arg is the index of the typename in ``_cffi_typenames``
OP_FUNCTION
the arg is the index of the result type in ``_cffi_types``.
followed by other opcodes for the arguments.
terminated by ``OP_FUNCTION_END``.
OP_FUNCTION_END
the arg's lowest bit is set if there is a "..." argument.
OP_NOOP
simple indirection: the arg is the index to look further in
There are other opcodes, used not inside ``_cffi_types`` but in other
individual ``type_op`` fields. Most importantly, these are used
on ``_cffi_globals`` entries:
OP_CPYTHON_BLTN_*
declare a function
OP_CONSTANT
declare a non-integral constant
OP_CONSTANT_INT
declare an int constant
OP_GLOBAL_VAR
declare a global var
|
