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 هو -1 بالنسبة إلى blt، أي قيمة صغيرة جدًا، وهو أكبر قيمة ممكنة بالنسبة إلى 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اشترِ لي قهوة