Краткое описание инструкции

мнемоника = код операции

..., значение1, значение2 →

..., значение3

Более подробное описание ограничений содержимого стека операндов или записей константного пула, выполняемой операции, типа результатов и т. п.

Если при выполнении данной инструкции могут быть выброшены исключения связывания, они перечислены по одной строке в порядке, в котором должны быть выброшены.

Если при выполнении инструкции могут быть выброшены исключения времени выполнения, они перечислены по одной строке в порядке, в котором они должны быть выброшены.

Помимо исключений связывания и времени выполнения, указанных для инструкции, она не должна вызывать никаких исключений времени выполнения, кроме случаев VirtualMethodError или его подклассов.

Комментарии, не являющиеся строго частью спецификации инструкции, отделены как примечания в конце описания.

Загрузка reference из массива

aaload = 50 (0x32)

..., arrayref, index →

..., value

arrayref должен быть типа reference и должен ссылаться на массив, компоненты которого имеют тип reference. index должен быть типа int. Оба arrayref и index извлекаются из стека операндов. Значение reference value в компоненте массива по index извлекается и помещается в стек операндов.

Если arrayref является null, aaload вызывает исключение NullPointerException.

В противном случае, если index не находится в пределах границ массива, на который ссылается arrayref, команда aaload генерирует исключение ArrayIndexOutOfBoundsException.

Положить null

aconst_null = 1 (0x1)

... →

..., null

Положить объект null reference на стек операндов.

Виртуальная машина Java не предписывает конкретное значение для null.

Загрузить reference из локальной переменной

aload = 25 (0x19)

... →

..., objectref

index — это беззнаковый байт, который должен быть индексом в массиве локальных переменных текущей рамки (§2.6). Локальная переменная по индексу index должна содержать reference. Ссылка objectref в локальной переменной по индексу index помещается на стек операндов.

Инструкция aload не может использоваться для загрузки значения типа returnAddress из локальной переменной на стек операндов. Эта асимметрия с инструкцией astore (§astore) является намеренной.

Кодовое слово aload может быть использовано в сочетании с инструкцией wide (§wide) для доступа к локальной переменной, используя двухбайтовый беззнаковый индекс.

Загрузка reference из локальной переменной

aload_0 = 42 (0x2a)

aload_1 = 43 (0x2b)

aload_2 = 44 (0x2c)

aload_3 = 45 (0x2d)

... →

..., objectref

<n> должно быть индексом в массиве локальных переменных текущей рамки (§2.6). Локальная переменная в позиции <n> должна содержать reference. objectref из локальной переменной в позиции <n> помещается в стек операндов.

Инструкцию aload_ нельзя использовать для загрузки значения типа returnAddress из локальной переменной в стек операндов. Эта асимметрия с соответствующей инструкцией astore_ (§astore_) сделана намеренно.

Каждая из инструкций aload_ эквивалентна aload с индексом <n>, за исключением того, что операнд <n> явный.

Создать новый массив reference

anewarray = 189 (0xbd)

..., count →

..., arrayref

Значение count должно иметь тип int. Оно извлекается из стека операндов. Значение count представляет количество элементов создаваемого массива. Беззнаковые indexbyte1 и indexbyte2 используются для построения индекса в постоянном пуле времени выполнения текущего класса (§2.6), где значение индекса равно (indexbyte1 << 8) | indexbyte2. Элемент постоянного пула времени выполнения по этому индексу должен быть символической ссылкой на класс, массив или тип интерфейса. Наименованный класс, массив или тип интерфейса разрешается (§5.4.3.1). Новый массив с элементами указанного типа и длиной count выделяется из кучи с автоматическим управлением памятью, и ссылка arrayref на этот новый объект массива помещается в стек операндов. Все элементы нового массива инициализируются значением null, значением по умолчанию для типов reference (§2.4).

При разрешении символической ссылки на класс, массив или тип интерфейса могут быть выброшены любые исключения, описанные в §5.4.3.1.

В противном случае, если count меньше нуля, инструкция anewarray вызывает исключение NegativeArraySizeException.

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

Возврат reference из метода

areturn = 176 (0xb0)

..., objectref →

[пусто]

Значение objectref должно быть типа reference и должно ссылаться на объект типа, совместимого с типом, представленным возвращаемым дескриптором (§4.3.3) текущего метода. Если текущий метод является методом synchronized, монитор, вошедший или повторно вошедший при вызове метода, обновляется и, возможно, выходит, как если бы был выполнен оператор monitorexit (§monitorexit) в текущем потоке. Если исключение не выброшено, objectref извлекается из стека операндов текущей рамки (§2.6) и помещается в стек операндов рамки вызывающего метода. Все другие значения в стеке операндов текущего метода удаляются.

Затем интерпретатор восстанавливает рамку вызывающего метода и возвращает управление вызывающему методу.

Если реализация Java Virtual Machine не применяет правила, относящиеся к структурированному блокированию, описанные в §2.11.10, то если текущий метод является методом synchronized, а текущий поток не является владельцем монитора, вошедшего или повторно вошедшего при вызове метода, areturn выбросит исключение IllegalMonitorStateException. Это может произойти, например, если метод synchronized содержит оператор monitorexit, но не оператор monitorenter, для объекта, на котором синхронизирован метод.

В противном случае, если реализация Java Virtual Machine применяет правила структурированного блокирования, описанные в §2.11.10, и если первое из этих правил нарушено при вызове текущего метода, то areturn выбросит исключение IllegalMonitorStateException.

Получить длину массива

arraylength = 190 (0xbe)

..., arrayref →

..., length

arrayref должен быть типа reference и должен ссылаться на массив. Он извлекается из стека операндов. Определяется длина (length) массива, на который он ссылается. Эта длина помещается в стек операндов как int.

Если arrayref является null, инструкция arraylength вызывает исключение NullPointerException.

Сохранить reference в локальную переменную

astore = 58 (0x3a)

..., objectref →

...

index — это беззнаковый байт, который должен быть индексом в массиве локальных переменных текущей фрейма (§2.6). objectref на вершине стека операндов должен быть типа returnAddress или типа reference. Он извлекается из стека операндов, а значение локальной переменной в позиции index устанавливается в objectref.

Инструкция astore используется с objectref типа returnAddress при реализации условия finally языка программирования Java (§3.13).

Инструкция aload (§aload) не может использоваться для загрузки значения типа returnAddress из локальной переменной в стек операндов. Эта асимметрия с инструкцией astore умышленна.

Опекод astore может использоваться совместно с инструкцией wide (§wide), чтобы получить доступ к локальной переменной, используя двухбайтовый беззнаковый индекс.

