子例程子程序現代程序設計語言的靈魂提供了抽象的能力將一個組件的功能與其實現的細節分隔開來程序員只需理解組件的結構，不需要考慮其實現的細節，就能夠把該組件作為一個程序塊使用子程序使程序員能夠以模塊化的方式寫程序，提高了構建復雜系統的能力子例程在一個程序中，多次執行某個程序片段在程序內，不必每次給出這個程序片段通過多次調用該程序片段實現子例程（Subroutine）/函數（Function，C語言）子例程機制調用/返回機制程序片段A示例程序片段A：做乘法運算的指令序列x9=x10*x11 andi x9,x9,0 #x9，積 loop: ...... #省略x9=x10*x11的實現細節 j loop exit: ...... #下一個任務調用/返回機制調用機制計算子例程的起始地址，加載到PC，并保存返回地址返回機制將返回地址加載到PC中JAL和JALR指令使用無條件跳轉指令，實現了調用/返回機制JAL：JumpandLink“PC-相對”尋址模式，計算子例程的起始地址JALR：JumpandLinkRegister“基址+偏移量”尋址模式，計算子例程的起始地址通常設置目標寄存器為x1，保存返回地址/鏈接JALPC

PC+SEXT(imm[20:0])x1PC+4地址311211760x0040000000000000110000000000000011101111

imm[20|10:1|11|19:12]x1jalJAL指令匯編格式JAL x1,LABELLABEL，標識JAL指令的目標例如，jalx1,Multiply下一條被執行的指令被Multiply標識的指令并且，在x1中保存返回地址Multiply子例程Multiply: andi x9,x9,0 #x9，積loop: ...... #省略x9=x10*x11的實現細節 j loopexit: jalr x0,0(x1)

#返回使用jalrx0,0(x1)結束子例程JALRPC

(rs1)+SEXT(imm[11:0])x1

PC+4jalr指令的匯編指令格式為jalr x1,imm12(rs1)或jalr x1,rs1,imm12地址31201915141211760x0040000011111111110000101000000011100111

imm[11:0]x5jalrx1I-類型跳轉問題：什么是JALR指令能夠提供的而JAL指令無法提供的重要特點？jal指令計算出的地址被限制于內存的一定范圍之內偏移范圍為-220到220-1jalr指令對于下一條被執行的指令位于何處沒有限制偽指令call使用JALR指令，調用子例程：如何計算子例程的起始地址，將其賦值給rs1？對于匯編程序員來說，可以使用偽指令，簡化編程工作callLabel匯編器將其翻譯為jalr指令callLabel匯編器按照內存分配的規則1、計算出標記相對于PC的偏移量offset（32位）2、將32位的offset拆分成高20位和低12位3、將偽指令call翻譯為：auipc rd,offsetHi

#offsetHi是offset的高20位jalr x1,offsetLo(rd) #offsetLo是offset的低12位子例程相關的偽指令偽指令基本指令含義callLabelauipc rd,offsetHijalr x1,offsetLo(rd)調用子例程retjalrx0,0(x1)從子例程返回（Return，ret）示例：乘法運算計算兩個二進制補碼整數的乘法，采用與十進制乘法相同的算法以3

(-2)為例，采用4位二進制補碼表示

0011(3)×

1110(-2)

0000

(0)011

(00)11

+(001)1

1010(-6)從右向左依次計算，將被乘數與0或1相乘，結果是0或保持不變Multiply子例程02行：如果乘數為0，計算任務結束03行和04行：判斷乘數最右邊一位是否為1如果是1，05行指令將被乘數加到積上06行：乘數邏輯右移1位07行：被乘數左移1位01 Multiply: andi x9,x9,0 #x9，積02 Mloop: beqz x11,Mexit #x11，乘數03 andi x8,x11,104 beqz x8,Mnext05 add x9,x9,x10 #x10，被乘數06 Mnext: srli x11,x11,107 slli x10,x10,108 j Mloop09 Mexit: ret #jalrx0,0(x1)問題：調用Multiply子例程的程序,如果使用寄存器x8存儲了一個數值x在執行callMultiply指令返回后，再次使用x8做運算，會發生什么情況？x8：在子例程中已被改為0或101 addi x10,x0,3 #x10

3，被乘數02 addi x11,x0,-2 #x11

-2，乘數03 call Multiply04 ...... #使用x8做計算05 ...... #下一個任務callee-save（被調用者保存）在子例程中完成寄存器的保存/恢復工作03行：使用數據區的4個存儲單元作為保存寄存器的空間01 .data02 .align 203 SaveReg1: .word 0

#保存寄存器的空間04#05 .text06 .align 207 #省略代碼，x8

x 08 addi x10,x0,3 #x10

3，被乘數09 addi x11,x0,-2 #x11

-2，乘數0A call Multiply0B ...... #使用x8做計算0C ...... #下一個任務0E和0F行：將x8的值x保存到預留的空間中18行：將x8的值恢復0D #

0E Multiply: la x5,SaveReg10F sw x8,0(x5)

#callee-save10 andi x9,x9,0 #x9，積11 Mloop: beqz x11,Mexit #x11，乘數12 andi x8,x11,113 beqz x8,Mnext14 add x9,x9,x10 #x10，被乘數15 Mnext: srli x11,x11,116 slli x10