Содержание страницы

32.12. `dis` – Дизассемблер байткода Python¶dis – Disassembler for Python bytecode

Исходный код: Lib/dis.py

Модуль dis поддерживает анализ байт-кода CPython путём eго дизассемблирования. Байт-код CPython, который этот модуль принимает на вход, определён в файле Include/opcode.h и используется компилятором и интерпретатором.

Особенность реализации CPython: Байт-код является деталью реализации интерпретатора CPython. Нет никаких гарантий, что байт-код не будет добавлен, удалён или изменён в разных версиях Python. Не следует рассчитывать, что использование этого модуля будет работать в разных виртуальных машинах Python или в разных релизах Python.

Пример: Дана функция myfunc():

def myfunc(alist):
    return len(alist)

следующую команду можно использовать для отображения дизассемблирования myfunc():

>>> dis.dis(myfunc)
  2           0 LOAD_GLOBAL              0 (len)
              3 LOAD_FAST                0 (alist)
              6 CALL_FUNCTION            1
              9 RETURN_VALUE

(«2» – это номер строки).

32.12.1. Анализ байткода¶Bytecode analysis

Новое в версии 3.4.

API анализа байт-кода позволяет оборачивать фрагменты кода Python в объект Bytecode, который предоставляет удобный доступ к деталям скомпилированного кода.

class dis.Bytecode(x, *, first_line=None, current_offset=None)¶

Анализирует байт-код, соответствующий функции, генератору, методу, строке\nисходного кода или объекту кода (возвращаемому compile()).

Это удобная обёртка над многими функциями, перечисленными ниже, особенно get_instructions(), поскольку итерация по экземпляру Bytecode возвращает операции байткода в виде экземпляров Instruction.

Если first_line не равен None, он указывает номер строки, который должен быть указан для первой строки исходного кода в дизассемблированном коде. В противном случае информация о строке исходного кода (если есть) берётся непосредственно из дизассемблированного объекта кода.

Если current_offset не равно None, оно указывает смещение инструкции в дизассемблированном коде. Установка этого значения означает, что dis() будет отображать маркер «текущая инструкция» напротив указанной операции.

classmethod from_traceback(tb)¶: Создаёт экземпляр Bytecode из заданного traceback, устанавливая current_offset на инструкцию, ответственную за исключение.

codeobj¶: Скомпилированный объект кода.

first_line¶: Первая строка исходного кода объекта кода (если доступна)

dis()¶: Возвращает форматированное представление операций байткода (то же, что выводится dis.dis(), но возвращается в виде многострочной строки).

info()¶: Возвращает форматированную многострочную строку с подробной информацией об объекте кода, как code_info().

Пример:

>>> bytecode = dis.Bytecode(myfunc)
>>> for instr in bytecode:
...     print(instr.opname)
...
LOAD_GLOBAL
LOAD_FAST
CALL_FUNCTION
RETURN_VALUE

32.12.2. Функции анализа¶Analysis functions

Модуль dis также определяет следующие функции анализа, которые преобразуют входные данные непосредственно в желаемый вывод. Они могут быть полезны, если выполняется только одна операция, и промежуточный объект анализа не нужен:

dis.code_info(x)¶

Возвращает форматированную многострочную строку с подробной информацией об объекте кода\nдля указанной функции, генератора, метода, строки исходного кода или объекта кода.

Обратите внимание, что точное содержимое строк с информацией о коде сильно зависит от реализации и может произвольно меняться в разных реализациях Python или версиях Python.

Новое в версии 3.2.

dis.show_code(x, *, file=None)¶

Выводит подробную информацию об объекте кода для указанной функции, метода, строки исходного кода или объекта кода в file (или sys.stdout, если file не указан).

Это удобная краткая форма для print(code_info(x), file=file), предназначенная для интерактивного исследования в приглашении интерпретатора.

Новое в версии 3.2.

