<?xml version="1.0" ?><?xml-stylesheet type="text/xsl" encoding="UTF-8" href="iform.xsl" version="1.0"?><!DOCTYPE instructionsection  PUBLIC '-//ARM//DTD instructionsection //EN'  'iform-p.dtd'><!-- Copyright (c) 2010-2026 Arm Limited or its affiliates. All rights reserved. --><!-- This document is Non-Confidential. This document may only be used and distributed in accordance with the terms of the agreement entered into by Arm and the party that Arm delivered this document to. --><instructionsection id="AUTIB" title="AUTIB, AUTIB1716, AUTIBSP, AUTIBZ, AUTIZB -- A64" type="instruction">
  <docvars>
    <docvar key="isa" value="A64"/>
  </docvars>
  <heading>AUTIB, AUTIB1716, AUTIBSP, AUTIBZ, AUTIZB</heading>
  <desc>
    <brief>
      <para>Authenticate instruction address, using key B</para>
    </brief>
    <authored>
      <para>This instruction authenticates an instruction address, using a modifier and key B.</para>
      <para>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
<xref linkend="ARMARM_MDSec.Faulting_on_pointer_authentication">Faulting on pointer authentication</xref>.</para>
      <para>The address is:</para>
      <list type="unordered">
        <listitem>
          <content>In the general-purpose register that is specified by
  <syntax>&lt;Xd&gt;</syntax> for <instruction>AUTIB</instruction> and <instruction>AUTIZB</instruction>.</content>
        </listitem>
        <listitem>
          <content>In X17, for <instruction>AUTIB1716</instruction>.</content>
        </listitem>
        <listitem>
          <content>In X30, for <instruction>AUTIBSP</instruction> and <instruction>AUTIBZ</instruction>.</content>
        </listitem>
      </list>
      <para>The modifier is:</para>
      <list type="unordered">
        <listitem>
          <content>In the general-purpose register or stack pointer that is specified
  by <syntax>&lt;Xn|SP&gt;</syntax> for <instruction>AUTIB</instruction>.</content>
        </listitem>
        <listitem>
          <content>The value zero, for <instruction>AUTIZB</instruction> and <instruction>AUTIBZ</instruction>.</content>
        </listitem>
        <listitem>
          <content>In X16, for <instruction>AUTIB1716</instruction>.</content>
        </listitem>
        <listitem>
          <content>In SP, for <instruction>AUTIBSP</instruction>.</content>
        </listitem>
      </list>
      <para>If <xref linkend="ARMARM_FEAT_PAuth_LR">FEAT_PAuth_LR</xref> is implemented and PSTATE.PACM is 1, then