Сохранение reference в локальной переменной

astore_0 = 75 (0x4b)

astore_1 = 76 (0x4c)

astore_2 = 77 (0x4d)

astore_3 = 78 (0x4e)

..., objectref →

...

<n> должно быть индексом в массиве локальных переменных текущей рамки (§2.6). objectref вверху стека операндов должно быть типа returnAddress или типа reference. Оно извлекается из стека операндов, и значение локальной переменной в позиции <n> устанавливается в objectref.

Инструкция astore_ используется с objectref типа returnAddress при реализации положений языка программирования Java, относящихся к блокам finally (§3.13).

Инструкция aload_ (§aload_) не может использоваться для загрузки значения типа returnAddress из локальной переменной в стек операндов. Эта асимметрия с соответствующей инструкцией astore_ намеренная.

Каждая из инструкций astore_ эквивалентна инструкции astore с index, равным <n>, за исключением того, что операнд <n> неявный.

Выбросить исключение или ошибку

athrow = 191 (0xbf)

..., objectref →

objectref

objectref должно быть типа reference и должно ссылаться на объект, являющийся экземпляром класса Throwable или подкласса Throwable. Оно извлекается из стека операндов. Затем objectref выбрасывается путём поиска в текущем методе (§2.6) первого обработчика исключений, соответствующего классу objectref, согласно алгоритму в §2.10.

Если обработчик исключений, соответствующий objectref, найден, он содержит расположение кода, предназначенного для обработки этого исключения. Регистр pc сбрасывается до этого расположения, стек операндов текущего кадра очищается, objectref возвращается в стек операндов, и выполнение продолжается.

Если в текущем кадре не найден соответствующий обработчик исключений, этот кадр удаляется. Если текущий кадр представляет собой вызов метода synchronized, монитор, вошедший или повторно вошедший при вызове метода, покидается как при выполнении инструкции monitorexit (§monitorexit). Наконец, кадр вызывающей программы восстанавливается, если такой кадр существует, и objectref повторно выбрасывается. Если такой кадр не существует, текущая нить завершается.

Если objectref является null, athrow выбрасывает NullPointerException вместо objectref.

В противном случае, если реализация Java Virtual Machine не применяет правила структурированной блокировки, описанные в §2.11.10, то если метод текущего кадра является методом synchronized, и текущая нить не является владельцем монитора, вошедшего или повторно вошедшего при вызове метода, athrow выбрасывает IllegalMonitorStateException вместо объекта, который ранее выбрасывался. Это может произойти, например, если метод synchronized, который прерывисто завершается, содержит инструкцию monitorexit, но не инструкцию monitorenter, по объекту, на котором синхронизирован метод.

В противном случае, если реализация Java Virtual Machine применяет правила структурированной блокировки, описанные в §2.11.10, и если первое из этих правил нарушено во время вызова текущего метода, то athrow выбрасывает IllegalMonitorStateException вместо объекта, который ранее выбрасывался.

Диаграмма стека операндов для инструкции athrow может быть вводящей в заблуждение: Если обработчик для этого исключения найден в текущем методе, инструкция athrow отбрасывает все значения в стеке операндов, затем помещает брошенный объект в стек операндов. Однако, если обработчик не найден в текущем методе и исключение выбрасывается дальше по цепочке вызова методов, тогда стек операндов метода (если таковой имеется), который обрабатывает исключение, очищается, и objectref помещается в этот пустой стек операндов. Все промежуточные кадры от метода, который бросил исключение, до метода, который обрабатывает исключение, но не включая его, удаляются.

Загрузка byte или boolean из массива

baload = 51 (0x33)

..., arrayref, index →

..., value

arrayref должен быть типа reference и должен ссылаться на массив, компоненты которого имеют тип byte или тип boolean. index должен быть типа int. Оба arrayref и index извлекаются из стека операндов. Значение value компонента массива в позиции index извлекается, расширяется со знаком до int value и помещается на вершину стека операндов.

Если arrayref является null, baload генерирует исключение NullPointerException.

В противном случае, если index не входит в пределы массива, на который ссылается arrayref, инструкция baload генерирует исключение ArrayIndexOutOfBoundsException.

Инструкция baload используется для загрузки значений из массивов byte и boolean. В реализации виртуальной машины Java Oracle, массивы boolean — то есть массивы типа T_BOOLEAN (§2.2, §newarray) — реализуются как массивы 8-битовых значений. Другие реализации могут реализовать упакованные массивы boolean; инструкция baload таких реализаций должна использоваться для доступа к этим массивам.

Запись в массив типа byte или boolean

bastore = 84 (0x54)

..., arrayref, index, value →

...

arrayref должен быть типа reference и ссылаться на массив, компоненты которого имеют тип byte или boolean. index и value должны оба быть типа int. arrayref, index и value извлекаются из стека операндов. Значение value усекается до типа byte и сохраняется в качестве компонента массива по индексу index.

Если arrayref является null, bastore генерирует исключение NullPointerException.

В противном случае, если index выходит за пределы границ массива, ссылаемого на arrayref, инструкция bastore генерирует исключение ArrayIndexOutOfBoundsException.

Инструкция bastore используется для записи значений в массивы типа byte и boolean. В реализации Oracle's Java Virtual Machine, массивы типа boolean (то есть массивы типа T_BOOLEAN (§2.2, §newarray)) реализуются как массивы 8-битовых значений. Другие реализации могут реализовывать упакованные массивы типа boolean; в таких реализациях инструкция bastore должна уметь записывать значения типа boolean в упакованные массивы типа boolean, а также значения типа byte в массивы типа byte.

Положить byte

bipush = 16 (0x10)

... →

..., value

Непосредственное значение byte расширяется со знаком до значения типа int value. Это значение value помещается на стек операндов.

Загрузка char из массива

caload = 52 (0x34)

..., arrayref, index →

..., value

arrayref должен быть типа reference и ссылаться на массив, компоненты которого имеют тип char. index должен быть типа int. И arrayref, и index извлекаются из стека операндов. Компонент массива по индексу index извлекается и расширяется до беззнакового int значения value. Это значение value помещается в стек операндов.

Если arrayref является null, caload генерирует исключение NullPointerException.

В противном случае, если index выходит за пределы массива, на который ссылается arrayref, инструкция caload генерирует исключение ArrayIndexOutOfBoundsException.

Запись в массив char

castore = 85 (0x55)

..., arrayref, index, value →

...

arrayref должен быть типа reference и ссылаться на массив, компоненты которого имеют тип char. index и value должны быть типа int. arrayref, index, и value извлекаются из стека операндов. Значение value приводится к типу char и сохраняется как компонент массива по индексу index.

