mirror of
https://github.com/pound-emu/ballistic.git
synced 2026-01-31 01:15:21 +01:00
580 lines
28 KiB
XML
580 lines
28 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="mova_za2_z" title="MOVA (vector to tile, two registers)" type="instruction">
|
|
<docvars>
|
|
<docvar key="instr-class" value="mortlach2" />
|
|
<docvar key="isa" value="A64" />
|
|
<docvar key="mnemonic" value="MOVA" />
|
|
</docvars>
|
|
<heading>MOVA (vector to tile, two registers)</heading>
|
|
<desc>
|
|
<brief>Move two vector registers to two ZA tile slices</brief>
|
|
<description>
|
|
<para>The instruction operates on two consecutive horizontal or vertical slices within a named ZA tile of the specified element size.</para>
|
|
<para>The consecutive slice numbers within the tile are selected starting from the sum of the slice index register and immediate offset, modulo the number of such elements in a vector. The immediate offset is a multiple of 2 in the range 0 to the number of elements in a 128-bit vector segment minus 2.</para>
|
|
<para>This instruction is unpredicated.</para>
|
|
</description>
|
|
<status>Green</status>
|
|
<predicated>False</predicated>
|
|
<uses_dit condition="FEAT_SVE2 is implemented or FEAT_SME is implemented">True</uses_dit>
|
|
<sm_policy>SM_1_only</sm_policy>
|
|
</desc>
|
|
<alias_list howmany="1">
|
|
<alias_list_intro>This instruction is used by the alias </alias_list_intro>
|
|
<aliasref aliaspageid="MOV_mova_za2_z" aliasfile="mov_mova_za2_z.xml" hover="Move two vector registers to two ZA tile slices" punct=".">
|
|
<text>MOV (vector to tile, two registers)</text>
|
|
<aliaspref>Unconditionally</aliaspref>
|
|
</aliasref>
|
|
<alias_list_outro> The alias is always the preferred disassembly.</alias_list_outro>
|
|
</alias_list>
|
|
<classes>
|
|
<classesintro count="4">
|
|
<txt>It has encodings from 4 classes:</txt>
|
|
<a href="#iclass_per_byte">8-bit</a>
|
|
<txt>, </txt>
|
|
<a href="#iclass_per_halfword">16-bit</a>
|
|
<txt>, </txt>
|
|
<a href="#iclass_per_word">32-bit</a>
|
|
<txt> and </txt>
|
|
<a href="#iclass_per_doubleword">64-bit</a>
|
|
</classesintro>
|
|
<iclass name="8-bit" oneof="4" id="iclass_per_byte" no_encodings="1" isa="A64">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-byte" />
|
|
<docvar key="instr-class" value="mortlach2" />
|
|
<docvar key="isa" value="A64" />
|
|
<docvar key="mnemonic" value="MOVA" />
|
|
</docvars>
|
|
<iclassintro count="1"></iclassintro>
|
|
<arch_variants>
|
|
<arch_variant name="FEAT_SME2" feature="FEAT_SME2" />
|
|
</arch_variants>
|
|
<regdiagram form="32" psname="MOVA-ZA2.Z-B1" tworows="1">
|
|
<box hibit="31" width="2" settings="2">
|
|
<c>1</c>
|
|
<c>1</c>
|
|
</box>
|
|
<box hibit="29" width="6" settings="6">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="23" name="size<1>" usename="1" settings="1">
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="22" name="size<0>" usename="1" settings="1">
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="21" width="6" settings="6">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>1</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="15" name="V" usename="1">
|
|
<c></c>
|
|
</box>
|
|
<box hibit="14" width="2" name="Rs" usename="1">
|
|
<c colspan="2"></c>
|
|
</box>
|
|
<box hibit="12" width="3" settings="3">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="9" width="4" name="Zn" usename="1">
|
|
<c colspan="4"></c>
|
|
</box>
|
|
<box hibit="5" width="2" settings="2">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="3" settings="1">
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="2" width="3" name="off3" usename="1">
|
|
<c colspan="3"></c>
|
|
</box>
|
|
</regdiagram>
|
|
<encoding name="mova_za2_z_b1" oneofinclass="1" oneof="4" label="">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-byte" />
|
|
<docvar key="instr-class" value="mortlach2" />
|
|
<docvar key="isa" value="A64" />
|
|
<docvar key="mnemonic" value="MOVA" />
|
|
</docvars>
|
|
<asmtemplate><text>MOVA ZA0</text><a link="sa_hv" hover="Horizontal or vertical slice indicator (field "V") [H,V]"><HV></a><text>.B[</text><a link="sa_ws" hover="32-bit slice index register W12-W15 (field "Rs")"><Ws></a><text>, </text><a link="sa_offsf" hover="Slice index offset, pointing to first of two consecutive slices, encoded as "off3" field times 2 (field off3)"><offsf></a><text>:</text><a link="sa_offsl" hover="Slice index offset, pointing to last of two consecutive slices, encoded as "off3" field times 2 plus 1 (field off3)"><offsl></a><text>], </text><text>{</text><text> </text><a link="sa_zn1" hover="First scalable vector register of a multi-vector sequence (field Zn)"><Zn1></a><text>.B-</text><a link="sa_zn2" hover="Second scalable vector register of a multi-vector sequence (field Zn)"><Zn2></a><text>.B </text><text>}</text></asmtemplate>
|
|
</encoding>
|
|
<ps_section howmany="1">
|
|
<ps name="MOVA-ZA2.Z-B1" mylink="MOVA-ZA2.Z-B1" enclabels="" sections="1" secttype="noheading">
|
|
<pstext mayhavelinks="1" section="Decode" rep_section="decode">if !<a link="impl-aarch64.HaveSME2.0" file="shared_pseudocode.xml" hover="function: boolean HaveSME2()">HaveSME2</a>() then UNDEFINED;
|
|
integer s = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>('011':Rs);
|
|
constant integer nreg = 2;
|
|
constant integer esize = 8;
|
|
integer n = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>(Zn:'0');
|
|
integer d = 0;
|
|
integer offset = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>(off3:'0');
|
|
boolean vertical = V == '1';</pstext>
|
|
</ps>
|
|
</ps_section>
|
|
</iclass>
|
|
<iclass name="16-bit" oneof="4" id="iclass_per_halfword" no_encodings="1" isa="A64">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-halfword" />
|
|
<docvar key="instr-class" value="mortlach2" />
|
|
<docvar key="isa" value="A64" />
|
|
<docvar key="mnemonic" value="MOVA" />
|
|
</docvars>
|
|
<iclassintro count="1"></iclassintro>
|
|
<arch_variants>
|
|
<arch_variant name="FEAT_SME2" feature="FEAT_SME2" />
|
|
</arch_variants>
|
|
<regdiagram form="32" psname="MOVA-ZA2.Z-H1" tworows="1">
|
|
<box hibit="31" width="2" settings="2">
|
|
<c>1</c>
|
|
<c>1</c>
|
|
</box>
|
|
<box hibit="29" width="6" settings="6">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="23" name="size<1>" usename="1" settings="1">
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="22" name="size<0>" usename="1" settings="1">
|
|
<c>1</c>
|
|
</box>
|
|
<box hibit="21" width="6" settings="6">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>1</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="15" name="V" usename="1">
|
|
<c></c>
|
|
</box>
|
|
<box hibit="14" width="2" name="Rs" usename="1">
|
|
<c colspan="2"></c>
|
|
</box>
|
|
<box hibit="12" width="3" settings="3">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="9" width="4" name="Zn" usename="1">
|
|
<c colspan="4"></c>
|
|
</box>
|
|
<box hibit="5" width="2" settings="2">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="3" settings="1">
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="2" name="ZAd" usename="1">
|
|
<c></c>
|
|
</box>
|
|
<box hibit="1" width="2" name="off2" usename="1">
|
|
<c colspan="2"></c>
|
|
</box>
|
|
</regdiagram>
|
|
<encoding name="mova_za2_z_h1" oneofinclass="1" oneof="4" label="">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-halfword" />
|
|
<docvar key="instr-class" value="mortlach2" />
|
|
<docvar key="isa" value="A64" />
|
|
<docvar key="mnemonic" value="MOVA" />
|
|
</docvars>
|
|
<asmtemplate><text>MOVA </text><a link="sa_zad_1" hover="ZA tile ZA0-ZA1 to be accessed (field "ZAd")"><ZAd></a><a link="sa_hv" hover="Horizontal or vertical slice indicator (field "V") [H,V]"><HV></a><text>.H[</text><a link="sa_ws" hover="32-bit slice index register W12-W15 (field "Rs")"><Ws></a><text>, </text><a link="sa_offsf_2" hover="Slice index offset, pointing to first of two consecutive slices, encoded as "off2" field times 2 (field off2)"><offsf></a><text>:</text><a link="sa_offsl_2" hover="Slice index offset, pointing to last of two consecutive slices, encoded as "off2" field times 2 plus 1 (field off2)"><offsl></a><text>], </text><text>{</text><text> </text><a link="sa_zn1" hover="First scalable vector register of a multi-vector sequence (field Zn)"><Zn1></a><text>.H-</text><a link="sa_zn2" hover="Second scalable vector register of a multi-vector sequence (field Zn)"><Zn2></a><text>.H </text><text>}</text></asmtemplate>
|
|
</encoding>
|
|
<ps_section howmany="1">
|
|
<ps name="MOVA-ZA2.Z-H1" mylink="MOVA-ZA2.Z-H1" enclabels="" sections="1" secttype="noheading">
|
|
<pstext mayhavelinks="1" section="Decode" rep_section="decode">if !<a link="impl-aarch64.HaveSME2.0" file="shared_pseudocode.xml" hover="function: boolean HaveSME2()">HaveSME2</a>() then UNDEFINED;
|
|
integer s = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>('011':Rs);
|
|
constant integer nreg = 2;
|
|
constant integer esize = 16;
|
|
integer n = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>(Zn:'0');
|
|
integer d = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>(ZAd);
|
|
integer offset = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>(off2:'0');
|
|
boolean vertical = V == '1';</pstext>
|
|
</ps>
|
|
</ps_section>
|
|
</iclass>
|
|
<iclass name="32-bit" oneof="4" id="iclass_per_word" no_encodings="1" isa="A64">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-word" />
|
|
<docvar key="instr-class" value="mortlach2" />
|
|
<docvar key="isa" value="A64" />
|
|
<docvar key="mnemonic" value="MOVA" />
|
|
</docvars>
|
|
<iclassintro count="1"></iclassintro>
|
|
<arch_variants>
|
|
<arch_variant name="FEAT_SME2" feature="FEAT_SME2" />
|
|
</arch_variants>
|
|
<regdiagram form="32" psname="MOVA-ZA2.Z-W1" tworows="1">
|
|
<box hibit="31" width="2" settings="2">
|
|
<c>1</c>
|
|
<c>1</c>
|
|
</box>
|
|
<box hibit="29" width="6" settings="6">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="23" name="size<1>" usename="1" settings="1">
|
|
<c>1</c>
|
|
</box>
|
|
<box hibit="22" name="size<0>" usename="1" settings="1">
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="21" width="6" settings="6">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>1</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="15" name="V" usename="1">
|
|
<c></c>
|
|
</box>
|
|
<box hibit="14" width="2" name="Rs" usename="1">
|
|
<c colspan="2"></c>
|
|
</box>
|
|
<box hibit="12" width="3" settings="3">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="9" width="4" name="Zn" usename="1">
|
|
<c colspan="4"></c>
|
|
</box>
|
|
<box hibit="5" width="2" settings="2">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="3" settings="1">
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="2" width="2" name="ZAd" usename="1">
|
|
<c colspan="2"></c>
|
|
</box>
|
|
<box hibit="0" name="o1" usename="1">
|
|
<c></c>
|
|
</box>
|
|
</regdiagram>
|
|
<encoding name="mova_za2_z_w1" oneofinclass="1" oneof="4" label="">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-word" />
|
|
<docvar key="instr-class" value="mortlach2" />
|
|
<docvar key="isa" value="A64" />
|
|
<docvar key="mnemonic" value="MOVA" />
|
|
</docvars>
|
|
<asmtemplate><text>MOVA </text><a link="sa_zad_2" hover="ZA tile ZA0-ZA3 to be accessed (field "ZAd")"><ZAd></a><a link="sa_hv" hover="Horizontal or vertical slice indicator (field "V") [H,V]"><HV></a><text>.S[</text><a link="sa_ws" hover="32-bit slice index register W12-W15 (field "Rs")"><Ws></a><text>, </text><a link="sa_offsf_3" hover="Slice index offset, pointing to first of two consecutive slices, encoded as "o1" field times 2 (field o1)"><offsf></a><text>:</text><a link="sa_offsl_3" hover="Slice index offset, pointing to last of two consecutive slices, encoded as "o1" field times 2 plus 1 (field o1)"><offsl></a><text>], </text><text>{</text><text> </text><a link="sa_zn1" hover="First scalable vector register of a multi-vector sequence (field Zn)"><Zn1></a><text>.S-</text><a link="sa_zn2" hover="Second scalable vector register of a multi-vector sequence (field Zn)"><Zn2></a><text>.S </text><text>}</text></asmtemplate>
|
|
</encoding>
|
|
<ps_section howmany="1">
|
|
<ps name="MOVA-ZA2.Z-W1" mylink="MOVA-ZA2.Z-W1" enclabels="" sections="1" secttype="noheading">
|
|
<pstext mayhavelinks="1" section="Decode" rep_section="decode">if !<a link="impl-aarch64.HaveSME2.0" file="shared_pseudocode.xml" hover="function: boolean HaveSME2()">HaveSME2</a>() then UNDEFINED;
|
|
integer s = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>('011':Rs);
|
|
constant integer nreg = 2;
|
|
constant integer esize = 32;
|
|
integer n = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>(Zn:'0');
|
|
integer d = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>(ZAd);
|
|
integer offset = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>(o1:'0');
|
|
boolean vertical = V == '1';</pstext>
|
|
</ps>
|
|
</ps_section>
|
|
</iclass>
|
|
<iclass name="64-bit" oneof="4" id="iclass_per_doubleword" no_encodings="1" isa="A64">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-doubleword" />
|
|
<docvar key="instr-class" value="mortlach2" />
|
|
<docvar key="isa" value="A64" />
|
|
<docvar key="mnemonic" value="MOVA" />
|
|
</docvars>
|
|
<iclassintro count="1"></iclassintro>
|
|
<arch_variants>
|
|
<arch_variant name="FEAT_SME2" feature="FEAT_SME2" />
|
|
</arch_variants>
|
|
<regdiagram form="32" psname="MOVA-ZA2.Z-D1" tworows="1">
|
|
<box hibit="31" width="2" settings="2">
|
|
<c>1</c>
|
|
<c>1</c>
|
|
</box>
|
|
<box hibit="29" width="6" settings="6">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="23" name="size<1>" usename="1" settings="1">
|
|
<c>1</c>
|
|
</box>
|
|
<box hibit="22" name="size<0>" usename="1" settings="1">
|
|
<c>1</c>
|
|
</box>
|
|
<box hibit="21" width="6" settings="6">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>1</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="15" name="V" usename="1">
|
|
<c></c>
|
|
</box>
|
|
<box hibit="14" width="2" name="Rs" usename="1">
|
|
<c colspan="2"></c>
|
|
</box>
|
|
<box hibit="12" width="3" settings="3">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="9" width="4" name="Zn" usename="1">
|
|
<c colspan="4"></c>
|
|
</box>
|
|
<box hibit="5" width="2" settings="2">
|
|
<c>0</c>
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="3" settings="1">
|
|
<c>0</c>
|
|
</box>
|
|
<box hibit="2" width="3" name="ZAd" usename="1">
|
|
<c colspan="3"></c>
|
|
</box>
|
|
</regdiagram>
|
|
<encoding name="mova_za2_z_d1" oneofinclass="1" oneof="4" label="">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-doubleword" />
|
|
<docvar key="instr-class" value="mortlach2" />
|
|
<docvar key="isa" value="A64" />
|
|
<docvar key="mnemonic" value="MOVA" />
|
|
</docvars>
|
|
<asmtemplate><text>MOVA </text><a link="sa_zad" hover="ZA tile ZA0-ZA7 to be accessed (field "ZAd")"><ZAd></a><a link="sa_hv" hover="Horizontal or vertical slice indicator (field "V") [H,V]"><HV></a><text>.D[</text><a link="sa_ws" hover="32-bit slice index register W12-W15 (field "Rs")"><Ws></a><text>, </text><a link="sa_offsf_1" hover="Slice index offset, pointing to first of two consecutive slices, with implicit value 0"><offsf></a><text>:</text><a link="sa_offsl_1" hover="Slice index offset, pointing to last of two consecutive slices, with implicit value 1"><offsl></a><text>], </text><text>{</text><text> </text><a link="sa_zn1" hover="First scalable vector register of a multi-vector sequence (field Zn)"><Zn1></a><text>.D-</text><a link="sa_zn2" hover="Second scalable vector register of a multi-vector sequence (field Zn)"><Zn2></a><text>.D </text><text>}</text></asmtemplate>
|
|
</encoding>
|
|
<ps_section howmany="1">
|
|
<ps name="MOVA-ZA2.Z-D1" mylink="MOVA-ZA2.Z-D1" enclabels="" sections="1" secttype="noheading">
|
|
<pstext mayhavelinks="1" section="Decode" rep_section="decode">if !<a link="impl-aarch64.HaveSME2.0" file="shared_pseudocode.xml" hover="function: boolean HaveSME2()">HaveSME2</a>() then UNDEFINED;
|
|
integer s = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>('011':Rs);
|
|
constant integer nreg = 2;
|
|
constant integer esize = 64;
|
|
integer n = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>(Zn:'0');
|
|
integer d = <a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>(ZAd);
|
|
integer offset = 0;
|
|
boolean vertical = V == '1';</pstext>
|
|
</ps>
|
|
</ps_section>
|
|
</iclass>
|
|
</classes>
|
|
<explanations scope="all">
|
|
<explanation enclist="mova_za2_z_h1" symboldefcount="1">
|
|
<symbol link="sa_zad_1"><ZAd></symbol>
|
|
<account encodedin="ZAd">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-halfword" />
|
|
</docvars>
|
|
<intro>
|
|
<para>For the 16-bit variant: is the name of the ZA tile ZA0-ZA1 to be accessed, encoded in the "ZAd" field.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_w1" symboldefcount="2">
|
|
<symbol link="sa_zad_2"><ZAd></symbol>
|
|
<account encodedin="ZAd">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-word" />
|
|
</docvars>
|
|
<intro>
|
|
<para>For the 32-bit variant: is the name of the ZA tile ZA0-ZA3 to be accessed, encoded in the "ZAd" field.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_d1" symboldefcount="3">
|
|
<symbol link="sa_zad"><ZAd></symbol>
|
|
<account encodedin="ZAd">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-doubleword" />
|
|
</docvars>
|
|
<intro>
|
|
<para>For the 64-bit variant: is the name of the ZA tile ZA0-ZA7 to be accessed, encoded in the "ZAd" field.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_b1, mova_za2_z_d1, mova_za2_z_h1, mova_za2_z_w1" symboldefcount="1">
|
|
<symbol link="sa_hv"><HV></symbol>
|
|
<definition encodedin="V">
|
|
<intro>Is the horizontal or vertical slice indicator, </intro>
|
|
<table class="valuetable">
|
|
<tgroup cols="2">
|
|
<thead>
|
|
<row>
|
|
<entry class="bitfield">V</entry>
|
|
<entry class="symbol"><HV></entry>
|
|
</row>
|
|
</thead>
|
|
<tbody>
|
|
<row>
|
|
<entry class="bitfield">0</entry>
|
|
<entry class="symbol">H</entry>
|
|
</row>
|
|
<row>
|
|
<entry class="bitfield">1</entry>
|
|
<entry class="symbol">V</entry>
|
|
</row>
|
|
</tbody>
|
|
</tgroup>
|
|
</table>
|
|
</definition>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_b1, mova_za2_z_d1, mova_za2_z_h1, mova_za2_z_w1" symboldefcount="1">
|
|
<symbol link="sa_ws"><Ws></symbol>
|
|
<account encodedin="Rs">
|
|
<intro>
|
|
<para>Is the 32-bit name of the slice index register W12-W15, encoded in the "Rs" field.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_b1" symboldefcount="1">
|
|
<symbol link="sa_offsf"><offsf></symbol>
|
|
<account encodedin="off3">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-byte" />
|
|
</docvars>
|
|
<intro>
|
|
<para>For the 8-bit variant: is the slice index offset, pointing to first of two consecutive slices, encoded as "off3" field times 2.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_h1" symboldefcount="2">
|
|
<symbol link="sa_offsf_2"><offsf></symbol>
|
|
<account encodedin="off2">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-halfword" />
|
|
</docvars>
|
|
<intro>
|
|
<para>For the 16-bit variant: is the slice index offset, pointing to first of two consecutive slices, encoded as "off2" field times 2.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_w1" symboldefcount="3">
|
|
<symbol link="sa_offsf_3"><offsf></symbol>
|
|
<account encodedin="o1">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-word" />
|
|
</docvars>
|
|
<intro>
|
|
<para>For the 32-bit variant: is the slice index offset, pointing to first of two consecutive slices, encoded as "o1" field times 2.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_d1" symboldefcount="4">
|
|
<symbol link="sa_offsf_1"><offsf></symbol>
|
|
<account encodedin="">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-doubleword" />
|
|
</docvars>
|
|
<intro>
|
|
<para>For the 64-bit variant: is the slice index offset, pointing to first of two consecutive slices, with implicit value 0.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_b1" symboldefcount="1">
|
|
<symbol link="sa_offsl"><offsl></symbol>
|
|
<account encodedin="off3">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-byte" />
|
|
</docvars>
|
|
<intro>
|
|
<para>For the 8-bit variant: is the slice index offset, pointing to last of two consecutive slices, encoded as "off3" field times 2 plus 1.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_h1" symboldefcount="2">
|
|
<symbol link="sa_offsl_2"><offsl></symbol>
|
|
<account encodedin="off2">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-halfword" />
|
|
</docvars>
|
|
<intro>
|
|
<para>For the 16-bit variant: is the slice index offset, pointing to last of two consecutive slices, encoded as "off2" field times 2 plus 1.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_w1" symboldefcount="3">
|
|
<symbol link="sa_offsl_3"><offsl></symbol>
|
|
<account encodedin="o1">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-word" />
|
|
</docvars>
|
|
<intro>
|
|
<para>For the 32-bit variant: is the slice index offset, pointing to last of two consecutive slices, encoded as "o1" field times 2 plus 1.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_d1" symboldefcount="4">
|
|
<symbol link="sa_offsl_1"><offsl></symbol>
|
|
<account encodedin="">
|
|
<docvars>
|
|
<docvar key="asimdimm-datatype" value="per-doubleword" />
|
|
</docvars>
|
|
<intro>
|
|
<para>For the 64-bit variant: is the slice index offset, pointing to last of two consecutive slices, with implicit value 1.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_b1, mova_za2_z_d1, mova_za2_z_h1, mova_za2_z_w1" symboldefcount="1">
|
|
<symbol link="sa_zn1"><Zn1></symbol>
|
|
<account encodedin="Zn">
|
|
<intro>
|
|
<para>Is the name of the first scalable vector register of a multi-vector sequence, encoded as "Zn" times 2.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
<explanation enclist="mova_za2_z_b1, mova_za2_z_d1, mova_za2_z_h1, mova_za2_z_w1" symboldefcount="1">
|
|
<symbol link="sa_zn2"><Zn2></symbol>
|
|
<account encodedin="Zn">
|
|
<intro>
|
|
<para>Is the name of the second scalable vector register of a multi-vector sequence, encoded as "Zn" times 2 plus 1.</para>
|
|
</intro>
|
|
</account>
|
|
</explanation>
|
|
</explanations>
|
|
<ps_section howmany="1">
|
|
<ps name="MOVA-ZA2.Z-B1" mylink="execute" enclabels="" sections="1" secttype="Operation">
|
|
<pstext mayhavelinks="1" section="Execute" rep_section="execute"><a link="impl-aarch64.CheckStreamingSVEAndZAEnabled.0" file="shared_pseudocode.xml" hover="function: CheckStreamingSVEAndZAEnabled()">CheckStreamingSVEAndZAEnabled</a>();
|
|
constant integer VL = <a link="impl-aarch64.CurrentVL.read.none" file="shared_pseudocode.xml" hover="accessor: integer CurrentVL">CurrentVL</a>;
|
|
if nreg == 4 && esize == 64 && VL == 128 then UNDEFINED;
|
|
integer slices = VL DIV esize;
|
|
bits(32) index = <a link="impl-aarch64.X.read.2" file="shared_pseudocode.xml" hover="accessor: bits(width) X[integer n, integer width]">X</a>[s, 32];
|
|
integer slice = ((<a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>(index) - (<a link="impl-shared.UInt.1" file="shared_pseudocode.xml" hover="function: integer UInt(bits(N) x)">UInt</a>(index) MOD nreg)) + offset) MOD slices;
|
|
|
|
for r = 0 to nreg-1
|
|
bits(VL) result = <a link="impl-aarch64.Z.read.2" file="shared_pseudocode.xml" hover="accessor: bits(width) Z[integer n, integer width]">Z</a>[n + r, VL];
|
|
<a link="impl-aarch64.ZAslice.write.5" file="shared_pseudocode.xml" hover="accessor: ZAslice[integer tile, integer esize, boolean vertical, integer slice, integer width] = bits(width) value">ZAslice</a>[d, esize, vertical, slice + r, VL] = result;</pstext>
|
|
</ps>
|
|
</ps_section>
|
|
</instructionsection>
|