bltu

bltu

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

lyszt.net охоплює bltu та інші інструкції 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

Опис

bltu виконує те саме розгалуження, що й blt, але читає обидва регістри як беззнакові. Назва означає branch if less than, unsigned (розгалуження, якщо менше, беззнакове). Розгалуження відбувається, коли rs1 менше за rs2, причому обидва значення читаються як невід'ємні числа від 0 приблизно до 4 мільярдів. Сторінка blt описує саме розгалуження. Ця сторінка пояснює, чому беззнакове читання має власну інструкцію.

Ті самі 32 біти представляють різні числа залежно від того, чи старший біт читається як знак, чи як частина значення. blt читає біти як знакові, а bltu — як беззнакові, і ці два читання розходяться. Регістр з усіма бітами, встановленими в 1, для blt дорівнює -1, дуже малому значенню, а для bltu — найбільшому можливому значенню. Вибір неправильної інструкції дає неправильний результат без жодного повідомлення про помилку.

bltu підходить для всього, що не може бути від'ємним, наприклад для адрес пам'яті, розмірів, лічильників і позицій. Порівняння адрес зі знаковим blt зазнає невдачі, щойно адреса стає достатньо великою, щоб мати встановлений старший біт, оскільки знакове читання робить її від'ємною.

Посібник RISC-V зазначає ту саму перевірку діапазону. Знакову межу масиву можна перевірити одним bltu, оскільки будь-який від'ємний індекс порівнюється як більший за будь-яку невід'ємну межу.

Один bltu перевіряє, що індекс перебуває в діапазоні: не менше 0 і менше за розмір n.

bltu i, n, ok

Якщо i від'ємний, його беззнакове читання — дуже велике число, і перевірка не проходить, тож одне беззнакове порівняння вловлює і випадок завеликого значення, і від'ємний випадок.

Приклад

li t0, 1
li t1, -1
bltu t0, t1, done   # t1 read as unsigned is huge, so jump to 'done'

Посилання

  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Купи мені каву