mirror of
https://github.com/RustPython/RustPython.git
synced 2026-06-02 19:39:49 +09:00
ccd377cc47
* Emit CACHE code units in bytecode to match CPython 3.14 - Add cache_entries() method to Instruction enum - Emit CACHE code units after opcodes in finalize_code - Handle NO_LOCATION (line=-1) in linetable for CACHE entries - Account for CACHE entries in exception table generation - Skip CACHE entries in VM execution loop (with jump detection) - Handle CACHE in InstrumentedLine/InstrumentedInstruction/InstrumentedForIter/InstrumentedNotTaken - Skip CACHE in monitoring instrumentation phases - Update co_branches() for cache-adjusted offsets - Restore _cache_format in Lib/opcode.py - Remove expectedFailure from test_c_call, test_start_offset * Use relative jump offsets and fix bytecode layout - Convert jump arguments from absolute to relative offsets in frame.rs, monitoring.rs, and stack_analysis - Add jump_relative_forward/backward helpers to ExecutingFrame - Resolve pseudo jump instructions before offset fixpoint loop - Emit NOP for break, continue, pass to match line-tracing - Fix async for: emit EndAsyncFor with correct target, add NotTaken - Fix comprehension if-cleanup to use separate block - Fix super() source range for multi-line calls - Fix NOP removal to preserve line-marker NOPs - Fix InstrumentedLine cache skipping after re-dispatch - Match InstrumentedResume/YieldValue in yield_from_target - Remove CALL_FUNCTION_EX cache entry from opcode.py - Remove resolved expectedFailure markers * Align CPython 3.14 LOAD_GLOBAL null-bit and RERAISE semantics * Remove redundant CPython-referencing comments Clean up comments that unnecessarily mention CPython per project convention. Replace with concise descriptions of the behavior itself.
123 lines
3.1 KiB
Python
Vendored
123 lines
3.1 KiB
Python
Vendored
|
|
"""
|
|
opcode module - potentially shared between dis and other modules which
|
|
operate on bytecodes (e.g. peephole optimizers).
|
|
"""
|
|
|
|
|
|
__all__ = ["cmp_op", "stack_effect", "hascompare", "opname", "opmap",
|
|
"HAVE_ARGUMENT", "EXTENDED_ARG", "hasarg", "hasconst", "hasname",
|
|
"hasjump", "hasjrel", "hasjabs", "hasfree", "haslocal", "hasexc"]
|
|
|
|
import builtins
|
|
import _opcode
|
|
from _opcode import stack_effect
|
|
|
|
from _opcode_metadata import (_specializations, _specialized_opmap, opmap, # noqa: F401
|
|
HAVE_ARGUMENT, MIN_INSTRUMENTED_OPCODE) # noqa: F401
|
|
EXTENDED_ARG = opmap['EXTENDED_ARG']
|
|
|
|
opname = ['<%r>' % (op,) for op in range(max(opmap.values()) + 1)]
|
|
for m in (opmap, _specialized_opmap):
|
|
for op, i in m.items():
|
|
opname[i] = op
|
|
|
|
cmp_op = ('<', '<=', '==', '!=', '>', '>=')
|
|
|
|
# These lists are documented as part of the dis module's API
|
|
hasarg = [op for op in opmap.values() if _opcode.has_arg(op)]
|
|
hasconst = [op for op in opmap.values() if _opcode.has_const(op)]
|
|
hasname = [op for op in opmap.values() if _opcode.has_name(op)]
|
|
hasjump = [op for op in opmap.values() if _opcode.has_jump(op)]
|
|
hasjrel = hasjump # for backward compatibility
|
|
hasjabs = []
|
|
hasfree = [op for op in opmap.values() if _opcode.has_free(op)]
|
|
haslocal = [op for op in opmap.values() if _opcode.has_local(op)]
|
|
hasexc = [op for op in opmap.values() if _opcode.has_exc(op)]
|
|
|
|
|
|
_intrinsic_1_descs = _opcode.get_intrinsic1_descs()
|
|
_intrinsic_2_descs = _opcode.get_intrinsic2_descs()
|
|
_special_method_names = _opcode.get_special_method_names()
|
|
_common_constants = [builtins.AssertionError, builtins.NotImplementedError,
|
|
builtins.tuple, builtins.all, builtins.any]
|
|
_nb_ops = _opcode.get_nb_ops()
|
|
|
|
hascompare = [opmap["COMPARE_OP"]]
|
|
|
|
_cache_format = {
|
|
"LOAD_GLOBAL": {
|
|
"counter": 1,
|
|
"index": 1,
|
|
"module_keys_version": 1,
|
|
"builtin_keys_version": 1,
|
|
},
|
|
"BINARY_OP": {
|
|
"counter": 1,
|
|
"descr": 4,
|
|
},
|
|
"UNPACK_SEQUENCE": {
|
|
"counter": 1,
|
|
},
|
|
"COMPARE_OP": {
|
|
"counter": 1,
|
|
},
|
|
"CONTAINS_OP": {
|
|
"counter": 1,
|
|
},
|
|
"FOR_ITER": {
|
|
"counter": 1,
|
|
},
|
|
"LOAD_SUPER_ATTR": {
|
|
"counter": 1,
|
|
},
|
|
"LOAD_ATTR": {
|
|
"counter": 1,
|
|
"version": 2,
|
|
"keys_version": 2,
|
|
"descr": 4,
|
|
},
|
|
"STORE_ATTR": {
|
|
"counter": 1,
|
|
"version": 2,
|
|
"index": 1,
|
|
},
|
|
"CALL": {
|
|
"counter": 1,
|
|
"func_version": 2,
|
|
},
|
|
"CALL_KW": {
|
|
"counter": 1,
|
|
"func_version": 2,
|
|
},
|
|
"STORE_SUBSCR": {
|
|
"counter": 1,
|
|
},
|
|
"SEND": {
|
|
"counter": 1,
|
|
},
|
|
"JUMP_BACKWARD": {
|
|
"counter": 1,
|
|
},
|
|
"TO_BOOL": {
|
|
"counter": 1,
|
|
"version": 2,
|
|
},
|
|
"POP_JUMP_IF_TRUE": {
|
|
"counter": 1,
|
|
},
|
|
"POP_JUMP_IF_FALSE": {
|
|
"counter": 1,
|
|
},
|
|
"POP_JUMP_IF_NONE": {
|
|
"counter": 1,
|
|
},
|
|
"POP_JUMP_IF_NOT_NONE": {
|
|
"counter": 1,
|
|
},
|
|
}
|
|
|
|
_inline_cache_entries = {
|
|
name : sum(value.values()) for (name, value) in _cache_format.items()
|
|
}
|