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

aaload = 50 (0x32)

..., arrayref, index →

..., value

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

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

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

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

aastore = 83 (0x53)

..., arrayref, index, value →

...

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

Во время выполнения тип value должен быть совместим с типом компонентов массива, на который ссылается arrayref. В частности, присваивание значения типа ссылки S (источник) компоненту массива типа ссылки T (цель) разрешается только при соблюдении следующих условий:

... (остальной перевод аналогично)

Положить 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_<n> не может использоваться для загрузки значения типа returnAddress из локальной переменной в стек операндов. Эта асимметрия с соответствующей инструкцией astore_<n> (§astore_<n>) намеренная.

Каждая из инструкций aload_<n> аналогична инструкции 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 помещается в стек операндов. Все компоненты нового массива инициализируются значением по умолчанию для типов 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 этого массива. Эта длина 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 при реализации блоков finally языка программирования Java (§3.13).

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

Каждая из инструкций astore_ эквивалентна инструкции astore с индексом <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 извлекаются из стека операндов. Значение byte value в компоненте массива по индексу index извлекается, расширяется со знаком до int value и помещается на вершину стека операндов.

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

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

Инструкция baload используется для загрузки значений из массивов byte и boolean. В реализации Oracle's Java Virtual Machine, массивы 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 извлекаются из стека операндов. Значение int 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.

Проверка, является ли объект заданного типа

checkcast = 192 (0xc0)

..., objectref →

..., objectref

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

Если objectref равен null, то стек операндов не изменяется.

В противном случае, указанный класс, массив или тип интерфейса разрешаются (§5.4.3.1). Если objectref может быть приведён к типу решённого класса, массива или интерфейса, то стек операндов не изменяется; в противном случае, инструкция checkcast вызывает исключение ClassCastException.

Следующие правила используются для определения того, может ли objectref, который не является null, быть приведён к решённому типу: если S — класс объекта, на который указывает objectref, и T — решённый класс, массив или тип интерфейса, checkcast определяет, может ли objectref быть приведён к типу T следующим образом:

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

В противном случае, если objectref не может быть приведён к решённому классу, массиву или типу интерфейса, инструкция checkcast вызывает исключение ClassCastException.

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

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

d2f = 144 (0x90)

..., value →

..., result

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

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

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

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

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

Преобразовать 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)

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

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

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

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

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

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

daload = 49 (0x31)

..., arrayref, index →

..., value

arrayref должен быть типа reference и ссылаться на массив, компоненты которого имеют тип double. index должен быть типа int. И arrayref, и index извлекаются из стека операндов. Значение в компоненте массива по индексу 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 преобразуется в value' (§2.8.3), и сохраняется в компоненте массива с индексом index.

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

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

Сравнение double

dcmpg = 152 (0x98)

dcmpl = 151 (0x97)

..., value1, value2 →

..., result

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

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

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

Помещение значения double

dconst_0 = 14 (0xe)

dconst_1 = 15 (0xf)

... →

..., <d>

Помещение константы <d> (0.0 или 1.0) на стек операндов.

Деление

ddiv = 111 (0x6f)

..., value1, value2 →

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

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

Результат инструкции 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 с index равным <n>, за исключением того, что операнд <n> неявный.

Умножение double

dmul = 107 (0x6b)

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

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

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

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

Java Virtual Machine требует поддержки постепенного переполнения, как определено в 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)

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

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

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

Результат инструкции drem не совпадает с результатом так называемой операции вычисления остатка, определенной в IEEE 754. Операция вычисления остатка в IEEE 754 вычисляет остаток от округленного деления, а не от усеченного деления, и поэтому ее поведение не аналогично поведению обычного целочисленного оператора остатка. Вместо этого виртуальная машина Java определяет drem так, чтобы она вела себя аналогично целочисленным инструкциям остатка виртуальной машины Java (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 не применяет правила по структурированному блокированию, описанные в §2.11.10, то если текущий метод является synchronized методом, и текущий поток не является владельцем монитора, введённого или повторно введённого при вызове метода, dreturn выбрасывает IllegalMonitorStateException. Это может произойти, например, если synchronized метод содержит инструкцию monitorexit, но не инструкцию monitorenter, на объекте, на котором синхронизирован метод.

В противном случае, если реализация виртуальной машины Java применяет правила по структурированному блокированию, описанные в §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_ идентична инструкции dstore с индексом <n>, за исключением того, что операнд <n> неявный.

Вычесть double

dsub = 103 (0x67)

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

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

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

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

Машина Java Virtual требует поддержки постепенного переполнения, как определено в 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)

