pacda

Pointer Authentication Code for Data Address (Key A)

PACDA <Xd>, <Xn>

Signs a data address using Key A.

Details

Computes a pointer authentication code for a data address using Key A and the modifier in Xn, storing the signed value in Xd. This is an AArch64-only instruction used for data-pointer integrity. No general-purpose condition flags are set; authentication failure (during later verification) generates an exception.

Pseudocode Operation

Xd ← AddPAC(Xd, Xn, Key_A, DataAddressType)

Example

PACDA x0, x1

Encoding

Binary Layout
1
1
0
11010110
00001
00
0
010
Rn
Rd
 
Format Data Processing
Opcode 0xDAC10800
Extension PAC (Security)

Operands

  • Xd
    Destination 64-bit integer register
  • Xn
    Modifier

Reference (Arm A64 ISA)

Instruction Forms

Encoding Instruction ISA Bit pattern
0xDAC10800 PACDA <Xd>, <Xn|SP> A64 1 | 1 | 0 | 11010110 | 00001 | 00 | 0 | 010 | Rn | Rd

Description

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:

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]);