Изменено в версии 3.4: Добавлен параметр file.

dis.dis(x=None, *, file=None)¶

Дизассемблирует объект x. x может обозначать модуль, класс, метод, функцию, генератор, объект кода, строку исходного кода или\nпоследовательность байтов исходного байт-кода. Для модуля дизассемблируются все функции.\nДля класса дизассемблируются все методы (включая методы класса и статические методы).\nДля объекта кода или последовательности байтов исходного байт-кода выводится по одной строке на каждую\nинструкцию байт-кода. Строки сначала компилируются в объекты кода с помощью compile()\nвстроенной функции, а затем дизассемблируются. Если объект не указан, эта\nфункция дизассемблирует последнюю трассировку.

Результат дисассемблирования выводится в виде текста в указанный аргумент file, если он передан, иначе – в sys.stdout.

Изменено в версии 3.4: Добавлен параметр file.

dis.distb(tb=None, *, file=None)¶

Дисассемблирует функцию, находящуюся на вершине стека traceback; если traceback не передан, используется последний. Указывается инструкция, вызвавшая исключение.

Изменено в версии 3.4: Добавлен параметр file.

dis.disassemble(code, lasti=-1, *, file=None)¶

dis.disco(code, lasti=-1, *, file=None)¶

Дисассемблирует объект кода, указывая последнюю инструкцию, если передан lasti. Результат разбит на следующие столбцы:

номер строки для первой инструкции каждой строки
текущая инструкция, помечена как -->,
инструкция с меткой, помечена >>,
адрес инструкции,
название кода операции,
параметры операции и
интерпретация параметров в скобках.

Интерпретация параметров распознаёт имена локальных и глобальных переменных, константные значения, цели переходов и операторы сравнения.

Изменено в версии 3.4: Добавлен параметр file.

dis.get_instructions(x, *, first_line=None)¶

Возвращает итератор по инструкциям в переданной функции, методе, строке исходного кода или объекте кода.

Итератор генерирует последовательность именованных кортежей Instruction, содержащих сведения о каждой операции в переданном коде.

Новое в версии 3.4.

dis.findlinestarts(code)¶: Эта функция-генератор использует атрибуты co_firstlineno и co_lnotab объекта кода code для поиска смещений, соответствующих началам строк в исходном коде. Они возвращаются в виде пар (offset, lineno).

dis.findlabels(code)¶: Определяет все смещения в объекте кода code, которые являются целями перехода, и\nвозвращает список этих смещений.

dis.stack_effect(opcode[, oparg])¶: Вычисляет эффект стека для opcode с аргументом oparg.

Новое в версии 3.4.

32.12.3. Инструкции байткода Python¶Python Bytecode Instructions

Функция get_instructions() и класс Bytecode предоставляют сведения об инструкциях байткода в виде экземпляров Instruction:

class dis.Instruction¶

Подробности об операции байткода

opcode¶: Числовой код операции, соответствующий значениям опкодов, перечисленным ниже, и значениям байткода в коллекциях Opcode.

opname¶: Человекочитаемое имя операции

arg¶: числовой аргумент операции (если есть), иначе None

argval¶: разрешённое значение аргумента (если известно), иначе то же, что и arg

argrepr¶: человекочитаемое описание аргумента операции

offset¶: начальный индекс операции в последовательности байт-кода

starts_line¶: Строка, с которой начинается данный опкод (если есть), иначе None.

is_jump_target¶: True, если другой код переходит сюда, иначе False

Новое в версии 3.4.

В настоящее время компилятор Python генерирует следующие инструкции байткода.

Общие инструкции

NOP¶: Код, который ничего не делает. Используется в качестве заполнителя оптимизатором байт-кода.

POP_TOP¶: Удаляет элемент с вершины стека (TOS).

ROT_TWO¶: Меняет местами два верхних элемента стека.

ROT_THREE¶: Поднимает второй и третий элементы стека на одну позицию вверх, перемещает верхний вниз на третью позицию.