Если arrayref является null, castore генерирует исключение NullPointerException.

В противном случае, если index выходит за пределы массива, на который ссылается arrayref, инструкция castore генерирует исключение ArrayIndexOutOfBoundsException.

Преобразовать double в float

d2f = 144 (0x90)

..., значение →

..., результат

Значение значение на вершине стека операндов должно быть типа double. Оно извлекается из стека операндов и преобразуется с помощью преобразования множества значений (§2.8.3), что приводит к значение'. Затем значение' преобразуется в float результат с использованием режима округления IEEE 754 до ближайшего значения. Результат результат помещается в стек операндов.

Если инструкция d2f является FP-строгой (§2.8.2), результат преобразования всегда округляется до ближайшего представимого значения в множестве значений типа float (§2.3.2).

Если инструкция d2f не является FP-строгой, результат преобразования может быть взят из множества значений с расширенным экспонентом (§2.3.2); он не обязательно округляется до ближайшего представимого значения в множестве значений типа float.

Конечное значение' слишком маленькое для представления как float преобразуется в ноль с тем же знаком; конечное значение' слишком большое для представления как float преобразуется в бесконечность с тем же знаком. double NaN преобразуется в float NaN.

Инструкция d2f выполняет сужающее преобразование примитивов (JLS §5.1.3). Она может потерять информацию об общем значении значение' и может также потерять точность.

Преобразовать double в int

d2i = 142 (0x8e)

..., значение →

..., результат

Значение значение на вершине стека операндов должно быть типа double. Оно извлекается из стека операндов и подвергается преобразованию типов значений (§2.8.3), в результате чего получается значение'. Затем значение' преобразуется в int. Результат помещается в стек операндов:

Инструкция d2i выполняет сужающее преобразование примитивных типов (JLS §5.1.3). Она может потерять информацию о общей величине значение' и может также потерять точность.

Преобразовать double в long

d2l = 143 (0x8f)

..., значение →

..., результат

Значение значение на вершине стека операндов должно быть типа double. Оно извлекается из стека операндов и подвергается преобразованию в соответствии с набором значений (§2.8.3), в результате чего получается значение'. Затем значение' преобразуется в long. Результат результат помещается в стек операндов:

Инструкция d2l выполняет сужающее преобразование примитивов (JLS §5.1.3). Она может потерять информацию о величине значение' и может также потерять точность.

Добавить double

dadd = 99 (0x63)

..., value1, value2 →

..., результат

И value1, и value2 должны быть типа double. Значения извлекаются из стека операндов и подвергаются преобразованию типов (§2.8.3), в результате чего получаются value1' и value2'. double Результат результат равен value1' + value2'. Результат результат помещается в стек операндов.

Результат инструкции dadd регулируется правилами IEEE арифметики:

Виртуальная машина Java требует поддержки постепенного переполнения, как определено в IEEE 754. Несмотря на то, что может произойти переполнение, недополнение или потеря точности, выполнение инструкции dadd никогда не вызывает исключение во время выполнения.

Загрузка значения из массива

daload = 49 (0x31)

..., arrayref, index →

..., value

arrayref должен быть типа reference и ссылаться на массив, компоненты которого имеют тип double. index должен быть типа int. Оба arrayref и index извлекаются из стека операндов. Значение double в компоненте массива по индексу index извлекается и помещается в стек операндов.

Если arrayref является null, то daload выбрасывает исключение NullPointerException.

В противном случае, если index выходит за пределы массива, на который ссылается arrayref, то инструкция daload выбрасывает исключение ArrayIndexOutOfBoundsException.

Сохранение значения в массив

dastore = 82 (0x52)

..., arrayref, index, value →

...

arrayref должен быть типа reference и ссылаться на массив, компоненты которого имеют тип double. index должен быть типа int, а value — типа double. arrayref, index и value извлекаются из стека операндов. Значение value претерпевает преобразование (§2.8.3), в результате чего получается value', которое сохраняется как компонент массива по индексу index.

Если arrayref является null, то dastore выбрасывает исключение NullPointerException.

В противном случае, если index выходит за пределы массива, на который ссылается arrayref, то инструкция dastore выбрасывает исключение ArrayIndexOutOfBoundsException.

Сравнение double

dcmpg = 152 (0x98)

dcmpl = 151 (0x97)

..., value1, value2 →

..., result

Оба значения value1 и value2 должны быть типа double. Значения извлекаются из стека операндов и подвергаются преобразованию набора значений (§2.8.3), в результате чего получаются value1' и value2'. Производится сравнение с плавающей запятой:

Сравнение с плавающей запятой выполняется в соответствии со стандартом IEEE 754. Все значения, кроме NaN, упорядочены, при этом отрицательная бесконечность меньше всех конечных значений, а положительная бесконечность больше всех конечных значений. Положительный и отрицательный нули считаются равными.

Инструкции dcmpg и dcmpl отличаются только обработкой сравнения, включающего NaN. NaN неупорядочено, поэтому любое сравнение double терпит неудачу, если один или оба операнда являются NaN. При наличии как dcmpg, так и dcmpl, любое double сравнение может быть скомпилировано для помещения того же значения result на стек операндов, независимо от того, терпит ли неудачу сравнение по значениям, не являющимся NaN, или из-за того, что встретился NaN. Дополнительная информация содержится в §3.5.

Положить double

dconst_0 = 14 (0xe)

dconst_1 = 15 (0xf)

... →

..., <d>

Положить константу double <d> (0.0 или 1.0) на стек операндов.

Деление

ddiv = 111 (0x6f)

..., значение1, значение2 →

..., результат

Оба значение1 и значение2 должны быть типа double. Значения извлекаются из стека операндов и преобразуются согласно правилам преобразования наборов значений (§2.8.3), что даёт значение1' и значение2'. Результат результат равен значение1' / значение2'. Результат помещается в стек операндов.

Результат инструкции ddiv регулируется правилами арифметики IEEE:

Виртуальная машина Java требует поддержки постепенного уменьшения значения, как определено в IEEE 754. Несмотря на то, что может произойти переполнение, недополнение, деление на ноль или потеря точности, выполнение инструкции ddiv никогда не вызывает исключения во время выполнения.

Загрузка double из локальной переменной

dload = 24 (0x18)

... →

..., значение

index — это беззнаковый байт. И index, и index+1 должны быть индексами в массиве локальных переменных текущей рамки (§2.6). Локальная переменная по индексу index должна содержать double. Значение локальной переменной по индексу index помещается в стек операндов.

