PACDA, PACDZA

Pointer Authentication Code for Data address, using key A. This instruction computes and inserts a pointer authentication code for a data address, using a modifier and key A.

The address is in the general-purpose register that is specified by <Xd>.

The modifier is:

Integer
(FEAT_PAuth)

313029282726252423222120191817161514131211109876543210
110110101100000100Z010RnRd
sfSopcode2

PACDA (Z == 0)

PACDA <Xd>, <Xn|SP>

PACDZA (Z == 1 && Rn == 11111)

PACDZA <Xd>

boolean source_is_sp = FALSE; integer d = UInt(Rd); integer n = UInt(Rn); if !IsFeatureImplemented(FEAT_PAuth) then UNDEFINED; if Z == '0' then // PACDA if n == 31 then source_is_sp = TRUE; else // PACDZA if n != 31 then UNDEFINED;

Assembler Symbols

<Xd>

Is the 64-bit name of the general-purpose destination register, encoded in the "Rd" field.

<Xn|SP>

Is the 64-bit name of the general-purpose source register or stack pointer, encoded in the "Rn" field.

Operation

if source_is_sp then X[d, 64] = AddPACDA(X[d, 64], SP[]); else X[d, 64] = AddPACDA(X[d, 64], X[n, 64]);


Internal version only: aarchmrs v2023-12_rel, pseudocode v2023-12_rel, sve v2023-12_rel ; Build timestamp: 2023-12-15T16:46

Copyright © 2010-2023 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.