<?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="VLDM" title="VLDM, VLDMDB, VLDMIA -- AArch32" type="instruction">
  <docvars>
    <docvar key="instr-class" value="fpsimd"/>
  </docvars>
  <heading>VLDM, VLDMDB, VLDMIA</heading>
  <desc>
    <brief>
      <para>Load Multiple SIMD&amp;FP registers</para>
    </brief>
    <authored>
      <para>Load Multiple SIMD&amp;FP registers loads multiple registers from
consecutive locations in the Advanced SIMD and floating-point
register file using an address from a general-purpose register.</para>
      <para>Depending on settings in the <xref linkend="ARMARM_AArch32.cpacr">CPACR</xref>,
<xref linkend="ARMARM_AArch32.nsacr">NSACR</xref>, and
<xref linkend="ARMARM_AArch32.hcptr">HCPTR</xref> registers, and the Security
state and PE mode in which the instruction is executed, an attempt to
execute the instruction might be <arm-defined-word>UNDEFINED</arm-defined-word>, or
trapped to Hyp mode.
For more information, see <xref linkend="ARMARM_CIHIDDFF">Enabling Advanced
SIMD and floating-point support</xref>.</para>
    </authored>
    <encodingnotes>
      <para>For more information about the <arm-defined-word>CONSTRAINED UNPREDICTABLE</arm-defined-word> behavior of this instruction, see <xref linkend="ARMARM_CJAEGDJC">Architectural Constraints on UNPREDICTABLE behaviors</xref>, and particularly <xref linkend="ARMARM_CEGFAHHG">VLDM</xref>.</para>
      <para>Related encodings: See <xref linkend="ARMARM_T32.encoding_index.simdfp_mov64">Advanced SIMD and floating-point 64-bit move</xref> for the T32 instruction set, or <xref linkend="ARMARM_A32.encoding_index.movsimdfpgp64">Advanced SIMD and floating-point 64-bit move</xref> for the A32 instruction set.</para>
    </encodingnotes>
  </desc>
  <operationalnotes>
    <operationalnote>
      <operationalnote_content>
        <para>This instruction is a data-independent-time instruction as described in <xref linkend="ARMARM_BEIIDCEG">About the DIT bit</xref>.</para>
      </operationalnote_content>
    </operationalnote>
  </operationalnotes>
  <alias_list howmany="1">
    <alias_list_intro>This instruction is used by the alias </alias_list_intro>
    <aliasref aliaspageid="VPOP_VLDM" aliasfile="vpop_vldm.xml" hover="Pop SIMD&amp;FP registers from stack" punct=".">
      <text>VPOP</text>
      <aliaspref>P == '0' &amp;&amp; U == '1' &amp;&amp; W == '1' &amp;&amp; Rn == '1101'</aliaspref>
    </aliasref>
    <alias_list_outro>
      <text>  See </text>
      <aliastablelink/>
      <text> below for details of when the alias is preferred.</text>
    </alias_list_outro>
  </alias_list>
  <classes>
    <classesintro count="4">
      <txt>It has encodings from the following instruction sets:</txt>
      <txt> A32 (</txt>
      <a href="#iclass_a1">A1</a>
      <txt> and </txt>
      <a href="#iclass_a2">A2</a>
      <txt>)</txt>
      <txt> and </txt>
      <txt> T32 (</txt>
      <a href="#iclass_t1">T1</a>
      <txt> and </txt>
      <a href="#iclass_t2">T2</a>
      <txt>)</txt>
      <txt>.</txt>
    </classesintro>
    <iclass name="A1" oneof="4" id="iclass_a1" no_encodings="2" isa="A32">
      <docvars>
        <docvar key="armarmheading" value="A1"/>
        <docvar key="fpdatasize" value="doubleprec"/>
        <docvar key="instr-class" value="fpsimd"/>
        <docvar key="isa" value="A32"/>
      </docvars>
      <iclassintro count="2"/>
      <regdiagram form="32" psname="A32.cops_as.sysldst_mov64.ldstsimdfp.VLDMDB_A1" tworows="1">
        <box hibit="31" width="4" name="cond" usename="1" settings="4" constraint="!= 1111">
          <c colspan="4">!= 1111</c>
        </box>
        <box hibit="27" width="3" settings="3">
          <c>1</c>
          <c>1</c>
          <c>0</c>
        </box>
        <box hibit="24" width="1" name="P" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="23" width="1" name="U" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="22" width="1" name="D" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="21" width="1" name="W" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="20" name="L" usename="1" settings="1" psbits="x">
          <c>1</c>
        </box>
        <box hibit="19" width="4" name="Rn" usename="1">
          <c colspan="4"/>
        </box>
        <box hibit="15" width="4" name="Vd" usename="1">
          <c colspan="4"/>
        </box>
        <box hibit="11" width="2" settings="2">
          <c>1</c>
          <c>0</c>
        </box>
        <box hibit="9" width="2" name="size" usename="1" settings="2" psbits="xx">
          <c>1</c>
          <c>1</c>
        </box>
        <box hibit="7" width="8" name="imm8" usename="1" settings="1" psbits="xxxxxxxx">
          <c>x</c>
          <c>x</c>
          <c>x</c>
          <c>x</c>
          <c>x</c>
          <c>x</c>
          <c>x</c>
          <c>0</c>
        </box>
      </regdiagram>
      <encoding name="VLDMDB_A1" oneofinclass="2" oneof="8" label="Decrement Before" bitdiffs="P == 1 &amp;&amp; U == 0 &amp;&amp; W == 1">
        <docvars>
          <docvar key="armarmheading" value="A1"/>
          <docvar key="fpdatasize" value="doubleprec"/>
          <docvar key="instr-class" value="fpsimd"/>
          <docvar key="isa" value="A32"/>
          <docvar key="ldmstm-mode" value="dec-before"/>
          <docvar key="mnemonic-fpdatasize" value="VLDMDB-doubleprec"/>
          <docvar key="mnemonic" value="VLDMDB"/>
        </docvars>
        <box hibit="24" width="1" name="P">
          <c>1</c>
        </box>
        <box hibit="23" width="1" name="U">
          <c>0</c>
        </box>
        <box hibit="21" width="1" name="W">
          <c>1</c>
        </box>
        <asmtemplate><text>VLDMDB{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="cond__2">&lt;c&gt;</a><text>}{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="qw_option">&lt;q&gt;</a><text>}{.</text><a hover="An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred." link="vstm_size">&lt;size&gt;</a><text>}  </text><a hover="Is the general-purpose base register, encoded in the &quot;Rn&quot; field. If writeback is not specified, the PC can be used." link="Rn__30">&lt;Rn&gt;</a><text>!, </text><a hover="Is the list of consecutively numbered 64-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in &quot;D:Vd&quot;, and &quot;imm8&quot; is set to twice the number of registers in the list. The list must contain at least one register, and must not contain more than 16 registers." link="register_list__11">&lt;dreglist&gt;</a></asmtemplate>
      </encoding>
      <encoding name="VLDM_A1" oneofinclass="2" oneof="8" label="Increment After" bitdiffs="P == 0 &amp;&amp; U == 1">
        <docvars>
          <docvar key="armarmheading" value="A1"/>
          <docvar key="fpdatasize" value="doubleprec"/>
          <docvar key="instr-class" value="fpsimd"/>
          <docvar key="isa" value="A32"/>
          <docvar key="ldmstm-mode" value="inc-after"/>
          <docvar key="mnemonic-fpdatasize" value="VLDM-doubleprec"/>
          <docvar key="mnemonic" value="VLDM"/>
        </docvars>
        <box hibit="24" width="1" name="P">
          <c>0</c>
        </box>
        <box hibit="23" width="1" name="U">
          <c>1</c>
        </box>
        <asmtemplate comment="Preferred syntax"><text>VLDM{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="cond__2">&lt;c&gt;</a><text>}{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="qw_option">&lt;q&gt;</a><text>}{.</text><a hover="An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred." link="vstm_size">&lt;size&gt;</a><text>}  </text><a hover="Is the general-purpose base register, encoded in the &quot;Rn&quot; field. If writeback is not specified, the PC can be used." link="Rn__30">&lt;Rn&gt;</a><text>{</text><a hover="Specifies base register writeback, " link="bang_choice__3">!</a><text>}, </text><a hover="Is the list of consecutively numbered 64-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in &quot;D:Vd&quot;, and &quot;imm8&quot; is set to twice the number of registers in the list. The list must contain at least one register, and must not contain more than 16 registers." link="register_list__11">&lt;dreglist&gt;</a></asmtemplate>
        <asmtemplate><text>VLDMIA{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="cond__2">&lt;c&gt;</a><text>}{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="qw_option">&lt;q&gt;</a><text>}{.</text><a hover="An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred." link="vstm_size">&lt;size&gt;</a><text>}  </text><a hover="Is the general-purpose base register, encoded in the &quot;Rn&quot; field. If writeback is not specified, the PC can be used." link="Rn__30">&lt;Rn&gt;</a><text>{</text><a hover="Specifies base register writeback, " link="bang_choice__3">!</a><text>}, </text><a hover="Is the list of consecutively numbered 64-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in &quot;D:Vd&quot;, and &quot;imm8&quot; is set to twice the number of registers in the list. The list must contain at least one register, and must not contain more than 16 registers." link="register_list__11">&lt;dreglist&gt;</a></asmtemplate>
      </encoding>
      <ps_section howmany="1">
        <ps name="A32.cops_as.sysldst_mov64.ldstsimdfp.VLDMDB_A1" sections="1" secttype="noheading">
          <pstext mayhavelinks="1" section="Decode" rep_section="decode">if P == '0' &amp;&amp; U == '0' &amp;&amp; W == '0' then See("Related encodings"); end;