Операнд dload может использоваться совместно с инструкцией wide (§wide) для доступа к локальной переменной с помощью двухбайтового беззнакового индекса.

Загрузка double из локальной переменной

dload_0 = 38 (0x26)

dload_1 = 39 (0x27)

dload_2 = 40 (0x28)

dload_3 = 41 (0x29)

... →

..., значение

И <n>, и <n>+1 должны быть индексами в массиве локальных переменных текущей рамки (§2.6). Локальная переменная по индексу <n> должна содержать double. Значение локальной переменной по индексу <n> помещается в стек операндов.

Каждая из инструкций dload_<n> эквивалентна инструкции dload с индексом <n>, за исключением того, что операнд <n> неявный.

Умножение double

dmul = 107 (0x6b)

..., value1, value2 →

..., result

Оба value1 и value2 должны быть типа double. Значения извлекаются из стека операндов и преобразуются в соответствии с набором значений (§2.8.3), в результате чего получаются value1' и value2'. Результат double равен value1' * value2'. Результат result помещается в стек операндов.

Результат инструкции dmul регулируется правилами арифметики IEEE:

Виртуальная машина Java требует поддержки постепенного переполнения, как определено в IEEE 754. Несмотря на то, что может произойти переполнение, переполнение, или потеря точности, выполнение инструкции dmul никогда не вызывает исключения во время выполнения.

Изменить знак double

dneg = 119 (0x77)

..., значение →

..., результат

Значение должно быть типа double. Оно извлекается из стека операндов и преобразуется к набору значений (§2.8.3), что приводит к значению'. double результат - это арифметическое отрицание значения'. Результат помещается в стек операндов.

Для double значений отрицание не эквивалентно вычитанию из нуля. Если x - это +0.0, то 0.0-x равно +0.0, но -x равно -0.0. Унарный минус просто инвертирует знак double.

Важные частные случаи:

Остаток double

drem = 115 (0x73)

..., value1, value2 →

..., result

Оба значения value1 и value2 должны быть типа double. Значения извлекаются из стека операндов и преобразуются с помощью преобразования набора значений (§2.8.3), получая value1' и value2'. Результат result вычисляется и помещается в стек операндов как значение типа double.

Результат инструкции drem не совпадает с результатом так называемой операции вычисления остатка, определенной в стандарте IEEE 754. Операция вычисления остатка IEEE 754 вычисляет остаток от округленного деления, а не от усеченного, и поэтому её поведение не аналогично обычному оператору вычисления остатка для целых чисел. Вместо этого Java Virtual Machine определяет drem так, чтобы его поведение было аналогично поведению инструкций вычисления остатка для целых чисел Java Virtual Machine (irem и lrem); это можно сравнить с функцией библиотеки C fmod.

Результат инструкции drem подчиняется следующим правилам:

Несмотря на то, что деление на ноль может произойти, вычисление инструкции drem никогда не генерирует исключение во время выполнения. Переполнение, недополнение или потеря точности не могут произойти.

Операция вычисления остатка IEEE 754 может быть вычислена библиотечной процедурой Math.IEEEremainder.

Возврат double из метода

dreturn = 175 (0xaf)

..., значение →

[пусто]

Текущий метод должен иметь тип возвращаемого значения double. Значение должно быть типа double. Если текущий метод является методом synchronized, монитор, вошедший или повторно вошедший при вызове метода, обновляется и, возможно, выходит, как если бы выполнялась инструкция monitorexit (§monitorexit) в текущей нити. Если исключение не возникает, значение извлекается из стека операндов текущей рамки (§2.6) и претерпевает преобразование набора значений (§2.8.3), что приводит к значению'. Значение' помещается в стек операндов рамки вызывающей стороны. Любые другие значения в стеке операндов текущего метода удаляются.

Затем интерпретатор возвращает управление вызывающей стороне метода, восстанавливая рамку вызывающей стороны.

Если реализация Java Virtual Machine не выполняет правила структурированного блокирования, описанные в §2.11.10, то если текущий метод является методом synchronized, и текущая нить не является владельцем монитора, вошедшего или повторно вошедшего при вызове метода, dreturn генерирует исключение IllegalMonitorStateException. Это может произойти, например, если метод synchronized содержит инструкцию monitorexit, но не инструкцию monitorenter, на объекте, по которому метод синхронизирован.

В противном случае, если реализация Java Virtual Machine выполняет правила структурированного блокирования, описанные в §2.11.10, и если первое из этих правил нарушается во время вызова текущего метода, то dreturn генерирует исключение IllegalMonitorStateException.

Сохранить double в локальную переменную

dstore = 57 (0x39)

..., значение →

...

Значение индекс — это беззнаковый байт. И индекс, и индекс+1 должны быть индексами в массиве локальных переменных текущей фрейма (§2.6). Значение значение вверху стека операндов должно быть типа double. Оно извлекается из стека операндов и преобразуется в значение множества (§2.8.3), в результате чего получается значение'. Локальные переменные по индексам индекс и индекс+1 устанавливаются в значение'.

Инструкция dstore может быть использована совместно с инструкцией wide (§wide), чтобы получить доступ к локальной переменной с помощью двубайтового беззнакового индекса.

Сохранить double в локальную переменную

dstore_0 = 71 (0x47)

dstore_1 = 72 (0x48)

dstore_2 = 73 (0x49)

dstore_3 = 74 (0x4a)

..., значение →

...

И <n>, и <n>+1 должны быть индексами в массиве локальных переменных текущей фрейма (§2.6). Значение значение вверху стека операндов должно быть типа double. Оно извлекается из стека операндов и преобразуется в значение множества (§2.8.3), в результате чего получается значение'. Локальные переменные по индексам <n> и <n>+1 устанавливаются в значение'.

Каждая из инструкций dstore_<n> идентична инструкции dstore с индексом <n>, за исключением того, что операнд <n> является неявным.

Вычитание double

dsub = 103 (0x67)

..., value1, value2 →

..., результат

И value1, и value2 должны быть типа double. Значения извлекаются из стека операндов и преобразуются с использованием преобразования набора значений (§2.8.3), в результате чего получаются value1' и value2'. double результат равен value1' - value2'. Полученный результат помещается в стек операндов.

Для double вычитания, всегда a-b даёт тот же результат, что и a+(-b). Однако, для инструкции dsub, вычитание из нуля не равно отрицанию, поскольку если x равно +0.0, то 0.0-x равно +0.0, но -x равно -0.0.

Виртуальная машина Java требует поддержки постепенного переполнения, как определено в IEEE 754. Несмотря на то, что может произойти переполнение, недополнение или потеря точности, выполнение инструкции dsub никогда не генерирует исключение во время выполнения.

