bge

bge

Асемблер RISC-V Посилання

lyszt.net охоплює bge та інші інструкції RISC-V більш детально.

Формат кодування

R
31–25funct7
24–20rs2
19–15rs1
14–12funct3
11–7rd
6–0opcode
I
31–20imm[11:0]
19–15rs1
14–12funct3
11–7rd
6–0opcode
S
31–25imm[11:5]
24–20rs2
19–15rs1
14–12funct3
11–7imm[4:0]
6–0opcode
B
31–25imm[12,10:5]
24–20rs2
19–15rs1
14–12funct3
11–7imm[4:1,11]
6–0opcode
U
31–12imm[31:12]
11–7rd
6–0opcode
J
31–12imm[20,10:1,11,19:12]
11–7rd
6–0opcode

Опис

bge працює в парі з blt і інвертує його умову. Літери означають branch if greater than or equal (перехід, якщо більше або дорівнює). Коли rs1 не менше rs2, наведена нижче інструкція переходить до позначеної позиції. Інакше виконання продовжується з наступної інструкції.

bge rs1, rs2, label

Для будь-яких двох значень рівно одна з інструкцій blt і bge виконує перехід, тож разом вони охоплюють усі випадки. Порівняння описано в розділі про blt, а переходи загалом — у розділі про beq.

bge часто з'являється на початку циклу як перевірка виходу. Наведений нижче рядок залишає цикл, щойно лічильник t1 досягає своєї межі t2.

bge t1, t2, done

Далі йде тіло циклу, а безумовний перехід у його кінці повертає до початку. Перевірка перед тілом обробляє нуль повторень, оскільки тіло, умова якого вже виконується, ніколи не запускається.

Частина "or equal" (або дорівнює) визначає поведінку на межі. bge виконує перехід, коли два значення рівні, і помилки на одиницю в циклах зазвичай походять саме від цієї межі. Цикл, що рахує від 0 до n, завершується, коли лічильник досягає n.

Згідно з посібником RISC-V, bge і bgeu виконують перехід, коли rs1 більше або дорівнює rs2, порівнюючи відповідно знакові та беззнакові значення. Зсув переходу — це 12-бітне значення, вимірюване в кратних 2 байтах.

Як і у випадку з blt, порівняння знакове, тому від'ємні значення дозволені. bgeu — це беззнакова форма, яка використовується для адрес і розмірів. Поширене застосування — перевірка того, що значення невід'ємне, як у наведеному нижче рядку.

bge t0, zero, ok

Приклад

bge t1, t2, done   # leave the loop once i >= n

Посилання

  1. [1]RISC-V International. The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture. Version 20260120. Section 2.5.2, Conditional Branches, pages 31 to 32.
Відкрити в Litessera Lux, асемблері RISC-VКупи мені каву