<instruction>AUTIB1716</instruction> and <instruction>AUTIBSP</instruction> include a second modifier that is:</para>
      <list type="unordered">
        <listitem>
          <content>In X15, for <instruction>AUTIB1716</instruction>.</content>
        </listitem>
        <listitem>
          <content>In X16, for <instruction>AUTIBSP</instruction>.</content>
        </listitem>
      </list>
    </authored>
  </desc>
  <alias_list howmany="0"/>
  <classes>
    <classesintro count="2">
      <txt>It has encodings from 2 classes:</txt>
      <a href="#iclass_integer">Integer</a>
      <txt> and </txt>
      <a href="#iclass_system">System</a>
    </classesintro>
    <iclass name="Integer" oneof="2" id="iclass_integer" no_encodings="2" isa="A64">
      <docvars>
        <docvar key="instr-class" value="general"/>
        <docvar key="isa" value="A64"/>
      </docvars>
      <iclassintro count="2"/>
      <arch_variants>
        <arch_variant feature="FEAT_PAuth" name="v8Ap3"/>
      </arch_variants>
      <regdiagram form="32" psname="A64.dpreg.dp_1src.AUTIB_64P_dp_1src" tworows="1">
        <box hibit="31" name="sf" usename="1" settings="1" psbits="x">
          <c>1</c>
        </box>
        <box hibit="30" width="1" settings="1">
          <c>1</c>
        </box>
        <box hibit="29" name="S" usename="1" settings="1" psbits="x">
          <c>0</c>
        </box>
        <box hibit="28" width="8" settings="8">
          <c>1</c>
          <c>1</c>
          <c>0</c>
          <c>1</c>
          <c>0</c>
          <c>1</c>
          <c>1</c>
          <c>0</c>
        </box>
        <box hibit="20" width="5" name="opcode2" usename="1" settings="5" psbits="xxxxx">
          <c>0</c>
          <c>0</c>
          <c>0</c>
          <c>0</c>
          <c>1</c>
        </box>
        <box hibit="15" width="2" settings="2">
          <c>0</c>
          <c>0</c>
        </box>
        <box hibit="13" width="1" name="Z" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="12" width="3" settings="3">
          <c>1</c>
          <c>0</c>
          <c>1</c>
        </box>
        <box hibit="9" width="5" name="Rn" usename="1">
          <c colspan="5"/>
        </box>
        <box hibit="4" width="5" name="Rd" usename="1">
          <c colspan="5"/>
        </box>
      </regdiagram>
      <encoding name="AUTIB_64P_dp_1src" oneofinclass="2" oneof="5" label="AUTIB" bitdiffs="Z == 0">
        <docvars>
          <docvar key="instr-class" value="general"/>
          <docvar key="isa" value="A64"/>
          <docvar key="mnemonic" value="AUTIB"/>
        </docvars>
        <box hibit="13" width="1" name="Z">
          <c>0</c>
        </box>
        <asmtemplate><text>AUTIB  </text><a hover="Is the 64-bit name of the general-purpose destination register, encoded in the &quot;Rd&quot; field." link="XdOrXZR__6">&lt;Xd&gt;</a><text>, </text><a hover="Is the 64-bit name of the general-purpose source register or stack pointer, encoded in the &quot;Rn&quot; field." link="XnSP_option__7">&lt;Xn|SP&gt;</a></asmtemplate>
      </encoding>
      <encoding name="AUTIZB_64Z_dp_1src" oneofinclass="2" oneof="5" label="AUTIZB" bitdiffs="Z == 1 &amp;&amp; Rn == 11111">
        <docvars>
          <docvar key="instr-class" value="general"/>
          <docvar key="isa" value="A64"/>
          <docvar key="mnemonic" value="AUTIZB"/>
        </docvars>
        <box hibit="13" width="1" name="Z">
          <c>1</c>
        </box>
        <box hibit="9" width="5" name="Rn">
          <c>1</c>
          <c>1</c>
          <c>1</c>
          <c>1</c>
          <c>1</c>
        </box>
        <asmtemplate><text>AUTIZB  </text><a hover="Is the 64-bit name of the general-purpose destination register, encoded in the &quot;Rd&quot; field." link="XdOrXZR__6">&lt;Xd&gt;</a></asmtemplate>
      </encoding>
      <ps_section howmany="1">
        <ps name="A64.dpreg.dp_1src.AUTIB_64P_dp_1src" sections="1" secttype="noheading">
          <pstext mayhavelinks="1" section="Decode" rep_section="decode">if !IsFeatureImplemented(FEAT_PAuth) then <a link="func_EndOfDecode_1" file="shared_pseudocode.xml">EndOfDecode</a>(<a link="enum_Decode_UNDEF" file="shared_pseudocode.xml">Decode_UNDEF</a>); end;
if Z == '1' &amp;&amp; Rn != '11111' then <a link="func_EndOfDecode_1" file="shared_pseudocode.xml">EndOfDecode</a>(<a link="enum_Decode_UNDEF" file="shared_pseudocode.xml">Decode_UNDEF</a>); end;
let autib1716 : boolean = FALSE;
let d : integer = UInt(Rd);
let n : integer = UInt(Rn);
let auth_combined : boolean = FALSE;

