<?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-2025 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="MVNI_advsimd" title="MVNI -- A64" type="instruction">
  <docvars>
    <docvar key="instr-class" value="advsimd"/>
    <docvar key="isa" value="A64"/>
    <docvar key="mnemonic" value="MVNI"/>
  </docvars>
  <heading>MVNI</heading>
  <desc>
    <brief>
      <para>Move inverted immediate (vector)</para>
    </brief>
    <authored>
      <para>This instruction places the inverse of an immediate constant into every
vector element of the destination
SIMD&amp;FP register.</para>
      <para>Depending on the settings in the <register_link id="AArch64-cpacr_el1.xml" state="AArch64">CPACR_EL1</register_link>,
  <register_link id="AArch64-cptr_el2.xml" state="AArch64">CPTR_EL2</register_link>, and <register_link id="AArch64-cptr_el3.xml" state="AArch64">CPTR_EL3</register_link> registers,
  and the current Security state and Exception level,
  an attempt to execute the instruction might be trapped.</para>
    </authored>
  </desc>
  <alias_list howmany="0"/>
  <classes>
    <iclass name="Advanced SIMD" oneof="1" id="iclass_advanced_simd" no_encodings="3" isa="A64">
      <docvars>
        <docvar key="instr-class" value="advsimd"/>
        <docvar key="isa" value="A64"/>
        <docvar key="mnemonic" value="MVNI"/>
      </docvars>
      <iclassintro count="3"/>
      <arch_variants>
        <arch_variant feature="FEAT_AdvSIMD" name="v8Ap0"/>
      </arch_variants>
      <regdiagram form="32" psname="A64.simd_dp.asimdimm.MVNI_asimdimm_L_hl" tworows="1">
        <box hibit="31" width="1" settings="1">
          <c>0</c>
        </box>
        <box hibit="30" width="1" name="Q" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="29" name="op" usename="1" settings="1" psbits="x">
          <c>1</c>
        </box>
        <box hibit="28" width="10" settings="10">
          <c>0</c>
          <c>1</c>
          <c>1</c>
          <c>1</c>
          <c>1</c>
          <c>0</c>
          <c>0</c>
          <c>0</c>
          <c>0</c>
          <c>0</c>
        </box>
        <box hibit="18" width="1" name="a" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="17" width="1" name="b" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="16" width="1" name="c" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="15" width="4" name="cmode" usename="1">
          <c colspan="4"/>
        </box>
        <box hibit="11" name="o2" usename="1" settings="1" psbits="x">
          <c>0</c>
        </box>
        <box hibit="10" width="1" settings="1">
          <c>1</c>
        </box>
        <box hibit="9" width="1" name="d" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="8" width="1" name="e" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="7" width="1" name="f" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="6" width="1" name="g" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="5" width="1" name="h" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="4" width="5" name="Rd" usename="1">
          <c colspan="5"/>
        </box>
      </regdiagram>
      <encoding name="MVNI_asimdimm_L_hl" oneofinclass="3" oneof="3" label="16-bit shifted immediate" bitdiffs="cmode == 10x0">
        <docvars>
          <docvar key="asimdimm-datatype" value="per-halfword"/>
          <docvar key="asimdimm-immtype" value="shifted-immediate"/>
          <docvar key="asimdimm-type" value="per-halfword-shifted-immediate"/>
          <docvar key="instr-class" value="advsimd"/>
          <docvar key="isa" value="A64"/>
          <docvar key="mnemonic" value="MVNI"/>
        </docvars>
        <box hibit="15" width="4" name="cmode">
          <c>1</c>
          <c>0</c>
          <c>x</c>
          <c>0</c>
        </box>
        <asmtemplate><text>MVNI  </text><a hover="Is the name of the SIMD&amp;FP destination register, encoded in the &quot;Rd&quot; field." link="Vd">&lt;Vd&gt;</a><text>.</text><a hover="For the &quot;16-bit shifted immediate&quot; variant: is an arrangement specifier, " link="T_option__4">&lt;T&gt;</a><text>, #</text><a hover="Is an 8-bit immediate encoded in &quot;a:b:c:d:e:f:g:h&quot;." link="a_b_c_d_e_f_g_h">&lt;imm8&gt;</a><text>{, LSL #</text><a hover="For the &quot;16-bit shifted immediate&quot; variant: is the shift amount " link="amount_option__10">&lt;amount&gt;</a><text>}</text></asmtemplate>
      </encoding>
      <encoding name="MVNI_asimdimm_L_sl" oneofinclass="3" oneof="3" label="32-bit shifted immediate" bitdiffs="cmode == 0xx0">
        <docvars>
          <docvar key="asimdimm-datatype" value="per-word"/>
          <docvar key="asimdimm-immtype" value="shifted-immediate"/>
          <docvar key="asimdimm-type" value="per-word-shifted-immediate"/>
          <docvar key="instr-class" value="advsimd"/>
          <docvar key="isa" value="A64"/>
          <docvar key="mnemonic" value="MVNI"/>
        </docvars>
        <box hibit="15" width="4" name="cmode">
          <c>0</c>
          <c>x</c>
          <c>x</c>
          <c>0</c>
        </box>
        <asmtemplate><text>MVNI  </text><a hover="Is the name of the SIMD&amp;FP destination register, encoded in the &quot;Rd&quot; field." link="Vd">&lt;Vd&gt;</a><text>.</text><a hover="For the &quot;32-bit shifted immediate&quot; and &quot;32-bit shifting ones&quot; variants: is an arrangement specifier, " link="T_option__8">&lt;T&gt;</a><text>, #</text><a hover="Is an 8-bit immediate encoded in &quot;a:b:c:d:e:f:g:h&quot;." link="a_b_c_d_e_f_g_h">&lt;imm8&gt;</a><text>{, LSL #</text><a hover="For the &quot;32-bit shifted immediate&quot; variant: is the shift amount " link="amount_option__8">&lt;amount&gt;</a><text>}</text></asmtemplate>
      </encoding>
      <encoding name="MVNI_asimdimm_M_sm" oneofinclass="3" oneof="3" label="32-bit shifting ones" bitdiffs="cmode == 110x">
        <docvars>
          <docvar key="asimdimm-datatype" value="per-word"/>
          <docvar key="asimdimm-immtype" value="masked-immediate"/>
          <docvar key="asimdimm-type" value="per-word-masked-immediate"/>
          <docvar key="instr-class" value="advsimd"/>
          <docvar key="isa" value="A64"/>
          <docvar key="asimdimm-mask" value="no-byte-mask"/>
          <docvar key="mnemonic" value="MVNI"/>
        </docvars>
        <box hibit="15" width="4" name="cmode">
          <c>1</c>
          <c>1</c>
          <c>0</c>
          <c>x</c>
        </box>
        <asmtemplate><text>MVNI  </text><a hover="Is the name of the SIMD&amp;FP destination register, encoded in the &quot;Rd&quot; field." link="Vd">&lt;Vd&gt;</a><text>.</text><a hover="For the &quot;32-bit shifted immediate&quot; and &quot;32-bit shifting ones&quot; variants: is an arrangement specifier, " link="T_option__8">&lt;T&gt;</a><text>, #</text><a hover="Is an 8-bit immediate encoded in &quot;a:b:c:d:e:f:g:h&quot;." link="a_b_c_d_e_f_g_h">&lt;imm8&gt;</a><text>, MSL #</text><a hover="For the &quot;32-bit shifting ones&quot; variant: is the shift amount " link="amount_option__12">&lt;amount&gt;</a></asmtemplate>
      </encoding>
      <ps_section howmany="1">
        <ps name="A64.simd_dp.asimdimm.MVNI_asimdimm_L_hl" sections="1" secttype="noheading">
          <pstext mayhavelinks="1" section="Decode" rep_section="decode">if !IsFeatureImplemented(FEAT_AdvSIMD) then EndOfDecode(Decode_UNDEF); end;