Дублирование значения вершины стека операндов

dup = 89 (0x59)

..., значение →

..., значение, значение

Дублирует верхнее значение в стеке операндов и помещает дублированное значение в стек операндов.

Инструкция dup не должна использоваться, если значение не является значением вычислительного типа категории 1 (§2.11.1).

Дублирует значение вершины стека операндов и вставляет его на две позиции вниз

dup_x1 = 90 (0x5a)

..., value2, value1 →

..., value1, value2, value1

Дублирует значение вершины стека операндов и вставляет дублированное значение на две позиции вниз в стеке операндов.

Инструкция dup_x1 не должна использоваться, если value1 и value2 не являются значениями вычислительного типа категории 1 (§2.11.1).

Дублирует значение вершины стека операндов и вставляет его на две или три позиции вниз

dup_x2 = 91 (0x5b)

Форма 1:

..., value3, value2, value1 →

..., value1, value3, value2, value1

где value1, value2 и value3 — значения вычислительного типа категории 1 (§2.11.1).

Форма 2:

..., value2, value1 →

..., value1, value2, value1

где value1 — значение вычислительного типа категории 1, а value2 — значение вычислительного типа категории 2 (§2.11.1).

Дублирует значение вершины стека операндов и вставляет дублированное значение на две или три позиции вниз в стеке операндов.

Дублирует верхнее значение или два значения из стека операндов

dup2 = 92 (0x5c)

Форма 1:

..., value2, value1 →

..., value2, value1, value2, value1

где оба value1 и value2 — значения вычислительного типа категории 1 (§2.11.1).

Форма 2:

..., value →

..., value, value

где value — значение вычислительного типа категории 2 (§2.11.1).

Дублирует верхнее значение или два значения в стеке операндов и помещает дублированное значение или значения обратно в стек операндов в исходном порядке.

Дублирует верхнее значение или два значения из стека операндов и вставляет эти значения на два или три позиции вниз

dup2_x1 = 93 (0x5d)

Форма 1:

..., value3, value2, value1 →

..., value2, value1, value3, value2, value1

где value1, value2 и value3 — значения вычислительного типа категории 1 (§2.11.1).

Форма 2:

..., value2, value1 →

..., value1, value2, value1

где value1 — значение вычислительного типа категории 2, а value2 — значение вычислительного типа категории 1 (§2.11.1).

Дублирует верхнее значение или два значения из стека операндов и вставляет дублированные значения в исходном порядке под исходным значением или значениями в стеке операндов.

Дублирует верхнее или два верхних значения стека операндов и вставляет два, три или четыре значения вниз

dup2_x2 = 94 (0x5e)

Форма 1:

..., value4, value3, value2, value1 →

..., value2, value1, value4, value3, value2, value1

где value1, value2, value3 и value4 — значения вычислительного типа категории 1 (§2.11.1).

Форма 2:

..., value3, value2, value1 →

..., value1, value3, value2, value1

где value1 — значение вычислительного типа категории 2, а value2 и value3 — значения вычислительного типа категории 1 (§2.11.1).

Форма 3:

..., value3, value2, value1 →

..., value2, value1, value3, value2, value1

где value1 и value2 — значения вычислительного типа категории 1, а value3 — значение вычислительного типа категории 2 (§2.11.1).

Форма 4:

..., value2, value1 →

..., value1, value2, value1

где value1 и value2 — значения вычислительного типа категории 2 (§2.11.1).

Дублирует верхнее или два верхних значения в стеке операндов и вставляет дублированные значения в исходном порядке в стек операндов.

Преобразовать float в double

f2d = 141 (0x8d)

..., значение →

..., результат

Значение значение на вершине стека операндов должно быть типа float. Оно извлекается из стека операндов и преобразуется с использованием преобразования набора значений (§2.8.3), в результате получается значение'. Затем значение' преобразуется в double результат. Этот результат помещается в стек операндов.

Когда инструкция f2d является FP-строгой (§2.8.2), она выполняет расширяющее преобразование примитивного типа (JLS §5.1.2). Поскольку все значения набора значений float (§2.3.2) точно представимы значениями набора значений double (§2.3.2), такое преобразование является точным.

Если инструкция f2d не является FP-строгой, результат преобразования может быть взят из набора значений с расширенным порядком двойной точности; он не обязательно округляется до ближайшего представимого значения в наборе значений double. Однако, если операнд значение взят из набора значений с расширенным порядком одинарной точности, а целевой результат ограничен набором значений double, может потребоваться округление значение.

Преобразовать float в int

f2i = 139 (0x8b)

..., значение →

..., результат

Значение значение на вершине стека операндов должно быть типа float. Оно извлекается из стека операндов и преобразуется с помощью преобразования множества значений (§2.8.3), в результате чего получается значение'. Затем значение' преобразуется в int результат. Этот результат помещается в стек операндов:

Инструкция f2i выполняет сужающее примитивное преобразование (JLS §5.1.3). Она может потерять информацию о величине значение' и может также потерять точность.

Преобразование float в long

f2l = 140 (0x8c)

..., значение →

..., результат

Значение значение на вершине стека операндов должно быть типа float. Оно извлекается из стека операндов и преобразуется с помощью преобразования набора значений (§2.8.3), в результате чего получается значение'. Затем значение' преобразуется в long результат. Этот результат помещается в стек операндов:

Инструкция f2l выполняет сужающее примитивное преобразование (JLS §5.1.3). Она может потерять информацию о величине значение' и может также потерять точность.

Сложить float

fadd = 98 (0x62)

..., value1, value2 →

..., result

Оба значения value1 и value2 должны быть типа float. Эти значения извлекаются из стека операндов и подвергаются преобразованию типов (§2.8.3), в результате чего получаются value1' и value2'. Результат result вычисляется как value1' + value2'. Результат записывается в стек операндов.

Результат инструкции fadd определяется правилами арифметики IEEE:

Виртуальная машина Java требует поддержки постепенного подполения, как определено в IEEE 754. Несмотря на то, что может произойти переполнение, подполение или потеря точности, выполнение инструкции fadd никогда не вызывает исключения во время выполнения.

Загрузка float из массива

faload = 48 (0x30)

..., arrayref, index →

..., value

Тип arrayref должен быть reference, и он должен ссылаться на массив, чьи компоненты имеют тип float. index должен быть типа int. arrayref и index извлекаются из стека операндов. Значение float в компоненте массива по индексу index извлекается и помещается на стек операндов.

Если arrayref является null, faload генерирует исключение NullPointerException.

В противном случае, если index не находится в пределах границ массива, на который ссылается arrayref, инструкция faload генерирует исключение ArrayIndexOutOfBoundsException.