DUP_TOP¶: Дублирует ссылку на вершине стека.

DUP_TOP_TWO¶: Дублирует две ссылки на вершине стека, сохраняя их порядок.

Унарные операции

Унарные операции берут элемент с вершины стека, применяют операцию и помещают результат обратно на стек.

UNARY_POSITIVE¶: Реализует TOS = +TOS.

UNARY_NEGATIVE¶: Реализует TOS = -TOS.

UNARY_NOT¶: Реализует TOS = not TOS.

UNARY_INVERT¶: Реализует TOS = ~TOS.

GET_ITER¶: Реализует TOS = iter(TOS).

GET_YIELD_FROM_ITER¶: Если TOS является объектом генераторный итератор или корутина, он остаётся без изменений. В противном случае реализует TOS = iter(TOS).

Новое в версии 3.5.

Бинарные операции

Бинарные операции удаляют из стека элемент с вершины (TOS) и второй сверху элемент стека (TOS1). Они выполняют операцию и помещают результат обратно в стек.

BINARY_POWER¶: Реализует TOS = TOS1 ** TOS.

BINARY_MULTIPLY¶: Реализует TOS = TOS1 * TOS.

BINARY_MATRIX_MULTIPLY¶: Реализует TOS = TOS1 @ TOS.

Новое в версии 3.5.

BINARY_FLOOR_DIVIDE¶: Реализует TOS = TOS1 // TOS.

BINARY_TRUE_DIVIDE¶: Реализует TOS = TOS1 / TOS.

BINARY_MODULO¶: Реализует TOS = TOS1 % TOS.

BINARY_ADD¶: Реализует TOS = TOS1 + TOS.

BINARY_SUBTRACT¶: Реализует TOS = TOS1 - TOS.

BINARY_SUBSCR¶: Реализует TOS = TOS1[TOS].

BINARY_LSHIFT¶: Реализует TOS = TOS1 << TOS.

BINARY_RSHIFT¶: Реализует TOS = TOS1 >> TOS.

BINARY_AND¶: Реализует TOS = TOS1 & TOS.

BINARY_XOR¶: Реализует TOS = TOS1 ^ TOS.

BINARY_OR¶: Реализует TOS = TOS1 | TOS.

Операции на месте

Операции на месте аналогичны бинарным: они также удаляют TOS и TOS1 и помещают результат обратно в стек, но операция выполняется на месте, если TOS1 это поддерживает, и результирующий TOS может (но не обязан) быть исходным TOS1.

INPLACE_POWER¶: Реализует операцию на месте TOS = TOS1 ** TOS.

INPLACE_MULTIPLY¶: Реализует операцию на месте TOS = TOS1 * TOS.

INPLACE_MATRIX_MULTIPLY¶: Реализует операцию на месте TOS = TOS1 @ TOS.

Новое в версии 3.5.

INPLACE_FLOOR_DIVIDE¶: Реализует операцию на месте TOS = TOS1 // TOS.

INPLACE_TRUE_DIVIDE¶: Реализует операцию на месте TOS = TOS1 / TOS.

INPLACE_MODULO¶: Реализует операцию на месте TOS = TOS1 % TOS.

INPLACE_ADD¶: Реализует операцию на месте TOS = TOS1 + TOS.

INPLACE_SUBTRACT¶: Реализует операцию на месте TOS = TOS1 - TOS.

INPLACE_LSHIFT¶: Реализует операцию на месте TOS = TOS1 << TOS.

INPLACE_RSHIFT¶: Реализует операцию на месте TOS = TOS1 >> TOS.

INPLACE_AND¶: Реализует операцию на месте TOS = TOS1 & TOS.

INPLACE_XOR¶: Реализует операцию на месте TOS = TOS1 ^ TOS.

INPLACE_OR¶: Реализует операцию на месте TOS = TOS1 | TOS.

