AUTIA, AUTIA1716, AUTIASP, AUTIAZ, AUTIZA

Authenticate Instruction address, using key A. This instruction authenticates an instruction address, using a modifier and key A.

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.

The address is:

The modifier is:

If FEAT_PAuth_LR is implemented and PSTATE.PACM is 1, then AUTIA1716 and AUTIASP include a second modifier that is:

It has encodings from 2 classes: Integer and System

Integer
(FEAT_PAuth)

313029282726252423222120191817161514131211109876543210
110110101100000100Z100RnRd
sfSopcode2

AUTIA (Z == 0)

AUTIA <Xd>, <Xn|SP>

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

AUTIZA <Xd>

if !IsFeatureImplemented(FEAT_PAuth) then UNDEFINED; if Z == '1' && Rn != '11111' then UNDEFINED; boolean autia1716 = FALSE; integer d = UInt(Rd); integer n = UInt(Rn); boolean auth_combined = FALSE; boolean source_is_sp = Z == '0' && n == 31;

System
(FEAT_PAuth)

313029282726252423222120191817161514131211109876543210
1101010100000011001000x110x11111
CRmop2

AUTIA1716 (CRm == 0001 && op2 == 100)

AUTIA1716

AUTIASP (CRm == 0011 && op2 == 101)

AUTIASP

AUTIAZ (CRm == 0011 && op2 == 100)

AUTIAZ

if !IsFeatureImplemented(FEAT_PAuth) then EndOfInstruction(); // Instruction executes as NOP integer d; integer n; boolean source_is_sp = FALSE; boolean autia1716 = FALSE; boolean auth_combined = FALSE; case CRm:op2 of when '0011 100' // AUTIAZ d = 30; n = 31; when '0011 101' // AUTIASP d = 30; source_is_sp = TRUE; when '0001 100' // AUTIA1716 d = 17; n = 16; autia1716 = TRUE; when '0001 000' SEE "PACIA"; when '0001 010' SEE "PACIB"; when '0001 110' SEE "AUTIB"; when '0011 00x' SEE "PACIA"; when '0011 01x' SEE "PACIB"; when '0011 11x' SEE "AUTIB"; when '0000 111' SEE "XPACLRI"; otherwise SEE "HINT";

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 if IsFeatureImplemented(FEAT_PAuth_LR) && PSTATE.PACM == '1' then X[d, 64] = AuthIA2(X[d, 64], SP[], X[16, 64], auth_combined); else X[d, 64] = AuthIA(X[d, 64], SP[], auth_combined); else if IsFeatureImplemented(FEAT_PAuth_LR) && PSTATE.PACM == '1' && autia1716 then X[d, 64] = AuthIA2(X[d, 64], X[n, 64], X[15, 64], auth_combined); else X[d, 64] = AuthIA(X[d, 64], X[n, 64], auth_combined);


Internal version only: aarchmrs v2024-03_relA, pseudocode v2024-03_rel, sve v2024-03_rel ; Build timestamp: 2024-03-26T09:45

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