Запись в массив float

fastore = 81 (0x51)

..., arrayref, index, value →

...

Тип arrayref должен быть reference, и он должен ссылаться на массив, чьи компоненты имеют тип float. index должен быть типа int, а value должен быть типа float. arrayref, index и value извлекаются из стека операндов. Значение value подвергается преобразованию (§2.8.3), в результате получаем value', и value' сохраняется как компонент массива по индексу index.

Если arrayref является null, fastore генерирует исключение NullPointerException.

В противном случае, если index не находится в пределах границ массива, на который ссылается arrayref, инструкция fastore генерирует исключение ArrayIndexOutOfBoundsException.

Сравнение float

fcmpg = 150 (0x96)

fcmpl = 149 (0x95)

..., value1, value2 →

..., result

Оба value1 и value2 должны быть типа float. Значения извлекаются из стека операндов и подвергаются преобразованию множества значений (§2.8.3), что приводит к value1' и value2'. Выполняется сравнение с плавающей точкой:

Сравнение с плавающей точкой выполняется в соответствии с IEEE 754. Все значения, кроме NaN, упорядочены, при этом отрицательная бесконечность меньше всех конечных значений, а положительная бесконечность больше всех конечных значений. Положительный и отрицательный ноль считаются равными.

Инструкции fcmpg и fcmpl различаются только обработкой сравнения, включающего NaN. NaN неупорядочено, поэтому любое float сравнение терпит неудачу, если один или оба его операнда являются NaN. Благодаря наличию как fcmpg, так и fcmpl, любое float сравнение может быть скомпилировано для помещения того же result на стек операндов, независимо от того, терпит ли сравнение неудачу на значениях, не являющихся NaN, или терпит неудачу из-за обнаружения NaN. Дополнительную информацию см. в §3.5.

Положить float

fconst_0 = 11 (0xb)

fconst_1 = 12 (0xc)

fconst_2 = 13 (0xd)

... →

..., <f>

Поместить константу float <f> (0.0, 1.0 или 2.0) в стек операндов.

Деление float

fdiv = 110 (0x6e)

..., значение1, значение2 →

..., результат

Оба значение1 и значение2 должны быть типа float. Значения извлекаются из стека операндов и подвергаются преобразованию набора значений (§2.8.3), в результате чего получаются значение1' и значение2'. Полученный float результат равен значение1' / значение2'. Результат записывается в стек операндов.

Результат инструкции fdiv регулируется правилами арифметики IEEE:

Виртуальная машина Java требует поддержки постепенного подпола, как определено в IEEE 754. Несмотря на то, что переполнение, подпополнение, деление на ноль или потеря точности могут произойти, выполнение инструкции fdiv никогда не генерирует исключение во время выполнения.

Загрузка float из локальной переменной

fload = 23 (0x17)

... →

..., значение

index — это беззнаковый байт, который должен быть индексом в массиве локальных переменных текущей фрейма (§2.6). Локальная переменная по индексу index должна содержать float. Значение локальной переменной по индексу index помещается в стек операндов.

Операнд fload можно использовать в сочетании с инструкцией wide (§wide), чтобы получить доступ к локальной переменной с использованием двухбайтового беззнакового индекса.

Загрузка float из локальной переменной

fload_0 = 34 (0x22)

fload_1 = 35 (0x23)

fload_2 = 36 (0x24)

fload_3 = 37 (0x25)

... →

..., значение

<n> должно быть индексом в массиве локальных переменных текущей фрейма (§2.6). Локальная переменная по индексу <n> должна содержать float. Значение локальной переменной по индексу <n> помещается в стек операндов.

Каждая из инструкций fload_<n> аналогична инструкции fload с индексом <n>, за исключением того, что операнд <n> неявный.

Умножение float

fmul = 106 (0x6a)

..., value1, value2 →

..., результат

Оба value1 и value2 должны быть типа float. Значения извлекаются из стека операндов и преобразуются (§2.8.3), что приводит к значениям value1' и value2'. Полученный float результат равен value1' * value2'. Результат помещается в стек операндов.

Результат инструкции fmul подчиняется правилам арифметики IEEE:

Виртуальная машина Java требует поддержки постепенного недополнения, как определено в IEEE 754. Несмотря на то, что могут произойти переполнение, недополнение или потеря точности, выполнение инструкции fmul никогда не вызывает исключения во время выполнения.

Изменить знак float

fneg = 118 (0x76)

..., value →

..., result

Значение value должно быть типа float. Оно извлекается из стека операндов и претерпевает преобразование набора значений (§2.8.3), что приводит к value'. Результат result является арифметическим отрицанием value'. Этот result помещается в стек операндов.

Для значений float, отрицание не равно вычитанию из нуля. Если x есть +0.0, то 0.0-x равно +0.0, но -x равно -0.0. Унарный минус просто меняет знак float.

Особые случаи:

Остаток float

frem = 114 (0x72)

..., value1, value2 →

..., result

Оба value1 и value2 должны быть типа float. Значения извлекаются из стека операндов и преобразуются с помощью преобразования набора значений (§2.8.3), в результате чего получаются value1' и value2'. result вычисляется и помещается в стек операндов как float.

Результат инструкции frem отличается от результата так называемой операции вычисления остатка, определённой стандартом IEEE 754. Операция вычисления остатка по IEEE 754 вычисляет остаток от округленного деления, а не от усеченного деления, поэтому её поведение не аналогично поведению обычного оператора вычисления остатка для целых чисел. Вместо этого Java Virtual Machine определяет поведение frem аналогично поведению инструкций вычисления остатка для целых чисел Java Virtual Machine (irem и lrem); это можно сравнить с функцией C-библиотеки fmod.

Результат инструкции frem регулируется следующими правилами:

Несмотря на то, что может произойти деление на ноль, вычисление инструкции frem никогда не вызывает исключение во время выполнения. Переполнение, недополнение или потеря точности не могут произойти.

Операцию вычисления остатка по IEEE 754 можно вычислить с помощью библиотечной функции Math.IEEEremainder.

Возврат float из метода

freturn = 174 (0xae)

..., value →

[пусто]

Текущий метод должен иметь тип возвращаемого значения float. Значение value должно быть типа float. Если текущий метод является методом synchronized, монитор, вошедший или повторно вошедший во время вызова метода, обновляется и, возможно, выходит, как если бы был выполнен оператор monitorexit (§monitorexit) в текущем потоке. Если исключение не возникает, value извлекается из стека операндов текущей рамки (§2.6) и претерпевает преобразование набора значений (§2.8.3), в результате чего получается value'. Значение value' помещается в стек операндов рамки вызывающего метода. Любые другие значения в стеке операндов текущего метода удаляются.

