ADR Form PC-relative address This instruction adds an immediate value to the PC value to form a PC-relative address, and writes the result to the destination register. 0 1 0 0 0 0 ADR <Xd>, <label> let d : integer{} = UInt(Rd); let imm : bits(64) = SignExtend{}(immhi::immlo); <Xd> Is the 64-bit name of the general-purpose destination register, encoded in the "Rd" field. <label> Is the program label whose address is to be calculated. Its offset from the address of this instruction, in the range +/-1MB, is encoded in "immhi:immlo". X{64}(d) = PC64() + imm; 2026-03-12 12:23:09 2025-09_rel_asl1