STORE_SUBSCR¶: Реализует TOS1[TOS] = TOS2.

DELETE_SUBSCR¶: Реализует del TOS1[TOS].

Коды операций корутин

GET_AWAITABLE¶: Реализует TOS = get_awaitable(TOS), где get_awaitable(o) возвращает o, если o является объектом корутины или объектом генератора с флагом CO_ITERABLE_COROUTINE, или разрешает o.__await__.

GET_AITER¶: Реализует TOS = get_awaitable(TOS.__aiter__()). Подробнее о get_awaitable см. в GET_AWAITABLE.

GET_ANEXT¶: Реализует PUSH(get_awaitable(TOS.__anext__())). Подробнее о get_awaitable см. в GET_AWAITABLE.

BEFORE_ASYNC_WITH¶: Извлекает __aenter__ и __aexit__ из объекта на вершине стека. Помещает __aexit__ и результат __aenter__() в стек.

SETUP_ASYNC_WITH¶: Создаёт новый объект фрейма.

Прочие опкоды

PRINT_EXPR¶: Реализует выражение-инструкцию для интерактивного режима. TOS удаляется из стека и выводится на печать. В неинтерактивном режиме выражение-инструкция завершается с помощью POP_TOP.

BREAK_LOOP¶: Завершает цикл при выполнении оператора break.

CONTINUE_LOOP(target)¶: Продолжает цикл при выполнении оператора continue. target – это адрес, на который нужно перейти (должен быть инструкция FOR_ITER).

SET_ADD(i)¶: Вызывает set.add(TOS1[-i], TOS). Используется для реализации множественных включений (set comprehensions).

LIST_APPEND(i)¶: Вызывает list.append(TOS[-i], TOS). Используется для реализации списковых включений (list comprehensions).

MAP_ADD(i)¶: Вызывает dict.setitem(TOS1[-i], TOS, TOS1). Используется для реализации словарных включений (dict comprehensions).

Для всех инструкций SET_ADD, LIST_APPEND и MAP_ADD, когда добавленное значение или пара ключ/значение извлекаются, объект-контейнер остаётся в стеке, чтобы быть доступным для последующих итераций цикла.

RETURN_VALUE¶: Возвращает TOS вызывающей стороне функции.

YIELD_VALUE¶: Извлекает TOS и возвращает его из генератора.

YIELD_FROM¶: Извлекает TOS и делегирует ему как под-итератор от генератора.

Новое в версии 3.3.

IMPORT_STAR¶: Загружает все имена, не начинающиеся с '_', из модуля TOS в локальное пространство имён. Модуль удаляется после загрузки всех имён. Этот опкод реализует from module import *.

POP_BLOCK¶: Удаляет один блок из стека блоков. В каждом фрейме есть стек блоков, представляющий вложенные циклы, операторы try и т.п.

POP_EXCEPT¶: Удаляет один блок из стека блоков. Извлечённый блок должен быть блоком обработчика исключения, неявно создаваемым при входе в обработчик except. Помимо извлечения лишних значений из стека фрейма, последние три извлечённых значения используются для восстановления состояния исключения.

END_FINALLY¶: Завершает предложение finally. Интерпретатор запоминает, нужно ли повторно возбуждать исключение или функция возвращает значение, и продолжает со следующим внешним блоком.

LOAD_BUILD_CLASS¶: Помещает builtins.__build_class__() в стек. Позже он вызывается CALL_FUNCTION для создания класса.

SETUP_WITH(delta)¶: Эта инструкция выполняет несколько операций перед началом блока with. Во-первых, она загружает __exit__() из менеджера контекста и помещает его в стек для последующего использования WITH_CLEANUP. Затем вызывается __enter__(), и в стек помещается блок finally, указывающий на delta. Наконец, результат вызова метода enter помещается в стек. Следующая инструкция либо игнорирует его (POP_TOP), либо сохраняет в переменную(ые) (STORE_FAST, STORE_NAME или UNPACK_SEQUENCE).