Затем интерпретатор возвращает управление вызывающему методу, восстанавливая рамку вызывающего метода.

Если реализация Java Virtual Machine не проверяет правила упорядоченного блокирования, описанные в §2.11.10, то если текущий метод является методом synchronized, и текущий поток не является владельцем монитора, вошедшего или повторно вошедшего во время вызова метода, freturn генерирует исключение IllegalMonitorStateException. Это может произойти, например, если метод synchronized содержит инструкцию monitorexit, но не monitorenter для объекта, на котором синхронизирован метод.

В противном случае, если реализация Java Virtual Machine проверяет правила упорядоченного блокирования, описанные в §2.11.10, и если первое из этих правил нарушается во время вызова текущего метода, то freturn генерирует исключение IllegalMonitorStateException.

Сохранить float в локальную переменную

fstore = 56 (0x38)

..., value →

...

Значение index — это беззнаковый байт, который должен быть индексом в массиве локальных переменных текущей рамки (§2.6). Значение value вверху стека операндов должно быть типа float. Оно извлекается из стека операндов и подвергается преобразованию типа (§2.8.3), в результате чего получается value'. Значение локальной переменной по индексу index устанавливается в value'.

Операция fstore может быть использована совместно с инструкцией wide (§wide) для доступа к локальной переменной с помощью двубайтового беззнакового индекса.

Сохранить float в локальную переменную

fstore_0 = 67 (0x43)

fstore_1 = 68 (0x44)

fstore_2 = 69 (0x45)

fstore_3 = 70 (0x46)

..., value →

...

<n> должен быть индексом в массиве локальных переменных текущей рамки (§2.6). Значение value на вершине стека операндов должно быть типа float. Оно извлекается из стека операндов и подвергается преобразованию типа (§2.8.3), в результате чего получается value'. Значение локальной переменной по индексу <n> устанавливается в value'.

Каждая из инструкций fstore_<n> идентична инструкции fstore с индексом <n>, за исключением того, что операнд <n> является неявным.

Вычитание float

fsub = 102 (0x66)

..., value1, value2 →

..., result

И value1, и value2 должны быть типа float. Значения извлекаются из стека операндов и подвергаются преобразованию типа значений (§2.8.3), в результате чего получаются value1' и value2'. Результирующее значение result равно value1' - value2'. Результат помещается в стек операндов.

Для вычитания float, всегда верно, что a-b даёт тот же результат, что и a+(-b). Однако для инструкции fsub вычитание из нуля не равно отрицанию, так как если x равно +0.0, то 0.0-x равно +0.0, но -x равно -0.0.

Виртуальная машина Java требует поддержки постепенного уменьшения (underflow) в соответствии с IEEE 754. Несмотря на то, что может произойти переполнение, недополнение или потеря точности, выполнение инструкции fsub никогда не вызывает исключение во время выполнения.

Извлечение поля из объекта

getfield = 180 (0xb4)

..., objectref →

..., value

objectref, который должен быть типа reference, извлекается из стека операндов. Беззнаковые indexbyte1 и indexbyte2 используются для построения индекса в постоянном пуле времени выполнения текущего класса (§2.6), где значение индекса равно (indexbyte1 << 8) | indexbyte2. Элемент постоянного пула времени выполнения по этому индексу должен быть символической ссылкой на поле (§5.1), которая содержит имя и дескриптор поля, а также символическую ссылку на класс, в котором находится поле. Ссылка на поле разрешается (§5.4.3.2). Значение value указанного поля в objectref извлекается и помещается в стек операндов.

Тип objectref не должен быть типом массива. Если поле является protected (§4.6), и оно является членом суперкласса текущего класса, и поле не объявлено в том же пакете времени выполнения (§5.3), что и текущий класс, то класс objectref должен быть либо текущим классом, либо подклассом текущего класса.

При разрешении символической ссылки на поле могут быть выброшены любые ошибки, относящиеся к разрешению поля (§5.4.3.2).

В противном случае, если разрешенное поле является static полем, getfield выбрасывает исключение IncompatibleClassChangeError.

В противном случае, если objectref является null, инструкция getfield выбрасывает исключение NullPointerException.

Инструкция getfield не может использоваться для доступа к полю length массива. Вместо этого используется инструкция arraylength (§arraylength).

Получение поля static из класса

getstatic = 178 (0xb2)

..., →

..., значение

Беззнаковые indexbyte1 и indexbyte2 используются для построения индекса в постоянном пуле времени выполнения текущего класса (§2.6), где значение индекса равно (indexbyte1 << 8) | indexbyte2. Элемент постоянного пула времени выполнения по этому индексу должен быть символической ссылкой на поле (§5.1), которая содержит имя и дескриптор поля, а также символическую ссылку на класс или интерфейс, в котором находится поле. Ссылка на поле разрешается (§5.4.3.2).

При успешном разрешении поля, класс или интерфейс, объявляющий разрешенное поле, инициализируются (§5.5), если этот класс или интерфейс еще не был инициализирован.

Значение поля класса или интерфейса извлекается и помещается в стек операндов.

При разрешении символической ссылки на поле класса или интерфейса могут быть выброшены любые исключения, относящиеся к разрешению поля (§5.4.3.2).

В противном случае, если разрешенное поле не является полем класса (класса) или полем интерфейса, getstatic генерирует исключение IncompatibleClassChangeError.

В противном случае, если выполнение этой инструкции getstatic вызывает инициализацию ссылаемого класса или интерфейса, getstatic может сгенерировать исключение Error, как подробно описано в §5.5.

Безусловный переход

goto = 167 (0xa7)

Без изменений

Незаполненные байты branchbyte1 и branchbyte2 используются для построения знакового 16-битного смещения перехода branchoffset, где branchoffset это (branchbyte1 << 8) | branchbyte2. Выполнение продолжается по этому смещению от адреса оператора данной инструкции goto. Адрес назначения должен быть адресом оператора инструкции в методе, содержащем данную инструкцию goto.

Безусловный переход (широкий индекс)

goto_w = 200 (0xc8)

Без изменений

Незаполненные байты branchbyte1, branchbyte2, branchbyte3, и branchbyte4 используются для построения знакового 32-битного смещения перехода branchoffset, где branchoffset это (branchbyte1 << 24) | (branchbyte2 << 16) | (branchbyte3 << 8) | branchbyte4. Выполнение продолжается по этому смещению от адреса оператора данной инструкции goto_w. Адрес назначения должен быть адресом оператора инструкции в методе, содержащем данную инструкцию goto_w.

