Files
archived-ballistic/spec/arm64_xml/cneg_csneg.xml
Ronald Caesar 26a677f8b4 decoder: Add ARM specification docs
Signed-off-by: Ronald Caesar <github43132@proton.me>
2025-12-12 18:11:36 -04:00

157 lines
8.4 KiB
XML

<?xml version="1.0" encoding="utf-8"?>
<?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-2022 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="CNEG_CSNEG" title="CNEG -- A64" type="alias">
<docvars>
<docvar key="alias_mnemonic" value="CNEG" />
<docvar key="instr-class" value="general" />
<docvar key="isa" value="A64" />
<docvar key="mnemonic" value="CSNEG" />
</docvars>
<heading>CNEG</heading>
<desc>
<brief>
<para>Conditional Negate</para>
</brief>
<authored>
<para>Conditional Negate returns, in the destination register, the negated value of the source register if the condition is TRUE, and otherwise returns the value of the source register.</para>
</authored>
</desc>
<operationalnotes>
<para>If PSTATE.DIT is 1:</para>
<list type="unordered">
<listitem><content>The execution time of this instruction is independent of:<list type="unordered"><listitem><content>The values of the data supplied in any of its registers.</content></listitem><listitem><content>The values of the NZCV flags.</content></listitem></list></content></listitem>
<listitem><content>The response of this instruction to asynchronous exceptions does not vary based on:<list type="unordered"><listitem><content>The values of the data supplied in any of its registers.</content></listitem><listitem><content>The values of the NZCV flags.</content></listitem></list></content></listitem>
</list>
</operationalnotes>
<aliasto refiform="csneg.xml" iformid="CSNEG">CSNEG</aliasto>
<classes>
<iclass name="Integer" oneof="1" id="iclass_general" no_encodings="2" isa="A64">
<docvars>
<docvar key="instr-class" value="general" />
<docvar key="isa" value="A64" />
<docvar key="mnemonic" value="CSNEG" />
</docvars>
<iclassintro count="2"></iclassintro>
<regdiagram form="32" psname="aarch64/instrs/integer/conditional/select" tworows="1">
<box hibit="31" name="sf" usename="1">
<c></c>
</box>
<box hibit="30" name="op" usename="1" settings="1" psbits="x">
<c>1</c>
</box>
<box hibit="29" name="S" settings="1">
<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>0</c>
<c>0</c>
</box>
<box hibit="20" width="5" name="Rm" usename="1">
<c colspan="5"></c>
</box>
<box hibit="15" width="4" name="cond" usename="1" settings="3" constraint="!= 111x" psbits="xxxx">
<c colspan="4">!= 111x</c>
</box>
<box hibit="11" name="op2[1]" settings="1">
<c>0</c>
</box>
<box hibit="10" name="o2" usename="1" settings="1" psbits="x">
<c>1</c>
</box>
<box hibit="9" width="5" name="Rn" usename="1">
<c colspan="5"></c>
</box>
<box hibit="4" width="5" name="Rd" usename="1">
<c colspan="5"></c>
</box>
</regdiagram>
<encoding name="CNEG_CSNEG_32_condsel" oneofinclass="2" oneof="2" label="32-bit" bitdiffs="sf == 0">
<docvars>
<docvar key="alias_mnemonic" value="CNEG" />
<docvar key="datatype" value="32" />
<docvar key="instr-class" value="general" />
<docvar key="isa" value="A64" />
<docvar key="mnemonic" value="CSNEG" />
</docvars>
<box hibit="31" width="1" name="sf">
<c>0</c>
</box>
<asmtemplate><text>CNEG </text><a link="sa_wd" hover="32-bit general-purpose destination register (field &quot;Rd&quot;)">&lt;Wd&gt;</a><text>, </text><a link="sa_wn_1" hover="32-bit general-purpose source register (field &quot;Rn&quot; and &quot;Rm&quot;)">&lt;Wn&gt;</a><text>, </text><a link="sa_cond_1" hover="Standard condition, excluding AL and NV (field &quot;cond&quot;)">&lt;cond&gt;</a></asmtemplate>
<equivalent_to>
<asmtemplate><a href="csneg.xml#CSNEG_32_condsel">CSNEG</a><text> </text><a link="sa_wd" hover="32-bit general-purpose destination register (field &quot;Rd&quot;)">&lt;Wd&gt;</a><text>, </text><a link="sa_wn_1" hover="32-bit general-purpose source register (field &quot;Rn&quot; and &quot;Rm&quot;)">&lt;Wn&gt;</a><text>, </text><a link="sa_wn_1" hover="32-bit general-purpose source register (field &quot;Rn&quot; and &quot;Rm&quot;)">&lt;Wn&gt;</a><text>, invert(</text><a link="sa_cond_1" hover="Standard condition, excluding AL and NV (field &quot;cond&quot;)">&lt;cond&gt;</a><text>)</text></asmtemplate>
<aliascond>Rn == Rm</aliascond>
</equivalent_to>
</encoding>
<encoding name="CNEG_CSNEG_64_condsel" oneofinclass="2" oneof="2" label="64-bit" bitdiffs="sf == 1">
<docvars>
<docvar key="alias_mnemonic" value="CNEG" />
<docvar key="datatype" value="64" />
<docvar key="instr-class" value="general" />
<docvar key="isa" value="A64" />
<docvar key="mnemonic" value="CSNEG" />
</docvars>
<box hibit="31" width="1" name="sf">
<c>1</c>
</box>
<asmtemplate><text>CNEG </text><a link="sa_xd" hover="64-bit general-purpose destination register (field &quot;Rd&quot;)">&lt;Xd&gt;</a><text>, </text><a link="sa_xn_1" hover="64-bit general-purpose source register (field &quot;Rn&quot; and &quot;Rm&quot;)">&lt;Xn&gt;</a><text>, </text><a link="sa_cond_1" hover="Standard condition, excluding AL and NV (field &quot;cond&quot;)">&lt;cond&gt;</a></asmtemplate>
<equivalent_to>
<asmtemplate><a href="csneg.xml#CSNEG_64_condsel">CSNEG</a><text> </text><a link="sa_xd" hover="64-bit general-purpose destination register (field &quot;Rd&quot;)">&lt;Xd&gt;</a><text>, </text><a link="sa_xn_1" hover="64-bit general-purpose source register (field &quot;Rn&quot; and &quot;Rm&quot;)">&lt;Xn&gt;</a><text>, </text><a link="sa_xn_1" hover="64-bit general-purpose source register (field &quot;Rn&quot; and &quot;Rm&quot;)">&lt;Xn&gt;</a><text>, invert(</text><a link="sa_cond_1" hover="Standard condition, excluding AL and NV (field &quot;cond&quot;)">&lt;cond&gt;</a><text>)</text></asmtemplate>
<aliascond>Rn == Rm</aliascond>
</equivalent_to>
</encoding>
</iclass>
</classes>
<explanations scope="all">
<explanation enclist="CNEG_CSNEG_32_condsel" symboldefcount="1">
<symbol link="sa_wd">&lt;Wd&gt;</symbol>
<account encodedin="Rd">
<intro>
<para>Is the 32-bit name of the general-purpose destination register, encoded in the "Rd" field.</para>
</intro>
</account>
</explanation>
<explanation enclist="CNEG_CSNEG_32_condsel" symboldefcount="1">
<symbol link="sa_wn_1">&lt;Wn&gt;</symbol>
<account encodedin="Rm:Rn">
<intro>
<para>Is the 32-bit name of the general-purpose source register, encoded in the "Rn" and "Rm" fields.</para>
</intro>
</account>
</explanation>
<explanation enclist="CNEG_CSNEG_64_condsel" symboldefcount="1">
<symbol link="sa_xd">&lt;Xd&gt;</symbol>
<account encodedin="Rd">
<intro>
<para>Is the 64-bit name of the general-purpose destination register, encoded in the "Rd" field.</para>
</intro>
</account>
</explanation>
<explanation enclist="CNEG_CSNEG_64_condsel" symboldefcount="1">
<symbol link="sa_xn_1">&lt;Xn&gt;</symbol>
<account encodedin="Rm:Rn">
<intro>
<para>Is the 64-bit name of the general-purpose source register, encoded in the "Rn" and "Rm" fields.</para>
</intro>
</account>
</explanation>
<explanation enclist="CNEG_CSNEG_32_condsel, CNEG_CSNEG_64_condsel" symboldefcount="1">
<symbol link="sa_cond_1">&lt;cond&gt;</symbol>
<account encodedin="cond">
<intro>
<para>Is one of the standard conditions, excluding AL and NV, encoded in the "cond" field with its least significant bit inverted.</para>
</intro>
</account>
</explanation>
</explanations>
</instructionsection>