if P == '1' &amp;&amp; W == '0' then See("VLDR"); end;
if P == U &amp;&amp; W == '1' then Undefined(); end;
// Remaining combinations are PUW = 010 (IA without !), 011 (IA with !), 101 (DB with !)
let single_regs : boolean = FALSE;
let add : boolean = (U == '1');
let wback : boolean = (W == '1');
let d : integer = UInt(D::Vd);
let n : integer = UInt(Rn);
let imm32 : bits(32) = ZeroExtend{}(imm8::'00');
let regs : integer = UInt(imm8) DIVRM 2;  // If UInt(imm8) is odd, see "FLDM*X".
if n == 15 &amp;&amp; (wback || CurrentInstrSet() != InstrSet_A32) then UnpredictableProcedure(); end;
if regs == 0 || regs &gt; 16 || (d+regs) &gt; 32 then UnpredictableProcedure(); end;
if imm8[0] == '1' &amp;&amp; (d+regs) &gt; 16 then UnpredictableProcedure(); end;</pstext></ps>
      </ps_section>
      <constrained_unpredictables encoding="A1" ps_block="Decode">
        <cu_case>
          <cu_cause>
            <pstext mayhavelinks="1">regs == 0</pstext></cu_cause>
          <cu_type constraint="Constraint_UNDEF"/>
          <cu_type constraint="Constraint_NOP"/>
          <cu_type>
            <cu_type_text>The instruction operates as a <instruction>VLDM</instruction> with the same addressing mode but loads no registers.</cu_type_text>
          </cu_type>
        </cu_case>
        <cu_case>
          <cu_cause>
            <pstext mayhavelinks="1">regs &gt; 16 || (d+regs) &gt; 32</pstext></cu_cause>
          <cu_type constraint="Constraint_UNDEF"/>
          <cu_type constraint="Constraint_NOP"/>
          <cu_type>
            <cu_type_text>One or more of the SIMD and floating-point registers are UNKNOWN. If the instruction specifies writeback, the base register becomes UNKNOWN. This behavior does not affect any general-purpose registers.</cu_type_text>
          </cu_type>
        </cu_case>
      </constrained_unpredictables>
    </iclass>
    <iclass name="A2" oneof="4" id="iclass_a2" no_encodings="2" isa="A32">
      <docvars>
        <docvar key="armarmheading" value="A2"/>
        <docvar key="fpdatasize" value="singleprec"/>
        <docvar key="instr-class" value="fpsimd"/>
        <docvar key="isa" value="A32"/>
      </docvars>
      <iclassintro count="2"/>
      <regdiagram form="32" psname="A32.cops_as.sysldst_mov64.ldstsimdfp.VLDMDB_A2" tworows="1">
        <box hibit="31" width="4" name="cond" usename="1" settings="4" constraint="!= 1111">
          <c colspan="4">!= 1111</c>
        </box>
        <box hibit="27" width="3" settings="3">
          <c>1</c>
          <c>1</c>
          <c>0</c>
        </box>
        <box hibit="24" width="1" name="P" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="23" width="1" name="U" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="22" width="1" name="D" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="21" width="1" name="W" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="20" name="L" usename="1" settings="1" psbits="x">
          <c>1</c>
        </box>
        <box hibit="19" width="4" name="Rn" usename="1">
          <c colspan="4"/>
        </box>
        <box hibit="15" width="4" name="Vd" usename="1">
          <c colspan="4"/>
        </box>
        <box hibit="11" width="2" settings="2">
          <c>1</c>
          <c>0</c>
        </box>
        <box hibit="9" width="2" name="size" usename="1" settings="2" psbits="xx">
          <c>1</c>
          <c>0</c>
        </box>
        <box hibit="7" width="8" name="imm8" usename="1">
          <c colspan="8"/>
        </box>
      </regdiagram>
      <encoding name="VLDMDB_A2" oneofinclass="2" oneof="8" label="Decrement Before" bitdiffs="P == 1 &amp;&amp; U == 0 &amp;&amp; W == 1">
        <docvars>
          <docvar key="armarmheading" value="A2"/>
          <docvar key="fpdatasize" value="singleprec"/>
          <docvar key="instr-class" value="fpsimd"/>
          <docvar key="isa" value="A32"/>
          <docvar key="ldmstm-mode" value="dec-before"/>
          <docvar key="mnemonic-fpdatasize" value="VLDMDB-singleprec"/>
          <docvar key="mnemonic" value="VLDMDB"/>
        </docvars>
        <box hibit="24" width="1" name="P">
          <c>1</c>
        </box>
        <box hibit="23" width="1" name="U">
          <c>0</c>
        </box>
        <box hibit="21" width="1" name="W">
          <c>1</c>
        </box>
        <asmtemplate><text>VLDMDB{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="cond__2">&lt;c&gt;</a><text>}{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="qw_option">&lt;q&gt;</a><text>}{.</text><a hover="An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred." link="vstm_size">&lt;size&gt;</a><text>}  </text><a hover="Is the general-purpose base register, encoded in the &quot;Rn&quot; field. If writeback is not specified, the PC can be used." link="Rn__30">&lt;Rn&gt;</a><text>!, </text><a hover="Is the list of consecutively numbered 32-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in &quot;Vd:D&quot;, and &quot;imm8&quot; is set to the number of registers in the list. The list must contain at least one register." link="register_list__10">&lt;sreglist&gt;</a></asmtemplate>
      </encoding>
      <encoding name="VLDM_A2" oneofinclass="2" oneof="8" label="Increment After" bitdiffs="P == 0 &amp;&amp; U == 1">
        <docvars>
          <docvar key="armarmheading" value="A2"/>
          <docvar key="fpdatasize" value="singleprec"/>
          <docvar key="instr-class" value="fpsimd"/>
          <docvar key="isa" value="A32"/>
          <docvar key="ldmstm-mode" value="inc-after"/>
          <docvar key="mnemonic-fpdatasize" value="VLDM-singleprec"/>
          <docvar key="mnemonic" value="VLDM"/>
        </docvars>
        <box hibit="24" width="1" name="P">
          <c>0</c>
        </box>
        <box hibit="23" width="1" name="U">
          <c>1</c>
        </box>
        <asmtemplate comment="Preferred syntax"><text>VLDM{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="cond__2">&lt;c&gt;</a><text>}{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="qw_option">&lt;q&gt;</a><text>}{.</text><a hover="An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred." link="vstm_size">&lt;size&gt;</a><text>}  </text><a hover="Is the general-purpose base register, encoded in the &quot;Rn&quot; field. If writeback is not specified, the PC can be used." link="Rn__30">&lt;Rn&gt;</a><text>{</text><a hover="Specifies base register writeback, " link="bang_choice__3">!</a><text>}, </text><a hover="Is the list of consecutively numbered 32-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in &quot;Vd:D&quot;, and &quot;imm8&quot; is set to the number of registers in the list. The list must contain at least one register." link="register_list__10">&lt;sreglist&gt;</a></asmtemplate>
        <asmtemplate><text>VLDMIA{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="cond__2">&lt;c&gt;</a><text>}{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="qw_option">&lt;q&gt;</a><text>}{.</text><a hover="An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred." link="vstm_size">&lt;size&gt;</a><text>}  </text><a hover="Is the general-purpose base register, encoded in the &quot;Rn&quot; field. If writeback is not specified, the PC can be used." link="Rn__30">&lt;Rn&gt;</a><text>{</text><a hover="Specifies base register writeback, " link="bang_choice__3">!</a><text>}, </text><a hover="Is the list of consecutively numbered 32-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in &quot;Vd:D&quot;, and &quot;imm8&quot; is set to the number of registers in the list. The list must contain at least one register." link="register_list__10">&lt;sreglist&gt;</a></asmtemplate>
      </encoding>
      <ps_section howmany="1">
        <ps name="A32.cops_as.sysldst_mov64.ldstsimdfp.VLDMDB_A2" sections="1" secttype="noheading">
          <pstext mayhavelinks="1" section="Decode" rep_section="decode">if P == '0' &amp;&amp; U == '0' &amp;&amp; W == '0' then See("Related encodings"); end;