WITH_CLEANUP_START¶

Очищает стек при выходе из блока оператора with. TOS – это привязанный метод __exit__() менеджера контекста. Под TOS находятся 1–3 значения, показывающие, как/почему был выполнен блок finally:

SECOND = None
(SECOND, THIRD) = (WHY_{RETURN,CONTINUE}), retval
SECOND = WHY_*; ниже нет retval
(SECOND, THIRD, FOURTH) = exc_info()

В последнем случае вызывается TOS(SECOND, THIRD, FOURTH), иначе TOS(None, None, None). Помещает SECOND и результат вызова в стек.

WITH_CLEANUP_FINISH¶

Извлекает из стека тип исключения и результат вызова функции ‘exit’.

Если в стеке представлено исключение и вызов функции возвращает ‘истина’, эта информация «обнуляется» и заменяется одним WHY_SILENCED, чтобы предотвратить повторное возбуждение исключения END_FINALLY. (Но нелокальные переходы всё равно будут возобновлены.)

Все следующие опкоды требуют аргументов. Аргумент занимает два байта, причём старший байт идёт последним.

STORE_NAME(namei)¶: Реализует name = TOS. namei – это индекс name в атрибуте co_names объекта кода. Компилятор пытается использовать STORE_FAST или STORE_GLOBAL, если это возможно.

DELETE_NAME(namei)¶: Реализует del name, где namei – это индекс в атрибут co_names объекта кода.

UNPACK_SEQUENCE(count)¶: Распаковывает TOS в count отдельных значений, которые помещаются в стек справа налево.

UNPACK_EX(counts)¶

Реализует присваивание со звёздочкой: распаковывает итерируемый объект в TOS на отдельные значения, где общее количество значений может быть меньше количества элементов в итерируемом объекте: одно из новых значений будет списком всех оставшихся элементов.

Младший байт counts – это количество значений до спискового значения, а старший байт counts – количество значений после него. Результирующие значения помещаются в стек справа налево.

STORE_ATTR(namei)¶: Реализует TOS.name = TOS1, где namei – это индекс имени в co_names.

DELETE_ATTR(namei)¶: Реализует del TOS.name, используя namei как индекс в co_names.

STORE_GLOBAL(namei)¶: Работает как STORE_NAME, но сохраняет имя как глобальное.

DELETE_GLOBAL(namei)¶: Работает как DELETE_NAME, но удаляет глобальное имя.

LOAD_CONST(consti)¶: Помещает co_consts[consti] в стек.

LOAD_NAME(namei)¶: Помещает значение, связанное с co_names[namei], в стек.

BUILD_TUPLE(count)¶: Создаёт кортеж, потребляя count элементов из стека, и помещает полученный кортеж в стек.

BUILD_LIST(count)¶: Работает как BUILD_TUPLE, но создаёт список.

BUILD_SET(count)¶: Работает как BUILD_TUPLE, но создаёт множество.

BUILD_MAP(count)¶: Помещает новый объект словаря в стек. Извлекает 2 * count элементов так, чтобы словарь содержал count записей: {..., TOS3: TOS2, TOS1: TOS}.

Изменено в версии 3.5: Словарь создаётся из элементов стека, а не создаётся пустой словарь, предварительно размещённый для count элементов.

BUILD_TUPLE_UNPACK(count)¶: Извлекает count итерируемых объектов из стека, объединяет их в один кортеж, и помещает результат. Реализует распаковку итерируемого объекта в кортежных литералах (*x, *y, *z).

Новое в версии 3.5.

BUILD_LIST_UNPACK(count)¶: Это похоже на BUILD_TUPLE_UNPACK, но помещает список, а не кортеж. Реализует распаковку итерируемого объекта в списковых литералах [*x, *y, *z].

Новое в версии 3.5.

