16390eed4SPeter Maydell# M-profile MVE instruction descriptions 26390eed4SPeter Maydell# 36390eed4SPeter Maydell# Copyright (c) 2021 Linaro, Ltd 46390eed4SPeter Maydell# 56390eed4SPeter Maydell# This library is free software; you can redistribute it and/or 66390eed4SPeter Maydell# modify it under the terms of the GNU Lesser General Public 76390eed4SPeter Maydell# License as published by the Free Software Foundation; either 86390eed4SPeter Maydell# version 2.1 of the License, or (at your option) any later version. 96390eed4SPeter Maydell# 106390eed4SPeter Maydell# This library is distributed in the hope that it will be useful, 116390eed4SPeter Maydell# but WITHOUT ANY WARRANTY; without even the implied warranty of 126390eed4SPeter Maydell# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 136390eed4SPeter Maydell# Lesser General Public License for more details. 146390eed4SPeter Maydell# 156390eed4SPeter Maydell# You should have received a copy of the GNU Lesser General Public 166390eed4SPeter Maydell# License along with this library; if not, see <http://www.gnu.org/licenses/>. 176390eed4SPeter Maydell 186390eed4SPeter Maydell# 196390eed4SPeter Maydell# This file is processed by scripts/decodetree.py 206390eed4SPeter Maydell# 21507b6a50SPeter Maydell 22507b6a50SPeter Maydell%qd 22:1 13:3 230f0f2bd5SPeter Maydell%qm 5:1 1:3 24ab59362fSPeter Maydell%qn 7:1 17:3 25507b6a50SPeter Maydell 26a8890353SPeter Maydell# VQDMULL has size in bit 28: 0 for 16 bit, 1 for 32 bit 27a8890353SPeter Maydell%size_28 28:1 !function=plus_1 28a8890353SPeter Maydell 292fc6b751SPeter Maydell&vldr_vstr rn qd imm p a w size l u 300f0f2bd5SPeter Maydell&1op qd qm size 3168245e44SPeter Maydell&2op qd qm qn size 32e51896b3SPeter Maydell&2scalar qd qn rm size 33507b6a50SPeter Maydell 342fc6b751SPeter Maydell@vldr_vstr ....... . . . . l:1 rn:4 ... ...... imm:7 &vldr_vstr qd=%qd u=0 352fc6b751SPeter Maydell# Note that both Rn and Qd are 3 bits only (no D bit) 362fc6b751SPeter Maydell@vldst_wn ... u:1 ... . . . . l:1 . rn:3 qd:3 . ... .. imm:7 &vldr_vstr 37507b6a50SPeter Maydell 380f0f2bd5SPeter Maydell@1op .... .... .... size:2 .. .... .... .... .... &1op qd=%qd qm=%qm 398abd3c80SPeter Maydell@1op_nosz .... .... .... .... .... .... .... .... &1op qd=%qd qm=%qm size=0 409333fe4dSPeter Maydell@2op .... .... .. size:2 .... .... .... .... .... &2op qd=%qd qm=%qm qn=%qn 4168245e44SPeter Maydell@2op_nosz .... .... .... .... .... .... .... .... &2op qd=%qd qm=%qm qn=%qn size=0 420f0f2bd5SPeter Maydell 43*483da661SPeter Maydell# The _rev suffix indicates that Vn and Vm are reversed. This is 44*483da661SPeter Maydell# the case for shifts. In the Arm ARM these insns are documented 45*483da661SPeter Maydell# with the Vm and Vn fields in their usual places, but in the 46*483da661SPeter Maydell# assembly the operands are listed "backwards", ie in the order 47*483da661SPeter Maydell# Qd, Qm, Qn where other insns use Qd, Qn, Qm. For QEMU we choose 48*483da661SPeter Maydell# to consider Vm and Vn as being in different fields in the insn. 49*483da661SPeter Maydell# This gives us consistency with A64 and Neon. 50*483da661SPeter Maydell@2op_rev .... .... .. size:2 .... .... .... .... .... &2op qd=%qd qm=%qn qn=%qm 51*483da661SPeter Maydell 52e51896b3SPeter Maydell@2scalar .... .... .. size:2 .... .... .... .... rm:4 &2scalar qd=%qd qn=%qn 53a8890353SPeter Maydell@2scalar_nosz .... .... .... .... .... .... .... rm:4 &2scalar qd=%qd qn=%qn 54e51896b3SPeter Maydell 55507b6a50SPeter Maydell# Vector loads and stores 56507b6a50SPeter Maydell 572fc6b751SPeter Maydell# Widening loads and narrowing stores: 582fc6b751SPeter Maydell# for these P=0 W=0 is 'related encoding'; sz=11 is 'related encoding' 592fc6b751SPeter Maydell# This means we need to expand out to multiple patterns for P, W, SZ. 602fc6b751SPeter Maydell# For stores the U bit must be 0 but we catch that in the trans_ function. 612fc6b751SPeter Maydell# The naming scheme here is "VLDSTB_H == in-memory byte load/store to/from 622fc6b751SPeter Maydell# signed halfword element in register", etc. 632fc6b751SPeter MaydellVLDSTB_H 111 . 110 0 a:1 0 1 . 0 ... ... 0 111 01 ....... @vldst_wn \ 642fc6b751SPeter Maydell p=0 w=1 size=1 652fc6b751SPeter MaydellVLDSTB_H 111 . 110 1 a:1 0 w:1 . 0 ... ... 0 111 01 ....... @vldst_wn \ 662fc6b751SPeter Maydell p=1 size=1 672fc6b751SPeter MaydellVLDSTB_W 111 . 110 0 a:1 0 1 . 0 ... ... 0 111 10 ....... @vldst_wn \ 682fc6b751SPeter Maydell p=0 w=1 size=2 692fc6b751SPeter MaydellVLDSTB_W 111 . 110 1 a:1 0 w:1 . 0 ... ... 0 111 10 ....... @vldst_wn \ 702fc6b751SPeter Maydell p=1 size=2 712fc6b751SPeter MaydellVLDSTH_W 111 . 110 0 a:1 0 1 . 1 ... ... 0 111 10 ....... @vldst_wn \ 722fc6b751SPeter Maydell p=0 w=1 size=2 732fc6b751SPeter MaydellVLDSTH_W 111 . 110 1 a:1 0 w:1 . 1 ... ... 0 111 10 ....... @vldst_wn \ 742fc6b751SPeter Maydell p=1 size=2 752fc6b751SPeter Maydell 76507b6a50SPeter Maydell# Non-widening loads/stores (P=0 W=0 is 'related encoding') 77507b6a50SPeter MaydellVLDR_VSTR 1110110 0 a:1 . 1 . .... ... 111100 ....... @vldr_vstr \ 78507b6a50SPeter Maydell size=0 p=0 w=1 79507b6a50SPeter MaydellVLDR_VSTR 1110110 0 a:1 . 1 . .... ... 111101 ....... @vldr_vstr \ 80507b6a50SPeter Maydell size=1 p=0 w=1 81507b6a50SPeter MaydellVLDR_VSTR 1110110 0 a:1 . 1 . .... ... 111110 ....... @vldr_vstr \ 82507b6a50SPeter Maydell size=2 p=0 w=1 83507b6a50SPeter MaydellVLDR_VSTR 1110110 1 a:1 . w:1 . .... ... 111100 ....... @vldr_vstr \ 84507b6a50SPeter Maydell size=0 p=1 85507b6a50SPeter MaydellVLDR_VSTR 1110110 1 a:1 . w:1 . .... ... 111101 ....... @vldr_vstr \ 86507b6a50SPeter Maydell size=1 p=1 87507b6a50SPeter MaydellVLDR_VSTR 1110110 1 a:1 . w:1 . .... ... 111110 ....... @vldr_vstr \ 88507b6a50SPeter Maydell size=2 p=1 890f0f2bd5SPeter Maydell 9068245e44SPeter Maydell# Vector 2-op 9168245e44SPeter MaydellVAND 1110 1111 0 . 00 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 9268245e44SPeter MaydellVBIC 1110 1111 0 . 01 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 9368245e44SPeter MaydellVORR 1110 1111 0 . 10 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 9468245e44SPeter MaydellVORN 1110 1111 0 . 11 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 9568245e44SPeter MaydellVEOR 1111 1111 0 . 00 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 9668245e44SPeter Maydell 979333fe4dSPeter MaydellVADD 1110 1111 0 . .. ... 0 ... 0 1000 . 1 . 0 ... 0 @2op 989333fe4dSPeter MaydellVSUB 1111 1111 0 . .. ... 0 ... 0 1000 . 1 . 0 ... 0 @2op 999333fe4dSPeter MaydellVMUL 1110 1111 0 . .. ... 0 ... 0 1001 . 1 . 1 ... 0 @2op 1009333fe4dSPeter Maydell 101ba62cc56SPeter MaydellVMULH_S 111 0 1110 0 . .. ...1 ... 0 1110 . 0 . 0 ... 1 @2op 102ba62cc56SPeter MaydellVMULH_U 111 1 1110 0 . .. ...1 ... 0 1110 . 0 . 0 ... 1 @2op 103ba62cc56SPeter Maydell 104fca87b78SPeter MaydellVRMULH_S 111 0 1110 0 . .. ...1 ... 1 1110 . 0 . 0 ... 1 @2op 105fca87b78SPeter MaydellVRMULH_U 111 1 1110 0 . .. ...1 ... 1 1110 . 0 . 0 ... 1 @2op 106fca87b78SPeter Maydell 107cd367ff3SPeter MaydellVMAX_S 111 0 1111 0 . .. ... 0 ... 0 0110 . 1 . 0 ... 0 @2op 108cd367ff3SPeter MaydellVMAX_U 111 1 1111 0 . .. ... 0 ... 0 0110 . 1 . 0 ... 0 @2op 109cd367ff3SPeter MaydellVMIN_S 111 0 1111 0 . .. ... 0 ... 0 0110 . 1 . 1 ... 0 @2op 110cd367ff3SPeter MaydellVMIN_U 111 1 1111 0 . .. ... 0 ... 0 0110 . 1 . 1 ... 0 @2op 111cd367ff3SPeter Maydell 112bc67aa8dSPeter MaydellVABD_S 111 0 1111 0 . .. ... 0 ... 0 0111 . 1 . 0 ... 0 @2op 113bc67aa8dSPeter MaydellVABD_U 111 1 1111 0 . .. ... 0 ... 0 0111 . 1 . 0 ... 0 @2op 114bc67aa8dSPeter Maydell 115abc48e31SPeter MaydellVHADD_S 111 0 1111 0 . .. ... 0 ... 0 0000 . 1 . 0 ... 0 @2op 116abc48e31SPeter MaydellVHADD_U 111 1 1111 0 . .. ... 0 ... 0 0000 . 1 . 0 ... 0 @2op 117abc48e31SPeter MaydellVHSUB_S 111 0 1111 0 . .. ... 0 ... 0 0010 . 1 . 0 ... 0 @2op 118abc48e31SPeter MaydellVHSUB_U 111 1 1111 0 . .. ... 0 ... 0 0010 . 1 . 0 ... 0 @2op 119abc48e31SPeter Maydell 120ac6ad1dcSPeter MaydellVMULL_BS 111 0 1110 0 . .. ... 1 ... 0 1110 . 0 . 0 ... 0 @2op 121ac6ad1dcSPeter MaydellVMULL_BU 111 1 1110 0 . .. ... 1 ... 0 1110 . 0 . 0 ... 0 @2op 122ac6ad1dcSPeter MaydellVMULL_TS 111 0 1110 0 . .. ... 1 ... 1 1110 . 0 . 0 ... 0 @2op 123ac6ad1dcSPeter MaydellVMULL_TU 111 1 1110 0 . .. ... 1 ... 1 1110 . 0 . 0 ... 0 @2op 124ac6ad1dcSPeter Maydell 125380caf6cSPeter MaydellVQDMULH 1110 1111 0 . .. ... 0 ... 0 1011 . 1 . 0 ... 0 @2op 126380caf6cSPeter MaydellVQRDMULH 1111 1111 0 . .. ... 0 ... 0 1011 . 1 . 0 ... 0 @2op 127380caf6cSPeter Maydell 128f741707bSPeter MaydellVQADD_S 111 0 1111 0 . .. ... 0 ... 0 0000 . 1 . 1 ... 0 @2op 129f741707bSPeter MaydellVQADD_U 111 1 1111 0 . .. ... 0 ... 0 0000 . 1 . 1 ... 0 @2op 130f741707bSPeter MaydellVQSUB_S 111 0 1111 0 . .. ... 0 ... 0 0010 . 1 . 1 ... 0 @2op 131f741707bSPeter MaydellVQSUB_U 111 1 1111 0 . .. ... 0 ... 0 0010 . 1 . 1 ... 0 @2op 132f741707bSPeter Maydell 133*483da661SPeter MaydellVQSHL_S 111 0 1111 0 . .. ... 0 ... 0 0100 . 1 . 1 ... 0 @2op_rev 134*483da661SPeter MaydellVQSHL_U 111 1 1111 0 . .. ... 0 ... 0 0100 . 1 . 1 ... 0 @2op_rev 135*483da661SPeter Maydell 1360f0f2bd5SPeter Maydell# Vector miscellaneous 1370f0f2bd5SPeter Maydell 1386437f1f7SPeter MaydellVCLS 1111 1111 1 . 11 .. 00 ... 0 0100 01 . 0 ... 0 @1op 1390f0f2bd5SPeter MaydellVCLZ 1111 1111 1 . 11 .. 00 ... 0 0100 11 . 0 ... 0 @1op 140249b5309SPeter Maydell 141249b5309SPeter MaydellVREV16 1111 1111 1 . 11 .. 00 ... 0 0001 01 . 0 ... 0 @1op 142249b5309SPeter MaydellVREV32 1111 1111 1 . 11 .. 00 ... 0 0000 11 . 0 ... 0 @1op 143249b5309SPeter MaydellVREV64 1111 1111 1 . 11 .. 00 ... 0 0000 01 . 0 ... 0 @1op 1448abd3c80SPeter Maydell 1458abd3c80SPeter MaydellVMVN 1111 1111 1 . 11 00 00 ... 0 0101 11 . 0 ... 0 @1op_nosz 14659c91773SPeter Maydell 14759c91773SPeter MaydellVABS 1111 1111 1 . 11 .. 01 ... 0 0011 01 . 0 ... 0 @1op 14859c91773SPeter MaydellVABS_fp 1111 1111 1 . 11 .. 01 ... 0 0111 01 . 0 ... 0 @1op 149399a8c76SPeter MaydellVNEG 1111 1111 1 . 11 .. 01 ... 0 0011 11 . 0 ... 0 @1op 150399a8c76SPeter MaydellVNEG_fp 1111 1111 1 . 11 .. 01 ... 0 0111 11 . 0 ... 0 @1op 151ab59362fSPeter Maydell 152ab59362fSPeter Maydell&vdup qd rt size 153ab59362fSPeter Maydell# Qd is in the fields usually named Qn 154ab59362fSPeter Maydell@vdup .... .... . . .. ... . rt:4 .... . . . . .... qd=%qn &vdup 155ab59362fSPeter Maydell 156ab59362fSPeter Maydell# B and E bits encode size, which we decode here to the usual size values 157ab59362fSPeter MaydellVDUP 1110 1110 1 1 10 ... 0 .... 1011 . 0 0 1 0000 @vdup size=0 158ab59362fSPeter MaydellVDUP 1110 1110 1 0 10 ... 0 .... 1011 . 0 1 1 0000 @vdup size=1 159ab59362fSPeter MaydellVDUP 1110 1110 1 0 10 ... 0 .... 1011 . 0 0 1 0000 @vdup size=2 1601d2386f7SPeter Maydell 1611d2386f7SPeter Maydell# multiply-add long dual accumulate 1621d2386f7SPeter Maydell# rdahi: bits [3:1] from insn, bit 0 is 1 1631d2386f7SPeter Maydell# rdalo: bits [3:1] from insn, bit 0 is 0 1641d2386f7SPeter Maydell%rdahi 20:3 !function=times_2_plus_1 1651d2386f7SPeter Maydell%rdalo 13:3 !function=times_2 1661d2386f7SPeter Maydell# size bit is 0 for 16 bit, 1 for 32 bit 1671d2386f7SPeter Maydell%size_16 16:1 !function=plus_1 1681d2386f7SPeter Maydell 1691d2386f7SPeter Maydell&vmlaldav rdahi rdalo size qn qm x a 1701d2386f7SPeter Maydell 1711d2386f7SPeter Maydell@vmlaldav .... .... . ... ... . ... . .... .... qm:3 . \ 1721d2386f7SPeter Maydell qn=%qn rdahi=%rdahi rdalo=%rdalo size=%size_16 &vmlaldav 17338548747SPeter Maydell@vmlaldav_nosz .... .... . ... ... . ... . .... .... qm:3 . \ 17438548747SPeter Maydell qn=%qn rdahi=%rdahi rdalo=%rdalo size=0 &vmlaldav 1751d2386f7SPeter MaydellVMLALDAV_S 1110 1110 1 ... ... . ... x:1 1110 . 0 a:1 0 ... 0 @vmlaldav 1761d2386f7SPeter MaydellVMLALDAV_U 1111 1110 1 ... ... . ... x:1 1110 . 0 a:1 0 ... 0 @vmlaldav 177181cd971SPeter Maydell 178181cd971SPeter MaydellVMLSLDAV 1110 1110 1 ... ... . ... x:1 1110 . 0 a:1 0 ... 1 @vmlaldav 17938548747SPeter Maydell 18038548747SPeter MaydellVRMLALDAVH_S 1110 1110 1 ... ... 0 ... x:1 1111 . 0 a:1 0 ... 0 @vmlaldav_nosz 18138548747SPeter MaydellVRMLALDAVH_U 1111 1110 1 ... ... 0 ... x:1 1111 . 0 a:1 0 ... 0 @vmlaldav_nosz 18238548747SPeter Maydell 18338548747SPeter MaydellVRMLSLDAVH 1111 1110 1 ... ... 0 ... x:1 1110 . 0 a:1 0 ... 1 @vmlaldav_nosz 184e51896b3SPeter Maydell 185e51896b3SPeter Maydell# Scalar operations 186e51896b3SPeter Maydell 187e51896b3SPeter MaydellVADD_scalar 1110 1110 0 . .. ... 1 ... 0 1111 . 100 .... @2scalar 18891a358fdSPeter MaydellVSUB_scalar 1110 1110 0 . .. ... 1 ... 1 1111 . 100 .... @2scalar 18991a358fdSPeter MaydellVMUL_scalar 1110 1110 0 . .. ... 1 ... 1 1110 . 110 .... @2scalar 190644f717cSPeter MaydellVHADD_S_scalar 1110 1110 0 . .. ... 0 ... 0 1111 . 100 .... @2scalar 191644f717cSPeter MaydellVHADD_U_scalar 1111 1110 0 . .. ... 0 ... 0 1111 . 100 .... @2scalar 192644f717cSPeter MaydellVHSUB_S_scalar 1110 1110 0 . .. ... 0 ... 1 1111 . 100 .... @2scalar 193644f717cSPeter MaydellVHSUB_U_scalar 1111 1110 0 . .. ... 0 ... 1 1111 . 100 .... @2scalar 19439f2ec85SPeter Maydell 195a8890353SPeter Maydell{ 19639f2ec85SPeter Maydell VQADD_S_scalar 1110 1110 0 . .. ... 0 ... 0 1111 . 110 .... @2scalar 19739f2ec85SPeter Maydell VQADD_U_scalar 1111 1110 0 . .. ... 0 ... 0 1111 . 110 .... @2scalar 198a8890353SPeter Maydell VQDMULLB_scalar 111 . 1110 0 . 11 ... 0 ... 0 1111 . 110 .... @2scalar_nosz \ 199a8890353SPeter Maydell size=%size_28 200a8890353SPeter Maydell} 201a8890353SPeter Maydell 202a8890353SPeter Maydell{ 20339f2ec85SPeter Maydell VQSUB_S_scalar 1110 1110 0 . .. ... 0 ... 1 1111 . 110 .... @2scalar 20439f2ec85SPeter Maydell VQSUB_U_scalar 1111 1110 0 . .. ... 0 ... 1 1111 . 110 .... @2scalar 205a8890353SPeter Maydell VQDMULLT_scalar 111 . 1110 0 . 11 ... 0 ... 1 1111 . 110 .... @2scalar_nosz \ 206a8890353SPeter Maydell size=%size_28 207a8890353SPeter Maydell} 208a8890353SPeter Maydell 209b050543bSPeter MaydellVBRSR 1111 1110 0 . .. ... 1 ... 1 1110 . 110 .... @2scalar 210387debdbSPeter Maydell 21166c05767SPeter MaydellVQDMULH_scalar 1110 1110 0 . .. ... 1 ... 0 1110 . 110 .... @2scalar 21266c05767SPeter MaydellVQRDMULH_scalar 1111 1110 0 . .. ... 1 ... 0 1110 . 110 .... @2scalar 21366c05767SPeter Maydell 214a8890353SPeter Maydell 215387debdbSPeter Maydell# Predicate operations 216387debdbSPeter Maydell%mask_22_13 22:1 13:3 217387debdbSPeter MaydellVPST 1111 1110 0 . 11 000 1 ... 0 1111 0100 1101 mask=%mask_22_13 218