if P == '1' &amp;&amp; W == '0' then See("VLDR"); end;
if P == U &amp;&amp; W == '1' then Undefined(); end;
// Remaining combinations are PUW = 010 (IA without !), 011 (IA with !), 101 (DB with !)
let single_regs : boolean = TRUE;
let add : boolean = (U == '1');
let wback : boolean = (W == '1');
let d : integer = UInt(Vd::D);
let n : integer = UInt(Rn);
let imm32 : bits(32) = ZeroExtend{}(imm8::'00');
let regs : integer = UInt(imm8);
if n == 15 &amp;&amp; (wback || CurrentInstrSet() != InstrSet_A32) then UnpredictableProcedure(); end;
if regs == 0 || (d+regs) &gt; 32 then UnpredictableProcedure(); end;</pstext></ps>
      </ps_section>
      <constrained_unpredictables encoding="A2" ps_block="Decode">
        <cu_case>
          <cu_cause>
            <pstext mayhavelinks="1">regs == 0</pstext></cu_cause>
          <cu_type constraint="Constraint_UNDEF"/>
          <cu_type constraint="Constraint_NOP"/>
          <cu_type>
            <cu_type_text>The instruction operates as a <instruction>VLDM</instruction> with the same addressing mode but loads no registers.</cu_type_text>
          </cu_type>
        </cu_case>
        <cu_case>
          <cu_cause>
            <pstext mayhavelinks="1">(d+regs) &gt; 32</pstext></cu_cause>
          <cu_type constraint="Constraint_UNDEF"/>
          <cu_type constraint="Constraint_NOP"/>
          <cu_type>
            <cu_type_text>One or more of the SIMD and floating-point registers are UNKNOWN. If the instruction specifies writeback, the base register becomes UNKNOWN. This behavior does not affect any general-purpose registers.</cu_type_text>
          </cu_type>
        </cu_case>
      </constrained_unpredictables>
    </iclass>
    <iclass name="T1" oneof="4" id="iclass_t1" no_encodings="2" isa="T32">
      <docvars>
        <docvar key="armarmheading" value="T1"/>
        <docvar key="fpdatasize" value="doubleprec"/>
        <docvar key="instr-class" value="fpsimd"/>
        <docvar key="isa" value="T32"/>
      </docvars>
      <iclassintro count="2"/>
      <regdiagram form="16x2" psname="T32.w.cpaf.sysldst_mov64.simdfp_ldst.VLDMDB_T1" tworows="1">
        <box hibit="31" width="7" settings="7">
          <c>1</c>
          <c>1</c>
          <c>1</c>
          <c>0</c>
          <c>1</c>
          <c>1</c>
          <c>0</c>
        </box>
        <box hibit="24" width="1" name="P" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="23" width="1" name="U" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="22" width="1" name="D" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="21" width="1" name="W" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="20" name="L" usename="1" settings="1" psbits="x">
          <c>1</c>
        </box>
        <box hibit="19" width="4" name="Rn" usename="1">
          <c colspan="4"/>
        </box>
        <box hibit="15" width="4" name="Vd" usename="1">
          <c colspan="4"/>
        </box>
        <box hibit="11" width="2" settings="2">
          <c>1</c>
          <c>0</c>
        </box>
        <box hibit="9" width="2" name="size" usename="1" settings="2" psbits="xx">
          <c>1</c>
          <c>1</c>
        </box>
        <box hibit="7" width="8" name="imm8" usename="1" settings="1" psbits="xxxxxxxx">
          <c>x</c>
          <c>x</c>
          <c>x</c>
          <c>x</c>
          <c>x</c>
          <c>x</c>
          <c>x</c>
          <c>0</c>
        </box>
      </regdiagram>
      <encoding name="VLDMDB_T1" oneofinclass="2" oneof="8" label="Decrement Before" bitdiffs="P == 1 &amp;&amp; U == 0 &amp;&amp; W == 1">
        <docvars>
          <docvar key="armarmheading" value="T1"/>
          <docvar key="fpdatasize" value="doubleprec"/>
          <docvar key="instr-class" value="fpsimd"/>
          <docvar key="isa" value="T32"/>
          <docvar key="ldmstm-mode" value="dec-before"/>
          <docvar key="mnemonic-fpdatasize" value="VLDMDB-doubleprec"/>
          <docvar key="mnemonic" value="VLDMDB"/>
        </docvars>
        <box hibit="24" width="1" name="P">
          <c>1</c>
        </box>
        <box hibit="23" width="1" name="U">
          <c>0</c>
        </box>
        <box hibit="21" width="1" name="W">
          <c>1</c>
        </box>
        <asmtemplate><text>VLDMDB{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="cond__2">&lt;c&gt;</a><text>}{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="qw_option">&lt;q&gt;</a><text>}{.</text><a hover="An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred." link="vstm_size">&lt;size&gt;</a><text>}  </text><a hover="Is the general-purpose base register, encoded in the &quot;Rn&quot; field. If writeback is not specified, the PC can be used." link="Rn__30">&lt;Rn&gt;</a><text>!, </text><a hover="Is the list of consecutively numbered 64-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in &quot;D:Vd&quot;, and &quot;imm8&quot; is set to twice the number of registers in the list. The list must contain at least one register, and must not contain more than 16 registers." link="register_list__11">&lt;dreglist&gt;</a></asmtemplate>
      </encoding>
      <encoding name="VLDM_T1" oneofinclass="2" oneof="8" label="Increment After" bitdiffs="P == 0 &amp;&amp; U == 1">
        <docvars>
          <docvar key="armarmheading" value="T1"/>
          <docvar key="fpdatasize" value="doubleprec"/>
          <docvar key="instr-class" value="fpsimd"/>
          <docvar key="isa" value="T32"/>
          <docvar key="ldmstm-mode" value="inc-after"/>
          <docvar key="mnemonic-fpdatasize" value="VLDM-doubleprec"/>
          <docvar key="mnemonic" value="VLDM"/>
        </docvars>
        <box hibit="24" width="1" name="P">
          <c>0</c>
        </box>
        <box hibit="23" width="1" name="U">
          <c>1</c>
        </box>
        <asmtemplate comment="Preferred syntax"><text>VLDM{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="cond__2">&lt;c&gt;</a><text>}{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="qw_option">&lt;q&gt;</a><text>}{.</text><a hover="An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred." link="vstm_size">&lt;size&gt;</a><text>}  </text><a hover="Is the general-purpose base register, encoded in the &quot;Rn&quot; field. If writeback is not specified, the PC can be used." link="Rn__30">&lt;Rn&gt;</a><text>{</text><a hover="Specifies base register writeback, " link="bang_choice__3">!</a><text>}, </text><a hover="Is the list of consecutively numbered 64-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in &quot;D:Vd&quot;, and &quot;imm8&quot; is set to twice the number of registers in the list. The list must contain at least one register, and must not contain more than 16 registers." link="register_list__11">&lt;dreglist&gt;</a></asmtemplate>
        <asmtemplate><text>VLDMIA{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="cond__2">&lt;c&gt;</a><text>}{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="qw_option">&lt;q&gt;</a><text>}{.</text><a hover="An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred." link="vstm_size">&lt;size&gt;</a><text>}  </text><a hover="Is the general-purpose base register, encoded in the &quot;Rn&quot; field. If writeback is not specified, the PC can be used." link="Rn__30">&lt;Rn&gt;</a><text>{</text><a hover="Specifies base register writeback, " link="bang_choice__3">!</a><text>}, </text><a hover="Is the list of consecutively numbered 64-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in &quot;D:Vd&quot;, and &quot;imm8&quot; is set to twice the number of registers in the list. The list must contain at least one register, and must not contain more than 16 registers." link="register_list__11">&lt;dreglist&gt;</a></asmtemplate>
      </encoding>
      <ps_section howmany="1">
        <ps name="T32.w.cpaf.sysldst_mov64.simdfp_ldst.VLDMDB_T1" sections="1" secttype="noheading">
          <pstext mayhavelinks="1" section="Decode" rep_section="decode">if P == '0' &amp;&amp; U == '0' &amp;&amp; W == '0' then See("Related encodings"); end;