let source_is_sp : boolean = Z == '0' &amp;&amp; n == 31;</pstext></ps>
      </ps_section>
    </iclass>
    <iclass name="System" oneof="2" id="iclass_system" no_encodings="3" isa="A64">
      <docvars>
        <docvar key="instr-class" value="system"/>
        <docvar key="isa" value="A64"/>
      </docvars>
      <iclassintro count="3"/>
      <arch_variants>
        <arch_variant feature="FEAT_PAuth" name="v8Ap3"/>
      </arch_variants>
      <regdiagram form="32" psname="A64.control.hints.AUTIB1716_HI_hints" tworows="1">
        <box hibit="31" width="20" settings="20">
          <c>1</c>
          <c>1</c>
          <c>0</c>
          <c>1</c>
          <c>0</c>
          <c>1</c>
          <c>0</c>
          <c>1</c>
          <c>0</c>
          <c>0</c>
          <c>0</c>
          <c>0</c>
          <c>0</c>
          <c>0</c>
          <c>1</c>
          <c>1</c>
          <c>0</c>
          <c>0</c>
          <c>1</c>
          <c>0</c>
        </box>
        <box hibit="11" width="4" name="CRm" usename="1" settings="3" psbits="xxxx">
          <c>0</c>
          <c>0</c>
          <c>x</c>
          <c>1</c>
        </box>
        <box hibit="7" width="3" name="op2" usename="1" settings="2" psbits="xxx">
          <c>1</c>
          <c>1</c>
          <c>x</c>
        </box>
        <box hibit="4" width="5" settings="5">
          <c>1</c>
          <c>1</c>
          <c>1</c>
          <c>1</c>
          <c>1</c>
        </box>
      </regdiagram>
      <encoding name="AUTIB1716_HI_hints" oneofinclass="3" oneof="5" label="AUTIB1716" bitdiffs="CRm == 0001 &amp;&amp; op2 == 110">
        <docvars>
          <docvar key="instr-class" value="system"/>
          <docvar key="isa" value="A64"/>
          <docvar key="mnemonic" value="AUTIB1716"/>
        </docvars>
        <box hibit="11" width="4" name="CRm">
          <c/>
          <c/>
          <c>0</c>
          <c/>
        </box>
        <box hibit="7" width="3" name="op2">
          <c/>
          <c/>
          <c>0</c>
        </box>
        <asmtemplate><text>AUTIB1716</text></asmtemplate>
      </encoding>
      <encoding name="AUTIBSP_HI_hints" oneofinclass="3" oneof="5" label="AUTIBSP" bitdiffs="CRm == 0011 &amp;&amp; op2 == 111">
        <docvars>
          <docvar key="instr-class" value="system"/>
          <docvar key="isa" value="A64"/>
          <docvar key="mnemonic" value="AUTIBSP"/>
        </docvars>
        <box hibit="11" width="4" name="CRm">
          <c/>
          <c/>
          <c>1</c>
          <c/>
        </box>
        <box hibit="7" width="3" name="op2">
          <c/>
          <c/>
          <c>1</c>
        </box>
        <asmtemplate><text>AUTIBSP</text></asmtemplate>
      </encoding>
      <encoding name="AUTIBZ_HI_hints" oneofinclass="3" oneof="5" label="AUTIBZ" bitdiffs="CRm == 0011 &amp;&amp; op2 == 110">
        <docvars>
          <docvar key="instr-class" value="system"/>
          <docvar key="isa" value="A64"/>
          <docvar key="mnemonic" value="AUTIBZ"/>
        </docvars>
        <box hibit="11" width="4" name="CRm">
          <c/>
          <c/>
          <c>1</c>
          <c/>
        </box>
        <box hibit="7" width="3" name="op2">
          <c/>
          <c/>
          <c>0</c>
        </box>
        <asmtemplate><text>AUTIBZ</text></asmtemplate>
      </encoding>
      <ps_section howmany="1">
        <ps name="A64.control.hints.AUTIB1716_HI_hints" sections="1" secttype="noheading">
          <pstext mayhavelinks="1" section="Decode" rep_section="decode">if !IsFeatureImplemented(FEAT_PAuth) then <a link="func_EndOfDecode_1" file="shared_pseudocode.xml">EndOfDecode</a>(<a link="enum_Decode_NOP" file="shared_pseudocode.xml">Decode_NOP</a>); end;