BUILD_SET_UNPACK(count)¶: Это похоже на BUILD_TUPLE_UNPACK, но помещает множество, а не кортеж. Реализует распаковку итерируемого объекта в множественных литералах {*x, *y, *z}.

Новое в версии 3.5.

BUILD_MAP_UNPACK(count)¶: Извлекает count отображений из стека, объединяет их в один словарь и помещает результат. Реализует распаковку словаря в словарных литералах {**x, **y, **z}.

Новое в версии 3.5.

BUILD_MAP_UNPACK_WITH_CALL(oparg)¶: Это похоже на BUILD_MAP_UNPACK, но используется для синтаксиса вызова f(**x, **y, **z). Младший байт oparg содержит количество отображений, относительная позиция соответствующего вызываемого объекта f закодирована во втором байте oparg.

Новое в версии 3.5.

LOAD_ATTR(namei)¶: Заменяет TOS на getattr(TOS, co_names[namei]).

COMPARE_OP(opname)¶: Выполняет логическую операцию. Имя операции можно найти в cmp_op[opname].

IMPORT_NAME(namei)¶: Импортирует модуль co_names[namei]. TOS и TOS1 извлекаются и передаются в качестве аргументов fromlist и level для __import__(). Объект модуля помещается в стек. Текущее пространство имён не затрагивается: для корректной инструкции import последующая инструкция STORE_FAST изменяет пространство имён.

IMPORT_FROM(namei)¶: Загружает атрибут co_names[namei] из модуля, находящегося в TOS. Полученный объект помещается в стек для последующего сохранения инструкцией STORE_FAST.

JUMP_FORWARD(delta)¶: Увеличивает счётчик байт-кода на delta.

POP_JUMP_IF_TRUE(target)¶: Если TOS истинно, устанавливает счётчик байткода в target. TOS извлекается из стека.

POP_JUMP_IF_FALSE(target)¶: Если TOS ложно, устанавливает счётчик байткода в target. TOS извлекается из стека.

JUMP_IF_TRUE_OR_POP(target)¶: Если TOS истинно, устанавливает счётчик байткода в target и оставляет TOS на стеке. В противном случае (TOS ложно) TOS извлекается.

JUMP_IF_FALSE_OR_POP(target)¶: Если TOS ложно, устанавливает счётчик байткода в target и оставляет TOS на стеке. В противном случае (TOS истинно) TOS извлекается.

JUMP_ABSOLUTE(target)¶: Устанавливает счётчик байткода в target.

FOR_ITER(delta)¶: TOS – это итератор. Вызовите его метод __next__(). Если он возвращает новое значение, поместите его в стек (итератор остаётся под ним). Если итератор сообщает, что он исчерпан, TOS извлекается из стека, а счётчик байт-кода увеличивается на delta.

LOAD_GLOBAL(namei)¶: Загружает глобальную переменную co_names[namei] в стек.

SETUP_LOOP(delta)¶: Помещает блок для цикла в стек блоков. Блок начинается с текущей инструкции и имеет размер delta байт.

SETUP_EXCEPT(delta)¶: Помещает блок try из конструкции try-except в стек блоков. delta указывает на первый блок except.

SETUP_FINALLY(delta)¶: Pushes a try block from a try-except clause onto the block stack. delta points to the finally block.

LOAD_FAST(var_num)¶: Помещает ссылку на локальную переменную co_varnames[var_num] в стек.

STORE_FAST(var_num)¶: Сохраняет TOS в локальную переменную co_varnames[var_num].

DELETE_FAST(var_num)¶: Удаляет локальную переменную co_varnames[var_num].

LOAD_CLOSURE(i)¶: Помещает ссылку на ячейку, содержащуюся в слоте i хранилища ячеек и свободных переменных. Имя переменной – co_cellvars[i], если i меньше длины co_cellvars. В противном случае – co_freevars[i - len(co_cellvars)].