if P == '1' &amp;&amp; W == '0' then See("VLDR"); end;
if P == U &amp;&amp; W == '1' then Undefined(); end;
// Remaining combinations are PUW = 010 (IA without !), 011 (IA with !), 101 (DB with !)
let single_regs : boolean = FALSE;
let add : boolean = (U == '1');
let wback : boolean = (W == '1');
let d : integer = UInt(D::Vd);
let n : integer = UInt(Rn);
let imm32 : bits(32) = ZeroExtend{}(imm8::'00');
let regs : integer = UInt(imm8) DIVRM 2;  // If UInt(imm8) is odd, see "FLDM*X".
if n == 15 &amp;&amp; (wback || CurrentInstrSet() != InstrSet_A32) then UnpredictableProcedure(); end;
if regs == 0 || regs &gt; 16 || (d+regs) &gt; 32 then UnpredictableProcedure(); end;
if imm8[0] == '1' &amp;&amp; (d+regs) &gt; 16 then UnpredictableProcedure(); end;</pstext></ps>
      </ps_section>
      <constrained_unpredictables encoding="T1" ps_block="Decode">
        <cu_case>
          <cu_cause>
            <pstext mayhavelinks="1">regs == 0</pstext></cu_cause>
          <cu_type constraint="Constraint_UNDEF"/>
          <cu_type constraint="Constraint_NOP"/>
          <cu_type>
            <cu_type_text>The instruction operates as a <instruction>VLDM</instruction> with the same addressing mode but loads no registers.</cu_type_text>
          </cu_type>
        </cu_case>
        <cu_case>
          <cu_cause>
            <pstext mayhavelinks="1">regs &gt; 16 || (d+regs) &gt; 32</pstext></cu_cause>
          <cu_type constraint="Constraint_UNDEF"/>
          <cu_type constraint="Constraint_NOP"/>
          <cu_type>
            <cu_type_text>One or more of the SIMD and floating-point registers are UNKNOWN. If the instruction specifies writeback, the base register becomes UNKNOWN. This behavior does not affect any general-purpose registers.</cu_type_text>
          </cu_type>
        </cu_case>
      </constrained_unpredictables>
    </iclass>
    <iclass name="T2" oneof="4" id="iclass_t2" no_encodings="2" isa="T32">
      <docvars>
        <docvar key="armarmheading" value="T2"/>
        <docvar key="fpdatasize" value="singleprec"/>
        <docvar key="instr-class" value="fpsimd"/>
        <docvar key="isa" value="T32"/>
      </docvars>
      <iclassintro count="2"/>
      <regdiagram form="16x2" psname="T32.w.cpaf.sysldst_mov64.simdfp_ldst.VLDMDB_T2" tworows="1">
        <box hibit="31" width="7" settings="7">
          <c>1</c>
          <c>1</c>
          <c>1</c>
          <c>0</c>
          <c>1</c>
          <c>1</c>
          <c>0</c>
        </box>
        <box hibit="24" width="1" name="P" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="23" width="1" name="U" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="22" width="1" name="D" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="21" width="1" name="W" usename="1">
          <c colspan="1"/>
        </box>
        <box hibit="20" name="L" usename="1" settings="1" psbits="x">
          <c>1</c>
        </box>
        <box hibit="19" width="4" name="Rn" usename="1">
          <c colspan="4"/>
        </box>
        <box hibit="15" width="4" name="Vd" usename="1">
          <c colspan="4"/>
        </box>
        <box hibit="11" width="2" settings="2">
          <c>1</c>
          <c>0</c>
        </box>
        <box hibit="9" width="2" name="size" usename="1" settings="2" psbits="xx">
          <c>1</c>
          <c>0</c>
        </box>
        <box hibit="7" width="8" name="imm8" usename="1">
          <c colspan="8"/>
        </box>
      </regdiagram>
      <encoding name="VLDMDB_T2" oneofinclass="2" oneof="8" label="Decrement Before" bitdiffs="P == 1 &amp;&amp; U == 0 &amp;&amp; W == 1">
        <docvars>
          <docvar key="armarmheading" value="T2"/>
          <docvar key="fpdatasize" value="singleprec"/>
          <docvar key="instr-class" value="fpsimd"/>
          <docvar key="isa" value="T32"/>
          <docvar key="ldmstm-mode" value="dec-before"/>
          <docvar key="mnemonic-fpdatasize" value="VLDMDB-singleprec"/>
          <docvar key="mnemonic" value="VLDMDB"/>
        </docvars>
        <box hibit="24" width="1" name="P">
          <c>1</c>
        </box>
        <box hibit="23" width="1" name="U">
          <c>0</c>
        </box>
        <box hibit="21" width="1" name="W">
          <c>1</c>
        </box>
        <asmtemplate><text>VLDMDB{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="cond__2">&lt;c&gt;</a><text>}{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="qw_option">&lt;q&gt;</a><text>}{.</text><a hover="An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred." link="vstm_size">&lt;size&gt;</a><text>}  </text><a hover="Is the general-purpose base register, encoded in the &quot;Rn&quot; field. If writeback is not specified, the PC can be used." link="Rn__30">&lt;Rn&gt;</a><text>!, </text><a hover="Is the list of consecutively numbered 32-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in &quot;Vd:D&quot;, and &quot;imm8&quot; is set to the number of registers in the list. The list must contain at least one register." link="register_list__10">&lt;sreglist&gt;</a></asmtemplate>
      </encoding>
      <encoding name="VLDM_T2" oneofinclass="2" oneof="8" label="Increment After" bitdiffs="P == 0 &amp;&amp; U == 1">
        <docvars>
          <docvar key="armarmheading" value="T2"/>
          <docvar key="fpdatasize" value="singleprec"/>
          <docvar key="instr-class" value="fpsimd"/>
          <docvar key="isa" value="T32"/>
          <docvar key="ldmstm-mode" value="inc-after"/>
          <docvar key="mnemonic-fpdatasize" value="VLDM-singleprec"/>
          <docvar key="mnemonic" value="VLDM"/>
        </docvars>
        <box hibit="24" width="1" name="P">
          <c>0</c>
        </box>
        <box hibit="23" width="1" name="U">
          <c>1</c>
        </box>
        <asmtemplate comment="Preferred syntax"><text>VLDM{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="cond__2">&lt;c&gt;</a><text>}{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="qw_option">&lt;q&gt;</a><text>}{.</text><a hover="An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred." link="vstm_size">&lt;size&gt;</a><text>}  </text><a hover="Is the general-purpose base register, encoded in the &quot;Rn&quot; field. If writeback is not specified, the PC can be used." link="Rn__30">&lt;Rn&gt;</a><text>{</text><a hover="Specifies base register writeback, " link="bang_choice__3">!</a><text>}, </text><a hover="Is the list of consecutively numbered 32-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in &quot;Vd:D&quot;, and &quot;imm8&quot; is set to the number of registers in the list. The list must contain at least one register." link="register_list__10">&lt;sreglist&gt;</a></asmtemplate>
        <asmtemplate><text>VLDMIA{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="cond__2">&lt;c&gt;</a><text>}{</text><a hover="See x[Standard assembler syntax fields](Babbefhf)." link="qw_option">&lt;q&gt;</a><text>}{.</text><a hover="An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred." link="vstm_size">&lt;size&gt;</a><text>}  </text><a hover="Is the general-purpose base register, encoded in the &quot;Rn&quot; field. If writeback is not specified, the PC can be used." link="Rn__30">&lt;Rn&gt;</a><text>{</text><a hover="Specifies base register writeback, " link="bang_choice__3">!</a><text>}, </text><a hover="Is the list of consecutively numbered 32-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in &quot;Vd:D&quot;, and &quot;imm8&quot; is set to the number of registers in the list. The list must contain at least one register." link="register_list__10">&lt;sreglist&gt;</a></asmtemplate>
      </encoding>
      <ps_section howmany="1">
        <ps name="T32.w.cpaf.sysldst_mov64.simdfp_ldst.VLDMDB_T2" sections="1" secttype="noheading">
          <pstext mayhavelinks="1" section="Decode" rep_section="decode">if P == '0' &amp;&amp; U == '0' &amp;&amp; W == '0' then See("Related encodings"); end;
