jal

jal

تجميع RISC-V مرجع

يغطي lyszt.net jal وتعليمات 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

الوصف

jal تستدعي دالة. الدالة هي كتلة مسماة من التعليمات يمكن تشغيلها من عدة أماكن ثم العودة، بحيث تُكتب المنطقية مرة واحدة وتُستخدم في أي مكان. استدعاء دالة يحتاج إلى شيئين. يقفز البرنامج إلى حيث توجد الدالة، ويتذكر من أين جاء ليعود بعد ذلك. jal تفعل كليهما، واسمها jump and link.

تذهب القفزة إلى تسمية تحدد الدالة. يحدث جزء الربط قبل القفزة. تحفظ jal عنوان التعليمة التالية، التي تأتي مباشرة بعد الاستدعاء، في سجل. تستخدم الدالة ذلك العنوان المحفوظ للعودة.

بحسب العرف، يذهب العنوان المحفوظ إلى سجل يُسمى ra، اختصارًا لعنوان العودة. السطر أدناه يقفز إلى دالة square ويترك في ra العنوان الذي يجب العودة إليه.

jal ra, square

عندما تنتهي الدالة، تعود بالقفز إلى العنوان الموجود في ra، وهذا ما تفعله التعليمة ret. الاختصار المعتاد لنفس الاستدعاء موضح أدناه.

call square

يقول دليل RISC-V إن إزاحة القفز تُحسب بمضاعفات 2 بايت، وتُوسَّع بالإشارة وتُضاف إلى عنوان تعليمة القفز. وهذا يعطي نطاقًا قدره زائد أو ناقص 1 MiB، حيث 1 MiB يساوي 1,048,576 بايت. تحفظ jal عنوان التعليمة التالية، وهو pc زائد 4، في rd. يستخدم اصطلاح استدعاء البرمجيات القياسي x1 كسجل عنوان العودة و x5 كسجل ربط بديل. تستخدم تعليمات القفز غير المشروط عنونة نسبية إلى pc، مما يدعم الشفرة المستقلة عن الموضع، أي الشفرة التي تعمل أينما حُمِّلت في الذاكرة.

تستبدل jal قيمة ra بعنوان عودة جديد. إذا استدعت دالة دالة أخرى، فإن الاستدعاء الداخلي يستبدل العنوان المحفوظ للاستدعاء الخارجي. الدالة التي تقوم باستدعاءات خاصة بها يجب أن تحفظ ra أولًا وتستعيده قبل العودة. يستدعي المثال square ويترك عنوان العودة في ra.

مثال

jal ra, square   # call square; ra holds the return address

المصادر

  1. [1]RISC-V International. The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture. Version 20260120. Section 2.5.1, Unconditional Jumps, page 30.
فتح في Litessera Lux، مُجمِّع RISC-Vاشترِ لي قهوة