Загрузка 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 является null, то value сохраняется как компонент массива по индексу index.

В противном случае, value не является null. Если тип value совместим с типом компонентов массива, на который ссылается arrayref, то value сохраняется как компонент массива по индексу index.

Следующие правила используются для определения совместимости value с типом компонентов массива, если value не является null. Если S — тип объекта, на который ссылается value, а T — тип компонентов массива, то aastore определяет совместимость присваивания следующим образом:

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

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

В противном случае, если arrayref не является null и фактический тип не-null value не совместим с фактическим типом компонентов массива, то aastore генерирует исключение ArrayStoreException.

Поместить 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 помещается в стек операндов. Все элементы нового массива инициализируются null, значением по умолчанию для типов reference (§2.4).

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

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

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

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

areturn = 176 (0xb0)

..., objectref →

[пусто]

objectref должен быть типа reference и должен ссылаться на объект типа, совместимого с типом возврата (JLS §5.2) представленного в описателе метода (§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 извлекаются из стека операндов. Значение value компонента массива по индексу index извлекается, расширяется со знаком до int value и помещается на вершину стека операндов.

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

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

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

Если arrayref ссылается на массив, компоненты которого имеют тип byte, то значение value усекается до byte и сохраняется в качестве компонента массива по индексу index.

Если arrayref ссылается на массив, компоненты которого имеют тип boolean, то значение value сужается, взяв побитовое И от value и 1; результат сохраняется в качестве компонента массива по индексу index.

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

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

Инструкция bastore используется для записи значений в массивы byte и boolean. В реализации Java Virtual Machine Oracle массивы 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-строгой, результат преобразования может быть взят из набора значений float с расширенным порядком (§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 Virtual Machine требует поддержки постепенного переполнения, как определено в IEEE 754. Несмотря на то, что может произойти переполнение, переполнение или потеря точности, выполнение инструкции dadd никогда не генерирует исключение во время выполнения.

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

daload = 49 (0x31)

..., arrayref, index →

..., value

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

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

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

Сохранение в массив double

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 неупорядочен, поэтому любое сравнение с участием NaN терпит неудачу, если один или оба операнда являются NaN. Наличие как dcmpg, так и dcmpl позволяет компилировать любое сравнение так, чтобы оно помещало одно и то же result в стек операндов, независимо от того, потерпел ли неудачу сравнение на не-NaN значениях или встретил NaN. Более подробную информацию см. в §3.5.

Поместить double

dconst_0 = 14 (0xe)

dconst_1 = 15 (0xf)

... →

..., <d>

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

Деление

ddiv = 111 (0x6f)

..., value1, value2 →

..., result

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

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

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

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

dload = 24 (0x18)

... →

..., value

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)

... →

..., value

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

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

Умножить double

dmul = 107 (0x6b)

..., value1, value2 →

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

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

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

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

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

dneg = 119 (0x77)

..., value →

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

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

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

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

Остаток double

drem = 115 (0x73)

..., value1, value2 →

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

Оба value1 и value2 должны быть типа double. Значения извлекаются из стека операндов и подвергаются преобразованию набора значений (§2.8.3), что приводит к value1' и value2'. Результат вычисляется и помещается в стек операндов как 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)

..., value →

...

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

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

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

dstore_0 = 71 (0x47)

dstore_1 = 72 (0x48)

dstore_2 = 73 (0x49)

dstore_3 = 74 (0x4a)

..., value →

...

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

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

Вычесть double

dsub = 103 (0x67)

..., value1, value2 →

..., result

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

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

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

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

dup = 89 (0x59)

..., value →

..., value, value

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

Инструкция dup не должна использоваться, если value является значением типа вычислительной категории 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 строго выполняет операции с плавающей точкой (§2.8.2), она выполняет расширяющее преобразование примитивного типа (JLS §5.1.2). Поскольку все значения множества значений float (§2.3.2) точно представимы значениями множества значений double (§2.3.2), такое преобразование точно.

Если инструкция f2d не строго выполняет операции с плавающей точкой, результат преобразования может быть взят из множества значений с расширенной экспонентой double; он не обязательно округляется до ближайшего представимого значения в множестве значений double. Однако, если операнд value взят из множества значений с расширенной экспонентой float, и целевой результат ограничен множеством значений 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 неупорядочен, поэтому любое сравнение 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 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)

..., value1, value2 →

..., result

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

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

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

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

fneg = 118 (0x76)

..., value →

..., result

value должен быть типа float. Он извлекается из стека операндов и подвергается преобразованию типов (§2.8.3), в результате получая value'. float 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 определяет frem как аналогичную виртуальным машинам Java целочисленным инструкциям остатка (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 не соблюдает правила структурированного блокирования, описанные в §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_<n> аналогична 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 →

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

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

objectref, тип которого должен быть reference, но не тип массива, извлекается из стека операндов. Значение value ссылающегося поля в 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).

Значение 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 Virtual Machine.

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

..., value1, value2 →

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

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

Сохранение в int массив

iastore = 79 (0x4f)

..., arrayref, index, value →

...

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

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

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

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

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

Деление int

idiv = 108 (0x6c)

..., value1, value2 →

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

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

Деление 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 сравнение успешно