Authenticate Data address, using key A. This instruction authenticates 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:

If the authentication passes, the upper bits of the address are restored to enable subsequent use of the address. If the authentication fails, the upper bits are corrupted and any subsequent use of the address results in a Translation fault.



AUTDA (Z == 0)

AUTDA <Xd>, <Xn|SP>

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


boolean source_is_sp = FALSE; integer d = UInt(Rd); integer n = UInt(Rn); if !HavePACExt() then UNDEFINED; if Z == '0' then // AUTDA if n == 31 then source_is_sp = TRUE; else // AUTDZA if n != 31 then UNDEFINED;

Assembler Symbols


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


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


auth_then_branch = FALSE; if HavePACExt() then if source_is_sp then X[d] = AuthDA(X[d], SP[], auth_then_branch); else X[d] = AuthDA(X[d], X[n], auth_then_branch);

Internal version only: isa v33.11seprel, AdvSIMD v29.05, pseudocode v2021-09_rel, sve v2021-09_rc3d ; Build timestamp: 2021-10-06T11:41

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