if P == '1' &amp;&amp; W == '0' then See("VLDR"); end;
if P == U &amp;&amp; W == '1' then Undefined(); end;
// Remaining combinations are PUW = 010 (IA without !), 011 (IA with !), 101 (DB with !)
let single_regs : boolean = TRUE;
let add : boolean = (U == '1');
let wback : boolean = (W == '1');
let d : integer = UInt(Vd::D);
let n : integer = UInt(Rn);
let imm32 : bits(32) = ZeroExtend{}(imm8::'00');
let regs : integer = UInt(imm8);
if n == 15 &amp;&amp; (wback || CurrentInstrSet() != InstrSet_A32) then UnpredictableProcedure(); end;
if regs == 0 || (d+regs) &gt; 32 then UnpredictableProcedure(); end;</pstext></ps>
      </ps_section>
      <constrained_unpredictables encoding="T2" ps_block="Decode">
        <cu_case>
          <cu_cause>
            <pstext mayhavelinks="1">regs == 0</pstext></cu_cause>
          <cu_type constraint="Constraint_UNDEF"/>
          <cu_type constraint="Constraint_NOP"/>
          <cu_type>
            <cu_type_text>The instruction operates as a <instruction>VLDM</instruction> with the same addressing mode but loads no registers.</cu_type_text>
          </cu_type>
        </cu_case>
        <cu_case>
          <cu_cause>
            <pstext mayhavelinks="1">(d+regs) &gt; 32</pstext></cu_cause>
          <cu_type constraint="Constraint_UNDEF"/>
          <cu_type constraint="Constraint_NOP"/>
          <cu_type>
            <cu_type_text>One or more of the SIMD and floating-point registers are UNKNOWN. If the instruction specifies writeback, the base register becomes UNKNOWN. This behavior does not affect any general-purpose registers.</cu_type_text>
          </cu_type>
        </cu_case>
      </constrained_unpredictables>
    </iclass>
  </classes>
  <explanations scope="all">
    <explanation enclist="VLDMDB_A1, VLDM_A1, A1B_VLDM_A1, VLDMDB_A2, VLDM_A2, A2B_VLDM_A2, VLDMDB_T1, VLDM_T1, T1B_VLDM_T1, VLDMDB_T2, VLDM_T2, T2B_VLDM_T2" symboldefcount="1">
      <symbol link="cond__2">&lt;c&gt;</symbol>
      <account encodedin="cond">
        <intro>
          <para>See <xref linkend="Babbefhf">Standard assembler syntax fields</xref>.</para>
        </intro>
      </account>
    </explanation>
    <explanation enclist="VLDMDB_A1, VLDM_A1, A1B_VLDM_A1, VLDMDB_A2, VLDM_A2, A2B_VLDM_A2, VLDMDB_T1, VLDM_T1, T1B_VLDM_T1, VLDMDB_T2, VLDM_T2, T2B_VLDM_T2" symboldefcount="1">
      <symbol link="qw_option">&lt;q&gt;</symbol>
      <account encodedin="">
        <intro>
          <para>See <xref linkend="Babbefhf">Standard assembler syntax fields</xref>.</para>
        </intro>
      </account>
    </explanation>
    <explanation enclist="VLDMDB_A1, VLDM_A1, A1B_VLDM_A1, VLDMDB_A2, VLDM_A2, A2B_VLDM_A2, VLDMDB_T1, VLDM_T1, T1B_VLDM_T1, VLDMDB_T2, VLDM_T2, T2B_VLDM_T2" symboldefcount="1">
      <symbol link="vstm_size">&lt;size&gt;</symbol>
      <account encodedin="">
        <intro>
          <para>An optional data size specifier. If present, it must be equal to the size in bits, 32 or 64, of the registers being transferred.</para>
        </intro>
      </account>
    </explanation>
    <explanation enclist="VLDMDB_A1, VLDM_A1, A1B_VLDM_A1, VLDMDB_A2, VLDM_A2, A2B_VLDM_A2, VLDMDB_T1, VLDM_T1, T1B_VLDM_T1, VLDMDB_T2, VLDM_T2, T2B_VLDM_T2" symboldefcount="1">
      <symbol link="Rn__30">&lt;Rn&gt;</symbol>
      <account encodedin="Rn">
        <intro>
          <para>Is the general-purpose base register, encoded in the "Rn" field. If writeback is not specified, the PC can be used.</para>
        </intro>
      </account>
    </explanation>
    <explanation enclist="VLDMDB_A1, VLDM_A1, A1B_VLDM_A1, VLDMDB_T1, VLDM_T1, T1B_VLDM_T1" symboldefcount="1">
      <symbol link="register_list__11">&lt;dreglist&gt;</symbol>
      <account encodedin="">
        <intro>
          <para>Is the list of consecutively numbered 64-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in "D:Vd", and "imm8" is set to twice the number of registers in the list. The list must contain at least one register, and must not contain more than 16 registers.</para>
        </intro>
      </account>
    </explanation>
    <explanation enclist="VLDM_A1, A1B_VLDM_A1, VLDM_A2, A2B_VLDM_A2, VLDM_T1, T1B_VLDM_T1, VLDM_T2, T2B_VLDM_T2" symboldefcount="1">
      <symbol link="bang_choice__3">!</symbol>
      <definition encodedin="W">
        <intro>Specifies base register writeback, </intro>
        <table class="valuetable">
          <tgroup cols="2">
            <thead>
              <row>
                <entry class="bitfield">W</entry>
                <entry class="symbol">!</entry>
              </row>
            </thead>
            <tbody>
              <row>
                <entry class="bitfield">0</entry>
                <entry class="symbol">[absent]</entry>
              </row>
              <row>
                <entry class="bitfield">1</entry>
                <entry class="symbol">[present]</entry>
              </row>
            </tbody>
          </tgroup>
        </table>
      </definition>
    </explanation>
    <explanation enclist="VLDMDB_A2, VLDM_A2, A2B_VLDM_A2, VLDMDB_T2, VLDM_T2, T2B_VLDM_T2" symboldefcount="1">
      <symbol link="register_list__10">&lt;sreglist&gt;</symbol>
      <account encodedin="">
        <intro>
          <para>Is the list of consecutively numbered 32-bit SIMD&amp;FP registers to be transferred. The first register in the list is encoded in "Vd:D", and "imm8" is set to the number of registers in the list. The list must contain at least one register.</para>
        </intro>
      </account>
    </explanation>
  </explanations>
  <aliastablehook anchor="aliasconditions">Alias Conditions</aliastablehook>
  <ps_section howmany="1">
    <ps name="A32.cops_as.sysldst_mov64.ldstsimdfp.VLDMDB_A1" sections="1" secttype="Operation">
      <pstext mayhavelinks="1" section="Execute" rep_section="execute">if ConditionPassed() then
    EncodingSpecificOperations();
    CheckVFPEnabled(TRUE);
    var address : bits(32) = if add then R(n) else R(n)-imm32;

    for r = 0 to regs-1 do
        if single_regs then
            S(d+r) = MemA{32}(address);
            address = address+4;
        else
            let word1 : bits(32) = MemA{32}(address);
            let word2 : bits(32) = MemA{32}(address+4);
            address = address+8;

            // Combine the word-aligned words in the correct order for current endianness.
            D(d+r) = if BigEndian(AccessType_ASIMD) then word1::word2 else word2::word1;
        end;
    end;

    if wback then R(n) = if add then R(n)+imm32 else R(n)-imm32; end;
end;</pstext></ps>
  </ps_section>
  <timestamp>2026-03-12 12:23:09</timestamp>
  <commit_id>2025-09_rel_asl1</commit_id>
</instructionsection>
