Навигатор

Инструкции базового набора RV32I:

арифметические ADD ADDI SUB логические AND ANDI OR ORI XOR XORI сдвиги SLL SLLI SRL SRLI SRA SRAI сравнения SLT SLTI SLTU SLTIU безусловные переходы JAL JALR ===== AUIPC системные FENCE ECALL EBREAK

условные переходы BEQ BNE BLT BGE BLTU BGEU загрузки LB LH LW LBU LHU ==== LUI сохранения SB SH SW См. также набор RV64I набор RV128I

Набор команд: базовый RV32I

Формат: B (иногда пишут SB, подчеркивая общность с форматом S)

Операнды: rs1 и rs2 – регистры, offset – 12-битная константа (со знаком!)

Действие: сравнить значения в регистрах rs1и rs2; при равенстве выполнить переход, т.е. прибавить к адресу инструкции перехода смещение offset.

Примечания

1. Общие для всех переходов правила см. здесь.
2. Существует инструкция для перехода с противоположным условием – BNE.
3. Доступный диапазон переходов составляет ±4 Кб. Если потребуется больше, можно применить прием, описанный в разделе "Диапазон переходов".
4. Не рекомендуется использовать условные команды «со всегда истинным условием» (вроде BEQ x0,x0,0) в качестве безусловного перехода, поскольку это может приводить к потерям из-за попыток предсказывать результат перехода.

Пример 1

Инструкция BEQ x6, x7, 8 сравнивает числа в x6 и x7 и в случае равенства выполняет переход, прибавляя к текущему значению счетчика смещение. Подчеркнем, что при смещении 8 (байтов) в программе будет пропущена только одна(!) 32-битная инструкция: еще 4 байта – это сама инструкция перехода.
Код инструкции содержит следующие поля:

поле	разрядность	содержимое	примечание
offset1	7 битов	0000000	0
rs2	5 битов	00111	x7
rs1	5 битов	00110	x6
func3	3 бита	000	всегда
offset2	5 битов	01000	8
opcode	7 битов	1100011	всегда

Примечание. Обратите внимание на тот факт, что в данном случае в старших битах смещения стоят нули и потому перестановка битов в смещении оказалась "незаметной". Но это не значит, что ее не было.

Итоговый код

0000000 00111 00110 000 01000 1100011₂ = 00 73 04 63₁₆

Пример 2

Инструкция BEQ x6,x7, –4 (ее код FE 73 0E E3) аналогичным образом при равенстве регистров обеспечит переход на инструкцию, предшествующую условному переходу.

Пример 3

Имеется псевдооперация beqz rs, offset, которая заменяется инструкцией BEQ rs, x0, offset.