SPRAB89B September 2011 – August 2025
On 64x targets, a call is a two-instruction sequence: an ADDKPC instruction calculates the return address into B3 using PC-relative addressing, followed by a B (branch) instruction.
ADDKPC return_label,B3 ; B3 := return_label
B func ; goto func
return_label:On non-64x targets, the address can be computed using other methods such as absolute, PC-relative, or GOT-based addressing (as described in Section 5.1).