..., value →

..., result

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

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

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

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

f2i = 139 (0x8b)

..., value →

..., result

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

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

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

f2l = 140 (0x8c)

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

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

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

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

Сложить float

fadd = 98 (0x62)

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

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

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

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

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

Загрузить float из массива

faload = 48 (0x30)

..., ссылка_на_массив, индекс →

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

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

Если ссылка_на_массив является null, faload вызывает исключение NullPointerException.

В противном случае, если индекс не находится в пределах границ массива, на который ссылается ссылка_на_массив, инструкция 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 неупорядочен, поэтому любое сравнение, в котором один или оба операнда являются NaN, завершается неудачей. Наличие как fcmpg, так и fcmpl позволяет скомпилировать любое сравнение так, чтобы на стек операндов помещалось то же 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 Virtual Machine требует поддержки постепенного уменьшения, как определено в IEEE 754. Несмотря на то, что могут произойти переполнение, недополнение, деление на ноль или потеря точности, выполнение инструкции fdiv никогда не вызывает исключения времени выполнения.

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

fload = 23 (0x17)

... →

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

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

Инструкция 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)

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

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

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

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

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

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

fneg = 118 (0x76)

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

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

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

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

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

Остаток float

frem = 114 (0x72)

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

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

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

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

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

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

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

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

freturn = 174 (0xae)

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

[пустой]

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

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

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

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

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

fstore = 56 (0x38)

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

...

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

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

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

fstore_0 = 67 (0x43)

fstore_1 = 68 (0x44)

fstore_2 = 69 (0x45)

fstore_3 = 70 (0x46)

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

...

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

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

Вычесть float

fsub = 102 (0x66)

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

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

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

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

Виртуальная машина Java требует поддержки постепенного переполнения, как определено в 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, и оно является членом суперкласса текущего класса, и поле не объявлено в том же пакете времени выполнения (§5.3), что и текущий класс, то класс objectref должен быть либо текущим классом, либо подклассом текущего класса.

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

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

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

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

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

getstatic = 178 (0xb2)

..., →

..., value

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

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

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

При разрешении символической ссылки на поле класса или интерфейса могут быть выброшены любые исключения, относящиеся к разрешению поля (§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)

..., value →

..., result

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

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

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

i2c = 146 (0x92)

..., value →

..., result

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

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

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

i2d = 135 (0x87)

..., value →

..., result

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

Инструкция 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)

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

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

Оба значение1 и значение2 должны быть типа int. Эти значения извлекаются из стека операндов. Результат — значение1 + значение2. Результат помещается на стек операндов.

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

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

Загрузить int из массива

iaload = 46 (0x2e)

..., ссылка_на_массив, индекс →

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

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

Если ссылка_на_массив является null, то iaload генерирует исключение NullPointerException.

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

Булево И int

iand = 126 (0x7e)

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

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

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

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

iastore = 79 (0x4f)

..., ссылка_на_массив, индекс, значение →

...

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

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

В противном случае, если индекс выходит за пределы массива, к которому ссылается ссылка_на_массив, инструкция 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>

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

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

Деление int

idiv = 108 (0x6c)

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

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

Оба значение1 и значение2 должны быть типа int. Значения извлекаются из стека операндов. int результат – значение выражения языка программирования Java значение1 / значение2. Результат помещается в стек операндов.

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

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

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

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

if_acmpeq = 165 (0xa5)

if_acmpne = 166 (0xa6)

..., value1, value2 →

...

И value1, и value2 должны быть типа reference. Оба они извлекаются из стека операндов и сравниваются. Результаты сравнения следующие:

Если сравнение успешно, незначащие branchbyte1 и branchbyte2 используются для построения знаковой 16-разрядной смещения, где смещение вычисляется как (branchbyte1 << 8) | branchbyte2. Затем выполнение продолжается по смещению от адреса кода данной инструкции if_acmp<cond>. Целевой адрес должен быть адресом кода инструкции в методе, содержащем эту инструкцию if_acmp<cond>.

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