var d : integer;
var n : integer;
var source_is_sp : boolean = FALSE;
var autib1716 : boolean = FALSE;
let auth_combined : boolean = FALSE;

case CRm::op2 of
    when '0011 110' =&gt; // AUTIBZ
        d = 30;
        n = 31;
    when '0011 111' =&gt; // AUTIBSP
        d = 30;
        source_is_sp = TRUE;
    when '0001 110' =&gt; // AUTIB1716
        d = 17;
        n = 16;
        autib1716 = TRUE;
end;</pstext></ps>
      </ps_section>
    </iclass>
  </classes>
  <explanations scope="all">
    <explanation enclist="AUTIB_64P_dp_1src, AUTIZB_64Z_dp_1src" symboldefcount="1">
      <symbol link="XdOrXZR__6">&lt;Xd&gt;</symbol>
      <account encodedin="Rd">
        <intro>
          <para>Is the 64-bit name of the general-purpose destination register, encoded in the &quot;Rd&quot; field.</para>
        </intro>
      </account>
    </explanation>
    <explanation enclist="AUTIB_64P_dp_1src" symboldefcount="1">
      <symbol link="XnSP_option__7">&lt;Xn|SP&gt;</symbol>
      <account encodedin="Rn">
        <intro>
          <para>Is the 64-bit name of the general-purpose source register or stack pointer, encoded in the &quot;Rn&quot; field.</para>
        </intro>
      </account>
    </explanation>
  </explanations>
  <ps_section howmany="1">
    <ps name="A64.dpreg.dp_1src.AUTIB_64P_dp_1src" sections="1" secttype="Operation">
      <pstext mayhavelinks="1" section="Execute" rep_section="execute">if source_is_sp then
    if IsFeatureImplemented(FEAT_PAuth_LR) &amp;&amp; <a link="global_PSTATE" file="shared_pseudocode.xml">PSTATE</a>.PACM == '1' then
        <a link="accessor_X_2" file="shared_pseudocode.xml">X</a>{64}(d) = <a link="func_AuthIB2_4" file="shared_pseudocode.xml">AuthIB2</a>(<a link="accessor_X_2" file="shared_pseudocode.xml">X</a>{64}(d), <a link="accessor_SP_1" file="shared_pseudocode.xml">SP</a>{64}(), <a link="accessor_X_2" file="shared_pseudocode.xml">X</a>{64}(16), auth_combined);
    else
        <a link="accessor_X_2" file="shared_pseudocode.xml">X</a>{64}(d) = <a link="func_AuthIB_3" file="shared_pseudocode.xml">AuthIB</a>(<a link="accessor_X_2" file="shared_pseudocode.xml">X</a>{64}(d), <a link="accessor_SP_1" file="shared_pseudocode.xml">SP</a>{64}(), auth_combined);
    end;
else
    if IsFeatureImplemented(FEAT_PAuth_LR) &amp;&amp; <a link="global_PSTATE" file="shared_pseudocode.xml">PSTATE</a>.PACM == '1' &amp;&amp; autib1716 then
        <a link="accessor_X_2" file="shared_pseudocode.xml">X</a>{64}(d) = <a link="func_AuthIB2_4" file="shared_pseudocode.xml">AuthIB2</a>(<a link="accessor_X_2" file="shared_pseudocode.xml">X</a>{64}(d), <a link="accessor_X_2" file="shared_pseudocode.xml">X</a>{64}(n), <a link="accessor_X_2" file="shared_pseudocode.xml">X</a>{64}(15), auth_combined);
    else
        <a link="accessor_X_2" file="shared_pseudocode.xml">X</a>{64}(d) = <a link="func_AuthIB_3" file="shared_pseudocode.xml">AuthIB</a>(<a link="accessor_X_2" file="shared_pseudocode.xml">X</a>{64}(d), <a link="accessor_X_2" file="shared_pseudocode.xml">X</a>{64}(n), auth_combined);
    end;
end;</pstext></ps>
  </ps_section>
  <timestamp>2026-03-26 20:27:25</timestamp>
  <commit_id>2026-03_rel</commit_id>
</instructionsection>