LOAD_DEREF(i)¶: Загружает ячейку, содержащуюся в слоте i хранилища ячеек и свободных переменных. Помещает ссылку на объект, который содержит ячейка, в стек.

LOAD_CLASSDEREF(i)¶: Похожа на LOAD_DEREF, но сначала проверяет словарь локальных переменных, а затем обращается к ячейке. Используется для загрузки свободных переменных в телах классов.

STORE_DEREF(i)¶: Сохраняет TOS в ячейку, содержащуюся в слоте i хранилища ячеек и свободных переменных.

DELETE_DEREF(i)¶: Очищает ячейку, содержащуюся в слоте i хранилища ячеек и свободных переменных. Используется оператором del.

RAISE_VARARGS(argc)¶: Вызывает исключение. argc указывает количество аргументов инструкции raise, от 0 до 3. Обработчик находит traceback как TOS2, параметр как TOS1, а исключение как TOS.

CALL_FUNCTION(argc)¶: Вызывает вызываемый объект. Младший байт argc указывает количество позиционных аргументов, старший байт – количество именованных аргументов. Стек содержит именованные аргументы сверху (если есть), затем позиционные аргументы под ними (если есть), затем вызываемый объект под ними. Каждый именованный аргумент представлен двумя значениями в стеке: имя аргумента и его значение, при этом значение аргумента находится выше имени в стеке. Позиционные аргументы помещаются в стек в порядке передачи вызываемому объекту, причём самый правый позиционный аргумент – сверху. CALL_FUNCTION извлекает все аргументы и вызываемый объект из стека, вызывает вызываемый объект с этими аргументами и помещает возвращаемое значение, возвращённое вызываемым объектом.

MAKE_FUNCTION(argc)¶

Помещает новый объект функции в стек. Снизу вверх, используемый стек должен состоять из

argc & 0xFF объекты аргументов по умолчанию в позиционном порядке для позиционных параметров
(argc >> 8) & 0xFF пары имени и аргумента по умолчанию, где имя находится сразу под объектом на стеке, для параметров только по ключевым словам
(argc >> 16) & 0x7FFF объекты аннотаций параметров
кортеж, перечисляющий имена параметров для аннотаций (только если есть какие-либо объекты аннотаций)
код, связанный с функцией (на TOS1)
полное имя функции (на TOS)

MAKE_CLOSURE(argc)¶: Создаёт новый объект функции, устанавливает его слот __closure__ и помещает его на стек. TOS – это квалифицированное имя функции, TOS1 – это код, связанный с функцией, а TOS2 – кортеж, содержащий ячейки для свободных переменных замыкания. argc интерпретируется как в MAKE_FUNCTION; аннотации и значения по умолчанию также находятся в том же порядке под TOS2.

BUILD_SLICE(argc)¶: Помещает объект среза в стек. argc должен быть 2 или 3. Если равно 2, помещается slice(TOS1, TOS); если 3, помещается slice(TOS2, TOS1, TOS). Подробнее см. встроенную функцию slice().

EXTENDED_ARG(ext)¶: Добавляет префикс к любой опкоду, чей аргумент слишком велик, чтобы поместиться в стандартные два байта. ext содержит два дополнительных байта, которые вместе с аргументом последующего опкода образуют четырёхбайтовый аргумент, причём ext является двумя старшими байтами.

CALL_FUNCTION_VAR(argc)¶: Вызывает вызываемый объект, аналогично CALL_FUNCTION. argc представляет количество ключевых и позиционных аргументов, как и в CALL_FUNCTION. На вершине стека находятся ключевые аргументы (если есть), хранящиеся так же, как в CALL_FUNCTION. Под ними находится итерируемый объект, содержащий дополнительные позиционные аргументы. Под ним – позиционные аргументы (если есть) и вызываемый объект, как и в CALL_FUNCTION. Перед вызовом вызываемого объекта итерируемый объект «распаковывается», и его содержимое добавляется к переданным позиционным аргументам. Итерируемый объект игнорируется при вычислении значения argc.