Несмотря на то, что инструкция goto_w использует 4-байтовое смещение перехода, другие факторы ограничивают размер метода до 65535 байтов (§4.11). Это ограничение может быть увеличено в будущих версиях виртуальной машины Java.

Преобразовать int в byte

i2b = 145 (0x91)

..., значение →

..., результат

Значение значение на вершине стека операндов должно быть типа int. Оно извлекается из стека операндов, усекается до byte, а затем расширяется со знаком до int результат. Этот результат помещается на стек операндов.

Инструкция i2b выполняет сужающее преобразование примитивных типов (JLS §5.1.3). Она может потерять информацию о величине значение. Результат также может иметь другой знак, чем значение.

Преобразовать int в char

i2c = 146 (0x92)

..., значение →

..., результат

Значение значение на вершине стека операндов должно быть типа int. Оно извлекается из стека операндов, усекается до char, а затем расширяется без знака до int результат. Этот результат помещается на стек операндов.

Инструкция i2c выполняет сужающее преобразование примитивных типов (JLS §5.1.3). Она может потерять информацию о величине значение. Результат (который всегда положительный) также может иметь другой знак, чем значение.

Преобразовать int в double

i2d = 135 (0x87)

..., значение →

..., результат

Значение значение на вершине стека операндов должно быть типа int. Оно извлекается из стека операндов и преобразуется в тип double результат. Результат помещается на стек операндов.

Инструкция i2d выполняет расширяющее преобразование примитивных типов (JLS §5.1.2). Поскольку все значения типа int точно представляются типом double, преобразование является точным.

Преобразовать int в float

i2f = 134 (0x86)

..., значение →

..., результат

Значение значение на вершине стека операндов должно быть типа int. Оно извлекается из стека операндов и преобразуется в тип float результат с использованием режима округления IEEE 754 до ближайшего. Результат помещается на стек операндов.

Инструкция i2f выполняет расширяющее преобразование примитивных типов (JLS §5.1.2), но может привести к потере точности, потому что значения типа float имеют только 24 бита значащих цифр.

Преобразовать int в long

i2l = 133 (0x85)

..., значение →

..., результат

Значение значение на вершине стека операндов должно быть типа int. Оно извлекается из стека операндов и расширяется со знаком до long результат. Этот результат помещается на стек операндов.

Инструкция i2l выполняет расширяющее преобразование примитивных типов (JLS §5.1.2). Поскольку все значения типа int точно представимы типом long, преобразование является точным.

Преобразовать int в short

i2s = 147 (0x93)

..., значение →

..., результат

Значение значение на вершине стека операндов должно быть типа int. Оно извлекается из стека операндов, усекается до short, затем расширяется со знаком до int результат. Этот результат помещается на стек операндов.

Инструкция i2s выполняет сужающее преобразование примитивных типов (JLS §5.1.3). Она может потерять информацию о величине значение. Результат также может иметь другой знак, чем значение.

Сложение int

iadd = 96 (0x60)

..., value1, value2 →

..., result

Оба value1 и value2 должны быть типа int. Значения извлекаются из стека операндов. Результат result равен value1 + value2. Результат result помещается в стек операндов.

Результат представляет собой 32 младших бита истинного математического результата в достаточно широком формате дополнения до двух, представленного как значение типа int. Если происходит переполнение, то знак результата может не совпадать со знаком математической суммы двух значений.

Несмотря на то, что может произойти переполнение, выполнение инструкции iadd никогда не вызывает исключение во время выполнения.

Загрузка int из массива

iaload = 46 (0x2e)

..., arrayref, index →

..., value

arrayref должен быть типа reference и должен ссылаться на массив, чьи компоненты являются типа int. index должен быть типа int. Оба arrayref и index извлекаются из стека операндов. Значение value в компоненте массива по индексу index извлекается и помещается в стек операндов.

Если arrayref является null, iaload генерирует исключение NullPointerException.

В противном случае, если index не находится в пределах границ массива, на который ссылается arrayref, инструкция iaload генерирует исключение ArrayIndexOutOfBoundsException.

Логическое И int

iand = 126 (0x7e)

..., value1, value2 →

..., результат

Оба value1 и value2 должны быть типа int. Они извлекаются из стека операндов. int результат вычисляется путём поразрядного И (конъюнкции) value1 и value2. результат помещается в стек операндов.

Запись в массив int

iastore = 79 (0x4f)

..., arrayref, индекс, значение →

...

arrayref должен быть типа reference и должен ссылаться на массив, компоненты которого имеют тип int. индекс и значение должны быть типа int. arrayref, индекс и значение извлекаются из стека операндов. int значение записывается в качестве компонента массива по индексу индекс.

Если arrayref является null, iastore генерирует исключение NullPointerException.

В противном случае, если индекс выходит за пределы массива, на который ссылается arrayref, инструкция iastore генерирует исключение ArrayIndexOutOfBoundsException.

Положить int константу

iconst_m1 = 2 (0x2)

iconst_0 = 3 (0x3)

iconst_1 = 4 (0x4)

iconst_2 = 5 (0x5)

iconst_3 = 6 (0x6)

iconst_4 = 7 (0x7)

iconst_5 = 8 (0x8)

... →

..., <i>

Положить константу <i> (-1, 0, 1, 2, 3, 4 или 5) в стек операндов.

Каждая из инструкций этой группы эквивалентна bipush <i> для соответствующего значения <i>, за исключением того, что операнд <i> неявный.

Деление

idiv = 108 (0x6c)

..., value1, value2 →

..., result

Оба значения value1 и value2 должны быть типа int. Эти значения извлекаются из стека операндов. Результат result — это значение выражения языка программирования Java value1 / value2. Результат result помещается на стек операндов.

Операция целочисленного деления округляется к нулю; то есть, частное, полученное при делении n/d, — это значение q с наибольшим модулем, удовлетворяющее условию |d · q| ≤ |n|. Кроме того, q положительно, когда |n| ≥ |d| и n и d имеют одинаковый знак, но q отрицательно, когда |n| ≥ |d| и n и d имеют разные знаки.

Есть один особый случай, который не удовлетворяет этому правилу: если делимое — это целое число с наибольшим по модулю значением для типа int, а делитель — -1, то происходит переполнение, и результат равен делимому. Несмотря на переполнение, в этом случае исключение не генерируется.

Если значение делителя в операции целочисленного деления равно 0, idiv генерирует исключение ArithmeticException.

Переход, если reference сравнение успешно

if_acmpeq = 165 (0xa5)

if_acmpne = 166 (0xa6)

..., value1, value2 →

...