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. For information on behavior if the authentication fails, see Faulting on pointer authentication.
| 31 | 30 | 29 | 28 | 27 | 26 | 25 | 24 | 23 | 22 | 21 | 20 | 19 | 18 | 17 | 16 | 15 | 14 | 13 | 12 | 11 | 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 |
| 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | Z | 1 | 1 | 0 | Rn | Rd | ||||||||
| sf | S | opcode2 | |||||||||||||||||||||||||||||
if !IsFeatureImplemented(FEAT_PAuth) then EndOfDecode(Decode_UNDEF); end; if Z == '1' && Rn != '11111' then EndOfDecode(Decode_UNDEF); end; let auth_combined : boolean = FALSE; let d : integer = UInt(Rd); let n : integer = UInt(Rn); let source_is_sp : boolean = Z == '0' && n == 31;
| <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. |
if source_is_sp then X{64}(d) = AuthDA(X{64}(d), SP{64}(), auth_combined); else X{64}(d) = AuthDA(X{64}(d), X{64}(n), auth_combined); end;
2026-03_rel 2026-03-26 20:48:11
Copyright © 2010-2026 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.