Изменено в версии 3.5: В версиях с 3.0 по 3.4 итерируемый объект находился над ключевыми аргументами; в версии 3.5 он был перемещён под ключевые аргументы.

CALL_FUNCTION_KW(argc)¶: Вызывает вызываемый объект, аналогично CALL_FUNCTION. argc представляет количество ключевых и позиционных аргументов, как и в CALL_FUNCTION. На вершине стека находится отображение, содержащее дополнительные ключевые аргументы. Под ним находятся ключевые аргументы (если есть), позиционные аргументы (если есть) и вызываемый объект, как и в CALL_FUNCTION. Перед вызовом вызываемого объекта отображение на вершине стека «распаковывается», и его содержимое добавляется к переданным ключевым аргументам. Отображение на вершине стека игнорируется при вычислении значения argc.

CALL_FUNCTION_VAR_KW(argc)¶: Вызывает вызываемый объект, аналогично CALL_FUNCTION_VAR и CALL_FUNCTION_KW. argc представляет количество ключевых и позиционных аргументов, как и в CALL_FUNCTION. На вершине стека находится отображение, как в CALL_FUNCTION_KW. Под ним находятся ключевые аргументы (если есть), хранящиеся так же, как в CALL_FUNCTION. Под ними находится итерируемый объект, содержащий дополнительные позиционные аргументы. Под ним – позиционные аргументы (если есть) и вызываемый объект, как и в CALL_FUNCTION. Перед вызовом вызываемого объекта отображение и итерируемый объект «распаковываются», и их содержимое передаётся как ключевые и позиционные аргументы соответственно, как и в CALL_FUNCTION_VAR и CALL_FUNCTION_KW. Отображение и итерируемый объект оба игнорируются при вычислении значения argc.

Изменено в версии 3.5: В версиях с 3.0 по 3.4 итерируемый объект находился над ключевыми аргументами; в версии 3.5 он был перемещён под ключевые аргументы.

HAVE_ARGUMENT¶: Это не совсем опкод. Он определяет разделительную линию между опкодами, которые не принимают аргументы < HAVE_ARGUMENT, и теми, которые принимают >= HAVE_ARGUMENT.

32.12.4. Коллекции опкодов¶Opcode collections

Эти коллекции предоставляются для автоматического самоанализа инструкций байткода:

dis.opname¶: Последовательность имён операций, индексируемая с помощью байткода.

dis.opmap¶: Словарь, сопоставляющий имена операций с байткодами.

dis.cmp_op¶: Последовательность всех имён операций сравнения.

dis.hasconst¶: Последовательность байткодов, обращающихся к константе.

dis.hasfree¶: Последовательность байткодов, которые обращаются к свободной переменной (обратите внимание, что «free» в данном контексте относится к именам в текущей области видимости, на которые ссылаются внутренние области видимости, или к именам во внешних областях видимости, на которые ссылаются из этой области. Она не включает ссылки на глобальные или встроенные области видимости).

dis.hasname¶: Последовательность байткодов, обращающихся к атрибуту по имени.

dis.hasjrel¶: Последовательность байткодов, имеющих относительную цель перехода.

dis.hasjabs¶: Последовательность байткодов, имеющих абсолютную цель перехода.

dis.haslocal¶: Последовательность байткодов, обращающихся к локальной переменной.

dis.hascompare¶: Последовательность байткодов логических операций.

32.12. dis – Дизассемблер байткода Python¶dis – Disassembler for Python bytecode

32.12.1. Анализ байткода¶Bytecode analysis

32.12.2. Функции анализа¶Analysis functions

32.12.3. Инструкции байткода Python¶Python Bytecode Instructions

32.12.4. Коллекции опкодов¶Opcode collections

32.12. `dis` – Дизассемблер байткода Python¶dis – Disassembler for Python bytecode