let rd : integer = UInt(Rd);
let datasize : integer{} = 64 &lt;&lt; UInt(Q);
let imm64 : bits(64) = AdvSIMDExpandImm(op, cmode, a::b::c::d::e::f::g::h);
let imm : bits(datasize) = Replicate{}(imm64);</pstext></ps>
      </ps_section>
    </iclass>
  </classes>
  <explanations scope="all">
    <explanation enclist="MVNI_asimdimm_L_hl, MVNI_asimdimm_L_sl, MVNI_asimdimm_M_sm" symboldefcount="1">
      <symbol link="Vd">&lt;Vd&gt;</symbol>
      <account encodedin="Rd">
        <intro>
          <para>Is the name of the SIMD&amp;FP destination register, encoded in the "Rd" field.</para>
        </intro>
      </account>
    </explanation>
    <explanation enclist="MVNI_asimdimm_L_hl" symboldefcount="1">
      <symbol link="T_option__4">&lt;T&gt;</symbol>
      <definition encodedin="Q">
        <intro>For the "16-bit shifted immediate" variant: is an arrangement specifier, </intro>
        <table class="valuetable">
          <tgroup cols="2">
            <thead>
              <row>
                <entry class="bitfield">Q</entry>
                <entry class="symbol">&lt;T&gt;</entry>
              </row>
            </thead>
            <tbody>
              <row>
                <entry class="bitfield">0</entry>
                <entry class="symbol">4H</entry>
              </row>
              <row>
                <entry class="bitfield">1</entry>
                <entry class="symbol">8H</entry>
              </row>
            </tbody>
          </tgroup>
        </table>
      </definition>
    </explanation>
    <explanation enclist="MVNI_asimdimm_L_sl, MVNI_asimdimm_M_sm" symboldefcount="2">
      <symbol link="T_option__8">&lt;T&gt;</symbol>
      <definition encodedin="Q">
        <intro>For the "32-bit shifted immediate" and "32-bit shifting ones" variants: is an arrangement specifier, </intro>
        <table class="valuetable">
          <tgroup cols="2">
            <thead>
              <row>
                <entry class="bitfield">Q</entry>
                <entry class="symbol">&lt;T&gt;</entry>
              </row>
            </thead>
            <tbody>
              <row>
                <entry class="bitfield">0</entry>
                <entry class="symbol">2S</entry>
              </row>
              <row>
                <entry class="bitfield">1</entry>
                <entry class="symbol">4S</entry>
              </row>
            </tbody>
          </tgroup>
        </table>
      </definition>
    </explanation>
    <explanation enclist="MVNI_asimdimm_L_hl, MVNI_asimdimm_L_sl, MVNI_asimdimm_M_sm" symboldefcount="1">
      <symbol link="a_b_c_d_e_f_g_h">&lt;imm8&gt;</symbol>
      <account encodedin="(a :: b :: c :: d :: e :: f :: g :: h)">
        <intro>
          <para>Is an 8-bit immediate encoded in "a:b:c:d:e:f:g:h".</para>
        </intro>
      </account>
    </explanation>
    <explanation enclist="MVNI_asimdimm_L_hl" symboldefcount="1">
      <symbol link="amount_option__10">&lt;amount&gt;</symbol>
      <definition encodedin="cmode[1]">
        <intro>For the "16-bit shifted immediate" variant: is the shift amount </intro>
        <table class="valuetable">
          <tgroup cols="2">
            <thead>
              <row>
                <entry class="bitfield">cmode[1]</entry>
                <entry class="symbol">&lt;amount&gt;</entry>
              </row>
            </thead>
            <tbody>
              <row>
                <entry class="bitfield">0</entry>
                <entry class="symbol">0</entry>
              </row>
              <row>
                <entry class="bitfield">1</entry>
                <entry class="symbol">8</entry>
              </row>
            </tbody>
          </tgroup>
        </table>
        <after>defaulting to 0 if LSL is omitted.</after>
      </definition>
    </explanation>
    <explanation enclist="MVNI_asimdimm_L_sl" symboldefcount="2">
      <symbol link="amount_option__8">&lt;amount&gt;</symbol>
      <definition encodedin="cmode[2:1]">
        <intro>For the "32-bit shifted immediate" variant: is the shift amount </intro>
        <table class="valuetable">
          <tgroup cols="2">
            <thead>
              <row>
                <entry class="bitfield">cmode[2:1]</entry>
                <entry class="symbol">&lt;amount&gt;</entry>
              </row>
            </thead>
            <tbody>
              <row>
                <entry class="bitfield">00</entry>
                <entry class="symbol">0</entry>
              </row>
              <row>
                <entry class="bitfield">01</entry>
                <entry class="symbol">8</entry>
              </row>
              <row>
                <entry class="bitfield">10</entry>
                <entry class="symbol">16</entry>
              </row>
              <row>
                <entry class="bitfield">11</entry>
                <entry class="symbol">24</entry>
              </row>
            </tbody>
          </tgroup>
        </table>
        <after>defaulting to 0 if LSL is omitted.</after>
      </definition>
    </explanation>
    <explanation enclist="MVNI_asimdimm_M_sm" symboldefcount="3">
      <symbol link="amount_option__12">&lt;amount&gt;</symbol>
      <definition encodedin="cmode[0]">
        <intro>For the "32-bit shifting ones" variant: is the shift amount </intro>
        <table class="valuetable">
          <tgroup cols="2">
            <thead>
              <row>
                <entry class="bitfield">cmode[0]</entry>
                <entry class="symbol">&lt;amount&gt;</entry>
              </row>
            </thead>
            <tbody>
              <row>
                <entry class="bitfield">0</entry>
                <entry class="symbol">8</entry>
              </row>
              <row>
                <entry class="bitfield">1</entry>
                <entry class="symbol">16</entry>
              </row>
            </tbody>
          </tgroup>
        </table>
      </definition>
    </explanation>
  </explanations>
  <ps_section howmany="1">
    <ps name="A64.simd_dp.asimdimm.MVNI_asimdimm_L_hl" sections="1" secttype="Operation">
      <pstext mayhavelinks="1" section="Execute" rep_section="execute">AArch64_CheckFPAdvSIMDEnabled();
V{datasize}(rd) = NOT(imm);</pstext></ps>
  </ps_section>
  <timestamp>2026-03-12 12:23:09</timestamp>
  <commit_id>2025-09_rel_asl1</commit_id>
</instructionsection>
