AUTIB, AUTIB1716, AUTIBSP, AUTIBZ, AUTIZB

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

The address is:

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.

It has encodings from 2 classes: Integer and System

Integer
(FEAT_PAuth)

313029282726252423222120191817161514131211109876543210
110110101100000100Z101RnRd

AUTIB (Z == 0)

AUTIB <Xd>, <Xn|SP>

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

AUTIZB <Xd>

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

System
(FEAT_PAuth)

313029282726252423222120191817161514131211109876543210
1101010100000011001000x111x11111
CRmop2

AUTIB1716 (CRm == 0001 && op2 == 110)

AUTIB1716

AUTIBSP (CRm == 0011 && op2 == 111)

AUTIBSP

AUTIBZ (CRm == 0011 && op2 == 110)

AUTIBZ

integer d; integer n; boolean source_is_sp = FALSE; case CRm:op2 of when '0011 110' // AUTIBZ d = 30; n = 31; when '0011 111' // AUTIBSP d = 30; source_is_sp = TRUE; when '0001 110' // AUTIB1716 d = 17; n = 16; when '0001 000' SEE "PACIA"; when '0001 010' SEE "PACIB"; when '0001 100' SEE "AUTIA"; when '0011 00x' SEE "PACIA"; when '0011 01x' SEE "PACIB"; when '0011 10x' SEE "AUTIA"; when '0000 111' SEE "XPACLRI"; otherwise SEE "HINT";

Assembler Symbols

Operation

auth_then_branch = FALSE; if HavePACExt() then if source_is_sp then X[d] = AuthIB(X[d], SP[], auth_then_branch); else X[d] = AuthIB(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.